はてなキーワード: チューリングとは
「後藤さんのこと」を読んでめちゃくちゃ面白いと思ったのがおよそ10年前。大学生の頃だった。
この短編集は今でもかなりの名作だと思っているし、ハードカバーを買って大事に持っている。(小説は絶対に文庫版で買うという決意を持っているこの俺が、だ)
どの短編もこれまでに読んだことのない新鮮な後味で、何度でも読み返した。
そこで読書メーターやレビューサイトを見ると、「数学や物理を使って書かれた純文学」みたいな書評が目についた(ちゃんとした表現は覚えていない)。
そうかな。と思った。
なるほど。確かに、「さかしま」「考速」「ガベージコレクション」あたりには、理系的なモチーフがふんだんに埋め込まれていたし、その中には確かに数学や物理の単語もあった。
どちらかというと情報系分野の香りの方が強く感じたけど。まあ情報も数学の一部だしな。
でもなんか、「数学や物理を使って書かれた純文学」みたいな批評にはなんとなく頷けない感覚があった。
言い忘れてたけど、自分は一応ちゃんとした大学の数学科出身であるので、数学や物理の単語を言われたらそれが何のことかはわかるし、学問においてどういう立ち位置だったりどう使われるか、はおよそ知ってる(あんまり高度なのは無理だけど)。
だからこれらの話はすごく面白く感じた。理系用語が雑に使われてたから引っ掛かったとか、そういうことじゃない。むしろ日本語としてこれ以上ない適切な位置にそれらの単語は置かれていたのではと思う。
次に「バナナ剥きには最適の日々」を買った。これも素直に面白いと思った。
「equal」には妙な居心地の悪さを感じたけど、「捧ぐ緑」は今考えても円城塔の最高傑作なのではと思えるくらいだ。
なので最初に違和感がはっきりと形になったのは、その次に買って読んだ、「Self-Reference ENGINE」ということになる。
しかしとても残念なことながら、あなたの望む本がその中に見つかると言う保証は全くのところ存在しない。これがあなたの望んだ本です、という活字の並びは存在しうる。今こうして存在しているように。そして勿論、それはあなたの望んだ本ではない。
皆はこの小説をどのように楽しむのだろう。
言っていることは理解できるし、示唆的ではある。人に何かを「考えさせる」文章でもある。しかしそれは「考えさせる」だけで、後に何も残さない文章でしかなかった。
ストーリーもあってないような状態。各章の繋がりもバラバラだし、場面は突然切り替わるし、急に新キャラが出てきて急に退場するし、何もかも説明が不十分で、衒学的な、鼻につく文章だけが延々と続く。
端的に言って、「最初から最後まで何も言っていない」。文字を無駄に消費しているだけの、中途半端な文字列らしき何かだと思った。
そして「エピローグ」を買った。
何故って彼はエージェントで、エージェントとは人間よりも器用にチューリング・テストをクリアすることのできるスマート・クリーチャにしてオーバー・チューリング・クリーチャだからだ。
人間に理解できるのはせいぜい、N文字を利用して作成可能な全ての文章であるにすぎない。Nはある程度の大きさのところに留まり、そこには有限個の文章しかない。
「敵艦影、三。天頂方向より接近。ダミー放出。並列存在を開始。複雑性迷彩が起動しました。オーバー・チューリング・テスト実行。成功。成功。失敗。失敗。失敗。当該宙域には、法則69805f9944ed4298311d0cdaa75da2629d6f3bb3756455d504243fla6c565f75が適用されていません。」
はあ。これでやっとわかった。
彼は詩を書いているんであって、小説なんか最初から書く気が無いのだ。
円城塔の紡ぐ文字列の並びは確かになんとなく美しいと思う。なんか感性に訴えかけてくる。なんか良いこと言われているような気にさせられる。
しかしその実、中身が全くない。その点に限って言えば詩としても程度が低いように思う。詩にも訴えたい内容とかあるからね。
そしてそれに「ていよく」使われているのが、SFだったり、数学や物理の言葉だったりする。
数学やSFが、詩を美しく紡ぐための新しい言語の代わりにさせられている。これがなんとなく違和感を覚えた原因だったのだ。
つまりこれを「詩集」ですと言われて手に取ったら、「おお、面白い詩だね」といえるんだけど、「小説です」と言われたから、「小説か??」となってしまう。
軒並み、「なんだかわからないけどすごい」「深淵」「自分には理解できない新境地と感じる」「文系殺し」といった単語が並ぶ。
端的に口をそろえて「理解できませんでした」と言ってるだけだろうが。理解できないものを、適当に高評価するんじゃないよ。ボーッと生きてるにもほどがあるでしょ。
詩の材料にされている数学や物理の言葉がわからないものだから、その意味不明さに脳が酩酊させられてるだけだよ、それ。酒飲みみたいにその酩酊を楽しみたいなら、いいんだけどさ。
自分は文系だから、知識がないから、それらの語彙が入ってこないだけで、ちゃんと語彙力があったらそこに何か深い意味が込められているんじゃないかと思った?
なかったよ、なんにも!!
さらに頭にくるのはそのやり口で芥川賞なんか取っちまったところだよ!
選考委員も、軒並み騙されてんじゃないか。誰か一人でも意味わかってたんか?「道化師の蝶」のモチーフとなっているという、自己言及プログラムを一人でも書いてみたんか??
俺は、この世に理系人間と文系人間とやらがいるとはあんまり思ってないけど、もし芥川賞の選考委員がそういったSFや数学物理に疎い人で構成されているんなら、円城塔作品はまさしくその脆弱性を突いたクラッキングだよ。
以下が「道化師の蝶」受賞時に高評価をつけていた選考委員のコメントだ。高評価だぞ?低評価じゃない。よく読んでほしい。
- 今回の「道化師の蝶」で初めて私は、「死んでいてかつ生きている猫」が、閉じられた青酸発生装置入りの箱の中で、にゃあ、と鳴いている、その声を聞いたように思ったのです。
- 小片たちがつなぎ合わされ、一枚のパッチワークが縫い上がり、さてどんな模様が浮き出してきたかと楽しみに見つめてみれば、そこには模様など何も現れていなかった。/もし自分の使っている言葉が、世界中で自分一人にしか通じないとしても、私はやはり小説を書くだろうか。結局、私に見えてきた模様とは、この一つの重大な自問であった。
- それ自体が言語論であり、フィクション論であり、発想というアクションそのものをテーマにした小説だ。/この作品は夢で得たヒントのようにはかなく忘れられてゆく無数の発想へのレクイエムといってもいい/こういう「やり過ぎ」を歓迎する度量がなければ、日本文学には身辺雑記とエンタメしか残らない。いや、この作品だって、コストパフォーマンスの高いエンタメに仕上がっている。二回読んで、二回とも眠くなるなら、睡眠薬の代わりにもなる。
『二回読んで、二回とも眠くなるなら、睡眠薬の代わりにもなる。』
完全に酔っぱらってるじゃねえか。
あと、円城塔は、いい加減に繋がっているようで繋がっていない短編の寄せ集めを長編と言い張るのをやめて、最初から最後まで一貫して繋がった長編を書くべきだ。詩集だから無理か。
第二次世界大戦の時、日本が右翼やヤクザのチンピラ集めてスパイとしてロクに働かない効率最悪の奴らを使っていたころ
アメリカとイギリスは、アイビーリーグを出た超エリート層や、薔薇戦争から続く由緒正しい家系の貴族の若者が、自ら戦闘機パイロットやスパイとして志願して
日本が官僚の思い付きと暴走で松根油作ってエンジンオシャカにしまくり、八木アンテナを捕虜になった士官でさえ知らなくてイギリス人の下士官に本気であきれられていたころ
イギリスやアメリカは、増田の大好きな現代のコンピューターやAIの基礎理論を作ったノイマンや、チューリングが、人類史上初のプログラム内蔵型コンピューターを開発し、解読不可能と言われたエニグマを無力化して解読に成功して、原爆を作ってた。
2000年代前半、日本がコンピューターサイエンスを学んだ大卒社会人を、野比YRPという現代のアウシュビッツと形容されたエンジニアの処刑場でプログラマーの中でも最も替えが効かない組み込み系エンジニアを廃人か自殺に追い込みまくって代わりならいくらでもいる、死んだ奴の自己責任と言い、現代のSNS構想やブロックチェーンの雛形を研究していたP2Pを作った天才研究者を、訳の分からない理由で逮捕して心臓麻痺で死ぬまで追い込んでいたころ
中国や北朝鮮やインドは秋葉原やアメリカのシリコンバレーの雑貨屋やゴミ捨て場でパソコンパーツを集めて、本を買い、ほぼ独習から初めて笑われてもITエンジニアを育成しようとしていた。
そして10年後、インドはIT人材超大国に、北朝鮮はイスラエルやアメリカでさえ恐れるサイバー戦争の大国に、中国はITインフラを根底から西洋文明を覆そうとするほど大きくなっている。
単に日本が一時期でも技術大国だったのは、戦争の時に当時の国家予算の7割近くを次ぎこんだ資金投資の遺産と、冷戦時代にたまたまいい立地でジャンジャン投資をアメリカからもらっていたことでしかなかった、というお話
何かの参考とかにしたらダメです。書き始めて半年経つんだけどこっからどう直したらいいんだか(何をゴールにしたらいいのか)わからない。。
追記:合流性とか強正規化可能性とか停止性とか、全部チューリング不完全で、事前の静的解析で使うメモリの最大量が確定できる、とかそういう風に読み替えられる人を増やしたいのです、数式の添え字とΣと∫にびびらない人を増やしたいようなもので
数理論理学の一分野である証明論から成長した、数理論理学と理論計算機科学の境界領域の研究領域である型理論(type theory)は、大規模なプログラムの内的な整合性のチェックを行うための方法論を必要とする情報処理技術の分野で関心を集めている。
そもそも「型」(type)とは何か。プログラミング言語は一般的にはレコードや関数といったプログラムを構成する「値」(value)の定義をする道具である(*1)。その言語のコンパイラ作成者はこれらレコードや関数などの値、もしくは第一級の対象(first-class object)の種類を区別する型システム(type system)を必要とする。抽象代数学の観点からすると、「型」とはこれらの値もしくは第一級の対象が属する高階の対象(higher order object)としての空間(space)ないし代数系(algebraic system)で、型システムはそれら「型」とそれら相互の関係(relation)つまり型のなす順序構造(order structure)ないし束構造(lattice structrure)であるといえる。
プログラムを構成する値すべてに型が付くためには、曖昧でない(*2)こと、自己矛盾していないこと、悪循環を含まないこと、それぞれの値の内容をチェックするために無限の時間を要しない(*3)ことなどが必要で、これらを満たすなら、プログラムは有限時間で実行を終え、停止する。手続き型言語では無限ループ、型無しラムダ計算では無限再帰によって型付け不能なプログラムを書くことができるが、型理論はこれらのチューリング完全な計算機を意図しない停止しないプログラムから守る装甲でもあり、再帰やメモリ確保で好き勝手をさせないための拘束具でもある。型が付くプログラムには単に停止するというだけでなく、可能な実行経路(訂正:経路→方法)のすべてで同じ結果を出すなど種々の良い性質がある。
1)この定義は現実に使われているプログラミング言語の特徴を覆い切れていない、狭い不満足な定義だが本稿では都合上この定義に立脚して限定的に議論する。例えば変数(variable)というものを持つプログラミング言語もあり広く使われているが、これについてはレコードや関数と同じように性質の良いものとして扱うことが難しい。難しさの原因は次の注の内容と関連する。近年は変数を扱うかわりに値の不変のコピー(immutable copy)やその参照に名前を付ける機能を持つプログラミング言語が増えている。
2) 現実の情報システムでは、COBOL言語のレコード再定義やC言語の共用体、一般的な関数ポインタやVisual Basic言語のvariant型変数のように、同一領域に異なる型の値が共存する共用型(union type)の値がしばしば必要となる。共用型の値はgoto文を排除した構造化/オブジェクト指向プログラミングにおいて条件キャストやクラス分岐などによる実行経路の複雑さの主要な原因になるが、これは和型(sum type)すなわち相異なる型の非交和(disjoint sum)として定義することで曖昧さなく定義できる。
3) ゲームプログラムやネットワークサービスにおいてしばしばみられるように、入力として無限リストや任意に深い木のようなものを想定する場合には明らかに(条件を満たさない限り)停止しないことが正しい動作となり、この場合は最外周のループを(←どうする?)メモリリークを起こさないなど別の考慮が必要となる。
「社会的な重要性で劣る」もそうだし、「オタクの趣味が子育て・教育・健全育成に悪影響」のエビデンスもないよ?
「悪影響が立証された表現はすべて規制するのか」「すべての表現について悪影響を調査したのか・するのか」という問題だ。
この問題を解決しなければ、「特定の表現だけをやり玉に挙げた」というそしりを免れないだろう。
「(表明されることが許される意見を持つ)多数の人の幸せ」のためならほかの人間からは人権や尊厳を剥奪することが許されるとでも言うのか?
フェミの表現弾圧や、ポリコレがいかなる社会的同意形成をなしたのだ?
合意形成もなっていないもので人権を侵害するから反発を受ける。
また、「オタクの人権を奪うことを合意形成した」というのであればそれはそれで別の問題をはらんでるな。
「人権をあたえなくてもいいパーソナリティ」を定義したということになる。
「世論」「常識的な感覚」があればナチスのように共産党員を弾圧してもいいと思う?
「世論」「常識的な感覚」に沿わないからといってキリスト教徒を穴吊りにかけて棄教を迫った江戸時代は正しかったと思う?
欧米出羽守が何でも欧米の人権感覚が正義って主張するのは勝手だけど、アメリカやイギリスのポリコレって特に極端かつ矛盾だらけなんだよ。
同じような疑問、つまりレイシズムを人権主義でカモフラージュしてんじゃないのか?
って今回も思い浮かんだ。
毎回行き当たりばったりで、しかも「白人様はポリコレで黒人様や女性を守ってるのに、そういう倫理観に欠けたジャップはクソ」みたいな何重にも入り組んだレイシズムをぶつけてくる。
https://togetter.com/li/1086546
まあ見てみろよ、この白人至上主義者の目、異文化の人間に対してレイシズムを隠そうともしない歪んだ表情…と言ったら、ジェンダー系のポリコレに違反するだろう。
じゃあ色んな黒人文化やイスラム文化にも同じノリで突っかかって行くのかと思ったら、何故かそっちの方は文化の簒奪とか言って悪気ない白人が民族服を試着することすら止めにかかる。
性的消費に対してイスラムばりに厳しいのは分かったから、じゃあどんな性犯罪者も徹底的に糾弾するのかと思いきや、今度は少女を暴行した難民が国外退去になりかけてたのをポリコレ派の人達がむりやり止めに入る。
まあ矛盾するのはポリコレ実践家とはいえ人間、仕方ないと思う。
でも異質な他者に対する攻撃性はもうちょっと抑え気味にならんかねぇ。
そらこんな文化圏で生きてたら、チューリングも自殺に追い込まれるよ。
当時は同性愛者がポリコレの管轄外だったから彼は徹底的に攻撃されただけで、今でも当該国ではまだポリコレ外の別のマイノリティが徹底的に攻撃されてると思う。