Projects
i have several projects that might or might not be math related.
Mettamatika
anime-styled fanbook trilogy about mathematics by spearhead circle. vol. 1 is on calculus, vol. 2 on statistics, and vol. 3 on linear algebra. i also write a zine for mettamatika vol. 1.5 titled Scara’s Mathematical Adventure in Inazuma, and can be accessed here (along with other titles).
Genshin Impact Math Paper
i wrote a paper on a puzzled which appeared in one of the inazuma event from genshin impact, titled General Solutions to the Light-Up Tile Puzzles. it can be accessed here. a zine version is also available in the mettamatika vol. 1.5 above. i also presented this paper at Genshiken Staff Training Festival (GSTFest) 2023 while cosplaying as bocchi from bocchi the rock.
Lean Laboratory Pilot Project
i once led a lean laboratory pilot project for students of the Foundations of Mathematics course in the short semester 2024/2025. students learn basic math proofing mechanics using the lean theorem prover. the lab module is available here.
math yuri!!!
wip. basically just socratic dialogue on math but yuri.
ONMIPA Solutions
solutions to ONMIPA-PT 2025 mathematics problems. currently in progress.