Think Proof, Count Two
and look for a red shoe
About Me
東京でプログラマとして働いています。 かつては数学をしていました。
Recent Posts
2025-09-07
読書ログ: バックエンドエンジニアを目指す人のための Rust
booklog
2025-08-30
ブログを Deno 製の静的サイトジェネレータ Lume に乗り換えた
diary
2023-02-19
Scott 位相についての連続性の練習問題
diary
プログラム意味論
2023-02-05
Akkoma サーバをたてて Fediverse デビューした
diary
2020-03-23
楽曲ファイルの管理・再生について
memo
→Read all posts...
→Browse tags...