論文仕上げ中。。

学生課から、製本論文の提出への案内があった、しかしまだ指導教官のＤ論修正指摘事項が反映できてない。

(1)関連研究の記述の補充、それに伴う文献リストの充実
(2)2章eMSCシステムから、3章プロセス代数(形式化)への橋渡
   形式化を行う必要のある部分を限定することを述べる。
(3)章立ての変更

なんか気が抜けたり、仕事が忙しくなったりで、遅々として進みませんが、少しづつGTDしましょう。
(3)は終わりで、(1)を追加中、年末までには、修正原稿を先生に出したい。。
目標は1月末に製本化！だ。