  |
はてなキーワード: 再帰とは
地球圏標準時 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) ゲームプログラムやネットワークサービスにおいてしばしばみられるように、入力として無限リストや任意に深い木のようなものを想定する場合には明らかに（条件を満たさない限り）停止しないことが正しい動作となり、この場合は最外周のループを（←どうする？）メモリリークを起こさないなど別の考慮が必要となる。
