答えが分かれば超簡単！ハーバード大学の出す「世界で最も難しい論理パズル」皆さん解けますか？ : ユルクヤル、外国人から見た世界:
この記事の中にあるパズルが、解答を見てもよく理解できなかった。
で、Twitterで「わからん！教えて！」と叫び、何人かのフォロワーのみなさんにアドバイスを受けるも、やっぱり理解できなかった。しかも、どうも私以外のみなさんはすんなりと理解していて、私だけが要領を得ていないかのような情勢だった。おかしい。相模原の神童と呼ばれた私が理解できないだと・・・。
これは悔しい。そのままずーっと考えていたい。
しかし、そのときは職場だったので、さすがにそうもいかない。そこでまずは仕事を終え、家に帰り、家に帰ったら、そらまぁゲームをするわな、ってなり、遊び、夜も更け、寝て、起きて、朝の支度をし、パズルのことを思い出し、落ち着いて考えて、やっとおぼろげに分かった。
そして職場で考えを整理して、3匹の場合の自分の理解を、できるだけ平易かつ細かく、考え方のプロセスを省略しないようにまとめてみた。きっとこういうことなのだろう。
—
以下、「緑目」「緑」でないものは「白目」「白」と呼称する。また、「スズメになる」を「消える」とか「死ぬ」とか書いてる。特に意味はない。
—
俺様ことAの視点で考える。
Aが存在している時点で、Aは自分が白だと仮定している（そう仮定しないと死ぬ）。
Aは、
- Bは「Aが白（仮定）、Cは緑（確定）に見える」はずである。そしてBは「自分Bが緑かどうか」を、1日目の夜にCが消えるかどうか、で判断するだろう。Cが消えたら、Bは「Cから見てAもBも白く見えたからCは自分の緑目を悟り消えた」と思うに違いない。一件落着だ
- Cは「Aが白（仮定）、Bは緑（確定）に見える」はずである。そしてCは「自分Cが緑かどうか」を、1日目の夜にBが消えるかどうか、で判断するだろう。Bが消えたら、Cは「Cから見てAもCも白く見えたからBは自分の緑目を悟り消えた」と思うに違いない。一件落着だ
と考える。ワイ白目、高みの見物。結果（BもCも消えない）は分かっているが。
Aが考えるこの時点でのBの考え「A白、B白、C緑」
Aが考えるこの時点でのCの考え「A白、B緑、C白」
—
2日目になり、案の定、誰も消えていない。そらそうだろう。
Aはその結果を受けて、
- Bは「Aが白（仮定）、Cは緑（確定）に見える」のに、Cが消えなかったのは、「CからBは緑に見えている」せいだと悟るはずだ。Bは2日目夜に消えるだろう
- Cは「Aが白（仮定）、Bは緑（確定）に見える」のに、Bが消えなかったのは、「BからCは緑に見えている」せいだと悟るはずだ。Cは2日目夜に消えるだろう
と考える。ワイ白目、高みの見物。ついに真実を知ったBとCは今夜消えるはずだ、へへへ。
Aが考えるこの時点でのBの考え「A白、B緑、C緑」
Aが考えるこの時点でのCの考え「A白、B緑、C緑」
—
3日目になり、しかし、誰も消えていない。あれ？
Aは考える。
- Bは「A白（仮定）、B緑、C緑（確定）」と悟って2日目夜に消えるはずが残っている。Bが残っているということは、Bにはまだ自分が白だと思う余地があるようだが、Cが緑（確定）でBが白であるパターンのうちの「A白、B白、C緑」は初日の夜に否定されている。つまりBは「A緑、B白、C緑」だと思って残ったと考えざるを得ない。そうか、BからAは緑に見えるのか。Aが白という仮定が崩壊した。今夜死のう
- Cは「A白（仮定）、B緑（確定）、C緑」と悟って2日目夜に消えるはずが残っている。Cが残っているということは、Cにはまだ自分が白だと思う余地があるようだが、Bが緑（確定）でCが白であるパターンのうちの「A白、B緑、C白」は初日の夜に否定されている。つまりCは「A緑、B緑、C白」だと思って残ったと考えざるを得ない。そうか、CからAは緑に見えるのか。Aが白という仮定が崩壊した。今夜死のう
Aが考えるこの時点でのBの考え「A緑、B白、C緑」
Aが考えるこの時点でのCの考え「A緑、B緑、C白」
いずれにせよ、BからもCからもAが緑に見えることが示唆されている。命運は尽きた。
あれ、でも待てよ。俺様ことAと同じくらい賢いBとCは、この時点で同じ考えに至るんじゃないか？ つまり、ここへきて全員が「自分だけは白い」という仮定を崩壊させるはずだ。
その結果、同時多発的に
それぞれが考えるそれぞれの考え「A緑、B緑、C緑」
となる。みんなで死のう、そうしよう。
完。
—
どや！？
