mazeppa

@mazeppa1108

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