Øne&Lt&LtLl_

> 000000000__
> home

― Huge luv 4 u =)

Recent Posts

Jan 8 2024 ― Tarskiの「高校代数」問題とモデル理論
Jan 6 2024 ― 新年
Dec 18 2023 ― ごあいさつ
See all posts

Contents

Single page contents(games and tools) are available at the following link.

Contents Page

About This Site

This site is a personal blog site for outreaching fun things in mathematics and software engineering.
This site is made with Elixir/Phoenix.

About Me

A mathematics-lover in Japan, also a programming-lover & a track making-lover.

Mathematics

Programming

  ― 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

Music

Pages

Links