名前 | 野村 |
---|---|
興味のあるもの | Term Rewriting Systems, SATisfiability Problem, C++, ML (OCaml, Haskell(?)). |
Links | Twitter Hatenablog Qiita SoundCloud |
Contact | faerpe.alpha (gmail.com) |
作ったもの |
---|
人工無能あすりの (twitter ver.) |
Knuth-Bendixの完備化アルゴリズム(デモ) |
暗黒定数式 vol.3 : 「空のポートフォリオ」及び表紙 |
音射閉域 |
ラムダ計算インタプリタ |
AApuyo |
人工無能あすりの (asrn) |