1 会議の背景と準備
1.1 第二次世界大戦後の計算機科学の発展
第二次世界大戦後、計算機科学は急速な発展を遂げた。戦時中に開発された暗号解読や弾道計算のための電子計算機が、戦後には大学や研究機関に普及し始めた。1945年に公開されたフォン・ノイマン型アーキテクチャはプログラム内蔵方式を確立し、計算機の汎用性を飛躍的に高めた。1950年代に入ると、チューリングテスト（1950年）に代表されるように、機械が知能を持つ可能性についての理論的議論が活発化した。また、人間の思考過程を計算機で模倣しようとする試みが、心理学や論理学の分野からも関心を集めていた。
1.2 提案者たちの動機
1.2.1 ジョン・マッカーシーのビジョン
ジョン・マッカーシーは、当時ダートマス大学で数学の助教授を務めていた。彼は計算機が単なる数値計算だけでなく、記号処理や推論を含む知的活動を実行できると確信していた。マッカーシーは、計算機科学のさまざまな分野の研究者を集め、機械による知能の実現という共通目標について議論する場を設けることを構想した。彼はこれを「人工知能」という新たな研究分野の創設と位置づけた。
1.2.2 ロチェスターとIBMの役割
ナサニエル・ロチェスターはIBMの研究者であり、同社が開発したIBM 701などの大型計算機を実際の研究に活用していた。ロチェスターは、IBMの計算機を用いて機械学習やパターン認識の研究を進めており、マッカーシーの構想に共鳴した。IBMは会議の実現に向けて資金面だけでなく、会場や計算機資源の提供も約束し、重要な支援役を担った。
1.3 会議の計画と資金
1.3.1 ロックフェラー財団からの助成金
会議の開催には相当な資金が必要であった。マッカーシーとロチェスターはロックフェラー財団に助成金を申請し、1955年に約7,500ドルの資金を得た。この助成金は、参加者の旅費や滞在費、会議運営費に充てられた。ロックフェラー財団は当時、学際的な科学研究を積極的に支援しており、本提案はその方針に合致した。
1.3.2 開催場所と日程の決定
会議の開催地としては、マッカーシーが所属するダートマス大学が選ばれた。開催期間は1956年6月18日から8月17日までの約2か月間で、夏季休暇を利用して集中的な議論が行われるよう計画された。この長期間の設定により、参加者は単なる発表会ではなく、共同研究や実験的な試行錯誤を通じて深い議論を交わすことが可能となった。
2 参加者と主要人物
2.1 主催者チーム
2.1.1 ジョン・マッカーシー
マッカーシーは会議の発起人であり、主催者として全体の企画と進行を担当した。後にスタンフォード大学に移り、LISPプログラミング言語を開発するなど、AI研究の基盤を築いた。
2.1.2 マービン・ミンスキー
マービン・ミンスキーは当時ハーバード大学の研究員であり、後にマサチューセッツ工科大学（MIT）にてAIラボを設立した。彼はニューラルネットワークやフレーム理論に関する先駆的な研究で知られる。
2.1.3 クロード・シャノン
クロード・シャノンはベル研究所の数学者であり、情報理論の創始者として著名である。彼は機械によるチェスプレイや迷路解決の研究を行っており、会議に理論的な深みを与えた。
2.1.4 ナサニエル・ロチェスター
ロチェスターはIBMのエンジニアであり、会議の実務的な準備を担当した。彼はIBM 701を用いたパターン認識実験の結果を会議で発表した。
2.2 その他の著名な参加者
2.2.1 ハーバート・サイモン
ハーバート・サイモンはカーネギー工科大学（後のカーネギーメロン大学）の教授であり、後にノーベル経済学賞を受賞した。彼は問題解決や認知心理学の研究で知られ、会議では人間の思考プロセスを計算機でシミュレーションする方法論を提唱した。
2.2.2 アラン・ニューウェル
アラン・ニューウェルはカーネギー工科大学の研究者で、サイモンとともに「論理理論家（Logic Theorist）」を開発した。これは初期のAIプログラムの一つであり、定理証明を自動で行うことを目的とした。
2.2.3 他の招待研究者
他にも、情報科学や心理学、数学などの分野から約10名の研究者が招待された。具体的には、ロチェスターの同僚であるバーニー・ウィルソン、ダートマス大学の数学者ジョージ・ミラー、そしてロサンゼルスから機械翻訳に取り組んでいた研究者などが参加した。参加者は全員で約20名程度であったとされる。
3 会議の内容と議論
3.1 「人工知能」という用語の提案
会議の提案書において、マッカーシーは「人工知能（Artificial Intelligence）」という用語を初めて使用した。この用語は、それまで使われていた「機械知能」や「複雑な情報処理」という表現に代わるものとして提案された。会議参加者の間でこの用語は受け入れられ、その後この分野の正式名称として定着した。
3.2 主要な研究テーマ
3.2.1 自動定理証明
自動定理証明は、会議で最も注目されたテーマの一つであった。ニューウェルとサイモンは「論理理論家」をデモンストレーションし、ルドルフ・カルナップの『数学原理』からいくつかの定理を証明することに成功した。これにより、計算機が人間と同様の論理的推論を実行できる可能性が示された。
3.2.2 チェスとゲーム理論
チェスは人間の知能を必要とする典型的なゲームとして研究対象となった。シャノンはチェスの戦略を評価するアルゴリズムについて発表し、マッカーシーはアルファベータ法の初期アイデアを議論した。ゲーム理論の枠組みは、意思決定や探索の問題に広く応用できると考えられた。
3.2.3 ニューラルネットワークの可能性
ミンスキーと他の参加者は、脳の神経細胞のネットワークを模倣するコネクショニズムのアプローチについて議論した。ただし、当時は計算機の容量や学習アルゴリズムの限界から、実用的な応用にはまだ遠いという認識が共有された。
3.3 議論と対立点
3.3.1 記号処理アプローチvsコネクショニズム
会議では、知能を記号操作として捉える立場と、並列分散処理として捉える立場の間で議論が行われた。マッカーシーやニューウェルは記号処理アプローチを重視し、ミンスキーは両方の可能性を探る姿勢を示した。この対立は後のAI研究における二大潮流の基礎となった。
3.3.2 機械学習の実現可能性
機械が自ら経験から学ぶことができるかどうかは、激しく議論されたテーマであった。楽観的な見方と、当時の計算機の能力を考慮した慎重な見方が対立した。特に、汎用的な学習アルゴリズムの存在については結論が出なかった。
4 会議の成果と影響
4.1 即時的な成果
4.1.1 具体的なプロジェクト提案
会議の結果、いくつかの具体的な研究プロジェクトが提案された。例えば、マッカーシーは後のLISP開発につながる記号処理言語の構想を議題に上げ、ニューウェルとサイモンは「一般問題解決機（GPS）」の開発を進めることを決定した。
4.1.2 研究ネットワークの形成
参加者同士の人的ネットワークが形成され、その後の共同研究や情報交換の基盤となった。特に、マッカーシーとミンスキーは後にそれぞれスタンフォードAI研究所とMIT AIラボを設立し、両所の間で研究者の交流が行われた。
4.2 長期的な影響
4.2.1 AI研究の学問分野としての確立
ダートマス会議は、人工知能を独立した研究分野として認知させる決定的なイベントとなった。会議以降、米国を中心にAIに関する研究グループや学会が設立され、学術雑誌も創刊された。1959年にはMITにAIラボが正式に設立され、1960年代には世界中の大学でAIコースが開講されるようになった。
4.2.2 ダートマス以降のAI研究機関
会議を契機として、カーネギーメロン大学、スタンフォード大学、MIT、エディンバラ大学などにAI研究の中心的機関が誕生した。これらの機関は、自然言語処理、ロボティクス、エキスパートシステムなど、多様なサブ分野を発展させた。
4.3 歴史的評価
4.3.1 会議が果たした象徴的意義
ダートマス会議は、科学史において「人工知能の誕生」と位置づけられることが多い。この会議がなければ、AI研究が独立した分野として認知されるまでにはさらに時間がかかった可能性がある。会議で使われた「人工知能」という用語は、その後の社会や文化にまで浸透する広がりを見せた。
4.3.2 批判と再評価
一方で、会議が描いた初期のビジョンは過度に楽観的であり、その後何度かのAI冬の時期を経験したことも事実である。また、参加者が主に米国の白人男性研究者に偏っていた点や、当時注目された記号処理アプローチが後の機械学習の隆盛に取って代わられた点など、歴史的な限界も指摘されている。しかし、現代のAI研究の基礎を築いた点については、肯定的に評価されている。