ろくろのホームページ · personal site
mathematics
rokuro's math universe
main page
Place where I'll be spamming maths because... it's my career.
From web notes, to publications, to whatever I wanna talk about ts.
Out now: my open textbooks Foundational Mathematics (two volumes, released 20 Sept 2026). (print edition / PDF)
Library collection
Final Year Project — Lean 4
Formal verification of Heisenberg matrix mechanics for finite-dimensional quantum systems.
open →Foundational Mathematics — First Edition
My open textbook: 19 chapters plus a bonus R chapter. Countdown is on.
open →Arithmetic
The language of calculation, operations, properties, and the rules that make them consistent.
open →Number System
From natural numbers to reals, how each set builds on the last and why it matters.
open →Limits and Continuity
The bridge between algebra and calculus and what it means for a function to behave nicely.
open →Differential Equations
Equations that describe change.
open →Why you like maths?
Apart from being insane, I like the nature behind it really.
open →Topics I Like
Probably calculus lmao.
open →