― 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 |