4月末には、投稿論文の結果が判明するけども、それまでなにもしないわけにはいかない。
4/初が6月卒業申請でしたから、9月卒業申請は7月初、論文投稿の可否は判定していますが
D論をまとめるのに必要な部分を整備しなくては、4-5月に進捗報告する、別の投稿を
考える(ESSとか,6月初)。
- ツール化(合成演算、充足性計算)
- CCSとかSCCSとかをつかえないか、
- 拡張とマクロの区別をつけること
- 連動性のところをReactive Systemとしてちゃんとまとめる
- ACP_drtとの関係
ESSにむけて、なにかネタをひねりだそう。maudeで計算するとか。。