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

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. neural-permutation-stock-simulator neural-permutation-stock-simulator Public

    This project simulates future stock price paths using an LSTM neural network that models overnight and intraday returns as a bivariate Gaussian distribution. It also includes a bootstrapping baseli…

    Python

  2. gitrip gitrip Public

    GiTrip - Git-style Collaborative Trip Planning

    JavaScript 1

  3. graph-diffusion-price-predictor graph-diffusion-price-predictor Public

    Graph diffusion and Ridge regression for next-day stock price prediction, visualised with Manim

    Python

  4. laravel-wvs laravel-wvs Public

    Warwick Vocaloid Society web application using Laravel framework.

    Blade 3

  5. stv-counter stv-counter Public

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

    HTML 1

  6. recurrence-galaxy recurrence-galaxy Public

    Interactive 3D visualisation of mathematical recurrence relations as galaxy-like particle systems

    HTML 1