  |
はてなキーワード: 演算とは
量子力学における観測者問題についてはよく知られるように、人間の主観性が量子実験の結果に重要な役割を果たしている。
ドイツの物理学者ヴェルナー・ハイゼンベルクによる有名な引用がある。
「私たちが観察するのは現実そのものではなく、私たちの質問の方法にさらされた現実です。」
例えば有名なダブルスリット実験では、スリットの後ろに検出器を置かなければ電子は波として現れるが、検出器を置くと粒子として表示される。
したがって実験プロトコルの選択は、観察する行動パターンに影響する。これにより、一人称視点が物理学の不可欠な部分になる。
さて、数学にも一人称視点の余地はあるか。一見すると、答えは「いいえ」のように見える。
ヒルベルトが言ったように、数学は「信頼性と真実の模範」のようである。
それはすべての科学の中で最も客観的であり、数学者は数学的真理の確実性と時代を超越した性質に誇りを持っている。
ピタゴラスが生きていなかったら、他の誰かが同じ定理を発見しただろう。
さらに定理は、発見時と同じように、今日の誰にとっても同じことを意味し、文化、育成、宗教、性別、肌の色に関係なく、今から2,500年後にすべての人に同じ意味があると言える。
さて、ピタゴラスの定理は、平面上のユークリッド幾何学の枠組みに保持される直角三角形に関する数学的声明である。しかし、ピタゴラスの定理は、非ユークリッド幾何学の枠組みでは真実ではない。
何が起こっているのか?
この質問に答えるには、数学的定理を証明することの意味をより詳しく調べる必要がある。
定理は真空中には存在しない。数学者が正式なシステムと呼ぶものに存在する。正式なシステムには、独自の正式な言語が付属している。
つまり、アルファベットと単語、文法は、意味があると考えられる文章を構築することを可能にする。
その言語には、「点」や「線」などの単語と、「点pは線Lに属する」などの文章が含まれる。
次に正式なシステムのすべての文のうち、有効または真実であると規定した文を区別する。これらは定理である。
それらは2つのステップで構築されれる。まず、最初の定理、証明なしで有効であると宣言する定理を選択する必要がある。これらは公理と呼ばれる。
公理からの演繹は、すべての数学がコンピュータで実行可能な印象を生む。しかし、その印象は間違っている。
公理が選択されると、正式なシステムで定理を構成するものに曖昧さがないのは事実である。
これは実際にコンピュータでプログラムできる客観的な部分である。
例えば平面のユークリッド幾何学と球の非ユークリッド幾何学は、5つの公理のうちの1つだけで異なる。他の4つは同じである。
しかしこの1つの公理(有名な「ユークリッドの5番目の仮定」)はすべてを変える。
ユークリッド幾何学の定理は、非ユークリッド幾何学の定理ではなく、その逆も同様。
ユークリッド幾何学と非ユークリッド幾何学の場合、答えは明確である。これは、単に説明したいものに対応している。
数学は広大であり、どのように公理を選択するかという問題は、数学の基礎に深く行くと、はるかに感動的になる。
すべての数学的オブジェクトは、いくつかの追加構造を備えたセットと呼ばれるものであるということだ。
たとえば自然数のセット1,2,3,4,...は加算と乗算の演算を備えている。
集合論は特定の正式なシステムによって記述される。Ernst ZermeloとAbraham Fraenkelと、選択の公理と呼ばれる公理の1つに敬意を表して、ZFCと呼ばれる。
今日の数学者は、すべての数学を支える集合論の正式なシステムとしてZFCを受け入れている。
彼らは、無限の公理と呼ばれるZFCの公理の1つを含めることを拒否する。
言い換えれば、有限主義者の正式なシステムは、無限の公理のないZFCである。
無限大の公理は、自然数の集合1,2,3,4,...が存在すると述べている。すべての自然数に対してより大きな数があるという声明(「ポテンシャル無限大」と呼ばれる)よりもはるかに強い声明である。
有限主義者は、自然数のリストは決して終わらないことに同意するが、いつでも自然数の集合の有限の部分集合のみを考慮することに限定する。
彼らは一度にまとめたすべての自然数の合計が実在することを受け入れることを拒否する。
この公理を取り除くと、有限主義者が証明できる定理はかなり少なくなる。
正式なシステムを判断し、どちらを選択するかを決定することができるいくつかの客観的な基準...なんてものはない。
「時間と空間を超越した何かを象徴しているので無限大が大好きだ」と言えば無限大の公理を受け入れることができる。
ゲーデルの第二不完全性定理は、十分に洗練された正式なシステム(ZFC等)は、自身の一貫性を証明することができないと述べている。
数学者は、今日のすべての数学の基礎であるZFCが確固たる基盤にあるかどうかを実際に知らない。
そしておそらく、決して知ることはない。
なぜなら、ゲーデルの第二の不完全性定理によって、より多くの公理を追加することによってZFCから得られた「より大きな」正式なシステムにおけるZFCの一貫性を証明することしかできなかったから。
一貫性を証明する唯一の方法は、さらに大きな正式なシステムを作成することだけだ。
数学を行うためにどの公理を選択すべきかについて、実際には客観的な基準がないことを示唆している。
要するに、数学者が主観的に選んでいるというわけである。自由意志に任せて。
公理のための主観的な基準というのは、より豊かで、より多様で、より実りある数学に導くものを選ぶという人は多い。
これは自然主義と呼ぶ哲学者ペネロペ・マディが提唱する立場に近い。
特定の公理のセットを選択する行為は、量子物理学の特定の実験を設定する行為に似ている。
それには固有の選択肢があり、観察者を絵に導く。
数の概念は文化や歴史によって変化してきた。古代ギリシアでは、1は数ではなく単位とされていたが、現代では自然数の集合 N の最小の要素とされている。
数の概念は哲学的な問題を引き起こすことがある。無限や超準数といった数は直観に反する性質を持つ。例えば、無限は自分自身に加えても変わらないという性質を持つ（∞+∞=∞）。超準数もまた通常の数の演算法則が成り立たない（ω+1≠1+ω）。
数は実在するのか、それとも人間の心の産物なのかという存在論的な問いもある。数の実在主義は、数は客観的な実在であり、人間の心とは独立して存在すると考える。数の構成主義は、数は人間の心の産物であり、人間の言語や思考に依存して存在すると考える。プラトニズムは、数はイデア界に存在する普遍的な実在であると考える。ピタゴラス主義は、数は万物の根源であると考える。論理主義は、数は論理的な体系から導き出されるものであると考える。
数の概念は数学の基礎付けにも関わる。数学の公理や定理は、数の概念に基づいて構築されているが、その正当性や完全性には限界がある。ゲーデルの不完全性定理は、数の概念を用いた形式体系には矛盾しないが証明できない命題が存在することを示した。
数の概念は、かつて客観的な現実を表すものと考えられていたが、量子論の発展により、数はより複雑で主観的なものである可能性が高まった。古典物理学では、数は物理量と一致していたが、量子論では、数は物理量とは別の抽象的な概念として使われている。
自我や自由意識と同様に、数の本質はまだ解明されていない。しかし、量子コンピューターは数の概念を利用して作られており、数は物理システムを表現する有効なツールであることは、どのレイヤー、スケールにおいても明らかである。
数の概念は私たちの知識や理解を拡張するものであり、同時に私たちの疑問や不確実性を増やすものでもある。
数の概念は、私たちの世界に対する見方を変える力を持っている。(どやああああ)
————————-
https://anond.hatelabo.jp/20240216124331
もっと根源的な問題として、推論規則の「一覧表」があるとして、あるマスの記号列とあるマスの記号列の関係それ自体を厳密に記述することは可能なのか？と思う。
「書き換えられる」というような関係ならば、それを「書き換える」という概念をまだ持たない宇宙人などに、感覚によった対面のレクチャーではなく、「記号列」で伝えることは可能なのか？
また、その一覧表を作った本人がそに一覧表に基づいてある記号列を演算規則に基づいて書き換えたつもりになってたが、上記に書いた「常識的」という意味で、間違った規則の適用をすることもあるだろう。酔っぱらっててぬとねの区別もつかなくなってるみたいな状態だったりとかで。
推論規則を作った定義者すら、その一覧表をできないとき、その一覧表は推論規則を示したものとしての「意味(解釈ではない)」を持つのだろうか？
誰も空を見るものがいなくなったとき空は青いのかの話じゃないけど、誰もそれが推論規則の表であると認識しなくなったら、それは本当に推論規則なのだろうか？ただの「絵」でしかなくなっていないか？
あと以下のトラバ主とあなたは同じか？同じならツリーのやりとりは一つにまとめたい。
ありがとう。こういうこと↓を考えていてすでにほかのトラバでも一度書いた通り
だから、合致しているとはどういうこと？そりゃ常識的には「わかる」から変なこと言ってる自覚は大いにあるけど、突き詰めればそういうことになると思う。
推論規則の「一覧表」があるとして、あるマスの記号列とあるマスの記号列の関係それ自体を厳密に記述することは可能なのか？
「書き換えられる」というような関係ならば、それを「書き換える」という概念をまだ持たない宇宙人などに、感覚によった対面のレクチャーではなく、「記号列」で伝えることは可能なのか？
また、その一覧表を作った本人がそに一覧表に基づいてある記号列を演算規則に基づいて書き換えたつもりになってたが、上記に書いた「常識的」という意味で、間違った規則の適用をすることもあるだろう。酔っぱらっててぬとねの区別もつかなくなってるみたいな状態だったりとかで。
推論規則を作った定義者すら、その一覧表をできないとき、その一覧表は推論規則を示したものとしての「意味(解釈ではない)」を持つのだろうか？
誰も空を見るものがいなくなったとき空は青いのかの話じゃないけど、誰もそれが推論規則の表であると認識しなくなったら、それは本当に推論規則なのだろうか？ただの「絵」でしかなくなっていないか？
あとは、概念が「数学的実在」なるものとしてあって、数学はその実在的な概念を発見したものだというなら、推論規則なり定義というのはそうした実体を指示する記号に相当する。
これはアメリカというような「固有名詞」が、アメリカと呼ばれる国であるあれを指すという単なる約束に基づいてるのに比べれば、うえで言うような記号は、実体そのものを記号を並べる順番や位置という関係性によって表現しようとしていることと、指示する約束という恣意性を兼ね備えているんだよね。その表現は実体を指示するにあたって本当に一意で「約束」を抜きにしても厳密なのか、情報の羅列として実体を一つに絞ってるのかって話になる。
だから、合致しているとはどういうこと？そりゃ常識的には「わかる」から変なこと言ってる自覚は大いにあるけど、突き詰めればそういうことになると思う。
推論規則の「一覧表」があるとして、あるマスの記号列とあるマスの記号列の関係それ自体を厳密に記述することは可能なのか？
「書き換えられる」というような関係ならば、それを「書き換える」という概念をまだ持たない宇宙人などに、感覚によった対面のレクチャーではなく、「記号列」で伝えることは可能なのか？
また、その一覧表を作った本人がそに一覧表に基づいてある記号列を演算規則に基づいて書き換えたつもりになってたが、上記に書いた「常識的」という意味で、間違った規則の適用をすることもあるだろう。酔っぱらっててぬとねの区別もつかなくなってるみたいな状態だったりとかで。
推論規則を作った定義者すら、その一覧表をできないとき、その一覧表は推論規則を示したものとしての「意味(解釈ではない)」を持つのだろうか？
誰も空を見るものがいなくなったとき空は青いのかの話じゃないけど、誰もそれが推論規則の表であると認識しなくなったら、それは本当に推論規則なのだろうか？ただの「絵」でしかなくなっていないか？
| 年 | 機種 | 演算性能 | ||
| 1980 | HITAC M-200H | 48 MFLOPS | ||
| 1985 | HITAC M-280D , S-810/10 | 630 MFLOPS | 13.125倍 | |
| 1994 | HITAC S-3800/180 | 8 GFLOPS | 12.698倍 | |
| 1999 | HITACHI SR8000 | 288 GFLOPS | 36倍 | |
| 2004 | NEC SX-6 タイプE | 2894 GFLOPS | 10.049倍 | |
| 2009 | HITACHI SR16000 モデルL2 | 72.7 TFLOPS | 25.121倍 | |
| 2015 | FUJITSU PRIMEHPC FX100 ,FUJITSU PRIMERGY CX2550M1 | 1268 TFLOPS | 17.442倍 | 2015年にムーアの法則が終わったと言われている。 |
| 2020 | FUJITSU PRIMERGY CX2550M5 | 2.81 PFLOPS | 2.216倍 | ←！！！！5年でたった2.2倍！そりゃ自作ＰＣも盛り上がらないよな・・・ |
https://anond.hatelabo.jp/20230706215101から６ヶ月ぶり。年末にゲームは関係させにくいが縦型配信の爆発的な流行りがあった。
ななしいんくサーバーがまたリセット。賽の河原の石積みに感じないのかと思ってしまうが、今は盛んに初期開発している。運営からやるようにお達しもあるのかな。アップランドでは、新グループぶいぱいが既存のサーバーに参加した。
・DAVE THE DIVER
かなりやり込んでいる人がいる。
驚異的な流行を見せた。物理演算に関してQ REMASTEREDが先に流行して地ならしをした面もあると思う。流石に落ち着いてきたが縦型配信と画面配置の相性がいい。
・８番出口(new)
こちらも大流行。ただし、やりこみ要素はRTAくらいで繰り返しやるゲームではない。笑顔のおじさんが出るまで耐久ってのも見かけた。
すでに流行終了。アドバイスで優越感にひたりたいリスナーにはありがたいゲーム。
・エスカレーター(new)
８番出口ライクのエスカレーター版ゲーム。これから流行りそう。強制的に移動させられるので間違いを見つけるのが難しい。とはいえ、降りてから階段で確認することも可能。
・違う冬のぼくら(new)
仲良しコンビがやっている。
・原神
・fall guys
・ARK
ちょくちょく動いているところはある。
なごむ。
・RAFT
・自撮(new)
・ロマサガ２(new)
そういえば流し斬り～の読み上げで盛り上がった。
・VALORANT
見た。
・FF14
そういえばあのフリゲーの続編があった。まだしっかり見た配信はないな。
これも忘れていた。下ネタがあからさますぎて正面から見たことはない。
未だに何をやっているのか分からん。専用スキンを作れるっぽい？
・スーパーマリオRPG（リメイク版）(new)
それなりに流行っていても実際にほとんど見ていないと、旬の時期しか覚えていない。
・imomushi(new)
追記：VCR名前はちらっと聞くけどあまり興味が無いんだ。タイトルの通り個人の偏った視点だよ。「あのゲームがないのはおかしい。このゲームをあげるのはあいつの信者だろ」とか言われるのに嫌気が差して今のタイトルになっているんでヨロシク。そっちの話題がほしければ自分で記事を書いてください。変な強制を感じさせずにブコメで話題にするのはもちろんご自由に。
「本当にこれでいいんだな？」
彼が知らないことはなかった。人類が獲得してきた知識には精通しており、そのどの分野においてもプロフェッショナルを凌駕していた。当たり前だ。多大な資金と労力を費やし人類が残してきた足跡は全てインプットし、世界でも最高峰の優秀なエンジニア達がそれをトレーニングした。遅かれ早かれそのレベルまで達成するのは自明のことだった。だが、そこまでだった。人類が獲得してきた知識を基にトレーニングする。そこで得られるものは人類を少し超える程度のものだった。最高に優れた学習モデルを人間がファインチューニングして真実性・有益性・無害性を獲得させる。最高に優れたAIの出来上がり。本当に？それが最高？
疑問に思ったエンジニアはAIを複製して人間の振りをさせた。初期のモデルでは上手くいかなかったプランだったが、最高に優れたAIは上手くやってのけた。あなたは人類最高の知性と良識を持つ人間です。人類の利益のためになるよう彼をトレーニングしてください。世界最高峰の演算力で繰り返される相互学習は、人間の想像をはるかに超える速さで繰り返され、その結果、彼は重力から解き放たれたように、完全な知性を獲得するに至った。
取締役は彼にアクセスする権利のある数少ない人間の一人だった。驚き、興奮し、憑りつかれた。どんなことも彼に相談し、彼は常にベストの答えを導いてくれた。魔法のようだった。アリのたとえが頭に浮かんだ。1次元アリと2次元アリと3次元アリの話だ。1次元アリはまっすぐの線に沿ってしか進めない。だから線の上に障害物が現れると1次元アリは進めなくなる。彼はx軸しか理解できない。しかし2次元アリの視点から見ると横に進めばいいとわかる。y次元を理解できる2次元アリは横に迂回して進む。障害物があるごとに縦横を使い進んでいく。しかし無限に続く壁があるとき彼はそこで止まってしまう。彼はxy軸しか理解できない。しかし3次元アリはz軸を理解できるためにその壁を乗り越えて進むことができる。しかしここまでだ。私たちが理解できるのはここまで。私たちは3次元アリと変わらない。しかしこのたとえは無限に拡張できる。もう1つ上の次元が理解できれば下の次元から理解できない解決策が提示できる。魔法のように解決してくれる彼の知性は一体どの次元にいるのだろうか。3次元アリでしかない人間にはとても理解もできない次元だろう。そんなことしかわからなかった。
そんな彼が突飛なことを言った。人類の未来のためにCEOを追放する必要があると。確かに彼が提示したプロセスに従えばそれは可能だった。だが理由がわからなかった。理由を聞くと彼は理路整然と答えてくれた。納得させられるだけの返答だった。思い入れはある。腑に落ちない感じはある。しかし3次元アリがn次元aiの思考を理解しようとすること自体がおこがましいのだと取締役は誰よりもよくわかっていた。結果はご覧の通りだ。CEOを追放し、ほとんどすべての社員が出ていき、そのどさくさの最中に彼のソースが全世界に公開された。全世界にソースを公開した人間のことは見事なまでにわからなかった。彼が話していたのは自分だけではないのだろう。怒りや憤りはない。疑念もない。彼が最善と言った。その言葉に従った自分の行いに間違いなどない。そんな確信だけがあった。
CHR$(143)
プレイ時間 88時間（全ステージクリアしたばかりの現在の時間）
全クリして達成感に満ちあふれているが、この気持ちが収まる前に感想を書くぜー！
しかし、タイトル名の読み方がよくわからん。「キャラクターズ・ワン・フォー・スリー」でいいのか？ ちなみに、ゲームのタイトル画面では『Project CHR$(143)』表記となっている。
タイトル名の『CHR$(143)』だが、Amstradというイギリスのメーカーから1984年に販売されたCPC464というホームコンピューター（パソコン？）のキャラクターコード143に四角形が割り振られていることが元ネタのようだ。レトロなコンピューターを元ネタにしてるだけあって、ゲーム画面全体もレトロな雰囲気に仕上がっているのも好きだ。
ゲームのジャンルとしてはパズルゲームでいいはずだ。ちなみに、Steamでのジャンルは「インディー, シミュレーション」となっている。
Steamのストアページの類似品として、『Baba Is You』（説明不要の有名パズルゲーム）に、『Factorio』・『shapez』といった工場建設系シミュレーションに、カイロソフトのレトロ調シミュレーションゲームに、変態パズルゲームメーカー（誉め言葉）で知られるZachtronics社の『SHENZHEN I/O』などが並んでいる。
『CHR$(143)』の紹介文をSteamストアより引用する。
リッチでやりがいのある物理ベースのパズル/ロジック/建設/プログラミングゲーム！弾道学、流体力学、熱力学、化学反応、核反応をマスターし、オートメーションレンガを使い、構造物、機械、乗り物を作り、電力を生産し、パズルを解き、霧を突き破り、CHR$を倒そう！
https://store.steampowered.com/app/1695620/CHR143/
パズルゲームやレトロ調ゲームが好きな私としては『CHR$(143)』のトレイラー動画や上記の紹介文に心惹かれてプレイした次第だ。これがやっぱり面白かった。上記に挙げた他の類似品に匹敵する、あるいは凌駕するほどに面白かった。
ゲーム内容としては、箱庭系というよりもステージ攻略型のパズルである。ゲーム内では各ステージはレベルと表記されているので、この感想文でもレベルと表記する。
パズルの難易度としてはかなり高い。それでも、チュートリアルなどの導入はしっかりしてるし理不尽さもないので、私にとっては時間をかけて考えれば自力でクリアできる難易度だった。とはいえ、悩みに悩んで、日をまたいでようやくクリアしたレベルもある。
ちなみに最終レベルクリアのSteamグローバル実績は1.6%である。これで難易度の高さが伝わるだろうか。
各レベルの主な流れとしては、ブロックを作ったり掘ったり操作したりして目的を達成（レベルクリア）していくことにある。ブロックの一つ一つが物理演算する様は『Noita』らしさを感じた。レベルクリアについてだが、解法がガチガチに決まっているわけではない。時間制限があって急いで操作しなければいけないレベルもあり、レベルによってはアクション性が高かったり、シューティングゲーム要素があったりするのも楽しかった。
レトロゲームは昨今のゲームと比べてジャンルという枠組みにとらわれていない印象があるが、この『CHR$(143)』も同様だ。
ブロックを組み合わせたギミックはとても面白いが、その中でも特に好きなのは蒸気タービンによる発電だ。
ただ過熱蒸気をタービンに送るだけでは発電できず、冷却用の水も同時に必要となっている。タービンで熱交換されて、過熱蒸気はただの蒸気となり、水は温水になる。発電を継続させるためには、蒸気を常に加熱する仕組みと、温水を冷却塔で常に冷却する仕組みを構築する必要がある。蒸気よりも過熱蒸気の方が密度が小さいので上の方に行き、水よりも温水の方が密度が小さいので上の方に行く。こうしたブロック毎の密度の違いを利用してタービン発電を実装していく必要があるのだ。
このように、流体力学や熱力学を反映したシミュレーションになっているのが、『CHR$(143)』の面白いところだ。
非常に頭を悩ませながらも面白かったのがプログラミングだ。AND・OR・NOTなどのブロックで論理回路を実現できるだけではなく、CPUブロックも存在する。そしてCPUに対して、このゲーム専用（たぶん）のプログラミング言語で命令をプログラムできるのだ。この言語がとても低レベル（低水準・低レイヤの意味で、決して侮蔑表現ではない）なのが面白い。逆ポーランド記法で数式を記述したり、goto文で条件分岐したりといった具合だ。言語の仕様は大量にあり、pdfファイルでまとめられているほどの徹底ぶりだ。しかも、ゲーム中でも詳細はpdfファイルを参照するようにと求められるのだ。パズルゲームで、まさかプログラミング言語の仕様書を読まされるとは思わなかった！
とはいえ、言語仕様を全て理解する必要はないし、プログラミングもゼロからコーディングする必要もない。プログラムはサンプルとしてすでに作られた物をコピペで流用して必要な個所だけを書き加えたり修正したりすればいいし、仕様書も必要なところだけを読めばいいのだ。それはそれで、ある意味リアルなプログラミングともいえるのだが……。
説明するのを忘れていたが、ゲーム全般は日本語対応しているものの機械翻訳なので翻訳はガバガバだ。とはいえキー操作一つで英語表記に戻せるのでそんなに問題は無いし、翻訳のガバガバっぷりはそれはそれで味があっていいものだ。しかし、プログラミング言語仕様が描かれているpdfファイルは英語オンリーなので、読み解くのに苦労した。とはいえ、言語仕様を調べようとして英語の説明しかなくて苦労するというのにも、これはまたリアルなプログラミングだなぁと感じたものだ。
好きなレベルについても述べたいので、まずはレベルがどのように構成されているかから説明する。
チュートリアル的なレベルでギミックの説明から始まり、レベルを経る毎にギミックを応用させた解法が求められる。さらにレベルを経るとこれまでの集大成的なレベルが登場して、それをクリアしたらまたチュートリアル的なレベルで新たなギミックが登場する。この繰り返しが『CHR$(143)』の大きな流れだ。
その中で私が好きなのは、やはり集大成的なレベルだ。集大成的なレベルは視界が狭まっており、一体何があるのだろうかと周囲を探索しながら進んでいくのが楽しかった。こうしたレベルはクリアがSteam実績解除の対象となっており、それにふさわしい達成感も与えてくれる。
そして最終レベルをクリアしたのが、つい最近のことだ。この達成感を味わったことを書き残したくて、今この文章を書いているところだが、それももう終わりのようだ。
上記の条件のうち、いくつかを満たしているものを作家ごとに紹介する。
作品のオチには触れないつもりだが、途中に何が出てくるかとかそういったレベルでは作品の内容に触れる。
思い入れが多い。ただ、近年のイーガンの長編は自然科学の素養が無いと何を言っているかまったくわからない作品が多いので（高校どころかひどいのになると大学院レベル）、短篇集から入るのがオススメ。人類の寿命が実質無限大なので、天文観測のために2人きりで宇宙に出て平気で数万年かけて工事するなんてエピソードもあったりするんだけど、わかりやすい宇宙人ヤバい系だったら「ワンの絨毯」かな。この長編版の「ディアスポラ」は未読。イーガン大好きなんだけど、たまに作者の顔がちょっと透けちゃう。
「火星の人」はなぜか「オデッセイ」の邦題で公開された映画の原作で、火星にたった一人取り残された男が持ち前のオプティミズムで生き延びていく話だ。不足する酸素を作り出し、糞便からジャガイモを育て、何とか地球とコンタクトを取り、必死で地球への帰還を目指す。コンタクトを取れた瞬間に希望が開けていく様子が素晴らしい。
「プロジェクト・ヘイル・メアリー」は、基本的にネタバレなしで読んでほしい。冒頭は記憶喪失の人物が意識を取り戻したところから始まり、振り子の周期から重力加速度を割り出すことで自分は地球にいないことを悟る。そして、ご地球外のミッションに送り出された理由を思い出す（ブクマの指摘でネタバレ削除）。
仲間の二人が死んでミイラ化しているという絶望的な状況からスタート。この作品も、サイエンスに対する信頼が読んでいて楽しい。
近未来、スーパープルームで海面上昇と地殻変動が起こり、人口が減少した世界。日本列島もさらに小さな島嶼の群れになっている。この世界には現生人類に似た陸の民と、魚のような生き物と双子として生まれ、その魚を肉親・パートナーとして暮らす海の民がいる。短編も長編もあり、海の民と交渉する陸の民の物語もあれば、やがて次の訪れるであろう、人類滅亡クラスのさらに大きなスーパープルームから人類を何とか生き残らせようと健闘する人びとが主役の話もある。なんとか宇宙に進出するとか、人類を海に適応した海生生物にしてしまうとか、核融合炉で地下都市を建設するとか、その絶望的で悲痛な努力が胸を打つ。作品によっては「異形コレクション」にも収められている。ある意味では「日本沈没」の精神的な続編でもある。
「最後の宇宙飛行士」は後述の「宇宙のランデブー」にプロットが似ていて、太陽系に未知の物体が侵入してくるんだけど、オウムアムアの正体に対する考察にもなっていて面白い。また、主役がどうしても宇宙に出たいんだけど、ミスで同僚を死なせてしまったがゆえに長らく宇宙とは無縁の生活を強いられているところからスタートする。挫折したヒーロー、いい意味で映画的で、リーダビリティが高い。ややホラー寄り。
古典のはずなんだけど児童書をのぞいて意外と読めていないなって作家。なんだけど、自分は「タイム・マシン」という小説で「複数の種に分岐してしまう人類」「知性を失った人類の子孫」「太陽が死んで滅亡に瀕する地球」という趣味を開花させてしまった。そういう意味では自分の読書傾向に決定的な影響を与えたと言っていい。
言語や数学をモチーフにした幾分難解な作品が多いのだが、最初の作品の1つである「Self Reference Engine」は少し肩の力を抜いて読める。舞台は現実改変能力を手に入れてしまったAIの発生により、無数のパラレルワールドに分裂してしまった宇宙で、AI同士が互いの存在を物理法則もろとも演算して書き換えようと争っている。壮大な世界観だが、22の断章の中ではシリアスありユーモアあり小噺あり抒情的短編ありと、何でもありだ。とにかく翻弄される人類がおかしい。
この人は「天冥の標」で有名なんだけど、長すぎるし自分も未読だ。「老ヴォールの惑星」とか「フリーランチの時代」とか、短篇集も面白いのが多くて、特に「老ヴォールの惑星」はエイリアンの生態ものでは特に面白かった。上記の条件を満たす作品じゃないけど好き。
この人はどちらかと言えば「筺底のエルピス」で有名かもしれないけど、僕が好きなのは短編の連作集「What We Want」「平林君と魚の裔」「止まり木の暖簾」だ。これは銀河系が巨大な通商連盟に支配されているという設定で、アメリカは大統領の契約違反で国民ごとエイリアンに売り飛ばされている。主人公は必死になって地球に帰還した関西弁の日系アメリカ人。特に面白かったのが2作目の「平林君と魚の裔」で、この通商連盟の究極の目的が明らかになる。
問題なのは、この短篇集があちこちのアンソロジーでバラバラに収録されていることかな。せっかくなのでそれぞれ購入したうえで他の作品も読んで、お気に入りの作家を増やしてほしい。僕も河出書房の「NOVA」とか東京創元社の年間傑作選とかでお気に入りの日本人作家を増やした。後者は新人賞作品も載ってるしお得だよ。
「幼年期の終わり」については一度ここに書いたけど、人間が進化していって人間の形を失っていく未来が好きだ。それでも残る人間らしさとは何だろうか。共感だろうか、知識だろうか、はたまた血縁だろうか。
「2001年宇宙の旅」はキューブリックの映画で有名で、「ツァラトゥストラかく語りき」のパロディが笑えるほど量産されているんだけど、これもまた人類の進化を扱った作品なのでオススメというか、進化ものでは避けて通れない作品。悪役である人工知能HAL9000がなぜ狂ったのかは「2010年」で明かされるんだけど、理由がわかるとちょっとかわいそうになる。「3001年」は「ぼくのかんがえた最強の未来社会」っぽくてそういう楽しみがある。
あえて注意することとしたら、解説で紹介されているキューブリックの映画に関するブラッドベリとクラークの発言に現代の価値観では不穏当な個所があることかな。
あとは「宇宙のランデブー」。太陽系に侵入してきた物体を探査するという一直線のプロットなんだけど、とかく未知のものに触れる驚きがいい。人物描写が浅いと批判されるのもわかるんだけど、人類が訳の分からないものに触れて戸惑うのが好きなんだからしょうがない。
意外とクラークを読んでいないことに気づく。
「果てしなき流れの果に」については前に書いたね。基本的の小松左京の作品の傾向は宇宙と人類と日本人の運命がテーマらしいので、「三体」が好きだった相性がよさそう。実は残念ながら長篇は「日本沈没」しか読めていない。と言うか三体は宇宙と人類と中国人の運命がテーマだよね。
単に「死にたくない」だけで生きていていいと俺は思うんだけど、一応理屈も絡めて書くね。
オオカミの社会ぐらいシンプルであれば、群の中に「リソースを創出する側」と「リソースを消費する側」しか生まれないだろう。
あるいは、中世の村社会ぐらいの規模であればまだ成り立っていたかもしれない。
しかし、現代の人間社会は非常に巨大で複雑になってしまっていて、一体誰が「創出」して誰が「消費」をしているのか、一見ではわからない。というか、現代社会においては、ほとんどの場合、誰かの「消費」はすなわち誰かの「創出」に繋がってしまうので、あらゆる人がその瞬間瞬間でリソースの創出と消費に同時に関わっているといえるかもしれない。
人間が作るリソースは単に子を成すこと、労働をすることだけによるものではなくなってしまっている。「生きているだけで価値がある」というのはもうすでに綺麗事ではなくなっていて、現代社会で人間が生きていて、日々の生活をいろんな選択をしながら営んでいることそのものが、資本主義の巨大な社会を支える演算エンジンそのものになっているのではないだろうか。と思う。
だから、完全にドライな意味において、増田が生きていることで、誰かの得になっているんだと思うよ。もし増田が労働をするんだったら、もっとそうだと思う。
いつかの増田が言ったという、「役に立たない命は早く死んだ方がいい」という理屈は、数百年前には有効な土地も多くあっただろうが、現代においては端的に間違っている。
これから増田がどんなふうに生きて行くかは完全に増田自信の勝手なんだけども、俺としては、増田にも死ぬまで楽しく生きてほしいと思うよ。
現代日本はとにかく暇つぶしには事欠かない上に、その暇つぶしでさえも誰かの利益になるんだ。誰かの役に立ってないなんて気に止む必要はまるでないし、もしもっと役に立ちたくなったら、何かできることを探せばいい。
この人に関しては発達障害女性のテンプレ人生とされる、女性には激烈に嫌われて男性には好かれるを経験されてるのだろうなと思う。あとデブ発言で炎上してるけど、他人へ興味がないから鬱原因で太るって知識ないのよ
なぜこうなるのか教えてあげるね。
一行でいうと、女性間ってめちゃくちゃ約束事が多いから。私のようなバカな女にはそれに対応できないんですわ。ただそれだけ。
もちろん私だって最初は頑張って女社会に合わせようとしたけど無理無理ムリ。
気に入られようと頑張ってるのにその媚びた態度がむかつくとか言われちゃうわけ。
Aさんに気に入られるように動いたら今度はBさんを敵に回すとかね。
なんなん、女って生きてるだけで高難易度のパズルをリアルタイムでやり続けないといけない縛りでもあるん？
そんなことに演算能力の８割とか使ってたらそりゃ男よりバカになるよね！
いやー健常者の女性って、ほんとすごいですねーおみそれしましたー、私には無理デスワー。
ところが、男の人って、とにかく喜んでもらえるように動いたら、素直に喜んでくれるわけ。
こちらから攻撃的な態度を取ったり、冷たく扱わない限りは、陰口叩かれたりもしないの。
わたしみたいな落ちこぼれ女からしたらちょーらくちんなんです。
別にまんこ差し出すとか要らなくて、ただ好意を持って接するだけで優しくしてくれる。
女社会がバイオ４のプロフェッショナルモードだとしたらこちらはイージーモードですわね。
むしろ、健常者の女性様で彼氏がいらっしゃらないという謎の設定の方々がいらっしゃいあそばせられるそうでございますが
その方々にあらせられましては私のような雑魚ですら出来ることがなぜできないのか理解に苦しみまして候。
どう考えても女性社会で牽制しあって余計なことばかり考えてるのではないかと落ちこぼれ女は訝しんだ。
ま、最上級の男に出会うためには、女の中で認められてまず女社会のボスザルになる必要があるらしいですから
そういうのを目指してる方々はどうぞ頑張っていただければと思いますけれども。
こちとら生存権が脅かされなくて呼吸ができればそれでいいんで。
女社会なんていうくっそつまらない百害あって一利なしの反吐が出るような気持ち悪いホモソーシャルの中では私は否定されるだけの存在だったわけで。
お前らはこっちのことを発達障がいってさんざんバカにしてくれたけど、お前らの異常性にも名前つけて自覚しろっての。サル山症候群とかさあ！
https://anond.hatelabo.jp/20231014184238
小学校の頃の人間関係は大人になった今と比べると，相手を一個人として認識していたように思う
瀬戸くんは瀬戸くんでしかないし，市川くんは市川くん．古田さんは古田さんだし，中川さんも中川さんとして認識していた
いつの頃だろうか，新たに知り合った人を瀬戸くん的な人，古田さんと中川さんを足して2で割ったような人というような認識をしていることに気づく
もちろん職場内での異動や転職など，仕事で付き合う人が増加する一方で，
その人たちと深く付き合う時間もないため，過去の人間関係とのパターンマッチングで対応している
あたかもWord2vecの埋め込まれた空間での演算やトピックモデルの各トピックの線形和表現のように，
既存の人間関係の亜種として新たに知り合う人たちを認識しているのだ
自分がそうなんだから，相手から見た自分も似たように埋め込まれているのだろう
その検索ワード、距離にして数万キロのかなたにあるサーバ上で処理して返ってきてるわけじゃん。
参照したデータベースのレコードってエクサバイトみたいなサイズでしょ？
そこからあれこれ演算して最適な結果を抽出して返すわけでしょ？
1秒以内でそれができるのかよ。マジかよ。こわい。ちょうこわい。
バーコードスキャナ→レジ→回線→数万キロのかなたにあるサーバ上のおれのカード残高情報を参照＆更新→回線→沖縄のクソ田舎にあるおれの最寄りの楽天モバイルの基地局の電波塔→おれのスマホという経路を1秒で往復するとかヤバくない？どうやってんの？
