プログラミング思考の原点「離散数学」が面白いほどよく分かる！（キグロ）

いきなりクイズです！ いまここに四台のコンピュータがあり、それぞれをケーブルで繋ぎたいとします。でもケーブルが交差すると絡まってしまうので、なるべく交差しないように繋ぎたいと思います。できるでしょうか？ ……少し考えると、次のようにすれば可能であることがわかります。 では、コンピュータが五台になったらどうでしょう？ 少し考えてみても、いい方法は浮かびません。実は五台では、このような繋ぎ方は不可能であることが知られています。 でも、どうやってそれを証明したらいいでしょうか？「自分が思いつかなかった」というだけでは、証明になりません。「気合が足りないから思いつかないんだ」なんて言われないために、誰がどうやっても絶対に不可能であることを証明しなくてはいけません。どうしたら証明できるでしょうか？ このような問題に答えてくれるのが、「離散数学」と呼ばれる数学の分野です。離散数学は20世紀になってから

[JULY]

面白そう。しかし考えると、もともとは数を数えるところから始まったものが、やがて連続という概念を作り出し、数え上げるところに戻ると、ぜんぜん違う数学が見えてくる、というのは味わい深い。