2008-07-26 なにはなくてとも 研究 主テーマ とりあえず書こう。今日はMAC→図書館。IPSJのリベンジ構想をねって、久しぶりにtexファイルを開けたら頭が真っ白に、、、いかん。出力モードになってない。 どうも離散プロセス代数のところでやり残しているところが多々ある。 シナリオ合成だけで、おなかいっぱいなので、シナリオマージまではよくばらないほうがよさげ。 あとはがんばるのみ。 といっても明日から、家族サービス。。