2020-05-01から1ヶ月間の記事一覧
A. Swap Twice Definition swap (t : nat * nat) := match t with (a, b) => (b, a) end. Definition task := forall t, swap (swap t) = t. 組を左右を入れ替える関数 swap が定義されていて、それを二回やると元に戻ることを示せという問題です。 t が必ず…
A. Swap Twice Definition swap (t : nat * nat) := match t with (a, b) => (b, a) end. Definition task := forall t, swap (swap t) = t. 組を左右を入れ替える関数 swap が定義されていて、それを二回やると元に戻ることを示せという問題です。 t が必ず…