「バラード投稿祭2025」参加曲です。

作詞・作曲・編曲・MV：CalcuL’
ボーカル：Ryo (SynthesizerV)

今回の曲は、「四色問題」に関するものです。

・四色問題は「どんな地図も隣り合うエリアを異なる色で塗るには4色あれば十分か」というパズルみたいな問題です。

・MVのイラストは、作曲する人にはおなじみの「五度圏」という図形を、四色問題のルール通りに色を塗ったものです。

・正式には「四色定理」ですが、証明されるまで長い時間がかかったため、いまだに「四色問題」と呼ぶ人も多く、私もなんとなくこっちの方が好きです。

・ある法科学生が数学専攻の弟にした何気ない質問がこの問題の発端で、そこから数学界に広まったとされています。

・その後、「５色あれば十分」というところまでは証明されましたが、4色での証明には至りませんでした。

・四色問題が生まれてから約120年後、コンピューターで膨大な計算を行うことによりついに証明されました。当初はバグなどの懸念により証明の確実性が疑問視されていましたが、その後アルゴリズムやプログラムの改良が行われ、現在では四色問題は証明されたとされています。

・複雑そうな問題を簡潔に証明したものを「エレガントな証明」と呼ぶのに対して、四色問題はコンピューターによる力業なので「エレファント（象）な証明」と揶揄する方もいます。
現在でもコンピューターを使わない証明方法は見つかっていません。


CalcuL' (カルキュル)
X：https://twitter.com/CalcuL0825
You Tube：https://www.youtube.com/@CalcuL_0825
サブスク配信：https://big-up.style/artists/200410
（この曲のサブスク配信は後日予定しています）