誰だ。 http://d.hatena.ne.jp/smoking186/19010203#p2 タイトルはてなダイアリー - 186(white?) 最終更新時刻2004/04/09 19:00:14 登録者数3人 プライベート込みの被登録数を調べようと思ったらこうなった('A`)

日曜の朝に掘ってもらったというのに、下茹が今とはどういうことか、俺。灰汁抜けるのに一晩掛かりそうなので、筍御飯作るのは明日。

今日のメモ。 Sg先生と話して直観主義と計算論は相性が良い、直観主義で証明が出来れば、計算可能であると聞く。 直観主義の証明のフォーマットさえきっちり決めれば、コンパイラ作って計算機に渡せて実際に計算出来るということか。しかも止まらずに正しく…

眠い。今日行ったら、時間を調整してくれるらしい。そろそろ次の被登録数チェックなんですが、はてなダイアリーの調子がまだ悪いらしい。毎回1桁→100越えってのがあるので、全部チェックしないといけない。 レベッカと遠藤賢司は先にチェックしてリストから…