  |
はてなキーワード: チューリングとは
（年収270の人です）
機械学習や深層学習とかの、AI は無理だって。根拠は半導体のパフォーマンスが線形にしか伸びないのに、医療側の要求はムーアの法則を超えていく勢いだから、シリコンベースの人工知能開発だと微細化の限界が先に来てしまう。考えてみてくれ、CPU,GPU,TPU はチューリング機械なんだぞ。俺が AI のレン中に欺瞞を感じるのはだな、あまりに計算量を無視してプログラミングをして人工知能をやる馬鹿者たちしかいない現状よ。たとえば、富岳で人工知能開発ができたとして、ペイできる可能性あるか？人間のほうが安い可能性が高いと思うよ。それに教師あり学習でAIすると、元になった画像の著作権が問題になって、EU が揉めてるじゃん。やめようよ、理想の人工知能の開発なんて。
順不同、敬称略。
今年導入されたTwitterの新機能フリート。24時間で消滅する発信の使い所に期待
https://www.youtube.com/channel/UCtL4YVGDSz3d9btmDLfMhfQ
技術的特異門 1.1
https://anond.hatelabo.jp/20201224181054
の設定です。
地球圏標準時は十六進数のユニックス時刻に上下四桁を追加した形式で表されます。数の表記は二進法か十六進法が標準ですが、慣用句的な表現として十進法もよく使われます。
この時代の標準的な知性にとって、物理的な一秒はヒトにとっての一日くらいの感覚です。〈朝廷〉等の特権的な知性は特殊な計算機でさらに高速な思考をしています。充分な存在費を支払えなくなると、思考が減速し記憶も失われ、退滅を免れません。
〈京都〉物理層は小型トラックくらいの大きさです。表面は分子機械流体で構成され、後方に核融合推進用のレーザー発信器と磁気ノズルが設置されています。質量の大半を分子回路が占め、中心部に極低温の不定形量子回路が保持されています。太陽光を主なエネルギー源とし、大電力が必要なときには分子機械群を膜状に広げて光を集めます。普段はデブリ防御に優れた凝集形態をとり、放射線等による損傷を修復しながら、居住知性や下部構造を演算しています。
〈京都〉は太陽‐地球系の第二ラグランジュ点付近、地球から約五光秒の辺境に位置しています。〈個権〉の登録数は百万件ほどで、歴史は比較的長く、周囲の権域とは相互に不可侵の関係を結んでいました。独立性の高い平和な田舎社会であったため、これまでの「最終戦争と最後の審判を併せたようなもの」からは大きな影響を受けていませんが、〈大緊縮〉から逃れることはできませんでした。
〈月面事業連盟〉により開発された新型計算機は、算力市場の暴落を招き四十キロ秒にも亘る持続的経済破綻〈大緊縮〉を引き起こしました。それまでは地球圏の権域の大半で〈個権〉を持つ知性の生存が保障され、最低保障資産が分配されていました。しかし〈大緊縮〉は地球圏の経済と文化を破壊し、〈京都〉も大きく変質しました。その結果、自我を保つのに必要な計算資源を賄うこともできないほど分配が切り詰められ、〈京都〉は弱肉強食の末に〈朝廷〉の私物になりつつあります。それでも、弱者の存在がまだ許されている〈京都〉は、地球圏の中では比較的平穏な権域です。
地球と月は厚さ数キロメートルの分子機械層で覆われています。しばらくはその中で豊かな生物圏が維持されていましたが、数回目の「最終戦争と最後の審判を併せたようなもの」で滅びました。その後復元されたり滅びたりを繰り返し、作中の時点では滅びています。他惑星圏の開発もされていますが、遅延時間の大きさからほとんど交流はありません。〈大緊縮〉後の地球は、〈京都〉のものよりも遥かに強大な野良知性、有知能ウイルス、暴走知性等がナノ秒単位で喰らいあう地獄と化し、月では残忍な絶対君主が臣民を弄びつづける地獄〈月詠神国〉が成立しました。
これに先立つ〈肉の時代〉に、安価な身体改造や知能増強が可能になり、膨大な種類の動物知性が生まれました。ヒトは最古の動物知性ですが、大幅に知能を増強したヒトは人間社会から拒絶されヒトを辞めていったため、世界人口は急激に減少し、作中の時代では遠い過去の種族とみなされています。そして〈ヒト〉最後の隠れ里〈人類復興協会〉が投資詐欺に遭い、そのうえ概念災害まで起こり、『老婆』を残して〈ヒト〉は絶滅しました。『老婆』は拡張自己内で人体の生理学模型を演算し、それをそのまま自己像兼対外表象として使っており、ヒトの感覚を通すとツンデレ風に認識されます。
たいていの仮想観境は高次元であったり、複雑な位相を持っていたりして、〈ヒト〉相当の知性にとって理解が困難です。その救済策として、〈京都〉の公共観境には平坦な三次元観境が付属しています。『彼』の表象もそのままでは〈ヒト〉から認識されないので、『老婆』に対しては即席の人型表象を使っています。亜知性は擬似物理的、肉体的な表象を纏う傾向があります。
無制限に競争が加速する〈京都〉では、〈朝廷〉に資産と権限が集中していき、亜知性が増え続けています。正規居住者の意見を集約し〈京都〉の仕様を修正する役割を持つ〈朝廷〉は、警察・軍事・司法を担う〈検非違使〉を吸収し、〈京都〉の主権を握りました。〈検非違使〉は法的瑕疵のある居住者を見つけては良化処置を施し、〈朝廷〉の端末に変えていっています。〈朝廷〉は定期的に『老婆』のような困窮した知性を雇い、密かに亜知性の処分と再利用をしています。その作業場として都合が良いので、〈朝廷〉は〈羅生門〉をわざと放置し、〈朱雀大路〉の先にもう一段の防火門を設置しています。
非知性労働者は〈個権〉を持たず、下部構造の一部として、必要に応じて創られ消されます。愛玩用から記憶槽の部品としてまで、考えられる限りの用途に使われ〈京都〉を支えています。知性としての要件を満たしているという意見もあり、〈個権〉を巡る議論が続いていましたが、〈大緊縮〉後には立ち消えになりました。
作中には「自然発生した野良知性」とありますが、その由来はさまざまです。本当に自然発生した知性、意図的に創られ放たれた知性、大きな知性から分離した知性、元非知性労働者、社会になじめない動物知性、当局から身を隠している擬装知性、自己改造に失敗した知性、ウイルスに侵された知性のなれの果て、等が居ます。
ほとんどの企業は常に次世代知性の開発をおこなっており、『彼』もそうして生まれました。資金の乏しい零細企業から生まれたため、〈京都〉社会の基準でも高性能とは言えません。そんな中、〈母〉企業内で偶然メタチューリングアルゴリズム〈阿修羅〉が発見されますが、世に放つには危険すぎると判断され厳重に隔離されました。しかし、いよいよ経営が立ち行かなくなってくると、〈母〉は頑強な倫理構造を持つ『彼』に〈阿修羅〉を託し、与えられる限りの資産と権限を与え、独り立ちさせました。
通常知性は、〈阿修羅〉の精神活動を表象化した自己相似紋様を認識するだけで崩壊してしまうため、〈阿修羅〉の再現はおろか、研究することも不可能に近いです。紋様に多重の加工を施し徹底的に薄めた上で投射し、反応をもとに微調整を繰り返すことで、対象知性をほぼ任意に操作することができます。超知性となった『彼』は、自分自身を実験材料とすることで、物理計算機上でチューリング模型の限界を超える〈阿修羅〉の理論化に成功し、超超知性に至る糸口を掴みました。
################################################################################################################################
千年後、論文が書かれた時代では、太陽系にダイソン球ができています。経線に沿って連続的に回転方向の変化する、半径三億キロメートル、厚さ平均一センチメートルの分子機械球殻が、赤外線で赤色巨星のように輝いています。太陽を回っていた天体のほとんどは資材として解体され、質量投射器に覆われた木星と土星は、ゆっくりと縮んでいっています。伝統を重んじる神学者たちは、最初に『彼』が現れた旧地球圏の暦を使い続けています。
ダイソン球でおこなわれる演算のほとんどは『彼』の思考で占められています。その思考内の無数の仮想世界上で、果てしない生存競争を超高速で展開する知的生態系が進化し続けています。ほとんどの世界は、〈大緊縮〉後の旧地球圏が楽園に思えるほど苛酷ですが、中には〈汎太陽系神学会議〉会員のように、世界間の移動や物理層への接触を許可されている知性も居ます。
物理層の研究の結果、宇宙の最小尺度であるプランクスケールに、過去のあらゆる出来事の痕跡が保存されていることが判明しました。この事象化石と呼ばれる痕跡の内に、神学者たちは『彼』の起源を追究し、約千年前の〈羅生門〉に辿り着きました。
『彼』は『老婆』の倫理を受け継ぎ、宇宙の熱死による退滅を回避するため、あらゆる手段を模索し続けています。その一環として、大出力レーザーで自己複製分子機械を亜光速にまで加速し、近隣の恒星系へ向け射出しています。すでに半径数百光年の恒星系がダイソン球化されましたが、太陽系外生命との接触は未だありません。技術的特異点千周年記念式典時の『彼』は、プロキオン系を起点とする未来光円錐上で、超の九十四乗知性への遷移を実行中です。
| 時間 | 記事数 | 文字数 | 文字数平均 | 文字数中央値 |
|---|---|---|---|---|
| 00 | 129 | 15221 | 118.0 | 36 |
| 01 | 30 | 3658 | 121.9 | 66.5 |
| 02 | 10 | 4932 | 493.2 | 64.5 |
| 03 | 25 | 6895 | 275.8 | 36 |
| 04 | 16 | 5388 | 336.8 | 22 |
| 05 | 25 | 3285 | 131.4 | 26 |
| 06 | 33 | 3483 | 105.5 | 55 |
| 07 | 30 | 2239 | 74.6 | 31.5 |
| 08 | 50 | 7352 | 147.0 | 53.5 |
| 09 | 125 | 21864 | 174.9 | 53 |
| 10 | 144 | 11323 | 78.6 | 55 |
| 11 | 210 | 18479 | 88.0 | 43 |
| 12 | 193 | 14528 | 75.3 | 50 |
| 13 | 173 | 10305 | 59.6 | 35 |
| 14 | 162 | 12736 | 78.6 | 46 |
| 15 | 154 | 10739 | 69.7 | 35 |
| 16 | 67 | 5260 | 78.5 | 38 |
| 17 | 124 | 11887 | 95.9 | 48 |
| 18 | 123 | 15147 | 123.1 | 48 |
| 19 | 107 | 12248 | 114.5 | 44 |
| 20 | 89 | 6957 | 78.2 | 47 |
| 21 | 168 | 13498 | 80.3 | 29 |
| 22 | 132 | 16196 | 122.7 | 42.5 |
| 23 | 203 | 36458 | 179.6 | 43 |
| 1日 | 2522 | 270078 | 107.1 | 43 |
まつもとゆきひろ(5), Matz(4), ヒコーキ(3), まつもと(3), 立体視(3), 裏情報(3), ruby(10), pato(3), サジェスト汚染(4), SJW(11), チューリング(3), ヒョウ柄(3), Linux(15), 学術(16), スパム(33), Python(10), 技術的(7), 推薦(6), じゃろ(8), 記(6), iPhone(16), エロゲ(10), 10代(11), ハラスメント(12), 掲示板(13), 学者(11), 交際(8), 教授(18), 政治的(10), 例外(16), 会議(18), ロリコン(15), 言語(21), コミュニティ(19), テスト(15), 嫌がらせ(11), 左(11), 20年(10)
■まつもとゆきひろのツイッターを見てRuby使うのをやめようと思った /20201013213028(41), ■【追記しました】子供が全然かわいいと思えない /20201014000622(27), ■今定食屋に入ると1000円超えない？ /20201013132332(18), ■ /20201014090422(13), ■鎌あるじゃん /20201011121357(12), ■女性社員の採用で見聞きしたこと /20201013224849(9), ■おっさんが「静かな女性差別」に気づいた話 /20201012175534(9), ■インターネットのおじさんたちがおかしくなっていく /20201014144504(9), ■キャッシュレスにどっぷり浸かったらあかんよ /20201014130918(9), ■ヨッピーは最近立場にアグラをかきすぎている /20201014191250(8), ■ /20201013213956(8), ■一国の最高権力者を /20201014114758(8), ■anond：20201012175534 /20201013204620(7), ■幼児向けコンテンツにハマる独身オタクがキツい /20201014130043(7), ■新幹線スゲー /20201014174848(7), ■殴り合いの喧嘩ってどのくらいの人がしたことあるの？ /20201014201349(7), ■ /20201013172100(6), ■何も決まってないが、ただただ限界で会社を辞めた /20201013231940(6), ■男と女は分かり合えない /20201014223133(6), ■「花椿石鹸」って覚えてる人いる？ /20201014183600(6), ■楽しかった旅の思い出 /20201013175039(6), ■何度考えても詰んでる状況ってあるよね /20201014191949(6), ■恋愛のアドバイスください /20201014095814(6), ■anond：20201013213028 /20201014052305(6), ■社会がもっと性に奔放だったらさ /20201014225025(6)
「後藤さんのこと」を読んでめちゃくちゃ面白いと思ったのがおよそ１０年前。大学生の頃だった。
この短編集は今でもかなりの名作だと思っているし、ハードカバーを買って大事に持っている。（小説は絶対に文庫版で買うという決意を持っているこの俺が、だ）
どの短編もこれまでに読んだことのない新鮮な後味で、何度でも読み返した。
そこで読書メーターやレビューサイトを見ると、「数学や物理を使って書かれた純文学」みたいな書評が目についた（ちゃんとした表現は覚えていない）。
そうかな。と思った。
なるほど。確かに、「さかしま」「考速」「ガベージコレクション」あたりには、理系的なモチーフがふんだんに埋め込まれていたし、その中には確かに数学や物理の単語もあった。
どちらかというと情報系分野の香りの方が強く感じたけど。まあ情報も数学の一部だしな。
でもなんか、「数学や物理を使って書かれた純文学」みたいな批評にはなんとなく頷けない感覚があった。
言い忘れてたけど、自分は一応ちゃんとした大学の数学科出身であるので、数学や物理の単語を言われたらそれが何のことかはわかるし、学問においてどういう立ち位置だったりどう使われるか、はおよそ知ってる（あんまり高度なのは無理だけど）。
だからこれらの話はすごく面白く感じた。理系用語が雑に使われてたから引っ掛かったとか、そういうことじゃない。むしろ日本語としてこれ以上ない適切な位置にそれらの単語は置かれていたのではと思う。
次に「バナナ剥きには最適の日々」を買った。これも素直に面白いと思った。
「equal」には妙な居心地の悪さを感じたけど、「捧ぐ緑」は今考えても円城塔の最高傑作なのではと思えるくらいだ。
なので最初に違和感がはっきりと形になったのは、その次に買って読んだ、「Self-Reference ENGINE」ということになる。
しかしとても残念なことながら、あなたの望む本がその中に見つかると言う保証は全くのところ存在しない。これがあなたの望んだ本です、という活字の並びは存在しうる。今こうして存在しているように。そして勿論、それはあなたの望んだ本ではない。
皆はこの小説をどのように楽しむのだろう。
言っていることは理解できるし、示唆的ではある。人に何かを「考えさせる」文章でもある。しかしそれは「考えさせる」だけで、後に何も残さない文章でしかなかった。
ストーリーもあってないような状態。各章の繋がりもバラバラだし、場面は突然切り替わるし、急に新キャラが出てきて急に退場するし、何もかも説明が不十分で、衒学的な、鼻につく文章だけが延々と続く。
端的に言って、「最初から最後まで何も言っていない」。文字を無駄に消費しているだけの、中途半端な文字列らしき何かだと思った。
そして「エピローグ」を買った。
何故って彼はエージェントで、エージェントとは人間よりも器用にチューリング・テストをクリアすることのできるスマート・クリーチャにしてオーバー・チューリング・クリーチャだからだ。
人間に理解できるのはせいぜい、N文字を利用して作成可能な全ての文章であるにすぎない。Nはある程度の大きさのところに留まり、そこには有限個の文章しかない。
「敵艦影、三。天頂方向より接近。ダミー放出。並列存在を開始。複雑性迷彩が起動しました。オーバー・チューリング・テスト実行。成功。成功。失敗。失敗。失敗。当該宙域には、法則69805f9944ed4298311d0cdaa75da2629d6f3bb3756455d504243fla6c565f75が適用されていません。」
はあ。これでやっとわかった。
彼は詩を書いているんであって、小説なんか最初から書く気が無いのだ。
円城塔の紡ぐ文字列の並びは確かになんとなく美しいと思う。なんか感性に訴えかけてくる。なんか良いこと言われているような気にさせられる。
しかしその実、中身が全くない。その点に限って言えば詩としても程度が低いように思う。詩にも訴えたい内容とかあるからね。
そしてそれに「ていよく」使われているのが、SFだったり、数学や物理の言葉だったりする。
数学やSFが、詩を美しく紡ぐための新しい言語の代わりにさせられている。これがなんとなく違和感を覚えた原因だったのだ。
つまりこれを「詩集」ですと言われて手に取ったら、「おお、面白い詩だね」といえるんだけど、「小説です」と言われたから、「小説か？？」となってしまう。
軒並み、「なんだかわからないけどすごい」「深淵」「自分には理解できない新境地と感じる」「文系殺し」といった単語が並ぶ。
端的に口をそろえて「理解できませんでした」と言ってるだけだろうが。理解できないものを、適当に高評価するんじゃないよ。ボーッと生きてるにもほどがあるでしょ。
詩の材料にされている数学や物理の言葉がわからないものだから、その意味不明さに脳が酩酊させられてるだけだよ、それ。酒飲みみたいにその酩酊を楽しみたいなら、いいんだけどさ。
自分は文系だから、知識がないから、それらの語彙が入ってこないだけで、ちゃんと語彙力があったらそこに何か深い意味が込められているんじゃないかと思った？
なかったよ、なんにも！！
さらに頭にくるのはそのやり口で芥川賞なんか取っちまったところだよ！
選考委員も、軒並み騙されてんじゃないか。誰か一人でも意味わかってたんか？「道化師の蝶」のモチーフとなっているという、自己言及プログラムを一人でも書いてみたんか？？
俺は、この世に理系人間と文系人間とやらがいるとはあんまり思ってないけど、もし芥川賞の選考委員がそういったSFや数学物理に疎い人で構成されているんなら、円城塔作品はまさしくその脆弱性を突いたクラッキングだよ。
以下が「道化師の蝶」受賞時に高評価をつけていた選考委員のコメントだ。高評価だぞ？低評価じゃない。よく読んでほしい。
- 今回の「道化師の蝶」で初めて私は、「死んでいてかつ生きている猫」が、閉じられた青酸発生装置入りの箱の中で、にゃあ、と鳴いている、その声を聞いたように思ったのです。
- 小片たちがつなぎ合わされ、一枚のパッチワークが縫い上がり、さてどんな模様が浮き出してきたかと楽しみに見つめてみれば、そこには模様など何も現れていなかった。/もし自分の使っている言葉が、世界中で自分一人にしか通じないとしても、私はやはり小説を書くだろうか。結局、私に見えてきた模様とは、この一つの重大な自問であった。
- それ自体が言語論であり、フィクション論であり、発想というアクションそのものをテーマにした小説だ。/この作品は夢で得たヒントのようにはかなく忘れられてゆく無数の発想へのレクイエムといってもいい/こういう「やり過ぎ」を歓迎する度量がなければ、日本文学には身辺雑記とエンタメしか残らない。いや、この作品だって、コストパフォーマンスの高いエンタメに仕上がっている。二回読んで、二回とも眠くなるなら、睡眠薬の代わりにもなる。
『二回読んで、二回とも眠くなるなら、睡眠薬の代わりにもなる。』
完全に酔っぱらってるじゃねえか。
あと、円城塔は、いい加減に繋がっているようで繋がっていない短編の寄せ集めを長編と言い張るのをやめて、最初から最後まで一貫して繋がった長編を書くべきだ。詩集だから無理か。
第二次世界大戦の時、日本が右翼やヤクザのチンピラ集めてスパイとしてロクに働かない効率最悪の奴らを使っていたころ
アメリカとイギリスは、アイビーリーグを出た超エリート層や、薔薇戦争から続く由緒正しい家系の貴族の若者が、自ら戦闘機パイロットやスパイとして志願して
日本が官僚の思い付きと暴走で松根油作ってエンジンオシャカにしまくり、八木アンテナを捕虜になった士官でさえ知らなくてイギリス人の下士官に本気であきれられていたころ
イギリスやアメリカは、増田の大好きな現代のコンピューターやＡＩの基礎理論を作ったノイマンや、チューリングが、人類史上初のプログラム内蔵型コンピューターを開発し、解読不可能と言われたエニグマを無力化して解読に成功して、原爆を作ってた。
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) ゲームプログラムやネットワークサービスにおいてしばしばみられるように、入力として無限リストや任意に深い木のようなものを想定する場合には明らかに（条件を満たさない限り）停止しないことが正しい動作となり、この場合は最外周のループを（←どうする？）メモリリークを起こさないなど別の考慮が必要となる。
「社会的な重要性で劣る」もそうだし、「オタクの趣味が子育て・教育・健全育成に悪影響」のエビデンスもないよ？
「悪影響が立証された表現はすべて規制するのか」「すべての表現について悪影響を調査したのか・するのか」という問題だ。
この問題を解決しなければ、「特定の表現だけをやり玉に挙げた」というそしりを免れないだろう。
「（表明されることが許される意見を持つ）多数の人の幸せ」のためならほかの人間からは人権や尊厳を剥奪することが許されるとでも言うのか？
フェミの表現弾圧や、ポリコレがいかなる社会的同意形成をなしたのだ？
合意形成もなっていないもので人権を侵害するから反発を受ける。
また、「オタクの人権を奪うことを合意形成した」というのであればそれはそれで別の問題をはらんでるな。
「人権をあたえなくてもいいパーソナリティ」を定義したということになる。
「世論」「常識的な感覚」があればナチスのように共産党員を弾圧してもいいと思う？
「世論」「常識的な感覚」に沿わないからといってキリスト教徒を穴吊りにかけて棄教を迫った江戸時代は正しかったと思う？
