「せやな」を含む日記 RSS

はてなキーワード: せやなとは

2020-02-01

なぜ旅人言葉必要だったかドラゴンの目、解説

anond:20200131142228

こちらの問題解説するで〜

問題と回答は元増田を参照してな)

旅人さんが「青い目のやつおるで」って言うたからみんなが自分の目が青いことに気づけたって話やんな。

でも、青い目のやつがおることは旅人に言われんでもみんな知っとったことやん。

なんせ、みんな他の人が青い目なんを毎日見とるんやから

せやのに、なんで旅人に言われるまで自分が青い目ちゅうことに誰も気づかんかったんか、不思議やんな。

なんでそんな不思議なことになるんか、おっちゃんが解説するやで〜

まずA氏は自分の目の色がわからんから

A氏「ワイは赤目やろうか青目やろうか。もしワイが赤目やったら……」

て考えるわな。

ここでもし、

オッサン「はぁ? 自分青目やん。なんで自分が赤目やったらとかありえんことを想像するん? アホちゃうん?」

とか言うやつおったら、オッサンの方がアホやってことはみんなええよな?

オッサンは確かにA氏の目の色を知っとるよ。けどA氏はそれを知らんやん。

自分が知っとって相手が知らんことを、相手も知っとるはずやとナチュラルに決めつけるんはアホやで〜

話戻そか。

A氏「もしワイが赤目やったらBはどう考えるやろか。そうやな……」

A氏の脳内のB氏「Aは赤目やんな。ワイが赤目か青目かはわからんけど、もし赤目やったら2人とも赤目やから……」

A氏「せや、Bはこんな風に考えるはずや!」

自分が赤目やと仮定したA氏はこんな風に考えを進めるわな。

ここで「A氏の脳内のB氏」なる人物が出てくるのがポイントや。

「A氏の脳内のB氏」≠「実際のB氏」やで。

せやから「『2人とも赤目やから』てなんやねん。自分以外の99人が青目なん知っとるんやから、そんなん考えるBはアホやろ」とか言うオッサンがおったらオッサンの方がアホやで〜。気いつけとき〜。

ほんで、A氏はさらに考えを進めるわけよ。

A氏「ワイの脳内のBの脳内におるCは、このときどう考えるやろか。そうやな……」

A氏の脳内のB氏の脳内のC氏「ほーん。AとBが赤目やから、ワイが赤目か青目かはわからんけど、もし赤目やったら赤目が3人やから……」

A氏「せやな脳内脳内Cはこんな風に考えるはずや!」

ここのポイントは「A氏の脳内のB氏の脳内のC氏」が出てくることや。

もちろん「A氏の脳内のB氏の脳内のC氏」≠「実際のC氏」やし、「A氏の脳内のB氏の脳内のC氏」≠「A氏の脳内のC氏」でもあるから気をつけるんやで〜。

「このC、3人赤目がおるとか有りえんことを考えとるわ……」とかアホなこと思わんようにな。

「実際のC氏」が「赤目が3人やから……」とか考えとったらアホやけど、「A氏の脳内のB氏の脳内のC氏」が合理的検討する可能性の中には赤目が3人のパターンもあるんやで。

ほんでまあ、あとは似たようなことの繰り返しになるんやけど、そのうちに「A氏の脳内のB氏の脳内のC氏の脳内のD氏の脳内の……氏の脳内のZ氏の脳内の……氏の脳内のΩ氏」まで行き着くわけや。あ、とりあえず便宜上100人目をΩ氏ゆうことにしといたで。

で、この脳内脳内脳内脳内……脳内Ω氏はこう思うわけや。

「ワイ以外みんな赤目やな。もしワイが赤目やったらこの村は全員赤目やし、ワイが青目やったらワイ1人が青目や」

もちろん、これは実際とはかけ離れた想像よ? けど、脳内脳内の……って重ねまくって現実から遠く離れてしもうた想像上の世界におるΩ氏にとっては論理的合理的思考なんよ。

せやから「このΩおかしなことを考えとるで。アホや」て思うオッサンがおったらオッサンの方がアホなんやけど、ここまで脳内脳内の……って入れ子しまくった論理構造人間の処理能力を超えとるから、しゃあないで。人類みなアホ、人類みなオッサンや。

もちろん、実際のΩ氏は自分以外の99人が青目なんを知っとるで?

けどな、A氏の脳内のB氏の脳内の……の脳内のΩ氏にとっては「全員赤目」という可能性もあり得るんよ。

どんだけ「実際のΩ氏」にとってあり得ん仮定でも、想像世界ではそれがあり得てしまうんよ。

その直観論理が食い違っとる感じが、この問題を分かりにくうさせとるんよ。

さてここで思い出して欲しいんが、旅人おっさんが言うとったことや。

「この村青い目のやつおるで」て言うとったやんな?

この言葉が出てきた瞬間、さっきまで論理の彼方にあった「『A氏の脳内のB氏の脳内の……の脳内のΩ氏』が考える、全員赤目の可能性」が消え失せるわけや。

村人各々が自分の目で見て知っとる「村に青い目のやつがおる」って情報と、旅人が言う「村に青い目のやつがおる」って情報は、ここが違うんや。

なんぼ自分の目で見た情報があっても、「A氏の脳内のB氏の脳内の……の脳内のΩ氏」て具合に仮定仮定を積み重ねていくと、それぞれのA氏やB氏やΩ氏は自分の目の色を見ていないわけやから、それを1個ずつ重ねていったら「全員の目の色がわからん」のと同じことになるわな。

この仮定世界は実際の世界とはちゃうんやから現実で見たみんなの目の色は無意味や。せやから、みんな赤目みたいな実際とかけ離れた極端な可能性も、論理の彼方では成り立つんや。

せやけど、第三者旅人保証する「青い目のやつがおる」はちゃう

これは論理の彼方まで行ってしもうた「A氏の脳内のB氏の脳内の……の脳内のΩ氏」にとっても同じように有効なんや

から旅人おっさん発言があって初めて「全員が赤目」という可能性が、脳内脳内の……っちゅう想像でけへんような世界からも完全に消え去るわけやな。

あとは、まだ「99人赤目で1人が青目」みたいな可能性が、やっぱり脳内脳内の……の世界にはまだ残っとるんやけど、これは1日経って誰も村から去らんかった時点で消える。

同じように「98人赤目で2人が青目」の可能性は次の日になっても村から人が去らんかったことで消える。

そんで、そのたびに「脳内脳内の……」の入れ子構造も1つずつ減っていくわけや。

そないしとったら、そのうちに「1人赤目で99人が青目」の可能性だけ残っとるいう日が来る。

その日には論理入れ子になることものうなっとるから、つまりこれは「自分けが赤目の可能性」ちゅうことや。

その日が過ぎても村から人が去らんかったら、すなわち自分も青目やっちゅうことやね。急いで引っ越し準備や。

ほんで、翌日みんなでスタコラや。そして誰もいなくなった、やね。

結局この問題がわけわからんのは「脳内脳内の……」って具合に仮定の話を積み重ねていくと、だんだん現実から乖離していって「ん、これなんかおかしない?」って脳がエラーを感知してしまうからなんや

ほんまはエラーやなくて、仮定仮定を重ねまくった世界から論理的には成立しとるんやけど、直観的にはそれが納得できへんからけがわからんくなるんよ。

しかも、旅人の「青い目おるで」は普通に「言われんでも見たらわかること」やから増田みたいな疑問が出るのは当然のことや。

「見たらわかること」は仮定仮定を積み重ねた世界では消えてしまって、第三者発言は消えてしまわんのんやけど、これも直観に反するからけがわからんようになる。

そんなわけわからん問題やけど、こうやって丁寧に解きほぐしたら多少は分かりやすうなるからおっちゃんの解説で少しでも理解が進んだら幸いやで〜。

ほな!

2020-01-30

anond:20200130095354

野党せやな増田の豚らには分からんやろうけど我々は論理的相手を追い詰められているよな」

与党ポチポチ言う人間のいう事かぁー!」

2020-01-28

AKB推しているわけではないが、

AKBドラマなどはよくみている。うーん。せやなコンビニでなんかグッツかってくるか。

anond:20200128115712

せやな正義感なのかもな、よく読む本。

まだまだ、未熟やな。プログラマーたるもの正義感ではあかんな。

anond:20200128082119

せやな。ワイはKKOから上級国民様のアナル舐めて生きていくわ。人糞食ってる豚みたいなもんや。

2020-01-27

anond:20200127171753

調剤薬局ゴム打ってるタイプか?ならまぁ、せやなぁ。

もうすこし、ようすみてや。

anond:20200127122730

せやな

産むしかないな…

産んだのもらうとかは?!

2020-01-24

anond:20200124182330

せやな

わざわざかかんでも

ひとのみたらすむしな

anond:20200124185011

トラブルプロジェクト量産しても、他人が止めてくれる。

くじを弾くようにつぎつぎとやって。

あたったら、そいつが褒められる。

消し止めたやつは、むくわれるべきではない。だって金額には後見してないもの。どうしてもっとはやくとめられないの。

10人月も損しちゃった1人月でできるでしょ

せやな

anond:20200124184922

あたりまえ、っていわれるとちょっと悲しい。

報いてほしいわけじゃないけど、たいしたこと無いって思われる。

がんばると、たいしたこと無いと思われる。

せやな

2020-01-23

anond:20200123090734

まぎらわしい?

破壊検査をする人間

ばぎらわしいから、確認のため壊しました。

あしからずご了承ください。

せやな

2020-01-22

おれたち数万行もコードつくってるのに

こいつ数千行だぜ

 ↓

せやな同じ仕様書だけどな

 

それにつきる

会社が褒めるのは前者

anond:20200122132859

せやな

うそでもいいから、わが社に来てほしいっていわれたかったわ。

ま、入社するけどな(w 

ログイン ユーザー登録
ようこそ ゲスト さん