Skip to content
View tatsunori-ono's full-sized avatar
:octocat:
Perfect.
:octocat:
Perfect.
17 followers · 51 following

Achievements

Achievement: YOLO

Achievements

Achievement: YOLO

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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.

💻 Technical Skills:

Languages

Python Java C++ JavaScript TypeScript C Bash SQL PostgreSQL MySQL SQLite Prolog Ruby

Developer Tools

AWS EC2 S3 Lambda Docker Git Nginx Apache VS Code Illustrator Final Cut Pro Blender

Frameworks / Libraries

React Laravel Ruby on Rails Flask Vite Tailwind CSS Three.js jQuery Jinja Blade Eloquent libpcap

Operating Systems

Linux AlmaLinux Rocky Linux macOS Windows

Pinned Loading

  1. laravel-wvs laravel-wvs Public

    Warwick Vocaloid Society web application using Laravel framework.

    Blade 3

  2. stv-counter stv-counter Public

    STV counter with dynamic input edit & recount. Depolyed so that anyone can use it on the website!

    HTML 1

  3. tatsunori-ono-portfolio tatsunori-ono-portfolio Public

    Tatsunori Ono's portfolio, showcasing recent projects that I have done.

    JavaScript

  4. LEDProject LEDProject Public

    C

  5. Specialita_Refined Specialita_Refined Public

    Light model

    HTML

  6. Muzartt_Final Muzartt_Final Public

    HTML