2020-07-25から1日間の記事一覧
ハノイの塔パズルを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------解答は板がどの棒に刺さっているかが変化してゆきます。 ./hanoi 4 16Sat Jul 25 08:34:08 2020QR:0, 0, 0, 0, …
ハノイの塔パズルを制約論理プログラム iZ-Cを使って解きます。 ---------------------------------------------------------------------------解答は板がどの棒に刺さっているかが変化してゆきます。 ./hanoi 4 16Sat Jul 25 08:34:08 2020QR:0, 0, 0, 0, …