ホーム 北白川日記 2008年 7月 2008-07-15 2008-07-15 ■ 計算論A 言語の演算の閉包性についての証明. 訳わかんねー. しかし,テストも近いしなぁ.. ■ おしごと 夜はお仕事. 新規プロジェクト. 実社会の一部を担っているって,ちょっと思った. ■ ヤバイ 期末テスト終わるまで,一縷も気が抜けない