なかなか研究がすすみません、が、JALで移動中に考えた 横チェーンの制約と、演算がぜんぜん種類が違うことを再発見（忘却していたともいう） 縦チェーンも横チェーンのときと同じように素直な制約ってなんだろうと思うと、どうも、ではないだろうか、それだ…

前回の打ち合わせのメモを書くのを忘れていたので記載 コマンド→シナリオ→MSの流れがよくわからない とくにデータと操作という観点であいまいになっている シナリオ合成した結果はFSMですよとか ACPとCCSの関係をちゃんと明らかにしておくこと、なぜそれを選…

IPSJへの投稿がどうやら採録になった旨を、アンオフィシャルに教えてもらった苦節４年弱、３度目（DAC,IPSJ１回目)の正直。でも内容がちょっと不正確なところがあったりして；；同じタイトル始まりの投稿論文があったりして；；

ぼちぼちやってます。個人用にdynabook UXかったのでこれのテスト 新横チェーンはの掛け算で構成できるか？ 結果：少し違う。原因：まだ探索中

24日の打合せで9月卒業が無くなったので、ぼーっとしていましたが 気を取り直して、Ｄ論整備。横チェーンでcntがマイナスになると23日の日記では騒いでいましたが、そんなことは忘れて 今日再発見。上書き型の連係プロトコル挿入の結果のFSMの構造がやっと正…