ChatGPTに形式手法でより複雑な問題を解かせる

ChatGPTに形式手法でより複雑な問題を解かせる

一発ネタです。 変数a, bの初期値は0で、0→1→2→0と同期しながら繰り返し変化します。b=1なら、aは変化し...概要を表示 一発ネタです。 変数a, bの初期値は0で、0→1→2→0と同期しながら繰り返し変化します。b=1なら、aは変化しません。a=bなら、bは変化しません。swはon, offの二つの値を持ち、初期値はoffです。swはa=b=2ならon、a=b=1ならoffとなります。さて、swがonになった後、offに戻ることを常に保証できますか？