 名前 | 野村 |
|---|---|
| 興味のあるもの | 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) |