ひさびさ

長い間エントリをしていませんでしたが、その間DAシンポジウム2007での発表、
と進んでいなかったわけではありません。DAシンポの発表で一息ついてしまった
のと、会社の期末が重なったのと、朝なぜか起きれなくなったのが原因です。

一応投稿論文風にまとめないといけないので、DAシンポの範囲でもう少し
コア部分をよく見直してまとめる方向で急速転回する予定です。

方針は以下の通り

• 連動・阻害関係とか、半順序関係に制約（次サイクル？）を入れ込むとかを考慮してACPを拡張する。
• 拡張ACPの上で、プロトコル合成とプロセス合成を整理し直す。
• それくらいでうまくまとめる

本当のおいしいところはFSMとプロパティの中間の立ち位置に拡張ACPが位置することを利用した、応用なのだけどそこまで手が回りません。

まずは、生活改善と小さな目標の完遂をめざして進みませう。