https://twitter.com/kinaba のログ (twilog の方が便利です。)
| ICFPコンテストの集いから帰宅。ぺぷしそを持って行くのを忘れるという痛恨の一撃を繰り出してしまったことだけが悔やまれる… | |
| dmd落とすヤツ再現できなくなってしまった…。最適化いれてないVMジェネレータ残ってないなあ。困った | |
| 10月10日は決定不能の会なので行けなそうだなあ http://atnd.org/events/1507 PCPをCoqで証明することで参加した気になる大作戦を展開すればいいのか | |
| 10月11日もなんか予定が入ってた。うよよよーん |