AI冬の時代

AI冬の時代 — 概要

AI研究の資金と社会的関心が急減した停滞期の歴史。第一次・第二次の冬、原因報告書、復活過程までの入門ガイド

AI冬の時代の定義 — 資金・関心・産業が縮退する周期

研究費削減、企業撤退、報道の冷却、人材流出。核の冬になぞらえた比喩、ブームと幻滅の反復構造

「AIウィンター」という語 — 1984年AAAI会合での警告

1984年AAAI年次大会のパネル討論、ミンスキーやシャンクらによるバブル崩壊警告、用語の定着過程

ブームと幻滅の循環 — 期待過剰から資金撤退への構造

誇大な約束、メディア過熱、実証の遅れ、投資家の失望、予算削減という反復パターンの一般構造

第一次AI冬 — 1970年代の資金削減と楽観論の崩壊

ALPAC報告、ライトヒル報告、DARPA方針転換、機械翻訳とパーセプトロン研究の停滞が重なった時期

第二次AI冬 — 1980年代末からのエキスパートシステム退潮

Lispマシン市場崩壊、エキスパートシステム保守難、第五世代・SCIの目標未達、AI企業の淘汰

黎明期の楽観予測 — ダートマス会議以降の過大な見積り

1956年ダートマス会議、サイモンやミンスキーによる早期実現予測、20年以内の人間水準知能という約束

初期機械翻訳の挫折 — 冷戦期MT研究の品質限界

1954年ジョージタウン実験の宣伝、露英翻訳への軍事需要、語義曖昧性と文脈理解の壁、実用化の遅延

ALPAC報告(1966) — 米国機械翻訳研究への打撃

全米科学アカデミーの自動言語処理諮問委員会、費用対効果への否定的評価、MT研究費の大幅削減

『パーセプトロン』(1969) — ミンスキーとパパートの限界証明

単層パーセプトロンの表現能力に関する数学的解析、ローゼンブラットの研究への影響、資金環境の悪化

XOR問題と線形分離可能性 — 単層モデルの理論的限界

排他的論理和の分離不能性、線形識別器の限界、多層化の必要性と当時の学習法の不在

ニューラルネット研究の停滞 — 1970年代の資金枯渇

パーセプトロン批判後の助成金減少、記号主義への研究資源集中、少数の継続研究者による潜伏期

ライトヒル報告(1973) — 英国AI研究の大幅縮小

応用数学者ライトヒルによる英国科学研究会議への評価報告、組合せ爆発の指摘、英国AI予算の削減

ライトヒル論争 — BBC討論とマッカーシーらの反論

報告書をめぐる公開討論、ミチーら英国研究者への影響、エディンバラ大学等の研究体制縮小

組合せ爆発 — 探索空間の指数的増大という根本的壁

トイプロブレムから実問題へのスケール困難、状態空間の爆発、ヒューリスティックの限界認識

マンスフィールド修正条項 — 米軍事研究費の方針転換

1969年前後の米議会による軍事直結研究への限定、DARPAの基礎研究支援縮小、大学AI研究への波及

DARPA音声理解研究(SUR)の終了 — 成果評価と打ち切り

1971〜76年の音声理解プログラム、CMUのHarpyやHearsay-II、目標達成をめぐる評価対立と資金停止

マイクロワールド手法の限界 — ブロックスワールドの外へ

積み木の世界での成功、限定領域の仮定、現実世界の雑多さへの一般化失敗という批判

SHRDLUの成功と一般化困難 — 自然言語理解の壁

ウィノグラードの対話システム、限定世界での言語理解、語彙・常識の拡張が破綻する構造的理由

フレーム問題 — 常識推論を形式化する困難

マッカーシーとヘイズによる定式化、行為の副作用の記述爆発、非単調推論研究への展開

常識知識の壁 — 暗黙知の網羅的記述の困難

日常推論に必要な膨大な背景知識、記号的記述のコスト、質的推論・素朴物理学研究の試み

モラベックのパラドックス — 知覚と運動こそ計算困難

高度な推論より幼児レベルの知覚運動が難しいという逆説、進化的獲得能力とAIの得意領域の乖離

計算資源の制約 — 当時のハードウェアと理論の乖離

メモリ容量とプロセッサ速度の不足、学習アルゴリズムの計算量、実験規模の限界と成果の頭打ち

エキスパートシステムの興隆 — 1980年代商用AIブーム

知識ベースと推論エンジンの分離、ルールベース推論、フォーチュン500企業への導入ブーム

DENDRAL — 化学構造推定の先駆的エキスパートシステム

スタンフォード大学のファイゲンバウムとレダーバーグ、質量分析データからの構造推定、知識工学の原点

MYCIN — 医療診断システムと確信度推論

ショートリフによる細菌感染症診断支援、確信度係数、実運用に至らなかった法的・組織的障壁

XCON(R1) — DECの計算機構成システムと商用成功

VAXシステム構成の自動化、数千規則への成長、年間数千万ドルの節約と保守負担増大の両面

知識獲得のボトルネック — 専門家知識の抽出コスト

インタビューによるルール化の労力、専門家の暗黙知、知識ベース構築期間の長期化という産業的限界

知識工学の方法論 — 知識ベース構築技法とその限界

ナレッジエンジニアの職能、プロダクションルール、フレーム表現、意味ネットワークの実務適用

エキスパートシステムの保守問題 — ルール肥大化と更新難

規則間の相互干渉、整合性検証の困難、業務変化への追随コスト、導入企業の失望と撤退

システムの脆弱性(brittleness) — 想定外入力での破綻

知識境界の外での性能急落、優雅な劣化の欠如、常識の欠落による珍回答、信頼性への疑念

エキスパートシステムシェル市場 — 開発ツール産業の盛衰

推論エンジンの製品化、企業向け開発環境の乱立、1980年代末の市場縮小と汎用ソフトへの吸収

Lispマシン — AI専用ハードウェアの興隆

MIT AI研究所発の専用計算機、Symbolics・LMI・TIの参入、Lisp実行に最適化された環境

Lispマシン市場の崩壊(1987) — 第二次冬の引き金

SunやApolloなど汎用ワークステーションの性能向上と低価格化、専用機需要の消滅、関連企業の破綻

Symbolics社の盛衰 — AI産業バブルの象徴

MIT発スピンオフ、初の.comドメイン登録、ピーク時の隆盛から1990年代の破産・縮小への軌跡

第五世代コンピュータプロジェクト — 日本の国家事業(1982-92)

通産省主導の10年計画、並列推論マシンと知識情報処理、約570億円の投資と国際的反響

ICOT(新世代コンピュータ技術開発機構) — 推進体制と研究拠点

渕一博所長のもとでの中央研究所方式、メーカー各社からの出向研究者、成果公開と国際交流

並列推論マシンPIM — 論理型計算アーキテクチャの追求

逐次推論マシンPSIからPIMへの展開、KL1言語、並列論理プログラミング専用ハードの設計思想

Prologと論理プログラミング — 第五世代の中核技術

述語論理に基づくプログラミング、ホーン節と単一化、欧州発の言語が日本の国家計画に採用された経緯

第五世代プロジェクトの評価 — 目標未達と技術遺産

知識情報処理の実用化未達、並列処理・制約論理などの学術的遺産、人材育成効果をめぐる賛否

Alvey計画 — 英国の情報技術振興プログラム

第五世代への対抗として1983年開始、知的知識ベースシステム、ソフトウェア工学、産学連携研究

ESPRIT — 欧州共同体の情報技術研究計画

1980年代の欧州共同研究枠組み、マイクロエレクトロニクスと先端情報処理、国際競争下の政策対応

戦略的コンピューティング計画(SCI) — DARPAの大型投資

1983年開始の約10億ドル計画、自律走行車・パイロット支援・戦場管理という三大応用目標

SCIの縮小と方針転換 — 応用目標の未達

自律走行・音声理解の技術的困難、1980年代末の予算再編、汎用高性能計算へのシフト

MCC — 米企業連合による対日共同研究

1982年設立の共同研究コンソーシアム、第五世代への危機感、テキサス州オースティン拠点、独禁法緩和

Cycプロジェクト — 常識知識の大規模手作業記述

レナートが1984年開始、数百万の常識断言の記述、数十年に及ぶ継続と知識ベースAIの到達点

AIベンチャーの淘汰 — 1980年代末の企業倒産・撤退

エキスパートシステム企業の破綻や事業転換、Lisp関連企業の消滅、AI部門の閉鎖と人員削減

AI投資バブル — ベンチャーキャピタルの過熱と退潮

1980年代前半の投資集中、収益化の遅れ、株式市場での失望売り、投資家のAI離れの構造

「AI」の語の忌避 — 名称変更による生き残り戦略

知識ベースシステム、インフォマティクス、意思決定支援などへの改称、助成申請での用語回避

AI効果 — 実現した技術がAIと呼ばれなくなる現象

探索・音声認識・OCRなど成功技術の脱AI化、「まだできないこと」への定義移動、評価の非対称性

研究資金配分の転換 — 短期成果主義とミッション指向

基礎研究から応用実証への重点移動、マイルストーン管理、長期探索的研究の困難化

研究者コミュニティへの影響 — 人材流出と分野再編

産業界・他分野への転出、ポスト減少、研究室閉鎖、生き残った拠点への集中という構造変化

冬の間の継続研究 — 潜伏期の少数派たち

資金難の中で継続されたニューラルネット・強化学習・推論研究、後のブレイクスルーの種

ホップフィールドネットワーク(1982) — 物理学からの再点火

連想記憶モデル、エネルギー関数とアトラクタ、物理学者の参入によるニューラルネット再評価

ボルツマンマシン — 確率的ニューラルネットの提案

ヒントンとセイノフスキーによる確率的ユニット、模擬焼きなまし、生成モデル的学習の先駆

誤差逆伝播法の普及(1986) — 多層網学習の突破口

ラメルハート・ヒントン・ウィリアムズの論文、隠れ層の学習、パーセプトロン限界論の克服

PDPグループと分散表現 — 並列分散処理の研究運動

1986年のPDP二巻本、ラメルハートとマクレランド、認知科学への波及、コネクショニズムの理論的支柱

記号主義対コネクショニズム — パラダイム論争

物理記号システム仮説への挑戦、構成性・体系性をめぐる論争、ハイブリッド路線の模索

音声認識の統計的転回 — 隠れマルコフモデルの勝利

規則ベースからHMMへの移行、IBMなどでの統計的手法の成功、データ駆動アプローチの台頭

統計的機械学習への転回 — ルールからデータへ

確率モデル・ベイズ推論の浸透、コーパス言語学、評価データセットとベンチマーク文化の形成

サポートベクターマシン — 1990年代の理論的成果

ヴァプニクらの統計的学習理論、マージン最大化、カーネル法、冬の後の機械学習を支えた柱

機械学習の分野独立 — AIブランドからの分離

堅実な数理的手法としての再出発、専門会議と学術誌の確立、データマイニング産業との接続

決定木とアンサンブル前史 — 実務に浸透した学習手法

ID3・C4.5・CARTなどの決定木学習、解釈可能性による産業採用、後のランダムフォレストへの系譜

強化学習の地道な発展 — TD学習とQ学習

サットンの時間差分学習、ワトキンスのQ学習、バックギャモンでの成功例、冬の間の理論的蓄積

ブルックスの行動主義ロボティクス — 表象なき知能

包摂アーキテクチャ、世界自体を最良のモデルとする主張、昆虫型ロボット、計画主義への批判

身体性認知への転換 — 環境との相互作用重視

状況的認知、身体化された知能、記号接地問題、ロボティクスと認知科学の接近

ゲームAIの継続的前進 — チェス計算機の系譜

冬の間も進んだ探索技術、専用ハードウェアによる先読み深化、カーネギーメロン発の開発系譜

ディープブルー対カスパロフ(1997) — 冬明けの象徴

IBMの専用機による世界チャンピオン撃破、力任せ探索と評価関数、AIへの世間的関心の回復

実用AIの静かな浸透 — 裏方として生き残った技術

郵便番号読取OCR、クレジットカード不正検知、スケジューリング、ロジスティクス最適化での実稼働

ヒューリスティック探索の成熟 — A*と制約充足の定着

A*探索、制約充足問題、SATソルバの進歩、計画問題の標準化など冬の間の基盤技術の洗練

知識表現研究の継続 — 記述論理とオントロジー

フレームから記述論理への理論化、推論の決定可能性、後のセマンティックウェブへ続く系譜

ドレイファスのAI批判 — 現象学からの根本的異議

『コンピュータには何ができないか』、暗黙知と身体性、規則追従モデルへの哲学的批判と論争

サールの中国語の部屋(1980) — 強いAIへの思考実験

記号操作と理解の区別、志向性の問題、システム応答など反論群、AI哲学論争の中心題材

ワイゼンバウムの警鐘 — ELIZA作者による技術批判

『コンピュータ・パワー』、計算機への過度な信頼への警告、判断と計算の区別、AI倫理の先駆

ELIZA効果 — 表層的対話への人間の過大評価

単純なパターン応答への感情移入、擬人化バイアス、対話システム評価の落とし穴として現代まで継続

チューリングテスト再考 — 知能評価基準をめぐる論争

模倣ゲームの妥当性批判、ローブナー賞の毀誉褒貶、タスク別ベンチマークへの評価法の移行

メディア報道と期待形成 — 誇大宣伝の増幅構造

ロボット脅威論や万能AI報道、研究者の宣伝的発言、期待と実力の乖離が幻滅を深めた力学

外部評価報告の政治学 — レビューが資金を左右する構造

ALPAC・ライトヒルなど評価報告の作られ方、委員の人選、政策決定者への影響経路の分析

軍事資金依存の構造 — DARPAと米国AI研究の関係

国防予算による黎明期研究の育成、方針転換への脆弱性、軍民両用技術としてのAIの位置づけ

日本の1980年代AIブーム — 産業界の熱狂と退潮

第五世代への便乗投資、電機各社のAI研究所設立、エキスパートシステム導入熱と1990年代の冷却

ファジィ制御ブーム — 家電応用の流行と急速な退潮

1990年前後の洗濯機・炊飯器などへの搭載競争、ファジィ推論の宣伝文句化、ブーム終焉の教訓

日本のニューロブーム — 1990年前後の産業応用熱

ニューラルネット搭載を謳う製品群、ニューロファジィ、企業研究の拡大と収縮の速いサイクル

AI教育への影響 — カリキュラムと教科書の変遷

冬期の講座縮小、記号的AI中心の教科書から統計的学習への改訂、人材供給の断絶と回復

学会と会議の動向 — 参加者数と投稿分野の変動

AAAI・IJCAIの参加者増減、ニューラルネット系会議の勃興、分野別コミュニティの離合集散

第一次と第二次の比較 — 二つの冬の共通構造と相違

外部評価起点と市場崩壊起点の違い、過大約束という共通因、政府主導と民間主導の対比

冬の原因分析 — 技術限界・経済環境・制度要因の複合

スケーラビリティの壁、ハード価格破壊、景気後退、資金制度の硬直性など多因子の相互作用

冬からの回復条件 — 計算力・データ・アルゴリズムの三要素

ムーアの法則による計算力向上、インターネット由来の大規模データ、学習理論の成熟の合流

深層学習前夜 — 2000年代の地道な蓄積

カナダの研究拠点での継続研究、深層信念ネットワーク、事前学習の工夫、限られた資金での前進

GPUと計算基盤の転機 — 冬を終わらせた計算力

汎用GPU計算の登場、並列行列演算の加速、学習時間の桁違いの短縮が可能にした実験規模

2012年以降の第三次ブーム — 画像認識コンテストの衝撃

大規模画像データセットでの深層学習の圧勝、産業界の一斉参入、冬の記憶の風化と教訓の継承

「次のAI冬」論争 — 現代ブームへの警戒論

投資過熱・電力コスト・性能飽和への懸念、過去の冬との構造比較、楽観論と悲観論の論点整理

ハイプサイクル理論 — 技術期待の一般モデル

ガートナーの黎明期・過度な期待・幻滅・啓発・安定という五段階、AI史への適用と方法的限界

科学社会学から見たAI冬 — 研究プログラムの盛衰論

パラダイム論・研究プログラム論による分析、資金・人材・正統性の循環、分野の制度化過程

技術予測の失敗学 — 専門家予測の系統的誤り

実現時期予測の過度な楽観、直線外挿の罠、AGI到達予測調査の変遷、予測手法の改善論

研究資金機関の意思決定 — ピアレビューと政策評価

助成審査の保守化、流行分野への追随、失敗許容度、冬期の萌芽研究をどう守るかという制度設計

当事者の回顧と口述史 — 冬を生きた研究者の証言

研究者の自伝・インタビュー記録、AI史オーラルヒストリー収集、当事者史料と通史記述の突き合わせ

他分野の「冬」との比較 — 核融合・宇宙開発などの類例

長期停滞を経験した巨大科学との比較、期待管理と資金継続の事例、分野横断の教訓抽出

AI史記述の方法論 — 一次資料とアーカイブの扱い

報告書原文・議事録・企業資料の保存と公開、勝者史観への批判、冬の時代研究の史料的課題

冬の教訓と研究倫理 — 誇大宣伝の抑制と誠実な報告

能力の過大表示への自制、再現性と限界の明示、期待管理のガイドライン、持続可能な研究文化

AI冬の時代 — 退避・古典資料archive

旧版の報告書解説、絶版文献の書誌、過去の分類草稿など、参照頻度の下がった資料の退避区分