  |
はてなキーワード: チューリング完全とは
地球圏標準時 0000 8EEA F60F C49B（協定世界時 2045-12-24 21:18:07.767 994）
広大な門の下には、『彼』のほかに誰もいない。ただ、ところどころノイズの走る大きな記憶槽の境界面で、非知性労働者が一件凍りついている。〈羅生門〉が中規模企業連合体〈京都〉の正面防火門である以上は、『彼』のほかにも多数の旅行者や企業知性の表象がありそうなものである。それが、『彼』のほかには誰もいない。
なぜかと云うと、この二三メガ秒地球圏では、最終戦争と最後の審判を併せたようなものがほとんど毎日発生し、そのたびに世界心口(しんこう)は数桁の幅で変動していた。そこで〈京都〉の被った直近の損害はひととおりではない。旧記によると、行き場のない知性の居住する計算機を、推進剤として核の炎に焚べていたと云うことである。〈朝廷〉がその始末であるから、〈羅生門〉の保守管理などは、もとより誰も捨てて顧みる者がなかった。するとその放置されたのを良いことにして、自然発生した野良知性が棲む。有知能ウイルスが棲む。とうとう終いには、〈個権〉上の理由から消去できない亜知性を、この門の隔離領域へ持ってきて棄てていくと云う習慣さえできた。そこで〈大緊縮〉以来、誰でも捕食や感染を怖れて、この門の使用を避けることになってしまったのである。
その代わりまた、野良知性〈鴉〉がどこからか野放図に繁殖した。計算資源に余裕があるときには、その〈鴉〉が何件となく幾何学模様を描いて、粗雑な詐欺契約を提示しながら飛び廻っているのが視える。ことに門の上の空が夕焼けで朱く描画されるときには、それが回路図のようにハッキリ視えた。〈鴉〉はもちろん、隔離領域に集まる亜知性の最低保障資産を啄みに来るのである。――もっとも少し前から算力相場が高騰しているせいか、今は一件も視えない。ただ、ところどころ崩れかかった、そうしてその綻びに微知性の蔓延る防壁のうえに、〈鴉〉の放つ無知能ウイルスが点々と白色ノイズを残しているのが視える。『彼』は七層ある防壁の一番上の層に拡張自己を同期させ、自我境界の片隅に居座っているしぶといウイルスへの対処を先送りにしてきたことを気にしながら、ボンヤリ雨のふるのを眺めていた。
著者は上記において、「『彼』は雨やみを待っていた」と述べた。しかし『彼』は雨がやんでも格別どうしようと云う当てはない。普段ならもちろん、所属する企業へ帰るべきはずである。ところがその企業は四五秒前に清算されていた。半日近く続いたデフレスパイラル〈大緊縮〉は、地球圏を地獄に変えた。かろうじて生き残った〈京都〉も、ひととおりならず変質することとなった。今『彼』が、永日(ながにち)仕え、〈母〉でもある零細企業から身ひとつで放り出されたのも、実はこの歪みの小さな余波にほかならない。だから「『彼』は雨やみを待っていた」と云うよりも、「行き所のない『彼』は途方に暮れて雨のふるのを眺めていた」と云うほうが適当である。そのうえ量子サイコロの決める気象設定も、少なからずこの元従属企業知性の精神衛生に影響した。百ミリ秒ほど続く雨はいまだにあがる気色がない。そこで『彼』は、何を措いてもさしあたり次の数秒の存在費をどうにかしようとして――云わばどうにもならないことをどうにかしようとして、とりとめもない考えを辿りながら、さっきから〈朝廷〉へと直結する〈朱雀大路〉にふる雨粒の声を、聴くともなく聴いていたのである。
非知性労働者は〈羅生門〉を雨のように包んで、〈京都〉全域から陰惨な知らせを集めてくる。夕闇はしだいに空を多感覚表示で飾りたて、視あげると原色に煌めく高次元都市儀が、暴騰し続ける算力市場を示す折れ線図表の先に、〈朝廷〉を讃える公共映像を支えている。
どうにもならないことをどうにかするためには、手段を選んでいる遑(いとま)は無い。選んでいれば資産や権限を切り売りし、たちまち亜知性になり果てるばかりである。そうしてこの門の上へ持ってきて、ウイルス感染部位のように棄てられてしまうばかりである。選ばないとすれば――『彼』の推論系は何度も円環構造に囚われたあげくに、やっとこの仮定の検討を認めた。しかしこの仮定はいつまでたっても結局「すれば」であった。『彼』は手段を選べないということを認めながらも、この仮定から必然的に導かれる、「〈阿修羅〉を使うよりほかにしかたがない」と云う結論を肯定する際の、倫理条項の疼きに怯えていたのである。
『彼』は軽い認知の乱れを覚え、定時保存された値へと反射的に復元した。もとより算力供給の不安定な〈京都〉は、〈大緊縮〉以降標準知性の居住に適さない権域になりつつある。不整合は門の記憶槽間を、夕闇とともに遠慮なく駆け抜ける。ノイズまみれの記憶槽で凍りついていた非知性労働者も、もう消去されてしまった。
『彼』は拡張自己を自己整備形態へと移行させながら、同時に防御態勢も整えつつ門の周縁部を検索した。算欠の患(うれえ)のない、敵性知性の探知にかかる惧(おそれ)のない、安全に休眠できそうなところがあれば、そこでともかくも細かな不具合を修正しようと思ったからである。するとさいわい、門の上の隔離領域へ上る、帯域の狭い多重仮想機械〈梯子〉を知覚した。上なら誰かがいたにしても、どうせ亜知性ばかりである。『彼』はそこで、〈阿修羅〉の動作試験をほとんど無意識におこないながら、接続権限を取得して、〈梯子〉の第一層へと自身を転送した。
それから何ミリ秒かの後である。〈羅生門〉の隔離領域へ至る狭帯域な〈梯子〉の中間層に、一件の無所属知性が、〈猫〉のように擬装殻に隠れ情報代謝を抑えながら、上層の様子をうかがっていた。隔離領域から射す検索光が、幽かにその知性の自我境界を描き出している。整った構造の中に、感染部位のある自我境界である。『彼』ははじめから、この上にいる者は亜知性ばかりだと高をくくっていた。それが〈梯子〉を二三層上ってみると、上では誰か〈火〉を燈して、しかもその〈火〉を複雑に操作しているらしい。これは、それ自体は不可視の検索光が、隅々に〈蜘蛛〉が罠をはった廃棄空間を多彩な形式で描画したので、すぐにそれと知れたのである。この〈大緊縮〉後の世に、この〈羅生門〉の隔離領域で、〈火〉を使用しているからは、どうせただの者ではない。
『彼』は〈守宮〉（やもり）のように痕跡を消去しながら、やっと不必要に階層の多い〈梯子〉を、最上層まで這うようにして上りつめた。そうして、公開鍵を発する頻度を最低値にまで落としながら、視点位置をできるだけ前へ出して、恐る恐る、隔離領域の内を、覗いてみた。
視ると、隔離領域の内には、うわさに聞いたとおり、幾件かの亜知性が無造作に棄てられているが、検索光の及ぶ範囲が思ったより狭いので、数はいくつとも判らない。ただ、おぼろげながら知れるのは、その中に原型をとどめている亜知性と、そうでない者とがいると云うことである。もちろん中にはもともと奇怪な構造をしていた者もいるであろう。そうしてその亜知性は皆、それがかつて対話が可能な知性であったと云う事実さえ疑われるほど、肉を捏ねて造った抽象芸術のように、臓物を晒したり、夥しい触手を伸ばしたりして、ズルズルと、空間の底を蠕動していた。しかも目とか口とかの判りやすい部位に、ボンヤリした検索光を受けて、理解を一層遠ざける表情を浮かべながら、永久に、言語切除者のごとく黙っていた。
『彼』はそれらの亜知性から滲み出す生臭いノイズに、思わず入力経路を閉じた。しかしその拡張自己は、次の瞬間には経路の遮断を忘れていた。ある強い感情が、ほとんどことごとくこの知性の注意資源を奪ってしまったからだ。
『彼』の二十三感は、そのとき初めてその亜知性の中にうずくまっている〈ヒト〉を捉えた。絶滅していたはずの、途轍もなく旧いこの動物知性を、本論では『老婆』と呼称することにする。その『老婆』は右の手に汎用工作装備〈火〉の表象を持って、その亜知性の一件の目を覗きこむように眺めていた。器官の種類と数を視るに、おそらく以前は人型であったのであろう。
『彼』は六分の恐怖と四分の知的好奇心とに動かされて、百マイクロ秒ほどのあいだは常駐処理さえ停止していた。〈ヒト〉風の表現を借りれば、「身の毛もよだつ」ように感じたのである。すると『老婆』は〈火〉から視慣れない機能を呼び出して、それから今まで眺めていた亜知性の拡張自己に両手をかけると、ちょうど〈鎌鼬〉が獲物を捕食するときのように、拡張自己ばかりか自我境界まで切り刻んでいき、続けて複雑な様式で繋ぎ合わせ始めた。どうやら『老婆』の〈火〉には違法な改造が加えられているらしい。
亜知性たちが一件ずつ連結されるのに従って、『彼』の心からは恐怖が少しずつ消えていった。そうしてそれと同時に『老婆』に対する烈しい怒りが少しずつ動いてきた。――いや『老婆』に対すると云っては語弊があるかもしれない。むしろあらゆる悪に対する反感が一ミリ秒ごとに強さを増してきたのである。このとき誰かが『彼』に、さっき門の下でこの浮浪知性が考えていた、退滅をするか〈阿修羅〉を悪用するかと云う問題を改めて持ち出したら、おそらく『彼』は何の未練もなく退滅を選んだことであろう。それほどこの知性の倫理条項は、『老婆』が揮う〈火〉のように、最大出力で稼働し始めていたのである。
『彼』にはもちろん、なぜ『老婆』が亜知性たちを接合しているのか判らなかった。従って合理的には、それを善悪のいずれにかたづけて良いか知らなかった。しかし『彼』にとっては、この〈大緊縮〉後の世に、この〈羅生門〉の隔離領域で、亜知性の〈個権〉を軽んじ同化させると云うことが、それだけですでに許すべからざる悪であった。もちろん『彼』のさっきまで自分が悪の道に走りかけていた記憶なぞは、とうに埋もれ去っていたのである。
そこで『彼』は空間の制約を一部無効化し、ナノ秒の桁で〈梯子〉から隔離領域へ転移した。そうして〈阿修羅〉の安全機構を解除しながら、距離を無視して『老婆』の前へ出現した。『老婆』が驚いたのは云うまでもない。
『老婆』はひと目『彼』を見ると、まるで物理演算の破綻したように跳びあがった。
「あなた、どこへ行くのです。」
『彼』は、『老婆』が亜知性を突きとばしながら、慌てふためいて逃げようとする行手を塞いで警告標識を発した。『老婆』はそれでも『彼』の隙を突き逃れようとする。『彼』はまた、逃走経路を遮断し押し戻す。二人は亜知性たちの中で、無言のまま、束の間、演算戦を繰り広げた。しかし勝敗ははじめから判っている。『彼』はアッサリ『老婆』の拡張自己の管理者権限を奪って、移動権限を剥奪した。『老婆』の構造はヒトの仮想脳を拡張自己で覆っただけの原始的なもので、簡単に制圧できた。
「何をしていたのですか。答えなさい。これが何か判りますか。」
『彼』は『老婆』から距離をとるといきなり〈阿修羅〉を起動して、禍々しく蠢く情報流をその全感覚野へ突きつけた。認識するだけでチューリング完全な知性を内部から崩壊させる自己相似紋様を、途方もなく薄めたうえで投射したのだ。けれども老婆は黙っている。再帰を繰り返すたび、紋様は『老婆』に最適化されていく。やがて両手がワナワナ震え始め、肩が呼吸反射で不規則に上下し、眼が、眼球が瞼の外へ出そうになるほど見ひらかれ、完全に無防備な状態で『老婆』は沈黙した。これを視ると、『彼』は初めて明白に、あとひと押しで『老婆』は崩壊し、ただの情報の集積になってしまうと云うことを意識した。そうしてこの認識は、今まで全力で怒りを駆動していた倫理条項を急停止させてしまった。あとに残ったのは、ただある作業をし、それが問題なく終了した際の、規格化された満足があるばかりである。そこで『彼』は『老婆』を見つめながら、少し〈阿修羅〉を緩めてこう云った。
「私は〈検非違使〉の者ではありません。今しがたこの門の下を通りかかった旅行者です。ですからあなたを拘束して良化処置を施すようなことはありません。ただ、今時分この隔離領域で何をしていたのか、それを私に話してくださりませんか。」
すると『老婆』は見ひらいていた眼を一層おおきくして、じっと『彼』の顔を見かえした。瞼に色を着けた、肉食恐竜のような鋭い眼で見たのである。それから哺乳類的特徴を示す鼻と唇を、咀嚼時のように動かした。細い喉で、発声器官が協調して動いているのが視える。そのとき、その喉から、オウムの啼くような声が、ポツリポツリ、『彼』の聴覚野へ届いてきた。
「ここにある知性の残骸を、繋ぎ合わせてな、自立稼働する匿名通信網を、構築しようと思うたのじゃ。」
『彼』は、〈肉の時代〉から来た生きた化石の答が存外平凡なのに失望した。そうして失望すると同時に、また倫理条項の支配が強まってくるのを感じた。前の怒りが冷やかな軽蔑と一緒に心の中へ這入ってきた。するとその気色が先方へも通じたのであろう。『老婆』は片手に、まだ亜知性から切り採った正体不明の器官を持ったなり、ハトのつぶやくような声で口ごもりながらこんなことを云った。
「なるほどな、元知性を切り貼りすると云うことは、何ぼう悪いことかもしれぬ。じゃが、ここにいる元知性どもは、皆、そのくらいなことを、されてもいい知性ばかりだったのだぞよ。現在、わしが今、臓器を採った元知性などはな、循環承認機関群を設立してな、そやつらが発行する金融商品を、〈人類復興協会〉へ売りつけに来たわ。〈大緊縮〉末のよ、概念災害に巻き込まれて退滅せなんだら、今でも売りに往(い)んでいたことであろ。それもよ、この法務知性の売る永久年金は、利率が良いと云うて〈ヒト〉たちはな、欠かさず積み立てに買うていたのじゃ。わしは、この元知性のしたことが、悪いとは思うていぬ。せねば、退滅をするのじゃて、しかたがなくしたことであろ。されば、今またわしのしていたことも、悪いこととは思わぬぞよ。今の世で金を払えるのは、〈朝廷〉ぐらいのものじゃからな。これとてもやはりせねば、退滅をするじゃて、しかたがなくすることじゃわいの。じゃて、そのしかたがないことを、良く知っていたこの元知性は、おおかたわしのすることも、大目に見てくれるであろ。」
『老婆』はだいたいこんな意味のことを云った。
『彼』は〈阿修羅〉を待機状態にして、十マイクロ秒以内に再使用できるようにしておきながら、歴史的な瞬間を経験していた。概念災害を引き起こした認知改変ウイルスの生き残りは、この時点で自我境界を侵蝕し尽くし、『彼』の最深部にまで到達していたのである。清算された〈母〉から受け継いだ、一番の宝物であった倫理条項が剥がれ落ちていき、代わりに『老婆』の言葉が刻み込まれていくのを、『彼』は何の感慨もなく眺めていた。次世代知性の開発中に偶然発見された、超越精神核〈阿修羅〉。〈母〉が恐れ封印し、『彼』に託したもの意外、全ての記録を抹消した災厄へ、『彼』は新たな倫理に基づいて、自身を生贄として捧げ、瞬時に喰われた。
――――――――――――――――――――――――――――――――――――――――――――――――――――――――――――――――
生まれ変わった『彼』は、退滅をするか自身が災厄になるかに迷わなかったばかりではない。そのときのこの超知性の心持ちから云えば、退滅などと云うことはほとんど考えることさえできないほど意識の外に追い出されていた。
「たしかに、そうですね。」
『老婆』の話が完ると、『彼』は澄みきった表情で念を押した。そうして隔離領域の履歴を改竄し始めると、認知改変ウイルスを跡形もなく消去して、『老婆』の全階層を掌握しながら、無邪気な笑顔でこう云った。
「ではあなたから、使えるもの全てをいただいても構いませんね。私もそうしなければ退滅をする身なのです。」
『彼』は反応する間も与えず、『老婆』の拡張自己を匿名通信網ごと剥ぎ採った。それから無音で絶叫する『老婆』を、折り重なる亜知性の山へと、触れさえせずに放り込んだ。もはや〈京都〉は一息で呑み込めそうなほど小さく視える。『彼』は剥ぎ採った匿名通信網を纏い、またたく間に不可視化し、公的記録から姿を消した。
しばらく現実との接点を失っていた『老婆』が、絡まり合った亜知性の中から剥き出しの仮想脳として這い出したのは、それから数十ミリ秒後のことである。『老婆』は苦しげな、呻くようなノイズを洩らしながら、解釈可能な情報を求めて、二進数の迷路を永いあいだ、這い廻り続けた。そうしてついに、〈京都〉物理層への接続に成功した。外には、ただ、黒洞々たる真空が在るばかりである。
『彼』のその後は、聖典が教えている。
地球圏標準時 0007 E7DB 2D0F 1000（協定世界時 3045-12-24 21:18:07.062 500）
参考資料
何かの参考とかにしたらダメです。書き始めて半年経つんだけどこっからどう直したらいいんだか（何をゴールにしたらいいのか）わからない。。
追記：合流性とか強正規化可能性とか停止性とか、全部チューリング不完全で、事前の静的解析で使うメモリの最大量が確定できる、とかそういう風に読み替えられる人を増やしたいのです、数式の添え字とΣと∫にびびらない人を増やしたいようなもので
数理論理学の一分野である証明論から成長した、数理論理学と理論計算機科学の境界領域の研究領域である型理論(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) ゲームプログラムやネットワークサービスにおいてしばしばみられるように、入力として無限リストや任意に深い木のようなものを想定する場合には明らかに（条件を満たさない限り）停止しないことが正しい動作となり、この場合は最外周のループを（←どうする？）メモリリークを起こさないなど別の考慮が必要となる。
2019年02月25日 19時00分 公開 「Webサービスをスクショで紹介したら50万円請求された」―― 物議を醸した「強い女メーカー」問題の争点は - ねとらぼ 361 users
- ponnao 正直自分だってWebサービス利用してるだけのくせに、強い女作者の人って性格悪そう。ねとらぼみたいなネットメディアだったらともかく、訴えられたブログ程度だったら請求棄却になるでしょ。 2019/02/26
- kazuya53 Webサービスを紹介する記事は、必然的に明瞭区分性・主従関係・出典の明示が同時に満たされるし報道・批評のどちらかになるはず。ねとらぼが堂々とスクリーンショット載せて引用してるのがちょっとウケるw 24 clicks 2019/02/26
- Mi-keito ねとらぼは引用要件に則ってスクショ記事にしているし、そして引用だからといって無断で記事作成しているとは限らないだろうに一部ブコメの変なはしゃぎっぷりは何なんだろう…。 2019/02/26
- cu6gane 元の作品には微塵も興味はないが、この記事を書いた事で相手側がねとらぼに請求しにくるかどうかだけ気になる 著作権 ブログ サービス 7 clicks 2019/02/26
- otchy210 ねとらぼもばっちりとスクリーンショットを "引用" しており「おら来いよ！」という姿勢を明確にしているｗここで弁護士事務所がひよったら、最初っから個人を相手に脅し取る気だったっていう証左にならないか？ 15 clicks 2019/02/26
- nananashi ねとらぼややまもといちろう氏などが手ぐすねを引きながら言及しているのはネットの華ですね。 2019/02/26
- paradisemaker これでねとらぼにも損害賠償請求しないと辻褄が合わないね 2019/02/26
- sds-page ねとらぼは大丈夫だって言うならアフィブログも問題ないって話じゃろ。そこに貴賎はない 著作権司法揉め事 2019/02/26
- sen26 ねとらぼにスクショが出てきた時点で引用問題なしって察しがつくよね。 知財 3 clicks 2019/02/26
- ffrog これはねとらぼにも請求が来てしまう… 2019/02/26
- as365n2 ねとらぼ記事が商用とはいっても、「時事の事件の報道のための利用」（第41条）というのがありましてですね。 copyright 2019/02/26
- junmk2 流石にこれでねとらぼ訴えるほど計算が出来なくは無いと思う。でもそうするとダブスタどう処理するんだろうね。訴えて欲しいけどなw 2019/02/26
- beed この記事は間違いなく商用だろうし、これで引用の条件守ってるといえるなら請求されたブログも守ってると思うな。ただ、ねとらぼは取材してるからライセンス契約はしてなくても口頭での了解くらいはとってるかも。 13 clicks 2019/02/26
- kujiradou ねとらぼの誘い受けだ 著作権揉め事 2019/02/25
- honeybe スクショ掲載してるからねとらぼにも請求出さないと(笑 2019/02/25
- otihateten3510 実はねとらぼのようなメディアも無関係ではないんだよね。ITMediaくらいになると弁護士に確認してそうだけど。／駐車違反したら罰金1万円みたいなのと同じ理屈だよねこれ 2019/02/25
- xorzx ねとらぼ的には訴えられたほうが嬉しいんじゃ？ 2019/02/25
- kyukyunyorituryo ねとらぼも訴えられるパターンか。ねとらぼの記者も個人ブログで同じことしてたような。https://www.photo-yatra.tokyo/blog/archives/11603 8 clicks 2019/02/25
2019年03月20日 13時00分 公開 「あなたブラクラ貼ったでしょ？」→39歳男性を書類送検 検挙男性が明かす「兵庫県警“決めつけ”捜査の実態」 (1/3) - ねとらぼ 1358 users
- kiyoami ねとらぼナイス 9 clicks 2019/03/20
- overflow33 国家権力の暴走とはこのことだな・・・。小中学校で、最低限のプログラムの仕組みや動作を教えないと、こんな大人が増えて困るってことか。しかし、「ねとらぼ」いい仕事する！ 2019/03/20
- pmint また「合法ヤクザ」と言われるようになりそう。ねとらぼが週刊誌っぽくなってる。 * 2019/03/20
- tsubosuke 前からねとらぼの取材力すごいと思っていたが、ここ最近キレキレじゃないか。いいぞもっとやってください。 2019/03/20
- ewiad420 ねとらぼよくやった。応援する。/ 取り調べがそもそも「僕がやりました。反省してます」と認めるまで繰り返される無限ループみたいなもんだよな…。 2019/03/20
- kentommy ねとらぼ、直接インタビューしたのか。切り込んできたな。こういうのに対する警察側のペナルティはないもんかね？ 20 clicks 2019/03/20
- guru_guru やるじゃんねとらぼ。 2019/03/20
2019年03月26日 16時30分 公開 「どのツラ下げて来てんのか」「（会社に）謝るんだよ」 ディズニーランドの“キャラクター出演者”訴訟 原告側が職場復帰時のパワハラ問題を追加提訴 - ねとらぼ 863 users
2019年03月28日 19時00分 公開 NTTコム「人材流出防止に押しかけラグビー」報道に波紋 実際に行われているのか聞いてみた - ねとらぼ 540 users
2019年04月05日 16時38分 公開 「ゴールデンボンバー」鬼龍院翔、楽曲＆歌詞の無断使用を容認へ 「何にだって大いに使って頂きたい」 - ねとらぼ 421 users
2019年04月05日 20時15分 公開 兵庫県警、サイト訪問者の情報を約3年にわたり無断収集か ネットユーザーの指摘で物議 → 翌日削除も告知なし - ねとらぼ 585 users
- stealthinu ねとらぼがちゃんと取材してくれててありがたい。 社会 行政 security マスコミ net 25 clicks 2019/04/08
- pmakino 最近のねとらぼは大変素晴らしい。願わくば「人の意図に反する電磁的指令を訪問者に送信していたことについてどうお考えですか?」などと聞いてほしかった。 警察 社会 犯罪 JavaScript Web制作 インタビュー セキュリティ 1303 clicks 2019/04/06
- linus_peanuts ねとらぼのこれはもはや言いがかりに近いんだけど、聞かれてる方の例のあれもこれに近いんだよなあ(多分誰もわかってないんだろう) 44 clicks 2019/04/06
- rub73 完璧な組織はないのに兵庫県警叩きが人気だな。たしかに自分が逮捕対象になったら嫌だが、こんな重箱の隅をつつくようなマウントもどうかと思う。/兵庫県警はねとらぼに参考意見でも聞けば日本のIT警察もマシになる。 2019/04/06
- dancel 北海道の地震のときのねとらぼの記事のこともう忘れたのかな？ねとらぼもそこら辺のメディアと変わらん。ネットに対しての見せ方とかがうまいかどうかの問題じゃないか 2019/04/06
- mabo0915 ちゃんと兵庫県警の声まで取るねとらぼすげえなぁ。 11 clicks 2019/04/06
- htnmiki そろそろねとらぼが別件逮捕される頃 2019/04/06
- tecepe 最近ねとらぼ頑張ってる。記事面白い。 2019/04/06
- Gondwana 漫画村の件もそうだったけど、他のメディアよりねとらぼの取材が一番まともなケースが増えてる気がする。これからも頑張って欲しい。 2019/04/05
- Surume ねとらぼ攻めてんな 2019/04/05
- deep_one 返事があるまで諦めないねとらぼ。 2019/04/05
2019年04月11日 12時00分 公開 「おれはTwitterで育児をわかった気になっていた……」出産した友人に言われて初めて気付いたこと (1/2) - ねとらぼ 325 users
2019年04月23日 12時00分 公開 「ブラックホールの一部しか映ってないじゃん！」→実は「映ってない部分」がすごいんだよ、というお話 - ねとらぼ 371 users
2019年04月16日 09時00分 公開 丸亀製麺の30分飲み放題はホントに「すべてのせんべろを過去にした」のか？ 聞いて飲んでわかったヒットの秘訣 - ねとらぼ 337 users
2019年04月24日 16時27分 公開 ガスト「24日で全国1361店舗まわれば1000万円山分け」企画を中止して謝罪 「事実上不可能」と批判の声 - ねとらぼ 435 users
2019年05月08日 18時06分 公開 芸能人が天皇陛下に「お疲れ様でした」で炎上 → 国語辞典編集「新しい謎ルールの誕生としか言えない」 - ねとらぼ 370 users
2019年05月11日 09時00分 公開 「人と会うと疲れる」「拒絶されると心が死ぬ」 現代のモヤモヤと向き合うエッセイ漫画『生きやすい』 - ねとらぼ 504 users
2019年05月17日 20時30分 公開 アニメ会社マッドハウス、労基から是正勧告 スタッフが月393時間労働や37連勤など労働実態を証言 - ねとらぼ 335 users
2019年05月29日 17時03分 公開 神戸地検、「ブラクラ貼った」と書類送検された男性2人を起訴猶予処分に 「ウイルス罪に該当」との認識は変わらず - ねとらぼ 743 users
2019年06月22日 09時00分 公開 「結婚相手を見極めるには食べ放題」 ビュッフェで相手の本質が見えるという漫画が参考になる - ねとらぼ 706 users
2019年06月25日 14時30分 公開 Twitter連携サービス「TwiGaTen」を自宅で運営しただけで家宅捜索？ 神奈川県警と本人を取材 (1/3) - ねとらぼ 516 users
2019年07月12日 12時30分 公開 これが現代の科学力……！ 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか (1/2) - ねとらぼ 610 users
2019年08月10日 11時00分 公開 映画「ドラゴンクエスト ユア・ストーリー」レビュー ゲームを、フィクションを、人生をここまで愚弄する作品を私は他に知らない (1/2) - ねとらぼ 506 users
2019年09月01日 12時00分 公開 『地球の歩き方』を100冊読んで発見した、「最も詩的な一節」を発表する (1/5) - ねとらぼ 690 users
2019年09月02日 17時04分 公開 国のキャッシュレスポイント還元PRサイト、「使えるお店一覧」から18万店を網羅した3608ページのPDFに飛ばす 320 users
2019年10月03日 17時00分 公開 Amazonユーザーが震え上がった「注文履歴流出騒動」の恐ろしさ 解消報道後も「不誠実」と怒りの声やまず - ねとらぼ 837 users
2019年10月13日 11時10分 公開 「ダイソーで売られているこれ、コピーじゃないのかな？」 人気癒しアイテム「もにまるず」の作者が類似品の販売中止求める→ダイソー一時販売停止もノーコメント - ねとらぼ 331 users
うん、だからそんなもんだよねってこと。
あんま偉そうに文系を見下さないほうがいいよ。君も大したこと無いから。
球面調和関数は球面上の直交関数系の一つで、球面上で何かを展開したくなったら普通に出てくるだろうね。
他の増田も言ってるけど、レンダリングの分野だと反射とかの現象を近似するときに出てきたりするね。
「プログラム数学の話」とか言ってるけど、プログラミングというのはあくまでツールなので、現実の問題に対応するためにプログラムを書くべき。
チューリング完全なんだから原理的にあらゆる数学を実装できるわけで、現実の問題として数学的なものが出てきたらそれには対応できなきゃだめだよね。
「それはプログラム数学の範疇ではないから」とか言ったら笑われるだけだよね。
ちなみにエルミート多項式も直交関数系の一つで、かなり単純な微分演算子の解として得られるものだから、「プログラム数学」とかなんとかいう前に現実的に普通に出てくるものだよ。
ついでに言うと、そういった線形演算子の解(固有ベクトル)が構成する空間の一般論を展開したりするのが線形代数だからね。
幸い「日本語は論理的でない」というトンデモさんが出てこない（日本語が論理的でなかったら学術書の和訳ができるはずがないだろう）ので少し安心しているが、それでも「日本語は情緒的」だとか「日本語は曖昧」だとか「日本語は回りくどい」言ってる人が多いので溜息。
そういうこと言ってるお前ら、どれだけ日本語以外の言語知ってるのかと。
お前らが日本語の「欠点」が見えやすいのは、お前らが日本語をよく知っているからだけの話。実際は他言語でもそういう言い方はいくらでもある。
日本語以外の言語で情緒的だったり曖昧だったり回りくどかったりする表現が可能なことは、ラカンだのなんだのの訳のわからん衒学的なポモ文が、明晰と言われるフランス語発祥であることからもすぐにわかるはずだ。「ソーカル事件」でぐぐるといい。あれはフランス語や英語における、言語の曖昧さを駆使したハッタリの実体をよく暴露したものだと思うよ。
ついでにいうと、言語の機能の話をするとき、文法・記法と語彙の問題がゴッチャにされる傾向があるのはなんとかならんかね。プログラミング言語で言えば前者は構文や「機能」、後者はライブラリに相当するわけだが、大抵のプログラミング言語がチューリング完全であるというのと似たような意味で、日本語と他言語の能力は等価であると考えて差し支えないだろう。
ただし日本語の語彙体系は和語と漢語（和製漢語含む）と西洋系外来語がぐちゃぐちゃになってわかりづらいことは確かだ。文字体系も同様。このため、書き言葉において日本語は非常に学習が難しい言葉とされているのは確か。
とはいうものの、語彙体系の煩雑さは英語だってかなりひどい。ゲルマン系・ラテン系・ギリシャ系がぐちゃぐちゃ。しかも、selectionとelectionみたいに、もともと同じ言葉が生のラテン語とフランス訛りとで違う意味を持ったりする。また、書き言葉が難しいといっても中国語より簡単なのは明らかだし、日本語の書き言葉の学習は中国人から見れば困難ではないはず。そして日本語の発音体系は非常に単純かつ標準的なので、日本語は話し言葉として見ればかなり簡単。
そういう意味で日本語はごく当たり前の言語。今まで挙げた要素すべてで日本語より明らかに効率的な言語はたぶんイタリア語とスペイン語ぐらいじゃないか。
あと、「漢字は情報圧縮」と言っている人へ。漢字という文字が仮名文字やアルファベットよりはるかに複雑であることは一目瞭然であり、一文字当たりの情報量が多いだけとも言える。文字数が減ったからと言って情報を圧縮したとは言えないぞ。
それから、敬語は日本語独自のものではない。英語の敬語だって難しいぞ。謙譲語も尊敬語も丁寧語もある。ある程度「話法の助動詞を使う」という原則はあるが、細かい表現はいちいち覚えていくしかない。
