とりあえず書こう。今日はMAC→図書館。IPSJのリベンジ構想をねって、久しぶりにtexファイルを開けたら頭が真っ白に、、、いかん。出力モードになってない。 どうも離散プロセス代数のところでやり残しているところが多々ある。 シナリオ合成だけで、おなかい…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。