「プログラマが知るべき97のこと」の15個目のエピソードは、コードの正さを証明する方法の話です。コードの論理的な検証の方法として「形式的証明（formal proof）」と呼ばれる方法があります。詳細までは知りませんが、数学的なアプローチでプログラムを検…