クラシック(ピアノ)をよく聴きます。モデル検査とか定理証明に興味があります。data My_interests = Haskell | Coq | Scheme | 数理論理 | 計算機科学 |クラシック音楽 | GF(仮) | Erg | 雪都さお梨 | 羽鳥いち | 星咲イリア | 遥そら | Etc
21
1428 days ago
Realtime comments disabled
0 Comments
Realtime comments disabled