横チェーン（真）つづき

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

制約の要素部品を、とn=2とすれば解決できそうです。

あれどこかで見たことがあるアイデア、またもどったかな。

とにかく、こてこてのFSMを使わなくてもよさそう、かつ情処の論文とも矛盾しない展開ができそうな予感。