2004-04-28 [長年日記]
λ. "Institution Morphisms", Joseph Goguen, Grigore Rosu
メモ。難しい話はよくわからないが、Institution の基礎に関して割とよくまとまってる気がする。
λ. 研究計画書
書けねぇ。前の研究計画書にかいた事は熱意が冷めつつあるのだけど、それに代わるものが自分の中で育ってないのだよな。いざとなれば前の研究計画書を使いまわすのだが、しかしどうしたものか。
λ. 東方萃夢想 動作試験版
ダウンロードして試してみたのだけど、起動時にエラーが発生して遊べない。残念。
λ. コード
最近、自分のコードを書く余裕があまりない。書きかけで、ちゃんとまとめておきたいものは幾つかあるのだけど……
[ツッコミを入れる]
