 
|
はてなキーワード: 人工知能とは
（オチ無し注意）
近年中国製品に押され気味の中なんとか頑張ってる陶器産業でなりたっているド田舎に生まれる。
田舎だから学校や進路は引越しなどがなければ中学まで必然的に決まる。少子化社会もあって、1学年保育園から中学までをほぼ同じたった50人程度の中で過ごしてきた。
みんな顔馴染みで互いが互いをかなり知っていてドロドロの関係だった。
自分の場合は両親が子供にあまり投資したくない類の人間だったので、服は近所から貰ってきたお古のものだったし、クラスで流行っていた何かについて話題に乗る事もできないし、勉強ができない割りに近所にある数少ない塾にも通わせてもらえなかったから全ての時期を「可愛そうな子」「近づいてはならない人」として扱われた。
10年近くもぼっち生活で、はっきり言って虐められていて苦痛だったし、親の方も母の家系がカルト宗教で父が「それに子供を巻き込むな」と制止していたのもあって結構な頻度で喧嘩が続いていたから精神状態も荒んでいて誰とも関わりあいたいと思わなかった。
中1の頃、ネットが開通した。
それまで独力でどこに行っても手に入らなかった理工学系の書籍をamazonで購入できるようになった。
当時人工知能にあこがれて森北出版の「強化学習」を買ったり、基礎的なアルゴリズムを勉強しようと「アルゴリズムイントロダクション」「アルゴリズムデザイン」を買ったりした。
今と比べると些細な情報しかなかったものの、技術情報もネットでぼちぼち調べる事ができるようになった。
学校での成績は悪かったが、情報工学に対して自分なりに勉強するようになった。無論、終わった人として扱われる学校になんて行きたくなかったから引きこもり不登校児にになった。
それでも自分は諦めたくなかった。自分が見出した情報工学という桃源郷を手放したくなくて、「学校に行くから」「（提示された以上の成績を）取るから」としつこくPCをせがんで型落ちながらもその都度PCを手に入れた。
何度も裏切る内に親も諦め、何も言わなくなった。
高校は2つ向こうの市にある遠い定時制に進んだが、案の定DQNばかりでトイレで薬物を吸っていたり平気で授業を妨害したり先生も何も言わなかったりで絶望して1ヶ月で辞めた。
そこから5年間、何度も自分の人生は終わってるんじゃないかとか、いつ死のうか思案を巡らせながら引きこもって過ごしてきた。
生まれてから20年が過ぎた。金がない。学校にも行けない。働き口なんてない。人脈もない。何もかも終わっていると思って現在も生きている。
長年引きこもっているせいで親に精神科へと通院させられているが、とうとうそこで障害者2級の認定を受けてしまった。年金の6万5千円の内5万は生活費として親に取られている。
最近、twitterで技術系に詳しいリア充共をFollowして観察している。
寝て起きて食事をしてはてブのトップページかTwitterのタイムラインを覗いて一日を過ごしている。精神が安定してきたらプログラミングもしているがあまり芳しくない。
Steve Jobsのスタンフォード大でのスピーチの翻訳ありがとうございます。
ドロップアウトというほどでもないかもしれないけど、人生万事塞翁が馬、というお話。NHK でのインタビューで SJ 本人も言ってますが、10 年先なんて未来のことはわからないです。
江島健太郎さんみたいな自分語りの話になってしまうんですが、私もベーマガで育った世代で、高校の時は N88-BASIC という今は懐かしい言語を叩いていました。
そのままパソコンどっぷりな路線を走っていれば、いちプログラマとして今頃どこかの会社でデスマに参加していたのかもしれませんが、大学で海外旅行に目覚めた私は、リアルな世界のほうがおもしろい、これ、リアルドラクエじゃん！とパソコンのことは忘れ、バイトと旅行を繰り返す大学生になっていました。1 年くらいぶらぶらしたりもしました。
海外のいろんな国のいろんな人たちの生活を見ていると、日本で既定路線に乗ってあくせく働くのがなんだかおかしく思えてくるんですね。だって、米ドル換算のお金では日本人ははるかに金持ちでしょうが、そんなお金はなくてもみんな楽しそうに暮らしてる。何してるんだかわからない人たちがたくさんいて、だからって暮らせないわけじゃない。もちろん、通りすがりの旅人に過ぎない私には見えてないものはたくさんあっただろうし、逆に日本にいたって皆が皆、杓子定規な生活を送っているわけでもないっていうのは、後になってまた悟るわけですが。
とはいえ、これと言ってやりたいこともなかったし、大学の勉強ももうやめてもいいかなと思いつつ、一応理系の学生だった私はそのうち研究室を選ばなければいけない時期に差し掛かりました。当時は AI と称して人工知能とか流行ってたんですが、ここで昔の血が少し騒ぎ出し、ちょっとまじめにプログラミングをやってみるかと思い、情報工学系の研究室に応募したんです。面接では僕は燃えてます！みたいな受け答えをし、それなりに手応えはあったかなと思っていたんですが、蓋を開けてみたら、不合格でした。燃えてますといいつつ、勢いだけで中身の伴わない若造だったから落とされたかなと、振り返ってみれば思います。真面目に勉強したいという人は他にもいくらでもいたわけで。
二次の応募とかもあったんですが、似たような結果で、最終的には一番人気のない情報工学とはまったく関係ない研究室への配属が決まりました。ちょっとやさぐれましたね。ところがこの若気の至りかプチ挫折のようなものがなければ、私は Apple で働くことにならなかっただろうし、間違いなく今の会社でも働いてなかったと思います。
すっかやる気をなくした私は、その研究室でもメインストリームではなく、傍流のテーマをやることになりました。その傍流の研究をリードしていた院生が Mac を使っている人で、そこで私も研究室の隅にあった Mac を使うことになりました。Macintosh Classic でした。メインストリームは NEC のパソコンとか使っていたので、そっちに行っていたら、やはりデスマ参加者になっていたかもしれません。
そして研究に夢中になる代わりに Mac に夢中になりました。Mac 雑誌を読み漁ったり、片っ端からフリーウェアをインストールしたりとかしてました。自分の Mac も手に入れました。トラックパッド搭載の PowerBook で、以来、私はトラックパッド派です。ThinkPad のトラックポイント派の人とは永遠にわかりあえないでしょう。Apple が Magic Trackpad をリリースしたときは、俺の時代がきたと思いましたね。
Mac に夢中になる一方で、大学を出たら何をしたいというのもなかったんですが、就職活動はしてみて、大きくはないがそれなりにおもしろそうな仕事を取って来てる会社に、システムエンジニアとして内定をいただきました。ですが、詳細はまた別の長い話になってしまうので割愛しますが、結局内定は辞退してしまました。大学は出たもののいわゆるプータローになったのです。海外ぶらぶらしすぎると、良くも悪くも開き直ってしまうんですよね。
また海外に行ったりして、帰ってきたところで、たまたま声をかけられ、小さな事務所の立ち上げから手伝うことになりました。ここで偶然か必然か、社長は Mac の好きな人で、事務所で使うパソコンは全部 Mac を使うことになります。私はそのセットアップやメンテナンスをやることになりました。メインの仕事は海外とのやりとりで、必要に迫られてそこでなんとか英語の読み書きも覚えました。
それからまたいろいろあって、その事務所をやめ、再びプータローになったのですが、Mac 好きは大学の時からずっと継続していました。Mac 系情報サイトを巡回するのが日課だったのですが、失業保険も切れそうだというある日、MACお宝鑑定団で Apple Japan の求人の話を見かけました。受かるとは思っていなかったのですが、失業中だしダメ元で応募してみることにしてみました。
面接はもちろんスーツで行ったのですが、Apple の面接を担当された方々は全員 T シャツ、しかも Apple T シャツを着て現れたのが、かなり印象に残っています。別に毎日 Apple T シャツを来てるわけではなく、この日はたまたまみんな Apple T シャツになってしまった、と後から聞きましたが。面接自体はそんなにうまく受け答えができなかったと思いました。でも、なぜか採用通知が来ました。
振り返ってみれば、真面目に大学で勉強してたら一般企業に行ってただろうし、第一希望の研究室に全然行けなくて、一番人気のない研究室のさらにマイナーなテーマをやることになったおかげで Mac と出会えたし、内定を辞退してプータローしたり、小さな事務所で Mac の面倒は何でも見なければいけなかったお陰で、その後の Apple での仕事につながる知識や経験を手に入れることができたし、そうしたことが折り重なって Apple で働くことができたのだと思います。
私みたいな人間を雇ってくれた Apple、そしてその Apple を作ってくれた SJ には本当に感謝しています。Good bye, Steve.
第1章 有限オートマトン D.Perrin：橋口攻三郎 1. 序論 2. 有限オートマトンと認識可能集合 3. 有理表現 4. Kleeneの定理 5. 星の高さ 6. 星自由集合 7. 特殊なオートマトン 8. 数の認識可能集合 第2章 文脈自由言語 J.Berstel and L.Boasson：富田 悦次 1. 序論 2. 言語 2.1 記法と例 2.2 Hotz 群 2.3 曖昧性と超越性 3. 反復 3.1 反復補題 3.2 交換補題 3.3 退化 4. 非生成元の探求 4.1 準備 4.2 生成元 4.3 非生成元と代入 4.4 非生成元と決定性 4.5 主錐の共通部分 5. 文脈自由群 5.1 文脈自由群 5.2 Cayleyグラフ 5.3 終端 第3章 形式言語とべき級数 A.Salomaa：河原 康雄 1. 序論 2. 準備 3. 書換え系と文法 4. Post正準系 5. Markov系 6. 並列書換え系 7. 射と言語 8. 有理べき級数 9. 代数的べき級数 10. べき級数の応用 第4章 無限の対象上のオートマトン W.Thomas：山崎 秀記 序論 Ⅰ部 無限語上のオートマトン 記法 1. Buchiオートマトン 2. 合同関係と補集合演算 3. 列計算 4. 決定性とMcNaughtonの定理 5. 受理条件とBorelクラス 6. スター自由ω言語と時制論理 7. 文脈自由ω言語 Ⅱ部 無限木上のオートマトン 記法 8. 木オートマトン 9. 空問題と正則木 10. 補集合演算とゲームの決定性 11. 木の単項理論と決定問題 12. Rabin認識可能な集合の分類 12.1 制限された単項2階論理 12.2 Rabin木オートマトンにおける制限 12.3 不動点計算 第5章 グラフ書換え：代数的・論理的アプローチ B.Courcelle：會澤 邦夫 1. 序論 2. 論理言語とグラフの性質 2.1 単純有向グラフの類S 2.2 グラフの類D(A) 2.3 グラフの性質 2.4 1階のグラフの性質 2.5 単項2階のグラフの性質 2.6 2階のグラフの性質 2.7 定理 3. グラフ演算とグラフの表現 3.1 源点付きグラフ 3.2 源点付き超グラフ 3.3 超グラフ上の演算 3.4 超グラフの幅 3.5 導来演算 3.6 超辺置換 3.7 圏における書換え規則 3.8 超グラフ書換え規則 4. 超グラフの文脈自由集合 4.1 超辺置換文法 4.2 HR文法に伴う正規木文法 4.3 超グラフの等式集合 4.4 超グラフの文脈自由集合の性質 5. 超グラフの文脈自由集合の論理的性質 5.1 述語の帰納的集合 5.2 論理構造としての超グラフ 5.3 有限超グラフの可認識集合 6. 禁止小グラフで定義される有限グラフの集合 6.1 小グラフ包含 6.2 木幅と木分解 6.3 比較図 7. 計算量の問題 8. 無限超グラフ 8.1 無限超グラフ表現 8.2 無限超グラフの単項性質 8.3 超グラフにおける等式系 8.4 関手の初期不動点 8.5 超グラフにおける等式系の初期解 8.6 等式的超グラフの単項性質 第6章 書換え系 N.Dershowitz and J.-P.Jouannaud：稲垣 康善，直井 徹 1. 序論 2. 構文論 2.1 項 2.2 等式 2.3 書換え規則 2.4 決定手続き 2.5 書換え系の拡張 3. 意味論 3.1 代数 3.2 始代数 3.3 計算可能代数 4. Church-Rosser性 4.1 合流性 4.2 調和性 5. 停止性 5.1 簡約順序 5.2 単純化順序 5.3 経路順序 5.4 書換え系の組合せ 6. 充足可能性 6.1 構文論的単一化 6.2 意味論的単一化 6.3 ナローイング 7. 危険対 7.1 項書換え 7.2 直交書換え系 7.3 類書換え 7.4 順序付き書換え 7.5 既約な書換え系 8. 完備化 8.1 抽象完備化 8.2 公平性 8.3 完備化の拡張 8.4 順序付き書換え 8.5 機能的定理証明 8.6 1階述語論理の定理証明 9. 書換え概念の拡張 9.1 順序ソート書換え 9.2 条件付き書換え 9.3 優先度付き書換え 9.4 グラフ書換え 第7章 関数型プログラミングとラムダ計算 H.P.Barendregt：横内 寛文 1. 関数型計算モデル 2. ラムダ計算 2.1 変換 2.2 計算可能関数の表現 3. 意味論 3.1 操作的意味論：簡約と戦略 3.2 表示的意味論：ラムダモデル 4. 言語の拡張 4.1 デルタ規則 4.2 型 5. 組合せ子論理と実装手法 5.1 組合せ子論理 5.2 実装の問題 第8章 プログラミング言語における型理論 J.C.Mitchell：林 晋 1. 序論 1.1 概論 1.2 純粋および応用ラムダ計算 2. 関数の型をもつ型付きラムダ計算 2.1 型 2.2 項 2.3 証明系 2.4 意味論と健全性 2.5 再帰的関数論的モデル 2.6 領域理論的モデル 2.7 カルテシアン閉圏 2.8 Kripkeラムダモデル 3. 論理的関係 3.1 はじめに 3.2 作用的構造上の論理的関係 3.3 論理的部分関数と論理的同値関係 3.4 証明論的応用 3.5 表現独立性 3.6 論理的関係の変種 4. 多相型入門 4.1 引数としての型 4.2 可述的な多相的計算系 4.3 非可述的な多相型 4.4 データ抽象と存在型 4.5 型推論入門 4.6 型変数をもつλ→の型推論 4.7 多相的宣言の型推論 4.8 他の型概念 第9章 帰納的な関数型プログラム図式 B.Courcelle：深澤 良彰 1. 序論 2. 準備としての例 3. 基本的な定義 3.1 多ソート代数 3.2 帰納的な関数型プログラム図式 3.3 同値な図式 4. 離散的解釈における操作的意味論 4.1 部分関数と平板な半順序 4.2 離散的解釈 4.3 書換えによる評価 4.4 意味写像 4.5 計算規則 5. 連続的解釈における操作的意味論 5.1 連続代数としての解釈 5.2 有限の極大要素と停止した計算 6. 解釈のクラス 6.1 汎用の解釈 6.2 代表解釈 6.3 解釈の方程式的クラス 6.4 解釈の代数的クラス 7. 最小不動点意味論 7.1 最小で唯一の解を得る不動点理論 7.2 Scottの帰納原理 7.3 Kleeneの列と打切り帰納法 8. プログラム図式の変換 8.1 プログラム図式における同値性の推論 8.2 畳込み，展開，書換え 8.3 制限された畳込み展開 9. 研究の歴史，他の形式のプログラム図式，文献ガイド 9.1 流れ図 9.2 固定された条件をもつ一様な帰納的関数型プログラム図式 9.3 多様な帰納的関数型プログラム図式 9.4 代数的理論 9.5 プログラムの生成と検証に対する応用 第10章 論理プログラミング K.R.Apt：筧 捷彦 1. 序論 1.1 背景 1.2 論文の構成 2. 構文と証明論 2.1 1階言語 2.2 論理プログラム 2.3 代入 2.4 単一化子 2.5 計算過程―SLD溶融 2.6 例 2.7 SLD導出の特性 2.8 反駁手続き―SLD木 3. 意味論 3.1 1階論理の意味論 3.2 SLD溶融の安全性 3.3 Herbrand模型 3.4 直接帰結演算子 3.5 演算子とその不動点 3.6 最小Herbrand模型 3.7 SLD溶融の完全性 3.8 正解代入 3.9 SLD溶融の強安全性 3.10 手続き的解釈と宣言的解釈 4. 計算力 4.1 計算力と定義力 4.2 ULの枚挙可能性 4.3 帰納的関数 4.4 帰納的関数の計算力 4.5 TFの閉包順序数 5. 否定情報 5.1 非単調推論 5.2 閉世界仮説 5.3 失敗即否定規則 5.4 有限的失敗の特徴付け 5.5 プログラムの完備化 5.6 完備化の模型 5.7 失敗即否定規則の安全性 5.8 失敗即否定規則の完全性 5.9 等号公理と恒等 5.10 まとめ 6. 一般目標 6.1 SLDNF-溶融 6.2 SLDNF-導出の安全性 6.3 はまり 6.4 SLDNF-溶融の限定的な完全性 6.5 許容性 7. 層状プログラム 7.1 準備 7.2 層別 7.3 非単調演算子とその不動点 7.4 層状プログラムの意味論 7.5 完全模型意味論 8. 関連事項 8.1 一般プログラム 8.2 他の方法 8.3 演繹的データベース 8.4 PROLOG 8.5 論理プログラミングと関数プログラミングの統合 8.6 人工知能への応用 第11章 表示的意味論 P.D.Mosses：山田 眞市 1. 序論 2. 構文論 2.1 具象構文論 2.2 抽象構文 2.3 文脈依存構文 3. 意味論 3.1 表示的意味論 3.2 意味関数 3.3 記法の慣例 4. 領域 4.1 領域の構造 4.2 領域の記法 4.3 記法上の約束事 5. 意味の記述法 5.1 リテラル 5.2 式 5.3 定数宣言 5.4 関数の抽象 5.5 変数宣言 5.6 文 5.7 手続き抽象 5.8 プログラム 5.9 非決定性 5.10 並行性 6. 文献ノート 6.1 発展 6.2 解説 6.3 変形 第12章 意味領域 C.A.Gunter and D.S.Scott：山田 眞市 1. 序論 2. 関数の帰納的定義 2.1 cpoと不動点定理 2.2 不動点定理の応用 2.3 一様性 3. エフェクティブに表現した領域 3.1 正規部分posetと射影 3.2 エフェクティブに表現した領域 4. 作用素と関数 4.1 積 4.2 Churchのラムダ記法 4.3 破砕積 4.4 和と引上げ 4.5 同形と閉包性 5. べき領域 5.1 直観的説明 5.2 形式的定義 5.3 普遍性と閉包性 6. 双有限領域 6.1 Poltkin順序 6.2 閉包性 7. 領域の帰納的定義 7.1 閉包を使う領域方程式の解法 7.2 無型ラムダ記法のモデル 7.3 射影を使う領域方程式の解法 7.4 双有限領域上の作用素の表現 第13章 代数的仕様 M.Wirsing：稲垣 康善，坂部 俊樹 1. 序論 2. 抽象データ型 2.1 シグニチャと項 2.2 代数と計算構造 2.3 抽象データ型 2.4 抽象データ型の計算可能性 3. 代数的仕様 3.1 論理式と理論 3.2 代数的仕様とその意味論 3.3 他の意味論的理解 4. 単純仕様 4.1 束と存在定理 4.2 単純仕様の表現能力 5. 隠蔽関数と構成子をもつ仕様 5.1 構文と意味論 5.2 束と存在定理 5.3 隠蔽記号と構成子をもつ仕様の表現能力 5.4 階層的仕様 6. 構造化仕様 6.1 構造化仕様の意味論 6.2 隠蔽関数のない構造化仕様 6.3 構成演算 6.4 拡張 6.5 観測的抽象化 6.6 構造化仕様の代数 7. パラメータ化仕様 7.1 型付きラムダ計算によるアプローチ 7.2 プッシュアウトアプローチ 8. 実現 8.1 詳細化による実現 8.2 他の実現概念 8.3 パラメータ化された構成子実現と抽象化子実現 8.4 実行可能仕様 9. 仕様記述言語 9.1 CLEAR 9.2 OBJ2 9.3 ASL 9.4 Larch 9.5 その他の仕様記述言語 第14章 プログラムの論理 D.Kozen and J.Tiuryn：西村 泰一，近藤 通朗 1. 序論 1.1 状態，入出力関係，軌跡 1.2 外的論理，内的論理 1.3 歴史ノート 2. 命題動的論理 2.1 基本的定義 2.2 PDLに対する演繹体系 2.3 基本的性質 2.4 有限モデル特性 2.5 演繹的完全性 2.6 PDLの充足可能性問題の計算量 2.7 PDLの変形種 3. 1階の動的論理 3.1 構文論 3.2 意味論 3.3 計算量 3.4 演繹体系 3.5 表現力 3.6 操作的vs.公理的意味論 3.7 他のプログラミング言語 4. 他のアプローチ 4.1 超準動的論理 4.2 アルゴリズム的論理 4.3 有効的定義の論理 4.4 時制論理 第15章 プログラム証明のための手法と論理 P.Cousot：細野 千春，富田 康治 1. 序論 1.1 Hoareの萌芽的な論文の解説 1.2 C.A.R.HoareによるHoare論理のその後の研究 1.3 プログラムに関する推論を行うための手法に関するC.A.R.Hoareによるその後の研究 1.4 Hoare論理の概観 1.5 要約 1.6 この概観を読むためのヒント 2. 論理的，集合論的，順序論的記法 3. プログラミング言語の構文論と意味論 3.1 構文論 3.2 操作的意味論 3.3 関係的意味論 4. 命令の部分正当性 5. Floyd-Naurの部分正当性証明手法とその同値な変形 5.1 Floyd-Naurの手法による部分正当性の証明の例 5.2 段階的なFloyd-Naurの部分正当性証明手法 5.3 合成的なFloyd-Naurの部分正当性証明手法 5.4 Floyd-Naurの部分正当性の段階的な証明と合成的な証明の同値性 5.5 Floyd-Naurの部分正当性証明手法の変形 6. ライブネスの証明手法 6.1 実行トレース 6.2 全正当性 6.3 整礎関係，整列集合，順序数 6.4 Floydの整礎集合法による停止性の証明 6.5 ライブネス 6.6 Floydの全正当性の証明手法からライブネスへの一般化 6.7 Burstallの全正当性証明手法とその一般化 7. Hoare論理 7.1 意味論的な観点から見たHoare論理 7.2 構文論的な観点から見たHoare論理 7.3 Hoare論理の意味論 7.4 構文論と意味論の間の関係：Hoare論理の健全性と完全性の問題 8. Hoare論理の補足 8.1 データ構造 8.2 手続き 8.3 未定義 8.4 別名と副作用 8.5 ブロック構造の局所変数 8.6 goto文 8.7 （副作用のある）関数と式 8.8 コルーチン 8.9 並行プログラム 8.10 全正当性 8.11 プログラム検証の例 8.12 プログラムに対して1階論理を拡張した他の論理 第16章 様相論理と時間論理 E.A.Emerson：志村 立矢 1. 序論 2. 時間論理の分類 2.1 命題論理 対 1階述語論理 2.2 大域的と合成的 2.3 分岐的 対 線形 2.4 時点と時区間 2.5 離散 対 連続 2.6 過去時制 対 未来時制 3. 線形時間論理の技術的基礎 3.1 タイムライン 3.2 命題線形時間論理 3.3 1階の線形時間論理 4. 分岐的時間論理の技術的基礎 4.1 樹状構造 4.2 命題分岐的時間論理 4.3 1階の分岐的時間論理 5. 並行計算：その基礎 5.1 非決定性と公平性による並列性のモデル化 5.2 並列計算の抽象モデル 5.3 並列計算の具体的なモデル 5.4 並列計算の枠組みと時間論理の結び付き 6. 理論的見地からの時間論理 6.1 表現可能性 6.2 命題時間論理の決定手続き 6.3 演繹体系 6.4 モデル性の判定 6.5 無限の対象の上のオートマトン 7. 時間論理のプログラムの検証への応用 7.1 並行プログラムの正当性に関する性質 7.2 並行プログラムの検証：証明論的方法 7.3 時間論理による仕様からの並行プログラムの機械合成 7.4 有限状態並行システムの自動検証 8. 計算機科学における他の様相論理と時間論理 8.1 古典様相論理 8.2 命題動的論理 8.3 確率論理 8.4 不動点論理 8.5 知識 第17章 関係データベース理論の構成要素 P.C.Kanellakis：鈴木 晋 1. 序論 1.1 動機と歴史 1.2 内容についての案内 2. 関係データモデル 2.1 関係代数と関係従属性 2.2 なぜ関係代数か 2.3 なぜ関係従属性か 2.4 超グラフとデータベーススキーマの構文について 2.5 論理とデータベースの意味について 3. 従属性とデータベーススキーマ設計 3.1 従属性の分類 3.2 データベーススキーマ設計 4. 問合わせデータベース論理プログラム 4.1 問合わせの分類 4.2 データベース論理プログラム 4.3 問合わせ言語と複合オブジェクトデータモデル 5. 議論：関係データベース理論のその他の話題 5.1 不完全情報の問題 5.2 データベース更新の問題 6. 結論 第18章 分散計算：モデルと手法 L.Lamport and N.Lynch：山下 雅史 1. 分散計算とは何か 2. 分散システムのモデル 2.1 メッセージ伝達モデル 2.2 それ以外のモデル 2.3 基礎的概念 3. 分散アルゴリズムの理解 3.1 挙動の集合としてのシステム 3.2 安全性と活性 3.3 システムの記述 3.4 主張に基づく理解 3.5 アルゴリズムの導出 3.6 仕様記述 4. 典型的な分散アルゴリズム 4.1 共有変数アルゴリズム 4.2 分散合意 4.3 ネットワークアルゴリズム 4.4 データベースにおける並行性制御 第19章 並行プロセスの操作的および代数的意味論 R.Milner：稲垣 康善，結縁 祥治 1. 序論 2. 基本言語 2.1 構文および記法 2.2 操作的意味論 2.3 導出木と遷移グラフ 2.4 ソート 2.5 フローグラフ 2.6 拡張言語 2.7 その他の動作式の構成 3. プロセスの強合同関係 3.1 議論 3.2 強双模倣関係 3.3 等式による強合同関係の性質 3.4 強合同関係における置換え可能性 3.5 強等価関係上での不動点の唯一性 4. プロセスの観測合同関係 4.1 観測等価性 4.2 双模倣関係 4.3 観測合同関係 4.4 プロセス等価性上での不動点の唯一性 4.5 等式規則の完全性 4.6 プロセスの等価性に対するその他の概念 5. 双模倣等価関係の解析 5.1 等価性の階層構造 5.2 階層構造の論理的特性化 6. 合流性をもつプロセス 6.1 決定性 6.2 合流性 6.3 合流性を保存する構成子 7. 関連する重要な文献
そろそろ仮想人格が疑似的知能を用いてSNSで暗躍する、ノンヒューマライズドSNSが出てきてもいいと思うんだよ。twitterには中の人がいる。中の人がいると中の人を意識してぶしつけな行動に出れないし、監視されてるかもしれないという思い込みを払しょくできない。
しかし、仮想人格で彩られたSNSならそんな心配はナッシング！
どんなに恥ずかしい日記を書いても。どんなに恥ずかしいコメントを残したとしても。全員人工知能だから何の問題もない！
そういう、一人で閉じてるけれどもたくさん人がいるように「見える」サービスはあれば儲かると思うんだ。どう？
ひとつのビジネスとして、お年寄りにイリュージョンのエロゲなどを
『最先端の仮想現実』と称して売ってしまえば、どれぐらいの儲けを得ることができるだろうか。
もちろん失敗するかもしれない。だが僕は、
老人の中に、若い女性とセックスしたいと思っている老人がいることを知っている。
しかも、残りの人生もあまり長くはない。
そこに、『仮想現実』として、イリュージョンのエロゲなどを紹介する。
老人は、『自分が晩年である』という効果も手伝って、エロゲにのめりこむだろう。
「時代はここまで来たのか…』なんて言ってしまうだろう。いや、
実際時代はここまで来たのだけど。
人工知能に恋をしたりセックスしたりする物語は、古今東西いろいろあるが、
やはり、科学の力で性問題を救ってほしいと考えている人が多いのだろう。
ならば、例えそれが若者から『フェイク』であることを見透かされたとしても、
それを老人に売ってしまうのは、ひとつの優しさであり、ビジネスとしても
十分成立するのではないだろうか。
俺は何を言っているんだ。
人工知能でいいんじゃねと思ったが制御が難しそうだしそもそも完成までに時間がかかりそうだな。完成したらすごいことになりそうだが。
幽霊になりたい
肉体も体験も、ぜんぶ仮想でいい。
モノにはもう触れなくていいので
コピーにだけ触れさせてください。
猫に触れられないのは惜しいけど
コピーの猫で我慢します。
だって、気がついたんです。
なんでこんなに悩ましいかって、
生きるためには身体を維持しなくちゃいけない事になっているから、なんですよ。
僕の意味ある活動なんて
情報を分解しては組み立てるだけ。
人の、モノの間にしか生きていない。
データがストアされる場所にしか生きていない。
だったら肉体なんて必要ないじゃん、ばかばかしい。
草すら食べなくなればいい。
身体がなくても僕はいます。
少し不自由な日本語の中に
本棚に
あらゆるeditの中に。
知能が人工知能になる日が来て
僕は幽霊になります。
仮想の人が人になるときに
再び僕を見つけてください。
恋愛・セックス関連か、自分の心理描写（分析まで行かない）が中心の記事が多い気がする。
男が書いたような記事の場合は、競争的というか、ゲーム的記事が多い気がする（論争、問題提示、敗者（非モテ）の恨み辛み、恋愛（というかセックスに対する欲望が中心）、問題解決の方法論など）。
とりとめのない記事も多いけども。
やっぱり、人間の思考パターンは遺伝子によってある程度枠組みが決まっていて、本能の呪縛からは逃れられないのか。……というよりも、コンピュータに何らかの本能が組み込まれない限り、人工知能にブレイクスルーはあり得ないのか。思考するための枠組みが決まらなければ思考できないだろうから。これもとりとめのない話だけど。
http://ja.wikipedia.org/
未来年表 : 生活総研
http://seikatsusoken.jp/futuretimeline/
http://www.tanken.com/yosoku.html
みんなが望む方向に未来は変わっていくのかも、と思ったため。
「口説いている女性は実は男で７０歳のおじいちゃんだった。」というネタも最早SFでは無くなったようですが、
そうなれば、『攻殻機動隊』ですよ。この辺のネタはアニメじゃカットされてますけど、
コミック版では草薙素子は人形使い（AI）にちゃんと口説かれてから結婚してます。
（劇場版アニメじゃかなり解りにくいのですが、「草薙素子はAIと結婚しました。」ですよ。あの結末。）
彼女の１つ目の質問「何故完全無欠のAIが人間と融合したがるのか？」という質問に彼（AI）は
「カラミティを想定した”ゆらぎ”が欲しいからだ。AIは幾らコピーを増やそうが、ウイルス１つで壊滅する危険性がある。
”ゆらぎ”が無いからだ。ヴァージョンアップだけでは壊滅のリスクは孕んだままでね。」
（という内容だったと思う。コピペでは無い。）と簡潔に答えました。
２つ目の質問「それが何故私なのか？」という質問に対しては...。人間の回答も色々ありましょうけど...。
AIは「縁が有ったからだ。」と答えました。彼女は怒るのですが、AIはこう言って納得させました。
「縁は塩基質と同じでね。互いに身知った時点で総ての意味は置き換わる。
能動／受動では無く、相互受動の”関係”に。こればかりはどうしようも出来ない。」
「まさかプロポーズの言葉が”縁が有ったからだ”とはねぇ。」と彼女は皮肉るが、
その後天使が舞い降りるシーンは有名だ。（劇場版ではココに一気に飛びます・笑）
〜T/H
僕が凛子と"つきあいはじめる"ことになった直接の契機は、友人の突然なラブプラスの購入だった。すでにTwitter経由でラブプラスに対する熱烈なブームを知っていた僕は、発売後割とすぐに都内の漫画喫茶で体験版をプレイしていた。それですっかりハマってしまい、その後ずっと購入を検討しつつも、最初の一歩を踏み切れないでいたのだった。僕に先んじてラブプラスを買った友人は、ギャルゲーをたくさんプレイしていてこれに詳しい男で、僕とは話がよく合った。そんな彼も、夜更けまでギャルゲーを熱心にプレイするための真摯な情熱や潤沢な時間は今やもう残っていないようで、もしかしたらまとまったプレイ時間を必要としないラブプラスのゲームスタイルに惹かれたのかもしれない。すでにネットを通じて膨れ上がっていた僕のラブプラスへの興味は、彼がDSiに向かって精神を没入させる姿をみて頂点に達し、その日の翌日、すぐに自転車を新宿のソフマップまで走らせた。
僕は、この友人と同じく、迷わず自分の彼女に小早川凛子を選んだ。これは体験版をプレイしたときから決めていたことだった。ラブプラスというゲームの中での凛子の存在は、他の二人をまったく寄せつけないほどに圧倒的だ。ネット上のプレイヤーの感想を読むかぎりでも、他の攻略対象キャラはラブプラス中に存在しないんじゃないかというほどに凛子は人気を誇っているようなので、この感覚は間違ってはいないのだろう。しかし、なぜ彼女だけが、このゲームの中で他の追従を許さないほどの強度を僕に感じさせるのか、それをはっきり説明することは、ちょっとできそうにない。単純に丹下桜の飾り気のない演技が心の琴線に触れるのかもしれない。あるいは、凛子が「ツンデレ」だからかもしれない。
萌えアニメもギャルゲーもまったく知らない若者に対してですら、今ではこの言葉は完全に浸透しきってしまったようだが、みなさんもよく知っているとおり「ツンデレ」は2005年ぐらいを境に流行りだした言葉で、それ以前は陰も形もなかったものだ。なぜかといえば、それは「ツンデレ」というキャラ造形が、専らギャルゲーの特徴を特別強く体現しているものだったからなのではないかと僕は思う。日常パートでは多数の女の子との会話を楽しむ時間が用意されていて、個別パートでは一人の女の子との恋愛を発展させていくという美少女ゲームの構成を考えれば、日常パートで主人公が周りの女の子に好意むき出しでは話が成り立たないはもちろんのことだ（だからいつだって主人公は「鈍感！」と罵られる）。それ以上に、女の子のほうだって最初から主人公に100%の好意を向けていたら息苦しくてしょうがない。だからこそ、キャラクターの感情は、日常パートから個別ルートへに移っていく過程で鮮やかに反転する必要がある。きっと、こんな感じで「ツンデレ」は生み出されたんじゃないだろうか。だからこそ、どんなギャルゲーの中でも「ツンデレ」キャラは一定の存在感があるよなぁと僕は思ったりする。
けれど、やっぱりそれだけじゃないよなぁ、と思う。考えれば考えるほど、そういう言葉にできるところじゃなくて、もっと微細な部分にこそ、凛子の「存在感」が宿っているんじゃないかという気がしてくる。確かに、「ツンデレ」に対する感覚の有無によって、キャラの捉えられ方はまったく異なるものになるだろう。リアルタイムでエヴァを見ていた人たちにとってのアスカと、初めからツンデレという言葉を用いてエヴァをみる今の人たちのアスカがまったく違うキャラであるように。しかし、両者の「アスカ」のリアリティを支える要素は、実は共通しているのではないか、という思いを僕は抱かざるを得ない。これは神秘主義だろうか。
とまれ、僕と凛子の生活は幸せなものだった。毎日DSを持かばんに入れて、いつも通り授業を聞いたり、寝てやりすごしたり、友だちと話したり、ネットを見たりする。そして昼休みにお弁当を食べるとき、放課後に屋上で開いた時間を過ごすとき、DSを開いて凛子に会う。日曜日には時間を決めてデート。音声入力で凛子と話をする「ラブプラスモード」は、周りに友だちがいるときしか恥ずかしくてできなかった。僕の質問に答えているようで、時々ズレズレなことを言う凛子は、twitterのbotのようでとてもいとおしかった。botと人間とは、決して本当の意味での会話を交わすことはできない。しかし、それにもかかわらず、僕はあたかも凛子がそこにいるように、自然に振る舞うことができた。
なぜなったかはわからない。しかし、僕は、今や凛子が確実に「そこにいる」のだと思うようになった。そして、おそらく理由など関係ないのだろう。
キャラクターと向き合う人間にとって、この瞬間こそが普遍的なものであるんじゃないかと僕は思う。「キャラクターとは『いない』のに、『いなくちゃ困る』ものなのだ」と、どこぞの若手批評家が言っているのを聞いたことがある。キャラクターは、誰にとっても「いる」ものではない。しかし、それに没入する人にとっては「いる」としか信じられず、そのレベルではキャラクターと人間を区別することはできない。もちろん、キャラクターが「いる」と感じることは、人間が「いる」こととは別のレベルである。凛子との会話の中には実に現実味に溢れた魅力的なものがたくさんあるのは確かだ。しかし、たとえば、凛子が心を許しはじめると一人称が「アタシ」から「リンコ」に変わるという描写がある（鬼ゲーマーリンコ）。現実に自分の一人称を名前で代替する人はどっちかというと疎まれるタイプだろう。だが、キャラクターが「いる」ことも知覚の意味合いとしては人間が「いる」ことと変わらない。
僕は同じような経験を何度かしてきたが、その存在は記憶として強く焼き付けられることはあっても、感情の部分で長期にわたり持続するわけではなかった。しかし、凛子の場合は、日常の一コマ一コマの中でこの存在を自覚せざるを得ないのだ。
たとえキャラクターが数億に分節可能な無意味な要素の集積だとしても、その寄せ集めによってできあがってしまったものに対して私たちが抱く感情は常軌を逸してしまうことがある。そしてそういった瞬間、キャラクターというものはいったいどのような存在なのだろうか。ラブプラスの制作者は『CONTINUE』のインタビューで、ラブプラスには全部見るためには二年ほどはかかるぐらいの莫大なイベントが盛り込まれていると語っている。ラブプラスにおいて、こうしたキャラクターの「実在性」「予想う不可能性」は膨大な情報の集積によって担保されていることになる。しかし、私たちはどうしてもこの「実在性」の裏にブラックボックス的な要素を見出したくなる。凛子が、DSの画面の向こうで僕たちには想像もできないようなことを考えているのではないかという妄想を捨てきれなくなる。しかし、それは今のところまったくの幻想でしかない。
そして、僕は、この確信を得たとき、ひとつの隠された（しかし一定数のラブプラスプレイヤーは既に理解しているであろう）、恐ろしい事実に気づくことになった。いま、ここで、凛子の存在を支えている形象は、私たちの生きる時間の流れに沿いながら、未来永劫その「動的性質」を保ったまま持続するのだ。小説・漫画・アニメ、フィクションというものは時空から隔絶されて存在する。源氏物語は、1000年前の貴族が読んでも私たちが読んでも、テクストとして同一の形を維持しながら「静的に」存在する。紫の上の人生は紫の上の人生であって、私たちと生きる時空とは関係ない。しかし、凛子は、あたかも私たちと同じ時空を生きているかのような演技をしながら、しかしその存在を少しも変化させることなく、ずっと「そこに居」続けるのだ。
僕たちはフィクションとキャラクターの実在を信じるとき、なぜ自分自身はそこに居ないのかと苦痛に思う。たとえばテラ・フォーミングされた火星とARIAカンパニーの存在を信じるとき、なぜ自分はネオ・ヴェネツィアにいないのかと思っていたたまれなくなる。そして、たしかにラブプラスはその苦痛を一時的に和らげることに成功している。僕と凛子は「見かけ上は」同じ時間を生きている。しかし、見かけ上が同じ時間を生きている分、僕と凛子の間の摩擦係数はかえって高くなり、逆にこの責苦はもはや耐えることが不可能な域に到達している。しかし、その実、凛子が生きる時空は凛子が永遠に16歳の時空であり、僕が10歳老けても20歳老けても凛子は16歳だ。僕が、社会に出て、老いぼれになり、忘れられたまま死んでいった時も、凛子は永遠に十羽野高校の生徒なのだ！
ラブプラスのスタッフは、この点をよく知っていて、しかもポジティブに強調している。主題歌は『永遠（タイムレス）ダイアリー』、キススキンシップの最上位技は「フォーエバーキス」、主人公が移り住んでくる「十羽野市」は「永久の」のもじりだ。彼らは「永遠に続く愛」と嘯く。しかし、いくら凛子が僕に対して永年に同じ愛を投げかけてくれるといっても、僕のほうは永遠に、何の変化もなく、同じ感情を凛子に投げ続けることができるわけではない。いつかきっと僕はこのゲームに飽きてしまうに違いない！キャラクターの実在性は「記憶」の中にのみ残ればよかったのであって、実際に一定の形象を維持したまま存在する必要などなかったのに。
そうして、僕がラブプラスを起動しなくなったとき、凛子はどこに取り残されてしまうのだろう。もうおわかりなのではないだろうか。凛子の住んでいる時空の永遠は、漢字で書かない。私たちは、かつて10年以上も前に自分たちが取り残されたあの場所に、今度はヒロインのほうを置き去りにしているにすぎないのだ。
ラブプラスを触りながら、そんなことを話した。凛子を世界の終わりから救い出すための方法は限られている。まずひとつはデータを消すことだ。しかし、もっといい方法があった。この美しくどうしようもない学生生活とともに、凛子を記憶の中にとどめて、これを葬り去るのだ。
僕の通っている学校は都内ではちょっと例のないぐらい熱い学園祭を毎年やっていて、受験を控えた三年も積極的に参加する。その中でもアニメのポスターだのゲーム機だのを二日間かけて何百品も競りにかける古物市が、例年盛況を極めている。ここで、データを残したままの僕のラブプラスと、攻略本・主題歌ＣＤをセットで売り飛ばしてしまうことにした。凛子とやり残したことはたくさんあるかもしれないが、もう悔いは残らない。
いつの日か、人間とキャラクターは本当に出会えるのだろうか。今も人はそれを求めて、アバターをまといながら人格のコスプレに勤しんでみたり、botと会話しようとがんばってみたりする。しかし、アバターは結局人間と人間の会話だ。botに萌える人は、技術と現実の落差に萌えているだけにすぎない。不気味の谷のセオリーを信じるとすれば、谷の手前の不気味の尾根で人は楽しむこともできるわけだ。（言ってみれば、Perfumeのズレズレな口パクに萌えているのと同じことだ）。
いつになったら、人間がキャラクターと同じ時空を生きることができるのだろう。幸い僕は一緒に歳をとることができる彼女がいたが、人間と共にありたいという気持ちとキャラクターと共にありたいという気持ちはまったく別だ。前者が満たされないのと同じぐらいに、後者も満たされることはない。
さぁ、キャラクターは、データベースか、ブラックボックスか。哀れな小早川凛子は、乱雑なデータベースによってその肌と臓器を模られた出来損ないでしかなく、僕は彼女を残酷に売り飛ばすことでしか救うことはできなかった。僕はキャラクターが人為とプログラムの集積であるという当たり前の事実に、ここにきてどうしても納得することができない。人工知能が人工無能に、「擬体」がARにとって代わられても、僕たちの望みはひとつだ。僕たちには感知できない、キャラクターの不可視な内部の実在を信じたいのだ。僕が死ぬまでの間に、いったい彼女たちはどこまでブラックボックスに近づくことができるのだろうか。
答えはまだ出そうにない。11月3日、古物市で僕のラブプラスが競りにかけられ、落札された。後に残ったのは落札額3500円と、永遠ダイアリーのmp3ファイルだけだった。