2010年09月28日のツイート
@kururu_goedel: [Coq] Coq-99、一応出来た。 / Functional Programming Memo: [Coq] Coq-99 : Part 1 URL
@kururu_goedel: 元気モリモリになれないにゃ!
@kururu_goedel: っていうか、来週もうテストかよ。またサンプルテストおよびテスト作成作業だ
@kururu_goedel: しばらくグーグル日本語入力のIME ON/OFFがおかしかったのだけれども、再インストールしたら元に戻った