9/26 Mon 地下鉄で見かけた南山大学の数理情報学の広告。 地図は４色で塗り分けられるといういわゆる「四色定理」のお話で、複雑に思える問題に対して比較的短い証明を「エレガントな証明」と言うことがあるが、四色定理は簡単なことなのに証明がものすごく…