この言語ってさ、[] を含まなければ有限長のコードに対して必ず停止することが証明できるんだよね……？
合ってる？