― Huge luv 4 u =)
| Jan 8 2024 ― | Tarskiの「高校代数」問題とモデル理論##数学#数理論理学#普遍代数学#モデル理論 |
| Jan 6 2024 ― | 新年##雑記#あいさつ |
| Dec 18 2023 ― | ごあいさつ##雑記#あいさつ |
| See all posts |
Single page contents(games and tools) are available at the following link.
Contents Page
This site is a personal blog site for outreaching fun things in mathematics and software engineering.
This site is made with Elixir/Phoenix.
A mathematics-lover in Japan, also a programming-lover & a track making-lover.
| ― Languages | Rust, F#, Julia, Scala, TypeScript, Lean, Go, Python, Kotlin, Elixir etc. |
| ― Frontend | React, Feliz |
| ― Backend | Phoenix, Gin, Spring Boot, ASP.NET |
| ― Infrastructure | AWS, Docker |
| ― Typesetting | Typst, LuaLaTeX |
