とn=2とすればよいというのがこの前の話でしたが、n=2ならばとなるわけですしかしを考慮すると、なわけですから、 この制約はだけで十分なわけです。つまりn=∞というわけで横チェーンはという風情になります。追い越し制限が∞ということはOW型の制約というこ…

まえの横チェーンの制約（型の制約を利用）は強すぎて、それから７月に思いついた新横チェーンは緩すぎて、いまのところこてこてのFSMで定義した真横チェーンがよさそうな雰囲気というところまできましたが、制約の要素部品を、とn=2とすれば解決できそうで…

家族サービスウイークに、D論を進めようとかんがえましたが。なんと「研究ノート」を忘れてしまって、まずは大きくざせつ。とはいっても記憶とはてなDiaryをもとに再構築します。横チェーンの進捗状況までフォローアップして終了、あとは目次を見直しました…

休み中に、LaTeX原稿を整備して、著者の写真をカメラのキタムラにてとる等の準備。投稿論文の最終原稿を用意して、プリント２部して、kinkosで作業して、エクスパックにて送付。電子データは別途送付、これにて１０月に著者校正が来るまで作業はない。さて１…

１ヶ月たちましたが、予測どおり（８月の第１水曜日）に採録通知がきた ［情処論文誌：お知らせ］（09-XXXX）投稿論文(採録内定) 15日までに、いろいろコメント反映や、化粧直しをして原稿提出する必要があるうらしい。ううんこのお盆にー！

いちおう論文ではSafety Gameに従って充足性の形式化をしましたが、それをツールで確かめる手段がTICCしか（わるいか）なくて、単なるGameなのにInterface Automataとかを説明した上でTICC用にエンコードした事例を示すわけにもいかないなあ、とおもっていた…