Skip to content
View Tatsunori-Ono's full-sized avatar
:octocat:
Perfect.
:octocat:
Perfect.
11 followers · 36 following
  • Astroid Inc.
  • Tokyo, Japan

Block or report Tatsunori-Ono

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Tatsunori-Ono/README.md

Hi, I’m @Tatsunori-Ono

Proposition: prove that my name is Tatsunori Ono, where Tatsunori is an element of complex human with real exsistance and imarginary minds.

Let name = Tatsunori,
LHS: Tatsunori
RHS: CS and Maths
Therefore, true for the base case, n = Tatsunori, since Tatsunori likes CS and Maths.

Assume truth for name = Ono, then:
suc(Tatsunori) = Ono

Let name = Tatsunori++,
LHS: name = Tatsunori++
= Tatsunori + suc(Tatsunori)
= Tatsunori Ono
= RHS Therefore, true for n = Tatsunori++.

Therefore, the proposition is true for n = Tatsunori, and if true for n = Ono, it is also true for n = Tatsunori++ = Tatsunori Ono. By the principle of mathematical induction, the proposition is true for all Tatsunori, where Tatsunori is an element of complex human with real exsistance and imarginary minds.

Pinned Loading

  1. Astroid_Space Astroid_Space Public

    Infinite Schedule.

  2. muzartt muzartt Public

    CSS

  3. laravel-wvs laravel-wvs Public

    Warwick Vocaloid Society web application using Laravel framework.

    Blade 3

  4. LEDProject LEDProject Public

    C

  5. Specialita_Refined Specialita_Refined Public

    Light model

    HTML