OCaml で手続き的に書いてみる． ハノイの塔hanoi' が実質計算します．型合わせていったらできたけどぐちゃぐちゃになりました． あまり説明する気も，かといって綺麗に書き直す気もおきません．解き方はセオリーどうり 1. n-1個を a から c を使って b に移…