連休突入

またまた土曜は朝からMacで活動

いろいろボロが見えてきましたが27日に指導教官との打ち合わせを設定して、それまでにD論をがんばって書かねば、実装ACP_drtへの展開を考えるとCCSで書かれたLTSでいろいろ検証とかするのは都合が悪いことが判明。といってもCCSで書いていたりCWB-NCで検証していたりする本文を、ごっそりACP版に書き換えるのももう間に合わないので、足りているという意味で、CCSで書いた章は温存して、CCSとACPとの充足性や演算に関する性質の違いの説明の節を、実装章の最初につけて、話のつじつまを合わせよう作戦にけってい。

これならばできる範囲だ、もう新しいことをするのは、間に合わない。査読にあわせて修正するのと同じで、ベースを壊してはいかん。