面白そう。
決定不能の会では「このような制約の下で決定可能」という話題も同時に出たことがあります。そこで、決定可能な話題をメインで出しつつ、「このような制約を外すと決定不能」みたいな話題もサブですれば、さらに楽しそうな会になると思います。ハードルを上げるつもりはなくて、単に dual な構造（なにそれ）があるなーという。
それは脇において、決定不能の会の目的は主に証明なのですが、決定可能の会の目的は主に実装なのか。なるほど。

決定可能性の証明は普通は構成的でしょうから、どうせなら実装した方が楽しそうかなぁと。