パズル的に読める『離散数学「数え上げ理論」』少し前にタイムラインで話題になっていたので、『離散数学「数え上げ理論」』を拝読した。数学畑の人らしく丁寧に書かれた説明と、単純ゆえに興味深い問いが並ぶパズル的な本だ。複雑な計算は無いので、紙と鉛筆なども要らないと思う。賢く場合分けを数える方法の本。 構成は、大きく二つに分けてあり、第一部で数え上げ問題を、第二部で数え上げ理論となっている。基礎的な知識を第一部で、理論的な議論を第二部に配置しているようだ。例えば第一部の第5章でフィボナッチ数列が出てきて、その閉じた数を表すビネの公式が、第二部の第7章で差分方程式を使って、第8章では母関数を使って証明される。 良い意味で、第一部と第二部で内容が大きく異なるわけではない。第一部も第二部も、プレゼント交換で自分のプレゼントが当たる確率のような具体的な問題を提示し、それを抽象化していく方法で議論が進んでいく。説明は丁寧で、式の展開は過剰なぐらいだ。た
