はてなキーワード: そして誰もいなくなったとは
旅人さんが「青い目のやつおるで」って言うたからみんなが自分の目が青いことに気づけたって話やんな。
でも、青い目のやつがおることは旅人に言われんでもみんな知っとったことやん。
せやのに、なんで旅人に言われるまで自分が青い目ちゅうことに誰も気づかんかったんか、不思議やんな。
なんでそんな不思議なことになるんか、おっちゃんが解説するやで〜
A氏「ワイは赤目やろうか青目やろうか。もしワイが赤目やったら……」
て考えるわな。
ここでもし、
オッサン「はぁ? 自分青目やん。なんで自分が赤目やったらとかありえんことを想像するん? アホちゃうん?」
とか言うやつおったら、オッサンの方がアホやってことはみんなええよな?
オッサンは確かにA氏の目の色を知っとるよ。けどA氏はそれを知らんやん。
自分が知っとって相手が知らんことを、相手も知っとるはずやとナチュラルに決めつけるんはアホやで〜
話戻そか。
A氏「もしワイが赤目やったらBはどう考えるやろか。そうやな……」
A氏の脳内のB氏「Aは赤目やんな。ワイが赤目か青目かはわからんけど、もし赤目やったら2人とも赤目やから……」
A氏「せや、Bはこんな風に考えるはずや!」
ここで「A氏の脳内のB氏」なる人物が出てくるのがポイントや。
「A氏の脳内のB氏」≠「実際のB氏」やで。
せやから「『2人とも赤目やから』てなんやねん。自分以外の99人が青目なん知っとるんやから、そんなん考えるBはアホやろ」とか言うオッサンがおったらオッサンの方がアホやで〜。気いつけとき〜。
ほんで、A氏はさらに考えを進めるわけよ。
A氏「ワイの脳内のBの脳内におるCは、このときどう考えるやろか。そうやな……」
A氏の脳内のB氏の脳内のC氏「ほーん。AとBが赤目やから、ワイが赤目か青目かはわからんけど、もし赤目やったら赤目が3人やから……」
ここのポイントは「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人が青目」の可能性だけ残っとるいう日が来る。
その日には論理が入れ子になることものうなっとるから、つまりこれは「自分だけが赤目の可能性」ちゅうことや。
その日が過ぎても村から人が去らんかったら、すなわち自分も青目やっちゅうことやね。急いで引っ越し準備や。
ほんで、翌日みんなでスタコラや。そして誰もいなくなった、やね。
結局この問題がわけわからんのは「脳内の脳内の……」って具合に仮定の話を積み重ねていくと、だんだん現実からは乖離していって「ん、これなんかおかしない?」って脳がエラーを感知してしまうからなんや。
ほんまはエラーやなくて、仮定に仮定を重ねまくった世界やから論理的には成立しとるんやけど、直観的にはそれが納得できへんからわけがわからんくなるんよ。
しかも、旅人の「青い目おるで」は普通に「言われんでも見たらわかること」やから増田みたいな疑問が出るのは当然のことや。
「見たらわかること」は仮定に仮定を積み重ねた世界では消えてしまって、第三者の発言は消えてしまわんのんやけど、これも直観に反するからわけがわからんようになる。
そんなわけわからん問題やけど、こうやって丁寧に解きほぐしたら多少は分かりやすうなるから、おっちゃんの解説で少しでも理解が進んだら幸いやで〜。
ほな!
題名の通りなんだけど、実習に明け暮れた大学後半から就職して十数年、楽しむための読書習慣から遠ざかってた。仕事で必要な専門書は読んでたけど、それにプラスしてネットで文章読んでたら、それ以上いろいろ読みたい意欲が飽和して湧かなかったんだよね。
んで、先月退職してまとまった時間がある程度できて、ああそういえば、読書って仕事や生活のスキルを上げるためだけじゃなく、楽しんでするものだったよなあ、と思い出した。
せっかくなので、いろんな人に教えてもらいたい。
学生の頃は田中芳樹とか好きだった。某シリーズは途中から思う所はいろいろあったけど、とりあえず生きてるうちに最終巻を読むことができてよかった。自分の感性が変わったからかもしれない。
名前だけ聞いたことあった十角館の殺人を先週図書館で見つけたので手に取ったら、昭和版のそして誰もいなくなったなのかあ、と面白かった。あれ?平成初期か?読みやすいもんだね。
高校生の時、太宰とか漱石とか、意外に面白いじゃんと思って図書館で物色してた流れでドグラ・マグラに手を出しだら頭がおかしくなりそうで挫折したんだけど、またトライしたらいけるもんなのかなあ。読めない人には読めないもの?
さらっとしたのは忙しい間でも読めたんだけど。コンビニ人間とか、三匹のおっさんとか、factfullnessとかぼくはイエローでホワイトでとか。忙しかった時トルストイは挫折したけど、今なら時間あるからいけるのかな。
チーズを探す話、関西弁のゾウの神様の話も面白かった記憶はあるけど、より良い生き方みたいなのを探しながら読んでた時期だったな。退職してスッキリして、より良く生きる方法は探さなくても楽しく生きられればいいや、と今は思う。
今のところ積んであるのは以下。
息子がバトルロワイヤル面白かったと言ってたから読んでみる。小学校の卒業式の前の週に読んだからちょっと怖かったらしいけど自分がこの年で読んでも面白いのかな。息子のおかげでハリポタとダレンシャンと星新一を楽しめたから、きっと面白いんだろうな。息子にはお礼に火車を貸してやった。
娘の中学受験の教材にたびたび登場するから機関車先生とトットちゃん読んでみる。
あとは、銃・病原菌・鉄と、ショーペンハウアーの幸福論、アクロイド殺人事件、十二国記の新刊。ルドルフとイッハイアッテナの新刊がもし出たら、子供が成人してても自分が読むために絶対買う。あとはhomodeus。
まだ読んだことのない面白い本が世の中にはたくさんあるんだろうな。
他にもぜひ教えてください。
気づいたらオススメあげてくれてる人がたくさんいて、面白そうな本リストがズンドコ増えてうれしい。
一人一人に直接伝えられないので、ここでお礼を言わせてくださいな。
みなさん本当にありがとう。
この会話ログはフィクションであり、実在の人物・地名・団体とは一切関係ありません。
坂木
わろた
坂木
自分が理解できないものを意味がないと思いこみたがるタイプの人だということがよく分かったので原文を読まずに済んだ。ありがたいまとめだ。
安原
NTPsec が,ownership を理解していない開発者たちの声が大きくなるようなコミュニティによって開発されているということが分かって大変有意義でした(こなみかん
宮森
今までCで開発してきたプロジェクトを移すなら極端な話ownershipを理解しなくても良いわけで、悪くないのではと思う。
宮森
……が、理解できないものに対して、理解を試みず~すべきだ~と設計しろ、っちゅう人が作るソフトとはちょっと関わりたくないと思う。
安原
いや,私は C で開発してきたプロジェクトであるならばなおさら ownership を理解していないといけないと思います. ownership に理解を示さないコミュニティが関わってきた一定規模以上の C によるプロジェクト……私の第一感は「こわ…近寄らんとこ…」です.
宮森
いや、Cで開発してきた人たちって、ownershipを自前でコントロールできると思っている(思い込んでいる)人たちですんで……こわちかは同意。
安原
いや,私は C で開発してきた人たちの多くは,そもそも ownership の概念を獲得していないのではないかと危惧しています.元々,私はもっと楽観的で,多くの C プログラマは ownership の概念を獲得していると思っていました.
宮森
安原
OpenSSL の騒動の時,関数の途中で return したことによるリソース漏れを揶揄したことがあります. OpenSSL のようなインターネットの基盤を支えるオープンソースプロジェクトにおいてさえ, ownership の概念を獲得していれば脊髄反射で気づくであろうバグが随所に見られたことには本当に絶望しました.
安原
藤堂
安原
むしろ C++ によって ownership という概念が明確になり,その重要性が認知されるようになったのではないでしょうか? これについては,私は歴史的なことが分からないので真偽のほどは何とも言えませんが.
宮森
シニアな開発者にしかC++/Rustが受けないと思うの、まさにその点だと思っていて、人類を信頼したがために足どころか頭を吹き飛ばす経験を積んでいないからだろうなー、とか。
宮森
OSとかシステム系のプログラマの人々、基本的にリソースは人間が適切に管理するし管理できると考えている人が多い印象([検閲削除]社時経験)。言語側で安全を確保したい、的な話をしても相容れなかった記憶が。
坂木
[検閲削除] のコードには、間違って自分の足どころか頭を撃ち抜いてしまった偉大な先人たちの知恵が詰まっていて、開発していてとても勉強になります。なお [検閲削除] は頭がなくなっていることに気づかずゾンビとして生きている模様。
今井
今井
リソースどうこう以前に、そもそもちゃんと構造化されてるコードが書けるかも怪しい(個人の感想です。見識にバイアスがかかっている可能性があります)
安原
うーん,数値計算系のチームやコミュニティも ownership の概念の獲得,重要性の理解,その管理を自動化することへの理解,これらを期待するのは難しいだろうなあ…….そもそも高度なリソース管理が必要になる場面少ないし…….
坂木
コードの品質が強く求められるプロジェクトとそうでもないプロジェクトがあるからなあ。クライアントサイドソフトウェアは割と品質が求められる気がする。
安原
OS 実装とかシステムプログラミングって,クライアントに直接接しないだけで,その上にクライアントサイドソフトウェアが載るわけで,コードの品質が強く求められると思うのですがそれは…….まあ, API とかで切り離されているので,そこだけしっかりしていれば,という話はあるか.
宮森
坂木
今井
あとは、デモが作れればいい、的なのも同じかなぁ。
宮森
宮森
安原
今井
まー、 offline で動くバッチ、的なのはそこまでメモリ管理とか / パフォーマンスとかにもシビアにならなくていいし(最悪オーダーがほどほどならよい、的な)、そいう文化にいると、雰囲気にのまれる人が多い、というのはまぁわかる。
坂木
今井
宮森
いろいろ言っていますがワタクシ、そういう管理が必要なプログラムは全く書けなくなりましたので今書くと死にます(プログラムと顧客の大事なデータが)
安原
しかし,システムプログラミング界隈に「人間はリソースを適切に管理できる」という悪しき信仰がはびこっているの,何か構造的な原因があったりするのかなあ?
宮森
システム系、基本的に生のハードウェアが透けて見える言語を使う必要があって、そのために選択肢がCしかなくて、手段が限られているからこそ信仰が発生した、という認識
宮森
宮森
坂木
Linux カーネル、一体どうやったらあの規模のコードをクオリティコントロール出来るのか本当に不思議
安原
坂木
Linux カーネル、属人性高そうではあるけどそれでも実際に十分スケールしているからなあ…… ヤバい系レビュアーがごろごろしているのかな
宮森
安原
私も [検閲削除] のコミュニティを見てましたから,各々必要なドメインにおける圧倒的なタレント性を持った人たちが1ヶ所に集結して奇跡のアンサンブルを奏でうる場合がありうるのは理解しているんですが,本当にただの奇跡でしかないと思っています.
宮森
つーても機械エンジニアリングで町工場の職人芸を必要であれば使うように、属人性を求めるのも一個の正しい戦略だと思うんですよね。
宮森
なおその対極がみずh(省略されました
安原
Linux カーネルにおけるスケール云々は, Linux カーネルのコミュニティ自体におけるスケーラビリティではなくて,(システム)プログラミングコミュニティ全体(他のプロジェクト)へスケールするかどうかを言ったつもりでした.
坂木
宮森
C系がシステム系で優先されるの、ツールを変えるとツール独特の罠があるので、罠が全て分かっているツールを使う、っつうのもあるな。
安原
> システム系、基本的に生のハードウェアが透けて見える言語を使う必要があって、そのために選択肢がCしかなくて、手段が限られているからこそ信仰が発生した、という認識
これが原因だとすると,やはり Rust だ……Rust しかない…….ツール周りとか,まだまだ未整備な部分たくさんあるけれど……そこをクリアすれば…….
坂木
坂木
イテレータっていうか Java でいう Scanner を作ろうとしたんだっけ。サードパーティライブラリも探してみたけどその頃は I/O 周りの API が unstable でビルドが軒並み壊れていたりしたな……
藤堂
1.0 以前のことは忘れましょう (本当に unstable)
安原
坂木
安原
「Rust 経験者」という条件でプログラマを募集して,それで入ってきた人材に C を書かせればよいのでは!(ピコーン!
藤堂
犯罪ですよそれは
安原
はい.
藤堂
安原
まさにそれをイメージしていました.
宮森
藤堂
うーん、それ以降の話は知らず
今井
Rust そして誰もいなくなった、にならないかが一番心配だったりする
安原
それな
宮森
もしかして、NTPsecの人がRustでミニサーバーを起こすのにすら苦労していたの、普段からバグありのコードを生産しているからなのでは、という気がしてきた……。
(この辺で一同寝落ち)
いまだに十戒や二十則を「踏むべき手順」として持ち出してくるって、うみねこでミステリ知識止まってる人か?
それはともかくファンタジーとミステリの相性が悪いというのはあながち間違ってないし、
ループもの×ミステリはミステリ史的には「SFミステリ」に分類されるものだったと思う。
ミステリ読者には事件や探偵の前に「厳格なルールづくり」にプライオリティを置く人が多くて
そういう人たちが「ファンタジーミステリはなんでもありだからダメなんだ」と言う
こういう人たちの主張にも一理ある
ファンタジーとミステリをかけ合わせた作品には「ルール設定」をぼかしているものが多い
あんまりその世界独自のルールをカチカチに固めちゃうと読んでる読者の方が「お前の決めたルールやんけ」と白けてきちゃうし
じゃあ逆に現実世界の物理法則やロジックにそった解決へもっていくと「ファンタジーの世界観にした理由がわからない」と文句がつく。
どっちにしろ、負け戦なわけだ。
しかしその困難を乗り越えてファンタジーミステリを書いてる人は多いわけで
魔法が発達してヴィクトリア朝以前の宮廷文化が保持された並行世界のイギリスで密室殺人が起きる。
当然「犯人は魔法を使って殺したのでは?」みたいな疑惑が持ち上がるわけだけれど……。
このミステリで使われた「魔法世界でミステリをやるときのメソッド」は良くも悪くもその後のファンタジー・ミステリの規範になった。
西澤保彦『七回死んだ男』
主人公である少年の偏屈な金持ちの祖父が殺された……と思ったら次の日に何事もなかったかように殺害日の朝に逆戻り。
少年はなんとか祖父を助けようとするんだけどその度にバリエーション豊かに殺されていく。
どうやったら殺人を防ぐことができるのか? そもそもなぜループするのか。
魔法使い版『11人いる!』というか『そして誰もいなくなった』というか
魔法世界で起こる殺人を扱った作品としては『魔術師が多すぎる』を彷彿とさせるが
アニメ化もされたんだっけ?
割合「剣と魔法」系ファンタジーミステリとしては最高傑作の部類に入るとおもう
特筆すべきは「その世界でのロジック」にちゃんと拘っているにもかかわらず
ちゃんと読んでて納得させられるというか、「お前の決めたルールやんけ」感が少ないこと
物理法則をファンタジー寄りに、ロジックを現実世界よりに構築したのが成功の原因ではないかな
いわゆるスチームパンクの世界観でミステリやるやつで分類的にはSFミステリでもある
「おまえの胸先三寸やんけ」にやや傾きがちなところもあって、それで批判されがちだけど
『人間の顔は食べづらい』は『ソイレント・グリーン』、『東京結合人間』は『ムカデ人間』と
みもふたもない……もとい親しみのあるホラー設定の世界でガチ本格を作る若手随一の実力派。
異世界本格のロジックは今後、この人の作品を基礎にしていくとおもう。
設定のセンセーショナルさに反していまいち弾けきれない部分があったが、最近刊『人間の顔は食べづらい』でネクストステージへ到達
「剣と魔法」でもホラーでもSFでもない、童話ファンタジー風の世界観を基礎にしたガチ本格が特徴。
みためはかわいらしいが、倫理のタガが外れたヤバいキャラや話が多い
マストリードは『スノーホワイト』。『白雪姫』に出てくる鏡がもし現実に存在したら……を天のはてまで突き詰めた傑作だ。
吸血鬼や狼男の存在する20世紀初頭のイギリスで繰り広げられる大活劇
ミステリとファンタジーとアクションのバランスがとれていて、わりあい読みやすい
残りの190数冊はどこかって?
ふふ、それは君たちの頭のなかに眠っているのさ。。。