領域が4個のベン図を描きたい! というのは誰もが一度は考えることだと思います(?)。しかし普通に描いてみると通りすべての組み合わせができなかったり、同じ組み合わせの場所が2つできてしまったりと、なかなかうまくいきません。 そこで今回は、領域がいくつのベン図であっても必ず機械的に書ける方法を紹介したいと思います! 使う数学的概念は「グレイ符号」というものです。 グレイ符号とは何か? (※グレイ符号を知っている方はこの節は読み飛ばして構いません) 「符号」というのは数や文字列に対して別の数や文字列を対応させる規則のことです。ここではわかりやすく、2進列(0と1の並び)を別の2進列に変換する規則を考えます。 しかし、そもそもなぜ2進列を別の2進列に変換することなどを考えるのでしょうか。例えば実用的な話として、何かの棒の回転角度を検出するセンサーを作ることを考えてみましょう。基準となる位置から反時