このページの内容

Awesome Artificial General Intelligence and Computational Cognitive Sciences

Artificial General Intelligence and Computational Cognitive Sciencesを扱う資料や関連プロジェクトをまとめたAwesomeリストです。

目次

論文

アブダクション

説明

  • Abduction - プラトン・スタンフォード. 形式的哲学的アプローチによる「帰納」、「推論」、「帰納」の三つの思考パターンの一つである「帰納」についての説明で、現在の知識に新たなアイデアを導入する可能性を持つ点が特徴である。

  • Scientific Explanation - プラトン・スタンフォード. 「科学的説明」に関する形式的哲学的アプローチ。これは「帰納」の典型的な応用である。

  • Scientific Reduction - プラトン・スタンフォード. 「科学的簡約」に関する形式的哲学的アプローチ。これは説明との明確な境界を持たない。

  • Non-monotonic Logic - プラトン・スタンフォード. 「非単調論理」に関する形式的哲学的アプローチ。これは、妥当性が失われる可能性を含む推論を捉え、表現するための形式的枠組みの家族である。

  • Philosophical Writings of Peirce - Courier Corporation, 1955. [All Versions]. C. S. ペアースがアブダクションという概念を初めて導入した哲学家による元々の文章。

  • Inference to the Best Explanation - Routledge, 1991. [All Versions]. Lipton による、説明の最良推論がアブダクションの特殊な条件として機能するという論文の元々の資料。

  • Abductive Reasoning and Learning - Springer, 2000. [All Versions]. 本書はアブダクションのさまざまな側面、論理的および数値的アプローチに関する主要な調査論文を収録している。

  • Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning - Springer, 2009. [All Versions]. 20世紀の多くの科学哲学家は、創造的プロセスの論理は存在せず、かつ、発見の合理的モデルも不可能であると結論づけている。つまり、科学的創造的推論は無理であり、仮説に対する「論理」は存在しない。一方、人工知能分野の一部の研究は、実験的または理論的法則および定理を再発見あるいは初めて発見するための、計算的に適切な方法が存在することを示している。

  • Explanation and Abductive Inference - The Oxford Handbook of Thinking and Reasoning, 2012. [All Versions]. 本章は認知心理学および認知発達に関する証拠をレビューし、説明の構造と機能に焦点を当て、学習および推論における説明の役割を明らかにする。その結果は、説明およびアブダクション推論を、人間認知の基本的側面である表現、学習、推論に関する洞察を提供する現象として理解する価値があることを強調している。

  • Probabilistic models of cognition: Conceptual foundations - Trends in Cognitive Sciences, 2006. [All Versions]. 概率の数学およびコンピュータサイエンスにおける進展は、確率モデルの範囲に革命をもたらした。特に、「高度な」確率的手法は、グラフや文法といった構造化された関係システムに適用され、これは認知科学に即した関連性を持つ。このレビューは、急速に発展しているこの分野における進展を概観し、幅広い分野およびレベルの説明に統合的な視点を提供する可能性を示している。

  • The structure and function of explanations - Trends in Cognitive Sciences, 2006. [All Versions]. 説明の生成および評価は、自然に起こり、広範に存在し、私たちの理解の感覚に根本的に関係している。最近の証拠は、個人の推論過程において、説明に参加することで、因果的主張に与えられる確率、性質の一般化方法、および学習に深刻な影響を与える可能性があることを示している。これらの影響は、説明の構造の二つの性質から生じている:説明は、事前の信念の文脈において新しい情報を吸収し、その結果、一般化を促進するように作用する。

  • Explanatory Preferences Shape Learning and Inference - Trends in Cognitive Sciences, 2016. [All Versions]. 人々はしばしば説明を求めて学び、仮説の妥当性を、データをどれだけ説明できるかによって評価する。近年の研究は、子どもや成人が、良い説明とは何かについて強いかつ体系的な直感を持っていることを明らかにし、これらの説明の好ましい傾向が説明に基づくプロセスに体系的に影響を与えることを示している。特に、人々は単純で広範な説明を好む傾向があり、その結果、説明の過程が人々にパターンを求めるように促し、広範かつ単純な説明を支持する仮説を好むようにする。

  • The Role of Explanatory Considerations in Updating - Cognition, 2015. [All Versions]. 本論文は、哲学における説明と推論の関係に関する議論を実験的に検証し、仮説の説明的価値の判断が、新しい証拠を受け取った際にその仮説に対する信念の度合いを修正する際に果たす役割を検討している。

  • Explanation, updating, and accuracy - Journal of Cognitive Psychology, 2016. [All Versions]. 人々が信頼の度合いを更新する際に、説明的要因を部分的に考慮しているという証拠がある。最近の哲学者は、その信頼の不正確さを最小限に抑えるために、人々の更新も説明的要因に基づいて部分的に行われるべきだと主張している。しかし、説明的要因が更新にどのように関与するかは、多くの方法があり、すべてが不正確さを最小限に抑えるとは限らない。人々が更新の際に、哲学者が推奨するような方法で説明的要因を考慮しているかどうかは、まだ開かれた問題である。この問題を解決するために、著者は、Douven および Schupbach が報告した実験のデータを再分析している。

  • Best, second-best, and good-enough explanations: How they matter to reasoning - Journal of Experimental Psychology, 2018. [All Versions]. 人々の推論が説明的要因によって影響を受けるという証拠は非常に多い。3つの実験は、哲学文献に記載された、特定の条件が満たされる場合に「最良の説明に推論する」という提案の説明的妥当性を検証している。主な結論は、(a) 説明の質は、人々がその説明を受け入れる意志を予測する上で優れた指標であり、説明の事前確率よりも優れた予測指標であり、(b) 二つ以上の可能性のある説明が提示された場合、人々が最も良い説明に推論する意志は、二番目に良い説明を評価するほど良いほど小さくなるという点である。

  • How explanation guides belief change - Trends in Cognitive Sciences, 2021. [All Versions]. 哲学者は、人々がベイズの法則に基づいて自分の評価を変化させべきだと主張している。最近の心理学研究は、人々が説明的要因に注目することで、その法則を違反することがあることを示している。計算モデルの結果は、そのような違反が実際に合理的である可能性を示している。

  • Use of current explanations in multicausal abductive reasoning - 認知科学、2001. [All Versions].

  • Kinematic mental simulations in abduction and deduction - Proceedings of the National Academy of Sciences, 2013. [All Versions]. 本論文は、非公式なアルゴリズムおよびそれらから導かれる推論のアブダクションが、精神的シミュレーションによって支えられているという理論およびそのコンピュータ実装を提示している。3つの実験は、単一の鉄道線と側線の環境を用いて、この理論の予測を検証した。結果は、運動学的認知モデルの使用が非公式なアルゴリズムの作成と検証に有効であることを裏付けており、個人間でこれらのタスクを実行する能力に信頼性のある差があることを示している。

  • Patterns of abduction - Synthese, 2007. [All Versions]. 純粋哲学におけるアブダクションの分類。

  • Abduction: A categorical characterization - 『応用論理ジャーナル』、2015年。 [All Versions]。

  • Defending Abduction - 科学哲学、1999。[All Versions]。

  • On the distinction between Peirce’s abduction and Lipton’s Inference to the best explanation - シンテシス、2011。 [All Versions]。

  • Abduction − the context of discovery + underdetermination = inference to the best explanation - シンテシス、2019。 [All Versions]。

  • Towards an Architecture for Cognitive Vision Using Qualitative Spatio-temporal Representations and Abduction - 空間認知、2002. [All Versions].

  • Abductive inference within a pragmatic framework - シンテシス、2018。 [All Versions]。

  • Disjunctive Abduction - 新世代コンピューティング、2019年。 [All Versions]。

  • Probabilistic alternatives to Bayesianism: the case of explanationism - Frontiers in Psychology, 2015. [All Versions]. 類推の非ベイズ的アプローチ.

  • A Probabilistic Theory of Abductive Reasoning - ICAART, 2021. [All Versions]. 類推の解釈における確率的視点.

  • The order effect in human abductive reasoning: an empirical and computational study - 実験的・理論的人工知能ジャーナル, 2006. [All Versions].

  • Abduction, Induction, and Analogy - Model-Based Reasoning in Science and Technology, 2010. [All Versions]. 類推、帰納、類比の区別と関係.

  • Remembrance of inferences past: Amortization in human hypothesis generation - Cognition, 2018. [All Versions]. 人間の仮説生成に関する合理的なアプローチ.

  • The AHA! Experience: Creativity Through Emergent Binding in Neural Networks - 認知科学、2012. [All Versions].

  • Explanation-seeking curiosity in childhood - Current Opinion in Behavioral Sciences, 2020. [All Versions]. 幼児における類推に関する発達心理的証拠.

  • A Grammar of Hypotheses for Visualization, Data, and Analysis - 2022. [All Versions]. 本研究は、視覚データ分析における仮説表現のための文法を提示し、これまで抽象的であった「分析タスク」という概念を形式化する。この文法の視点から、著者は、ユーザーのデータ分析に関する質問が、仮説(仮説空間)として実行可能かつ自動化される方法を構築する。著者は、この文法に基づく分析タスクアプローチが、視覚化研究における3つの異なる空間を統合するための体系的な方法を提供することを示している。その3つの空間とは、データセットが表現可能な仮説(データ仮説空間)、ユーザーが分析を通じて精緻化または検証したい仮説(分析仮説空間)、視覚化設計が支援可能な仮説(視覚化仮説空間)である。著者は、これらの3つの空間の形式化が、視覚化評価、知識抽出、解析プロVENANCE、視覚化推薦における今後の研究を、共通の仮説言語によって導くことを示している。最後に、提案された文法ベースアプローチを既存の視覚分析モデルと比較し、新しい仮説中心の視覚分析理論の可能性を論じている.

*Back to Top

科学的発見

  • Scientific Discovery - Plato Stanford. 科学発見に関する計算哲学的アプローチ、成功した科学調査のプロセスまたは成果、あるいは類推のような(説明)思考パターンを含むもの.

  • Models of Discovery: And Other Topics in the Methods of Science - Springer, 1977. [All Versions]. 検索としての科学的思考に関する元となる書籍.

  • Scientific discovery: Computational explorations of the creative processes - MIT Press, 1987. [All Versions]. 本書は4つの部分に分けられている。第1部は発見の主題を紹介し、本研究の範囲を定義し、これまでに周囲にあった問題点について述べている。第2部と第3部は、主な結果を含み、主に人工知能プログラムが人間の思考プロセスを模倣して科学的発見を行う様子を記述している。第2部は、データから定量理論を誘導するプロセスに焦点を当てており、第3部は、データから定性的な記述および構造理論を誘導するプロセスに焦点を当てている。第4部では、これまでの経験に基づき、前章で述べたプログラムを統合して一つのより一般的な発見システムに組み込むための、より低い精度のレベルでの議論を行い、科学的発見に参加する他のプロセスの幅広い範囲について述べている.

  • Exploring science: The cognition and development of discovery processes - MIT Press, 2000. [All Versions]. 本書では、D. Klahrは、科学者が「科学的知識」と呼ばれる情報の体を形成するための認知および発達プロセスを説明する。過去10年間、Klahrと彼の同僚は、実験環境を構築し、実際の世界における科学的発見の特徴を持つ思考を引き起こすような「発見コンテキスト」を構築してきた。実験参加者(幼稚園児から大学学生まで)は、実際の科学者と同様の高次の認知プロセスを用いて、発見課題を解決している。Klahrの研究により、内容ベースアプローチとプロセスベースアプローチの2つの異なるアプローチを統合し、科学的発見の心理学に関する包括的なモデルを提示している.

  • Dual Space Search During Scientific Reasoning - Cognitive Science, 1988. [All Versions]. 二空間検索としての科学的思考理論に関する元となる論文.

  • Complexity Management in a Discovery Task - CogSci’92, 1992. [All Versions]. 過去の心理的研究は、単一の次元または少数の関連次元と簡単な二方向相互作用を持つ概念の発見に焦点を当てることが多く、本論文は、多値出力の複雑な三方向相互作用を含む概念を発見するための実験結果を提示している。22人のCMU大学院生がこのタスクに挑戦し、そのうち16人が成功し、平均85分で完了した。分析は、タスクの複雑性を調整するための3つの戦略に焦点を当てている。まず、参加者は深さ優先検索を広さ優先検索よりも好む傾向があり、成功した参加者は実験ごとに変化する特徴数を最も効果的に調整した。次に、参加者は実験の長さを系統的に調整した。さらに、成功した参加者が使用した新しい明示的検索ヒューリスティクス(スタックに置くヒューリスティクス)について述べている.

  • A dual-space model of iteratively deepening exploratory learning - International Journal of Human-Computer Studies, 1996. [All Versions]. 本論文は、試行錯誤と指示受容活動を含む探索学習の認知モデルを説明している。このモデルは、タスク指向の試行錯誤探索学習状況における参加者の実証データに基づいてSoarで実装されている。モデルに反映された重要な実証的発見は、可用メニュー項目の一部を繰り返しスキャンし、各スキャンごとにその項目に注目を強めるという点である。これは、外部インターフェースとユーザーの内部知識という二つの検索空間を、変化するコストと利益に注意を払いながらtentatively探索するという観点から説明されている.

  • Heuristics for Scientific Experimentation: A Developmental Study - Cognitive Psychology, 1993. [All Versions]. 子どもが基本的な科学的思考スキルを持つことの証拠.

  • A 4-Space Model of Scientific Discovery - CogSci’95, 1995. [All Versions]. 二空間検索の拡張.

  • When to trust the data: Further investigations of system error in a scientific reasoning task - Memory & Cognition, 1996. [All Versions]. 実験データの評価において、人々は誤ったフィードバックの可能性をどう扱うか?誤りの可能性があるため、データの信頼性に関する判断が評価に含まれる必要がある。本論文は、仮説検証状況における誤ったフィードバックに対する参加者の反応を焦点にした2つの研究を提示している。これは、Wason(1960)の2–4–6ルール発見タスクの変形であり、一部のフィードバックがシステム誤りにさらされたものである。「ヒット」が「ミス」と報告され、「ミス」が「ヒット」と報告された。結果は、以前の研究とは異なり、人々は偽陰性と偽陽性の識別に同等に優れている。さらに、成功した参加者は、正のテスト戦略(Klayman & Ha, 1987)を用いる傾向が、失敗した参加者よりも低い。最後に、他の研究では、実験前に可能な仮説を生成することで成功とタスク効率が向上することが示されているが、このような操作はシステム誤りの影響をほとんど軽減していない。

  • Confirmation, disconfirmation, and information in hypothesis testing - 1987年『心理学会誌』。[All Versions]。仮説検証に関する心理学的解説。

  • Hypothesis generation, sparse categories, and the positive test strategy - 『心理学レビュー』2011年。[All Versions]。

  • Children and adults as intuitive scientists - 『心理科学レビュー』1989年。[All Versions]。科学的思考に対する検索反対の視点。

  • Abduction and styles of scientific thinking - Synthese, 2021. [All Versions]. 推論と科学的思考を結びつける計算哲学的アプローチ。

*Back to Top

合理化

  • Imagination and the generation of new ideas - 認知発達、2015。[All Versions]。想像の機能を説明するための理論が多数提示されているが、特に注目されているのは、想像が子どもたちの「理論の理解」と「反事実的推論」を促進・発展させることである。この研究では、想像の主な役割が、新しい事実を観察せずに、効率的に新しいアイデアを生み出すための認知メカニズムであると提唱している。学習者は、仮説を生成する必要があるため、その仮説の真偽を評価する前に仮説を構築しなければならない。無限に可能性がある中で、学習者はどのように仮説生成プロセスを制限するのか?著者は、学習者が問題解決に必要な抽象的な基準を表現し、その基準が真であれば問題を解決するような解決策を生成するという仮説を提示している。このアイデアを事前に検証するために、著者は、事実が存在しない状況(すなわち、事前の知識や統計データが競合する仮説を区別しない状況)において、4~6歳の子ども(平均年齢:63ヶ月)が問題の解決策に系統的に収束することを示している。これは、原因問題およびその解決策の抽象的性質を想像できる能力があることを示している。

  • How We Know What Not To Think - 認知科学のトレンド、2019年。[All Versions]。人間は、実現されていない可能性のある行動——選ばれていない(またはまだ選ばれていない)無数の事柄——を表し、論理的に扱うことがよくあります。この能力は、人間が持つ最も印象的な能力の中心にあります:原因の理解、計画、言語的コミュニケーション、道徳的判断など。しかし、無数の実現されていない行動の中から、無視すべきものとして残すべき行動を選び、考慮すべきものとして選ぶにはどうすればよいでしょうか。本研究は、認知科学分野の研究を総合的にレビューし、その結果、デフォルトで考慮される可能性のある行動は、実際に起こる可能性が高く、かつ一般的に価値があるものであることがわかりました。本論文は、その理由について統一された理論を提示します。著者は、(i) 多様な認知タスクにおいて、私たちが考慮する可能性のある行動は、一般的な実用性を持つものに偏っていること、および(ii) このメカニズムの主な機能が意思決定にある可能性があること、を提唱しています。

  • Rationalization is rational - 『Behavioral and Brain Sciences』2020. [All Versions]. [Preprint]. 行動を実行した後に、その行動が合理的であったように見せかけるための信念や欲求を構築する現象を「合理化」と呼ぶ。その後、人々は自分の信念や欲求を、その構築されたものに合わせて調整する傾向がある。多くの研究が合理化の存在を示しており、いくつかの理論がその認知的メカニズムを説明しているものの、合理化の機能についてはほとんど理解が不十分である。なぜ、脳は自らの行動に対して、事後的に合理的な説明を構築し、それらを採用するように設計されているのか。これは、私たちの行動に影響を与えるさまざまなプロセスと表現の間で情報を伝達する重要な任務を達成する可能性がある。人間の意思決定は、一つのプロセスに依存しているわけではない。それは、論理、習慣、本能、規範などに影響されている。その中には、合理的な選択(つまり、期待値を計算し、最大化する)に従って組織化されていないものがある。合理化は、こうした非合理的なシステムが行動に与える影響から、真の信念や有用な欲求といった暗黙の情報を抽出する。

  • Rationalizing constraints on the capacity for cognitive control - 認知科学のトレンド、2021. [All Versions]。人間は、(i) 同時に実行できる制御に依存するタスクの数、および(ii) 1つのタスクに集中できる集中度において、非常に制限されている。これらの制限は、認知理論のほとんどにおいて普遍的な前提として扱われている。しかし、人間がこれらの制約にさらされている理由については、まだ明確でない。本特集レビューは、心理学、神経科学、機械学習からの最新の洞察をもとに、認知制御の制約が、神経アーキテクチャにおける基本的な計算的課題への合理的な適応の結果であると提案する。レビューされた文献は、マルチタスクの制限が学習効果と処理効率のトレードオフの結果である可能性を示唆し、1つのタスクへの集中度の制限が、認知の安定性と柔軟性の間のトレードオフを反映している可能性を示している。

  • Why Imaginary Worlds? The psychological foundations and cultural evolution of fictions with imaginary worlds - Behavioral and Brain Sciences, 2021. [All Versions]. 仮想世界は極めて成功している。過去数十年間に生まれた最も人気のあるフィクションには、こうした仮想世界が含まれている。これらは小説(例:『ルーンズ・オブ・ザ・リング』や『ハリー・ポッター』)、映画(例:『スター・ウォーズ』や『アバター』)、ゲーム(例:『ゼルダの伝説』や『ファイナル・ファンタジー』)、グラフィックノベル(例:『ワンピース』や『ナルト』)、テレビドラマ(例:『スター・トレック』や『ゲーム・オブ・スローンズ』)など、すべてのフィクションメディアに見られる。また、古代文学(例:『オデュッセイ』における『キュクロス諸島』、紀元前850年)にもそのような世界が存在する。なぜこのような成功なのか?なぜ、存在しない世界にこんなに多くの注目を寄せているのか?本論文では、仮想世界が、人間および非人間動物に進化してきた探索への好意を借りて、人々を新しい環境や新しい報酬の源へと導くと提案している。人間にとって、仮想世界は現実世界における未知の環境に引き寄せられるように、まったく同じ理由と状況で非常に魅力的である。行動生態学、環境美學、神経科学、進化および発達心理学における探索好意に関する研究を総合的に検討した結果、著者はその時間と空間における変動の源に注目し、それが文化における仮想世界への好意の変動を説明できると主張している。この仮説は、仮想世界がどのように文化的に進化したか、その形や内容、最近の著しい成功、そして時間と人間集団における分布を説明できるため、非常に有効である。

  • Coalescing the Vapors of Human Experience into a Viable and Meaningful Comprehension - CogSci’16, 2016. [All Versions]. 概念学習と理論獲得のモデルでは、学習者が構造的なランダムプロセスを通じて仮説を生成し、その品質や価値を測定するデータで仮説を評価する確率的探索プロセスがよく用いられる。このモデルが合理的な期間内に成功するためには、データを考慮する前に、優れた候補仮説を生成する方法が必要である。Schulz (2012a) は、新しいアイデアの起源を、たとえば新しい名前を思いつくような日常的な状況において研究することで、学習に用いられる優れた仮説を生成する認知プロセスを理解できると提案している。我々は、人々が経験をもとに、パブの名前やアクション映画などの日常的な分野で新しい名前を提案するプロセスについて、シンプルな生成モデルを提示し、実際に人々が思いつく名前を驚くほど正確に捉えていることを示している。また、類似の仮説生成メカニズムが、原因理論学習を可能にし、制約する上で果たす役割について述べている。

*Back to Top

AIへの応用

  • Functional genomic hypothesis generation and experimentation by a robot scientist - Nature, 2004. [All Versions]. 本論文は、人工知能の技術を応用して科学実験のサイクルを実行する物理的に実装されたロボットシステムについて述べている。このシステムは、観測を説明する仮説を自動的に生成し、その仮説を検証するための実験を設計し、実験ロボットを用いて実際の実験を実行し、結果を解釈してデータと不一致な仮説を否定し、その後同じサイクルを繰り返す。このシステムは、酵母(Saccharomyces cerevisiae)の遺伝子の機能決定に用いる削除変異体およびアウトロフィック成長実験に応用されている。著者は、芳香族アミノ酸合成経路の論理モデル(遺伝子、タンパク質、代謝物を含む)を詳細に構築し、検証した。

  • Interpretation as abduction - 人工知能、1993年。[All Versions]。帰納は、最も妥当な説明に到達する推論である。著者は、「重み付き帰納」と呼ばれる帰納推論のアプローチを開発し、文の解釈問題の概念化を大きく簡略化した。文の解釈とは、その文が真である理由を最小限に説明することである。より正確には、文を解釈するには、既に共有されている知識からその文の論理形式を証明し、必要に応じて強制的変換を行い、冗長性を削減し、仮定を導入する必要がある。このような「局所的語用」問題、すなわち参照の解決、複合名詞の解釈、文法の曖昧性の解決およびメトニミー、およびスキーマ認識が、この方法で解決できることが示されている。さらに、「解釈として帰納」というアプローチは、「解析として帰納」という従来の視点と組み合わせることで、音韻からディスカッション構造までをカバーする、文法、意味、語用の包括的な統合を実現できる。

  • Probabilistic Horn abduction and Bayesian networks - 人工知能、1993年。[All Versions]。この論文は、仮説に確率を関連付けるHorn規則の抽象化フレームワークを提示している。このフレームワークは、ルールベースに関する仮定と、仮説間の独立性に関する仮定を含んでいる。このフレームワークでは、離散的ベイズ信念ネットワークで表現可能なすべての確率的知識が表現可能であることが示されている。主な貢献は、論理的および確率的証拠推論の間の関係を発見することにある。これにより、ヒューリスティックと知識論的妥当性の間の妥当なバランスを提供する有用な表現言語が得られる。

  • Abductive Inference in Bayesian Networks: A Review - ベイズネットワークにおける進展、2004年。 [All Versions]。本論文の目的は、ベイズネットワークにおける帰納的推論(または信念の修正)という問題についての調査を提供することにある。そのため、この問題は2つの変種として導入される:全帰納(またはMPE)と部分帰納(またはMAP)。また、問題は一般ケースとして提示され、すなわちK個の最良説明を求める問題として形式化される。その後、全帰納および部分帰納の推論問題に対して正確かつ近似アルゴリズムの(非完全な)レビューが行われる。最後に、著者たちはMPEおよびMAPの問題に関して文献に登場する主要な複雑度結果をまとめている。

  • Abductive Logic Programming - 『論理計算のジャーナル』1992年。[All Versions]。この論文は、論理プログラミングの拡張による帰納的推論(帰納論理プログラミング)に関する最近の研究を概観し、批判的に評価したものである。著者は、帰納の一般枠組みおよび知識の吸収やデフォルト推論への応用を概説し、帰納を否定の失敗としての解釈に用いるための議論理論的アプローチを導入している。

  • ACLP: Abductive Constraint Logic Programming - The Journal of Logic Programming, 1999. [All Versions]. この論文は、帰納論理プログラミング(ALP)と制約論理プログラミング(CLP)を統合した帰納制約論理プログラミング(ACLP)のフレームワークを提示している。ACLPでは、帰納のタスクが制約解決との非自明な統合によってサポートされ強化されている。制約解決の統合が帰納的推論に導入されることで、一般形の構成帰納が可能となり、帰納を計算的に困難な問題に適用することができる。この論文は、ACLPフレームワークの形式的宣言的および操作的意味論を研究し、その応用をさまざまな問題に展開している。

  • Abduction in Logic Programming - 論理計算、2002。[All Versions]。[Preprint]。論理プログラミングにおける帰納論理は、1980年代後半から1990年代初頭にかけて、人工知能やコンピュータ科学の他の分野における多様な問題を扱うためのフレームワークを拡張する試みの下で始まった。本論文は、過去10年間におけるこの分野の主要な進展を整理し、論理的、知識論的、計算的、実用性の観点からこれらの進展を批判的に検討することを目的としている。本論文は、この分野のさらなる発展に向けた課題と展望の一部を明らかにしようとする。

  • Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning - IJCAI’11, 2011. [All Versions]. [Preprint]. 本研究では、ベイズ的帰納論理プログラム(BALP)を導入し、ベイズ論理プログラム(BLP)を帰納的推論に適応した確率論理を提案する。BLPと同様に、BALPは一階論理とベイズネットを組み合わせているが、BLPは推論を用いてベイズネットを構築するのに対し、BALPは論理的帰納を用いる。これにより、プラン/活動認識といった帰納的推論が必要な問題に対して、BALPはより適している。

  • Abductive Plan Recognition by Extending Bayesian Logic Programs - ECML’11, 2011. [All Versions]. プラン認識は、観測された行動に基づいて、エージェントのトップレベルのプランを予測するタスクである。これは、原因から効果を推論する帰納的推論タスクである。これまでのプラン認識の大多数のアプローチは、一階論理または確率的グラフモデルを使用している。前者は不確実性を扱えず、後者は構造化された表現を扱えない。これらの制限を克服するために、本研究ではベイズ論理プログラム(BLPs)を用いたプラン認識アプローチを開発した。BLPsは一階論理とベイズネットワークを組み合わせているが、BLPsは論理的推論を用いてネットワークを構築するため、プラン認識に効果的に使用できない。そのため、著者はBLPsを論理的帰納を用いてベイズネットワークを構築するように拡張し、その結果をベイズ帰納論理プログラム(BALPs)と呼んでいる。著者は、BALPsのパラメータを、BLPsに適応した期待最大化アルゴリズムを用いて学習した。最後に、著者はBALPsを3つのベンチマークデータセット上で実験評価を行い、プラン認識における最適技術とその性能を比較した。

  • An Approach to Abductive Reasoning in Equational Logic - IJCAI’13, 2013. [All Versions]. 論理における帰納推論は、人工知能における多くの応用から広く研究されてきた。しかし、その内在的な複雑性は、より表現力の高い論理において帰納的推論ツールの実装を制限してきた。著者らは、定数間の等式または非等式からなる文脈(ground flat equational logic)において、このようなツールを構築した。このツールは、素帰結の計算に基づいている。それは、すべての素帰結を生成するための緩和されたパラモダーション計算を用い、さらに、帰結を効率的に検出・除去できるように設計されたデータ構造を採用している。

  • Abduction-Based Explanations for Machine Learning Models - AAAI’19, 2019. [All Versions]. マシンラーニング(ML)が多様な状況において広く応用されていることから、モデルが行った予測に対して小さな説明を計算できる能力が求められている。小さな説明は、人間の意思決定者にとって理解しやすいと一般的に受け入れられている。これまでの説明の計算に関する研究は、主にヒューリスティックなアプローチに基づいており、その解が、数値的または部分的に最小の説明にどれだけ近いかという品質の保証が一切ない。本論文では、任意のMLモデルに対して説明を計算するための制約に依存しない解決策を提案する。この解決策は、帰納的推論を活用し、MLモデルが特定の制約理由システムにおいて、あるオーラクルにより決定問題が解決可能な形で表現できるようにするという要件を課す。実験結果は、よく知られたデータセット上で得られ、提案されたアプローチのスケーラビリティおよび計算された解の品質を検証している。

  • Probabilistic Sufficient Explanations - IJCAI’21, 2021. [All Versions]. 学習された分類器の動作を理解することは重要な課題であり、さまざまなブラックボックス説明、論理的推論手法、およびモデル固有の手法が提案されている。本論文では、分類のインスタンスを説明するという問題を、「最もシンプルな」特徴の部分集合として選択することとして定義する確率的十分説明を導入する。すなわち、その特徴だけを観測することで、データ分布においてすべての特徴を観測した場合にモデルが類似した行動を示すという強い確率的保証が得られるようにする。さらに、著者は確率的推論ツール(例:確率回路や期待予測)を活用し、必要な説明を効率的に見つけるアルゴリズムを設計しており、その保証を維持している。実験結果は、アルゴリズムが十分説明を見つける効果を示しており、アンカーメソッドや論理的説明と比較して優位性を示している。

  • Machine Translation Using Abductive Inference - COLING, 1990. [All Versions]. 既存の機械翻訳アプローチの多くは、出力に含まれる情報が入力にどこかに存在していると前提にしているだけでなく、その情報は一つの表現レベル(例:パースツリーまたは「意味」に関する主張)で表現されるべきであると主張している。しかし、言語は、同等の情報をまったく異なる言語的手段で表現し、さらに、どのような区別が言語的に表現すべきかについてもしばしば意見が異なる。たとえば、日本語から英語への翻訳では、名詞句に決定詞を付与することがしばしば必要であり、これは一般的に元のテキストの深い理解なしには行えない。同様に、英語から日本語への翻訳では、英語では社会的状況に隠れたが、日本語では非常に広範な仮定の使用によって明確に表現される、礼儀の観点を日本語の文法に反映させる必要がある。したがって、機械翻訳は適切な推論を導き、テキストをある程度深く解釈する必要がある。最近、いくつかの場所で、帰納的推論に関する優れたアプローチが開発されており、すべてが帰納という概念に基づいている。著者は、このアプローチが機械翻訳への応用可能性を示す可能性があると主張している。著者は、このアプローチが、さまざまなレベルでの言語間の深層推論とマッピングを可能にする可能性があると述べている。

  • Automated Biodesign Engineering by Abductive Meta-Interpretive Learning - AAAI Spring Symposium Series 2021 on Artificial Intelligence for Synthetic Biology, 2021. [All Versions]. 本研究では、Abductive Meta-Interpretive Learning(MetaAbd)という新しい機械学習手法を活用した自動バイオデザインエンジニアリングフレームワークを提案する。このフレームワークは、記号的およびサブ記号的機械学習を組み合わせることで、設計・建設・試験・学習サイクルをさらに強化する。この学習機械は、1)領域知識を活用し、形式言語(例:一階論理)で表現される人間が理解できるモデルを学習する;2)モデルの構造およびパラメータを同時に最適化し、正確な数値予測を行う;3)仮説と例を積極的に生成することで、実験コストおよびデータラベル付けの努力を削減する。

  • Human Comprehensible Active Learning of Genome-Scale Metabolic Networks - AAAI Spring Symposium Series 2023 on Computational Scientific Discovery, 2023… 本研究では、帰納論理プログラミング(ILP)に基づく新しい機械学習フレームワークILP-iML1515を導入する。このILP-iML1515フレームワークは、帰納的論理推論を行い、トレーニング例から積極的に学習する。ILP-iML1515フレームワークは、1)高スループットシミュレーションを可能にする、2)遺伝子機能の学習における実験コストを、ランダムに選ばれた実験に比べて減少させるために実験を積極的に選択する。 [All Versions] [Extended Abstract] [Slides]

  • Automated causal inference in application to randomized controlled clinical trials - Nature Machine Intelligence, 2022. [All Versions]. 隨機化比較試験(RCT)は臨床分野における因果仮説の検証において、黄金基準とされているが、標準的な統計手法では、仮定された原因-効果の経路における患者の予後変数の検討は実現不可能である。本研究では、因果推論の枠組みである不変因果予測(ICP)を基盤として構築した新しい自動因果推論手法(AutoCI)を提案し、臨床試験データの因果的解釈を可能にする。既存手法と比較して、著者らは、提案されたAutoCIが、成熟した結果と広範な臨床病理および分子データを持つ実世界の2つのRCTにおいて、患者の因果変数を明確に特定できることを示している。これは、非因果変数の因果確率を大幅に抑制することで達成されている。消去試験において、著者らは、AutoCIが混同因子の存在下でも因果確率の割り当てが一貫していることをさらに示している。結論として、これらの結果は、AutoCIが将来の実世界臨床分析において、堅牢性と実用性を確実に保つことを確認している。

*Back to Top

ベイズモデリング

ベイズ帰納

  • Bayesian Epistemology - Plato Stanford. ベイズ認識論における確率モデルの性質に関する計算哲学的アプローチ。

  • Probabilistic machine learning and artificial intelligence - Nature, 2015. [All Versions]. 確率モデルは、学習とは何かを理解するための枠組みを提供し、したがって、経験を通じてデータを学習する機械の設計において、理論的および実用的なアプローチの一つとして登場している。確率枠組みは、モデルおよび予測に関する不確実性を表現・操作する方法を示しており、科学データ分析、機械学習、ロボティクス、認知科学および人工知能の分野において中心的な役割を果たしている。本レビューは、この枠組みについての概説を提供し、分野における最新の進展、すなわち確率プログラミング、ベイズ最適化、データ圧縮および自動モデル発見について述べている。

  • Generalization, similarity, and Bayesian inference - Behavioral and Brain Sciences, 2001. [All Versions]. [Preprint]. Shepardは、異なる感覚・認知領域、さらには異なる種類の生物や異なる惑星間での一般化に普遍的な法則が適用されるべきであると主張している。自然な種のいくつかの基本的な前提に基づき、彼は一般化勾配の指数関数的減衰関数を導き出し、広範な実証データと非常によく一致している。しかし、彼の元の構成は、単一の刺激から単一の新しい刺激への一般化という理想的なケースに限定され、連続的な心理的空間における点として表現可能な刺激に適用されるものであった。著者らは、Shepardの理論をより一般的なベイズ枠組みに再構築し、これは彼のアプローチを、複数の結果をもつ刺激から任意の表現構造を持つ刺激に一般化する現実的な状況に自然に拡張することを示している。この枠組みは、Tverskyの集合論的類似性モデルの一種も包含しており、通常、Shepardの連続的なメトリック空間モデルの主な代替案とされている。

  • Bayesian modeling of human concept learning - NeurIPS’98, 1998. [All Versions]. [Preprint]. 本研究は、少数の陽性例から概念を学習する問題を扱い、これは人間が日常的に行っているが、コンピュータはほとんど実現できない能力である。機械学習と認知科学の視点を結びつけ、多次元特徴空間における軸に平行な矩形に対応する概念を学習するというシンプルなタスクについて、理論的分析と人間被験者の実証研究を提示している。既存の学習モデルがこのタスクに適用されても、被験者がわずかな例から一般化するメカニズムを説明できない。著者は、例が学習すべき概念からランダムに抽出されたサンプルであるという仮定に基づき、原則的なベイズモデルを提案している。このモデルは、このシンプルなタスクにおける人間の行動に正確な適合を示し、より複雑で現実的な概念学習のケースについても、質的な洞察を提供している。

  • Rules and Similarity in Concept Learning - NeurIPS’99, 1999. [All Versions]. [Preprint]. この論文は、概念の一般化に関する二つの明らかに異なるメカニズム—ルールの抽象化と例に基づく類似性の計算—が、より一般的なベイズ学習フレームワークの特殊ケースであるべきであると主張している。ベイズ理論は、これらの二つのメカニズムにおける具体的な動作—どのルールが抽象化されるか、類似性はどのように測定されるか—および、異なる状況において一般化がルールまたは類似性に基づくべきである理由を説明している。この分析は、ルール/類似性の区別が、計算的に基本的でなくても、アルゴリズムレベルにおいて、完全なベイズ学習への原則的な近似として依然として有用である理由を示唆している。

  • Theory-based Bayesian models of inductive learning and reasoning - Trends in Cognitive Sciences, 2006. [All Versions]. [Preprint]. 形容的帰納は、語の意味、観測されていない性質、因果関係など、世界の多くの側面について学習する際に、稀少なデータから強力な一般化を可能にする。帰納に関する従来の説明は、統計的学習の力または構造化された分野知識、直観的理論やスキームからの強い制約の重要性を強調している。この論文は、これらの二つの要素が、人間知識の性質、使用、獲得を説明するために必要であると主張し、著者は帰納学習と推論を構造化された知識表現上の統計的推論としてモデル化するための理論ベースのベイズフレームワークを導入している。

  • Word learning as Bayesian inference - Psychological Review, 2007. [All Versions]. [Preprint]. 著者は、成人および子どもが語の意味を学ぶ際にどのように学習するかを理解するためのベイズフレームワークを提示している。この理論は、学習者が、新しい語の参照例のわずか1つまたは数個の陽性例から意味を意味的に一般化できるようにするため、事前知識に基づく合理的な帰納的推論を用いる方法を説明している。この理論は、語学習をモデル化する二つの最も知られているアプローチ—帰納的仮説排除と関連学習—の欠点を解決している。成人および子どもを対象とした3つの実験は、カテゴリの階層構造における複数レベルでの物体カテゴリの語学習におけるベイズ理論の予測を検証している。結果は、定量モデル適合性および重要な質的現象の説明能力の観点から、ベイズ理論が競合理論よりも強く支持されている。基本理論のいくつかの拡張が議論されており、ベイズモデルが語学習において持つ広範な可能性を示している。

  • How to Grow a Mind: Statistics, Structure, and Abstraction - Science, 2011. [All Versions]. [Preprint]. このレビューは、人間の学習および認知発達を逆算する最近のアプローチと、より人間らしくなった機械学習システムを設計するアプローチを説明している。階層的に柔軟な構造を持つ表現上の確率的推論を行う計算モデルは、人間の思考の性質および起源に関するいくつかの最も深い問いに答えることができる:抽象的知識は、稀少なデータから学習と推論をどのように導くか?我々の知識は、異なる分野やタスクにおいてどのような形をとるか?そして、その抽象的知識自体はどのように獲得されるか?

  • Human-level concept learning through probabilistic program induction - Science, 2015. [All Versions]. [Preprint]. [Supplementary Material]. 新しい概念を学習する人々は、たった1つの例から成功裏に一般化できるが、機械学習アルゴリズムは通常、類似の精度で正確に動作するために数十または数百の例を必要とする。人々は、従来のアルゴリズムよりも、学習した概念を行動、想像、説明といったより豊かな形で使用できる。この研究は、世界のアルファベットから由来する手書き文字という多くの単純な視覚概念に対して、人間の学習能力を捉えるための計算モデルを提示している。このモデルは、観測された例をベイズ基準で最も説明するようなシンプルなプログラムとして概念を表現している。難関な1例分類タスクにおいて、このモデルは人間レベルの性能を達成し、最近の深層学習アプローチを上回っている。

  • Building Machines That Learn and Think Like People - Behavioral and Brain Sciences, 2017. [All Versions]. [Preprint]. 人工知能の最新進展が、人間のように学び、考えることを可能にするシステムの構築に関心を再び呼び起こしている。多くの進展は、物体認識、ゲーム、ボードゲームなどのタスクにおいて、端末から訓練された深層ニューラルネットワークの使用によって得られたもので、いくつかの観点において人間の性能を達成または上回る結果をもたらしている。しかし、これらのシステムは生物学的インスピレーションや性能の達成をもっても、人間の知能とは重要な点で異なる。著者は、認知科学の進展をレビューし、本当に人間のような学習と思考を行う機械が、現在の工学的トレンドを越えて、学ぶ内容および学習方法の両面において進展を必要とすることを示している。具体的には、著者は、これらの機械が(1)世界の因果モデルを構築し、説明や理解を支えること、単にパターン認識問題を解決するのではなく、(2)物理や心理学の直感的な理論に基づいて学習を根拠づけ、学習された知識を支え、豊かにすること、および(3)構成性と学習による学習を活用し、新しいタスクや状況に対して知識を迅速に獲得し、一般化することを提唱している。著者は、これらの目標に向けた具体的な課題と有望な道筋を提示し、近年のニューラルネットワークの進展とより構造化された認知モデルの強みを組み合わせることを提案している。

  • Building machines that learn and think with people - Nature Human Behavior, 2024. [All Versions]. [Preprint]. 本視点は、協働認知の科学が、本当に「思考パートナー」と呼べるシステムの設計にどのように応用されるかを示している。これらのシステムは、人間の期待に応え、人間の限界を補完するように設計されている。著者は、人間と人工知能の思考パートナーが協働できる複数の思考モードを提示し、人間と適合する思考パートナーシップのための要望を提案している。計算認知科学のモチーフをもとに、著者は、思考パートナーおよびその利用に関するエコシステムの設計において、ベイズ的視点から代替的なスケーリング経路を提案している。このアプローチでは、構築されたパートナーが人間および世界のモデルを積極的に構築し、推論を行うことになる。

  • The rational basis of representativeness - CogSci’01, 2001. [All Versions].

  • Testing a Bayesian Measure of Representativeness Using a Large Image Database - NeurIPS’11, 2011. [All Versions].

  • Constructing a hypothesis space from the Web for large-scale Bayesian word learning - CogSci’12, 2012. [All Versions].

  • Modeling rules and similarity in colexification - CogSci’21, 2021. [All Versions]. コレクシフィケーションにおけるルールベースおよび類似性ベースの一般化

  • Human-level few-shot concept induction through minimax entropy learning - Science Advances, 2024. [All Versions]. 本論文は、最小エントロピーを用いてデータの最も効果的な制約を特定し、最大エントロピーを用いてそれらの組み合わせを最適に決定することで、IQテストなどの抽象的推論タスクにおける人間の帰納的推論をシミュレートするための計算モデルを導入している。

*Back to Top

生成モデル

  • Generative Modeling Explained - Statistical Machine Learning Tutorials, 2022. ユング・ニアン・ウのUCLA統計学部による統計機械学習チュートリアルの一部として、生成モデルに関するチュートリアルが提供されている。このチュートリアルでは、エネルギーベースモデル、拡散/スコアベースモデル、自己回帰/フローベースモデル、VAEs、GANsを含む最近の生成モデルの主要な式とアルゴリズムを解説し、これらのモデル間の関連性を説明している。

  • Bayesian Data Analysis - Chapman and Hall/CRC, 1995. [All Versions]. ドン・ルビンによるベイズモデルの入門書

  • Filters, random fields and maximum entropy (FRAME): Towards a unified theory for texture modeling - International Journal of Computer Vision, 1998. . この論文は、テクスチャモデリングの統計理論を提示している。この理論は、フィルタ理論とマーカー確率場モデリングを最大エントロピー原理を通じて統合し、テクスチャ分析および合成のこれまでの概念や手法を統一的な視点から解釈・明確化している。この理論は、同じテクスチャ外観を持つ画像の集合を、確率分布f(I)で特徴づけ、テクスチャモデリングの目的は、観測されたテクスチャ例の集合に基づいてf(I)について推論することにある。 [All Versions] [Preprint]

  • Object Perception as Bayesian Inference - Annual Review of Psychology, 2004. [All Versions]. [Preprint]. 私たちは、自然画像の複雑さや客観的な曖昧さにもかかわらず、物体の形状や物質特性を迅速かつ信頼性の高い方法で認識できる。典型的な画像は、背景の混雑に埋もれた多数の物体から構成されているため、非常に複雑である。さらに、投影、遮蔽、背景の混雑、照明の影響により、物体の画像特徴は極めて変動し、曖昧である。日常的な視覚の高い成功は、無関係な情報を無視し、曖昧またはノイズを含む局所的な画像特徴を物体や表面に組織化するための神経メカニズムを示唆しているが、まだ理解されていない。ベイズ的視覚認識理論の最近の研究では、事前知識と画像特徴をタスクに依存する確率的統合によって、複雑性を管理し、曖昧性を解決する方法が示されている。

  • A tale of three probabilistic families: Discriminative, descriptive, and generative models - Quarterly of Applied Mathematics, 2018. [All Versions]. [Preprint]. グレンナーのパターン理論は、パターンを代数構造上の確率モデルとして表現する数学的枠組みである。本論文では、分類モデル、描写モデル、生成モデルの3つの確率モデルファミリーについてレビューする。分類モデルは分類器の形をとる。これは、入力信号に基づくクラスラベルの条件確率を指定する。描写モデルは、エネルギー関数に基づいて信号の確率分布を指定する。生成モデルは、信号がある潜在変数を経由して変換によって生成されるものと仮定する。著者は、これらのモデルを共通の枠組みの中でレビューし、それらの関連性を検討し、さらに、深層ニューラルネットワークの高い近似能力を活用した最近の発展についてもレビューする。

  • From information scaling of natural images to regimes of statistical models - Quarterly of Applied Mathematics, 2008. [All Versions]. [Preprint]. 自然画像データの一つの基本的な性質は、視覚が他の感覚タスク(例:音声認識)と区別される点として、スケールが画像形成および解釈において極めて重要な役割を果たす点である。特に、視覚物体は、視線距離やカメラ解像度の変化により、画像内で広範囲のスケールで現れる。同じ物体が異なるスケールで現れる場合、異なる統計的性質を持つ画像データが得られる。特に、この研究は、画像データのエントロピー率がスケールに応じて変化することを示している。また、推論の不確実性もスケールに応じて変化する。著者は、このような変化を「情報スケーリング」と呼んでいる。それらは、実証的にも理論的にも、波動稀疏符号化モデルとマーカー確率場モデルという二つの顕著でかつ孤立した画像モデルクラスを検討する。結果は、二つのモデルが異なるエントロピー領域に適していることを示している:稀疏符号化は低エントロピー領域に適しており、マーカー確率場は高エントロピー領域に適している。情報スケーリングが異なるエントロピー領域をつなぐため、稀疏符号化とマーカー確率場の両方が自然画像データの表現に必要であり、情報スケーリングがこの二つの領域間の遷移を引き起こす。

  • A Theory of Generative ConvNet - ICML’16, 2016. [All Versions]. 著者は、多カテゴリ分類用のConvNetを仮定し、そのカテゴリの一つを参照分布によって生成されるベースカテゴリと仮定することで、通常使われる分類ConvNetから導かれる生成型確率場モデル(著者はこれを「生成型ConvNet」と呼んでいる)を示す。さらに、ConvNet内の非線形性が修正線形単位(ReLU)であり、参照分布がガウス白ノイズであると仮定した場合、エネルギーベースモデルの中でも一意の生成型ConvNetモデルが得られる:このモデルはピースワイズガウスであり、ガウスピースの平均は自動エンコーダーによって定義され、下向きのエンコーディングフィルタが上向きのデコーディングにおける基底関数となり、下向きのコネクションプロセスでフィルタによって検出された二値活性変数が上向きのデコネクションプロセスにおける基底関数の係数となる。

  • Cooperative Training of Descriptor and Generator Networks - IEEE Transactions on Pattern Analysis and Machine Intelligence, 2018. [All Versions]. 本論文は、画像モデリングおよび合成のための二つの生成モデルの協調訓練を研究する。両モデルはコネクショナルニューラルネットワーク(ConvNets)によってパラメータ化されている。第一のモデルは深層エネルギーベースモデルであり、エネルギー関数は下向きのConvNetによって定義され、観測された画像をエネルギーにマッピングする。これを「ディスクリプターネット」と呼ぶ。第二のモデルは生成ネットワークであり、因子分析の非線形バージョンである。これは上向きのConvNetによって定義され、潜在因子を観測画像にマッピングする。両モデルの最大尤度学習アルゴリズムは、ランジェビン動力学などMCMCサンプリングを含む。この研究は、二つの学習アルゴリズムを、協調学習アルゴリズムにスムーズに統合し、両モデルを同時に訓練できることを観察する。具体的には、協調学習アルゴリズムの各反復において、生成モデルが初期合成例を生成し、有限ステップのMCMCを初期化する。その後、生成モデルはMCMCがその合成例をどのように変化させているかを学習する。つまり、ディスクリプターネットがMCMCによって生成モデルを指導し、生成モデルがMCMCの遷移を蓄積し、直接祖先サンプリングによってそれらを再現する。

  • Learning Latent Space Energy-Based Prior Model - NeurIPS’20, 2020. [All Versions]. [Project]. [Code]. ラテンエネルギーベースモデルに関する記録的な論文。

  • Learning Energy-Based Models by Diffusion Recovery Likelihood - ICLR’21, 2021. [All Versions]. [Code].

  • Score-Based Generative Modeling through Stochastic Differential Equations - ICLR’21, 2021. [All Versions].

  • Latent Space Factorisation and Manipulation via Matrix Subspace Projection - ICML’20, 2020. [All Versions].

  • Minimax entropy principle and its application to texture modeling - ニューラルコンピューティング、1997。[All Versions]。[Preprint]。この論文は、画像(または信号)のさまざまな応用において統計モデルを構築するための一般理論および手法、すなわち「ミニマックスエントロピー原則」と呼ばれるものを提案する。この原則は二つの部分から成り立つ。第一は特徴結合(または融合)に対する最大エントロピー原則:与えられた観測された特徴統計の集合に対して、それらの特徴統計をすべての再現する分布の中でエントロピーを最大化することにより、分布を構築して結合する。第二は特徴選択に対する最小エントロピー原則:すべての可能性のある特徴統計の集合の中から、その最大エントロピー分布が最小エントロピーを持つ集合を選択する。両方の部分における計算および推論上の問題が扱われ、特に、最適な特徴集合を近似的に選択するための特徴探索プロトコルが提案される。さらに、観測された特徴統計におけるサンプル変動を考慮し、ミニマックスエントロピー原則を修正し、特徴探索用の情報基準を導出する。このミニマックスエントロピー原則は、テクスチャモデリングに応用され、新たなマーカーランダムフィールド(MRF)モデル、すなわちFRAME(フィルタ、ランダムフィールド、ミニマックスエントロピー)が導出され、さまざまなテクスチャ画像に対する実験において、好ましい結果が得られた。

  • Parameter Expansion for Data Augmentation - 『アメリカ統計学会誌』1999年。 [All Versions]。 [Preprint]。統計モデルの観測データを不完全とみなし、欠損部分を補完することは、概念の明確化に有用であり、期待最大化(EM)およびデータ補完の二つの有名な統計アルゴリズムの発明において中心的な役割を果たしている。最近、著者が、パラメータ空間を拡張しつつ欠損データを補完することで、EMアルゴリズムにおける反復計算を加速できることが示された。本論文の主目的は、パラメータ拡張データ補完(PX-DA)アルゴリズムを厳密に定義し、その理論的性質を研究することである。PX-DAは、補助変数を用いてギブスサンプリングアルゴリズムを加速する特別な手法であり、再パラメータ化技術と密接に関連している。

  • Image segmentation by data-driven markov chain monte carlo - IEEE Transactions on Pattern Analysis and Machine Intelligence, 2002. [All Versions]. [Preprint]. 本論文は、ベイズ統計フレームワークにおける画像セグメンテーションに用いられる、データ駆動型マーカーチェーンモンテカルロ(DDMCMC)と呼ばれる計算パラダイムを提示する。本論文は、画像セグメンテーションに関して4つの側面から貢献している。まず、複雑な解空間を効率的かつバランスの取れたマーカーチェーン動的プロセスによって探索し、初めのセグメンテーションに依存しないほぼグローバル最適解を達成する。次に、マーカーチェーンシーケンスから複数の異なる解を計算するための数学的原理およびKアドベンチャーアルゴリズムを提示し、画像セグメンテーションにおける内在的な曖昧性を反映する。第三に、クラスタリングやエッジ検出といったデータ駆動型(下位から上位)手法を用いて重要提案確率を計算し、マーカーチェーン動的プロセスを駆動し、従来のジャンプ拡散手法と比較して顕著な高速化を達成する。第四に、DDMCMCパラダイムは、エッジ検出、クラスタリング、領域成長、分割-合併、スネーク/バルーン、領域競争など、既存の多くのセグメンテーションアルゴリズムの役割を、マーカーチェーン動的プロセスの実現または重要提案確率の計算として明らかにし、これらセグメンテーション手法を原則的に統合・一般化する。

  • Efficient Learning of Sparse Representations with an Energy-Based Model - NeurIPS’06, 2006. [All Versions].

  • A Tutorial on Energy-Based Learning - 構造化データの予測、MIT Press、2006。[All Versiosn]。ヤン・レクンによるエネルギーベース学習に関するチュートリアル。

  • Unsupervised Representaton Learning with Deep Convolutional Generative Adversarial Networks - ICLR’16, 2016. [All Versions].

  • Analysis of Langevin Monte Carlo via Convex Optimization - 『機械学習研究ジャーナル』、2019年。[All Versions]。この論文は、未調整ランゲvinアルゴリズムについて新たな洞察を提供する。著者らは、この手法が、順序2のワッサーティン空間上で定義された目的関数の1次最適化アルゴリズムとして表現できることを示している。この解釈と凸最適化から借りた技術を用い、この手法が、\mathbb{R}^d 上のlog-concaveかつ滑らかなターゲット分布からサンプリングするための非漸近解析を提供する。この解釈に基づき、著者らは非滑らかなターゲット分布からのサンプリングに新たな2つのアルゴリズムを提案する。これらの新しいアルゴリズムは、大規模ベイズ推論における未調整ランゲvinアルゴリズムの一般的な拡張である確率勾配ランゲvinダイナミクス(SGLD)アルゴリズムの自然な拡張である。最適化の視点から、新たに提案されたアルゴリズムについての非漸近収束解析を提供する。

  • A generative vision model that trains with high data efficiency and breaks text-based CAPTCHAs - Science, 2017. [All Versions]. [Preprint]. 少数の例から学習し、著しい違いを持つ状況に一般化する能力は、人間の視覚知能の特徴であり、現在の最先端の機械学習モデルにはまだ達成されていない。システム神経科学の知見を参考に、本研究では視覚に関する確率的生成モデルを提案し、メッセージ伝達に基づく推論が認識、分割、推論を統一的に処理するように設計した。このモデルは、優れた一般化能力および遮蔽推論能力を示し、困難なシーンテキスト認識ベンチマークにおいて、深層ニューラルネットワークを300倍データ効率で上回る。さらに、このモデルは、現代のテキストベースのCAPTCHA(完全自動公開チューリングテストによるコンピュータと人間の区別)の防御を根本的に打ち破し、CAPTCHAに特化したヒューリスティクスを用いずに、文字を生成的に分割する。

  • Where do hypotheses come from? - Cognitive Psychology, 2017. [All Versions]. [Preprint]. 人間の推論は、なぜ時々ベイズ的理想に非常に近い結果を示し、他の時には系統的にバイアスを示すのか?特に、候補仮説が明示的に可用な自然な領域では人間が近似合理的な推論を行うが、類似の領域において仮説を自発的に生成する必要があるタスクでは、合理的推論から系統的なずれが生じる。本研究では、これらのずれがベイズの法則を近似するアルゴリズムプロセスから生じると提案している。特に、本研究のアプローチでは、仮説はサンプリングプロセスから確率的に生成され、サンプルされた仮説がポスト確率のモンテカルロ近似を形成する。

*Back to Top

ノンパラメトリックモデル

  • A Bayesian Analysis of Some Non-parametric Problems - The Annals of Statistics, 1973. [All Versions]. [Preprint]. 非パラメトリック問題に関する古典的なレビュー。

  • Mixtures of Dirichlet Process with Applications to Bayesian Nonparametric Problems - The Annals of Statistics, 1974. [All Versions]. 非パラメトリック問題におけるディリクレプロセスモデルの元論文。

  • Latent Semantic Indexing: A Probabilistic Analysis - Journal of Computer and System Sciences, 2000. [All Versions]. ヒエラルキー付きトピックモデルの元論文。

  • Nonparametric Bayesian Data Analysis - 統計科学、2004年。[All Versions]。この論文は、非パラメトリックベイズ推論の現状をレビューしている。議論は、密度推定、回帰、生存分析、階層モデルおよびモデル検証といった重要な統計推論問題のリストに従って進む。各推論問題について、著者は関連する非パラメトリックベイズモデルおよびアプローチ(ディリクレプロセス(DP)モデルおよびその変種、ポリア木、ウェーブレットベースのモデル、ニューラルネットワークモデル、スプライン回帰、CART、依存DPモデルおよびパラメトリックモデルへのDPおよびポリア木の拡張によるモデル検証)を紹介している。

  • Finding scientific topics - 米国国家科学院論文集、2004年。[All Versions]。ドキュメントの内容を特定する第一歩として、そのドキュメントが扱っているトピックを特定する必要がある。この論文では、ドキュメントを生成するための生成モデルを説明しており、各ドキュメントは、トピックの分布を選び、その分布に従って選ばれたトピックからドキュメント内の各単語を選びながら生成される。著者は、このモデルにおける推論に用いるマーカーチェーンモンテカルロアルゴリズムを提示している。著者は、このアルゴリズムを用いて、PNASの抽象を分析し、ベイズモデル選択によりトピックの数を決定している。この研究は、抽出されたトピックがデータに意味のある構造を捉えていることを示しており、著者の記事の分類指定と一致しており、この分析のさらなる応用例(時間的動態を検討して「ホットトピック」を特定し、抽象にセマンティックコンテンツを示すタグを付与するなど)を示している。

  • Hierarchical topic models and the nested Chinese restaurant process - NeurIPS’03、2003年。[All Versions]。ネストされた中国レストランプロセスの元論文。

  • Learning Systems of Concepts with an Infinite Relational Model - AAAI’06、2006年。[All Versions]。

  • The nested chinese restaurant process and bayesian nonparametric inference of topic hierarchies - ACMジャーナル、2010年。[All Versions]。

  • Infinite Latent Feature Models and the Indian Buffet Process - Gatsby Computational Neuroscience Unit Technical Report 2005-001, 2005. [All Versions].

  • The Indian Buffet Process: An Introduction and Review - Journal of Machine Learning Research, 2011. [All Versions]. インドイアン・バーフィスト過程は、有限行と無限列を持つ稀疏な二値行列の同値クラスの確率分布を定義する確率過程である。この分布は、対象を潜在的に無限の特徴量の配列で表現する、または少なくとも一つのノードクラスのサイズが未知の二部グラフを含む確率モデルにおいて、事前分布として使用するのに適している。本稿では、この分布の詳細な導出を示し、無限潜在特徴量モデルにおける事前分布としての利用を例示する。著者らは、機械学習におけるインドイアン・バーフィスト過程の最近の応用をレビューし、その拡張について述べ、他の確率過程との関連性を要約する。

  • Nonparametric Bayesian Logic - UAI’05, 2005. [All Versions]. [Preprint]. ベイズ論理(BLOG)言語は、未知の数のオブジェクトを持つ世界における第一順位確率モデルを定義するための最近の開発である。AIにおける重要な問題、データ関連および人口推定を扱う。本論文は、関数空間上の生成過程——ベイズ文献における非パラメトリックと呼ばれるもの——を採用することでBLOGを拡張する。本研究では、任意のオブジェクトの集合およびその性質について、直感的に論理的に扱うための構文を導入する。交換可能性を活用することで、未知のオブジェクトおよびその属性に関する分布はディリクレ過程に変換され、オブジェクト数の変動によって生じるモデル選択および推論の困難を解決する。

  • Infinite Hidden Relational Models - UAI’06, 2006. [All Versions]. [Preprint]. リレーションシップ学習は、エンティティの属性および関係間の確率的制約を分析する。本研究では、各エンティティ(またはオブジェクト)に対して、ディリクレ過程(DP)混合モデルの一部として無限次元の潜在変数を導入することで、リレーションモデルの表現力の拡張を行う。本稿では、DPギブスサンプラー、すなわち中国レストラン過程に基づくモデルにおける推論について述べ、著者らは中国レストラン過程をリレーションモデルに適用可能なように拡張する。

  • Statistical Predicate Invention - ICML’07, 2007. [All Versions]. 本研究では、統計関係学習における重要な問題として「統計述語発見(SPI)」を提案する。SPIとは、構造データにおいて新しい概念、性質および関係を発見する問題であり、統計モデルにおける隠れ変数発見およびILPにおける述語発見を一般化する。本研究では、述語および引数が変数であり、議論の領域が事前に完全に知られていない第二階層マーカー論理に基づく初期モデルを提案する。提案されたアプローチは、述語が出現する原子(例えば、関係は関連するオブジェクトのクラスタによって分類される)のシンボルクラスタに基づいて、シンボルクラスタを反復的に精緻化する。

*Back to Top

ベイズ最適化

  • Taking the Human Out of the Loop: A Review of Bayesian Optimization - IEEEの会議録、2015年。[All Versions]。[Preprint]。大規模データアプリケーションは、多くのユーザーを含むシステム、複雑なソフトウェアシステム、および大規模かつ異質な計算・ストレージアーキテクチャを含むものと一般的に関連付けられる。このようなシステムの構築には多くの分散設計選択が関与する。その結果、最終製品(例:推薦システム、医療分析ツール、リアルタイムゲームエンジン、音声認識器)には多くの調整可能な設定パラメータが含まれる。これらのパラメータは、さまざまな開発者やチームによって指定され、ソフトウェアにハードコーディングされることが多い。これらのパラメータを統合的に最適化すれば、大きな改善が得られる。ベイズ最適化は、近年非常に人気を博している、設計選択の統合最適化に有効なツールである。これにより、製品品質および人間の生産性の向上が期待される。本レビュー論文では、ベイズ最適化について紹介し、その方法論の一部を強調し、幅広い応用事例を示している。

  • Practical Bayesian Optimization of Machine Learning Algorithms - NeurIPS’12、2012年。[All Versions]。機械学習アルゴリズムの使用には、学習パラメータおよびモデルハイパーパラメータの細部調整が頻繁に必要となる。しかし、この調整はしばしば「黒箱アート」として、専門知識、ルールオブサンプル、あるいは場合によっては力尽きる探索を必要とする。そのため、問題に応じた学習アルゴリズムの性能を自動的に最適化するアプローチには大きな需要がある。本研究では、ベイズ最適化の枠組みを用いて、学習アルゴリズムの一般化性能をガウス過程(GP)からのサンプルとしてモデル化する。著者らは、GPの性質に関する選択(例:カーネルの種類やそのハイパーパラメータの扱い)が、優れた最適化アルゴリズムを構築し、専門家レベルの性能を達成する上で極めて重要な役割を果たすことを示している。著者らは、学習アルゴリズム実験の変動コスト(実行時間)を考慮した新しいアルゴリズムを提示し、複数コアの存在を活用して並列実験を行うことができる。これらの提案されたアルゴリズムは、以前の自動プロセスを改善し、ラテンディリクレ分配、構造化SVM、畳み込みニューラルネットワークなど多くのアルゴリズムにおいて、人間の専門家レベルの最適化を達成または上回ることができる。

  • A Tutorial on Bayesian Optimization - 2018年。[All Versions]。ベイズ最適化は、評価に時間がかかる(分または時間単位)目的関数を最適化するアプローチである。これは、連続領域で20次元未満の領域における最適化に最も適しており、関数評価における確率的ノイズを許容できる。目的関数の代替モデルを構築し、その代替モデルにおける不確実性をガウス過程回帰というベイズ機械学習手法で評価し、その代替モデルから定義された取得関数を用いてサンプリング地点を決定する。このチュートリアルでは、ベイズ最適化の仕組みについて説明し、ガウス過程回帰と、期待改善、エントロピー検索、知識勾配の3つの一般的な取得関数を含む。著者はさらに、複数の関数評価を並列実行、多フィデリティおよび多情報源最適化、評価が難しい制約、ランダムな環境条件、マルチタスクベイズ最適化、および導関数情報の包含といった高度な技術について述べる。著者は、ベイズ最適化ソフトウェアおよびこの分野における今後の研究方向についても論じる。このチュートリアルは、ノイズフリー設定を超えて、ノイズのある評価に対して期待改善を一般化している。この一般化は、形式的な決定理論的根拠によって正当化され、過去の任意の修正とは対照的である。

  • Human-in-the-loop for Bayesian autonomous materials phase mapping - Matter。[All Versions]。自律実験は、機械学習と実験自動化を組み合わせることで、エディソン式の研究よりもユーザーの目的を効率的に達成できる。理論、シミュレーション、文献、人間の直感からの知識を機械学習モデルに統合することで、この優位性をさらに高めることができる。本研究では、組成-構造-相図のマッピングに人間の入力を確率的に統合するための手法を提示する。実験キャンペーン中に、ユーザーは潜在的な相境界や相領域を示すか、その不確実性を示すか、あるいは関心のある領域を示すことで入力を提供できる。その入力は確率的事前分布を通じて統合され、データ、モデル、人間の入力に基づいて潜在的な相図の確率分布が得られる。本研究は、適切な人間の入力が与えられた場合に、相図マッピング性能の向上を示している。

*Back to Top

概念

概念理論

  • Concepts - プラトン・スタンフォード. 「概念」に関する形式的哲学的議論の集積。

  • Theory-theory - ウィキペディア. 「理論理論」に関するウィキペディア。これは概念を理論(または実証)システムの文脈に位置づける視点である。

  • Conceptual Change in Childhood - MIT Press、1985年。[All Versions]。サーン・ケリーの児童発達における概念の理論理論に関する書籍。

  • Words, thoughts, and theories - MIT Press, 1997. [All Versions]. アリソン・ゴプニクの書籍で、認知および意味の発達に関する「理論理論」を体系的に提示し、その妥当性を主張している。この理論は、乳児や幼児が、科学者同様に世界について理論を形成・修正することで学習するという考えであり、知識および意味の起源に関する見解として、認知科学に広範な影響を与えるものである。

  • The Theory Theory - Mapping the mind: Domain specificity in cognition and culture, Cambridge University Press, 1994. [All Versions]. アリソン・ゴプニクによる理論理論に関する元論文。

  • The Origin of Concepts - Oxford University Press, 2009. [All Versions]. サン・ケリーによる、児童発達における概念の理論理論に関する拡張書籍。

  • What we mean when we say semantic: A Consensus statement on the nomenclature of semantic memory - 2023. [All Versions]. この多学際のワークグループの目的は、意味研究における主要かつ繰り返し現れる構成(例:概念、アモダル、抽象)について、共通認識の定義を確立することであった。こうした努力により、簡潔な定義、合意、主観的な信頼度評価、関連理論背景、そして原則的に反対する見解を含む用語集が作成された。これらの基本的な定義は、意味研究における見解の統一および学際的コミュニケーションの改善に潜在的な基準を提供するものである。

  • Reconstructing constructivism: Causal models, Bayesian learning mechanisms, and the theory theory - Psychological Bulletin, 2012. [All Versions]. アリソン・ゴプニクによる発達研究における構成主義思想に関するレビュー記事。これには、概念の理論理論が含まれる。

  • Similarity involving attributes and relations: Judgments of similarity and difference are not inverses - 心理科学、1990年。[All Versions]。属性および関係に基づく類似判断に関する理論。

*Back to Top

人間の概念表現

  • Organizing conceptual knowledge in humans with a gridlike code - 科学、2016年。[All Versions]。[Preprint]。脳は概念を精神マップに組織化し、概念間の関係を空間のようにナビゲートできるようにしていると仮定されている。グリッド細胞は空間表現を六角形対称コードで組織化し、機能性磁気共鳴画像信号における正確な六角形対称性の源であると考えられている。人間が概念的な2次元知識をナビゲートした際、空間ナビゲーション時に活性化される脳領域に非常に似た領域で同じ六角形信号が観測された。このグリッドのような信号は、1時間以内および1週間以上隔たったセッションで一貫している。この研究の結果は、非空間的コンセプチュアル表現をグローバルな関係コードで組織化している可能性があり、概念知識を2次元連続空間に配置した際、これらのコードが六角形グリッドのようなパターンを持つ可能性を示唆している。

  • Navigating cognition: Spatial codes for human thinking - 科学、2018年。[All Versions]。[Preprint]。海馬形成部は、記憶形成および空間ナビゲーションの背後にあると長年提案されてきた。本研究では、空間ナビゲーション研究で特定された神経メカニズムが、情報領域を越えて広範な認知機能を支援する方法について述べている。提案されたフレームワークでは、場およびグリッド細胞の集団コードが、認知空間の可変次元をマップする代表的フォーマットを提供する。この非常に動的なマッピングシステムは、行動状況間の直交表現間のリマッピングを通じて、コードを迅速に再組織化し、異なる解像度および階層レベルでの多数の安定した認知空間を生成する。行動シーケンスは認知空間を通過する軌跡を生み出し、海馬内での順序的なコード化によってシミュレートできる。こうした形で、海馬形成部の空間表現フォーマットは、柔軟な認知および行動を支援する能力を持つ。

  • Structuring Knowledge with Cognitive Maps and Cognitive Graphs - 認知科学のトレンド、2021年。[All Versions]。[Preprint]。人間および動物は、世界の空間構造を精神的表現としてナビゲートする。古典的な見解は、これらの表現がユークリッド認知マップの形をとるが、代替理論は、それらが場所を結ぶ経路を持つ認知グラフであると主張している。著者は、マップのようなおよびグラフのような表現が、部分的に重なり合う神経システムに依存して脳内に存在する可能性を示す証拠をレビューしている。マップおよびグラフは同時にまたは分離して動作し、空間的および非空間的知識に適用される可能性がある。複雑な情報に構造的枠組みを提供する認知マップおよび認知グラフは、私たちが物理的、社会的、概念的空間をナビゲートするための基本的な組織スキームを提供する可能性がある。

  • Natural speech reveals the semantic maps that tile human cerebral cortex - 自然、2016年。[All Versions]。[Preprint]。[Code & Tutorial]。言語の意味は、脳皮質の特定領域に集約され、「意味システム」と呼ばれる。しかし、意味システムの大部分は包括的にマッピングされておらず、ほとんどの領域の意味選択性は不明である。本研究は、被験者が数時間の物語を聴く際の機能性磁気共鳴画像(fMRI)データを用いて、皮質全体における意味選択性を系統的にマッピングした。この研究は、意味システムが個人間で一貫した複雑なパターンを持っていることを示している。著者は、新たな生成モデルを用いて詳細な意味アトラスを作成した。結果は、意味システム内のほとんどの領域が特定の意味領域または関連する概念のグループに関する情報を表していることを示しており、アトラスは各領域にどの領域が含まれているかを示している。この研究は、人間の神経解剖学および機能的接続性研究で一般的に用いられるデータ駆動型手法が、脳内の機能的表現をマッピングするための強力で効率的な手段であることを示している。

  • Idiosyncratic Tower of Babel: Individual differences in word-meaning representation increase as word abstractness increases - Psychological Science, 2021. [All Versions]. [All Versions]. 人間は主に言語を介してコミュニケーションを行うが、その基礎となるコミュニケーションの基本単位である「語」について共有される理解に基づいている。同じ語を用いるとき、同じ意味を意味しているのか?認知神経科学における意味研究は、語の意味表現の共通原則を明らかにしたが、語の意味における個人差の背後にある要因はまだ不明である。本研究では、行動測定(評価に基づく意味関係パターン)および神経画像測定(語に引き起こされる脳活動パターン)を用いて、20人の成人(10名が女性)において90語の間の一致性を実証的に特徴付けた。行動および神経画像実験の結果、個人間の語の意味に関する誤差の大きさは、語と言語や感覚経験の関連度に依存し、語の抽象度が高くなるにつれてその変動が大きくなることが示された。個人間の語の意味に関する誤差の認知および神経的起源を明らかにすることは、その誤差を調整する潜在メカニズムに影響を与えるものである。

  • Semantic projection recovers rich human knowledge of multiple object features from word embeddings - Nature Human Behavior, 2022. [All Versions]. [Preprint]. 語の意味に関する知識は、精神的語彙においてどのように表現されているか?現在の計算モデルは、語の共現パターンから語の意味を推測している。これらのモデルは、語を多様な次元空間におけるベクトルとして表現し、より似た言語文脈で使われる語(すなわち、意味的に関連性の高い語)は、より近い位置に配置されるように学習している。しかし、語間の近接性は全体的な関連性を捉えているだけであり、人間の判断は文脈に強く依存している。たとえば、イルカとアリスはサイズが似ているが、危険性は異なる。本研究では、語ベクトルから文脈依存関係を抽出するための一般化された手法、「意味投影」を提案している。これは、サイズ(「小さい」と「大きい」の語を結ぶ線)や危険性(「安全」と「危険」の語を結ぶ線)といった特徴を表す線に語ベクトルを投影するもので、人間の判断に類似した「精神的スケール」として考えられる。この手法は、さまざまな対象カテゴリおよび性質において人間の判断を回復する。したがって、語ベクトルの幾何学は、文脈依存の世界知識を明示的に表現している。

  • Using a high-dimensional graph of semantic space to model relationships among words - Frontiers in Psychology, 2014. [All Versions]. GOLDモデル(言語分布のグラフ)は、自然言語の大規模コーパスにおける共現に基づいて構築されたネットワークモデルであり、言語のグラフ構造モデルに存在する情報や、理論に基づいたアルゴリズムおよび標準的なグラフ解析手法によって抽出可能な情報について検討できる。本研究では、GOLDを用いて、語間の2種類の関係、すなわち意味の類似性と関連性を検討する。意味の類似性とは、語の意味の重なり度を指し、関連性とは、2語が同じスキーム文脈で出現する度合いを指す。共現に基づく言語のグラフ構造モデルは、関連性を容易に捉えることが期待される。なぜなら、この種の関係は語の共現に直接存在すると考えられるからである。しかし、意味の類似性は、1次接続の集合の交わりから抽出される可能性があると仮説されている。なぜなら、意味的に類似な語は、さまざまな文脈において類似したテーマ的または文法的役割を果たし、同じノード集合と語の共現を示すからである。共現ウィンドウが異なる2つのGOLDモデル、段落レベルのbigGOLDと隣接語レベルのsmallGOLDが、確立された分布モデルである潜在意味分析(LSA)との性能を直接比較された。GOLDモデル(bigおよびsmall)の優れた性能は、単一の習得および保存メカニズム、すなわち共現が、語間の関連性(関連性および概念的関係)を説明できることを示しており、単一値分解(SVD)を用いるモデルよりも心理的により妥当であることを示している。

  • Simple shape feature computation across modalities: convergence and divergence between the ventral and dorsal visual streams - Cerebral Cortex, 2023. [All Versions]. [Preprints]. 形の処理、視覚または触覚によるいずれも、物体認識および操作において極めて重要である。低レベルの信号は最初に異なる感覚特異の神経回路で処理されるが、視覚通路の下流および上流に、物体の形に対する多感覚反応が報告されている。この転移プロセスを理解するために、研究者たちは視覚および触覚による形の認識に関するfMRI実験を実施し、視覚通路における基本的な形の特徴(すなわち、曲率および直線性)を検証した。領域の興味に基づくサポートベクターマシンの解読分析とボリューム選択法を組み合わせることで、研究者たちは左大脳枕葉皮質(OC)における最も視覚的に判別可能なボリュームが、触覚的形の特徴を分類できること、および左後頭葉皮質(PPC)における最も触覚的に判別可能なボリュームが、視覚的形の特徴を分類できることを発見した。さらに、これらのボリュームは、多感覚的に形の特徴を解読できることを示しており、視覚および触覚モダリティ間で共有された神経計算を示している。単一変数解析では、左PPCにおける最も触覚的に判別可能なボリュームは触覚的直線性特徴を好む一方、左OCにおける最も視覚的に判別可能なボリュームは、いずれのモダリティにおいても有意な形の特徴を好まなかった。これらの結果は、下流および上流通路において、中間レベルの形の特徴がモダリティに依存しない形で表現されていることを示している。

  • The Database of Cross-Linguistic Colexifications, reproducible analysis of cross-linguistic polysemies - Scientific Data, 2020. [All Versions]. [Project]. コンピュータ支援言語研究の進展は、言語研究の再構築に大きな影響を与えている。研究者が作成・編集した相互接続データセットの可用性が増加しているため、より多くの相互に関連する問いが調査可能になっている。しかし、こうした進展は、データセットの準備および編集において厳密性の要求を高めている。本研究では、言語間共現語(CLICS)データベースを提示する。CLICSは、世界の言語における語の意味分類間の共現語に関する相互接続分野の研究課題を解決し、言語間研究におけるデータ準備のベストプラクティスを示している。

  • Locating what comes to mind in empirically derived representational spaces - Cognition, 2023. [All Versions]. 代表空間におけるカテゴリメンバーの位置に基づいて、そのメンバーを意識に呼び出すという、根拠に基づく研究。特に、特定の特徴を持つカテゴリメンバーを考慮する際の予測される有用性に基づいて、人々がカテゴリメンバーを意識に呼び出すことが示された。

  • Why concepts are (probably) vectors - Trends in Cognitive Sciences, 2024. [All Versions]. 数十年にわたり、認知科学者は、人間の概念を特徴づけるような表現の形について議論してきた。どのような表現形式であれ、その表現は、類似性、特徴、カテゴリ、定義、関係といった多様な性質を計算できるようにしなければならない。また、理論、仮説カテゴリ、手続きに関する知識の形成を支える必要がある。本稿では、ベクトルベースの表現が、これらのすべてのニーズを満たしつつ、ニューロンアーキテクチャに妥当にエンコード可能であるという説明を提示している。近年の大規模言語モデルおよびベクトルシンボリックアーキテクチャの進展により、この視点は特に有望である。これらの革新は、これまでニューロンモデルが扱い得なかった、組み立て性、定義、構造、シンボリック計算プロセスといった性質をベクトルが処理できるよう示している。

*Back to Top

AIの概念表現

  • A principal odor map unifies diverse tasks in olfactory perception - Science, 2023. [All Versions]. [Code]. [Data (Reproduced)]. [Preprint]. [GoodScents Database]. [Leffingwell Database]. 香りの認識を分子構造にマッピングすることは、嗅覚分野における重要な課題である。本研究では、感覚的関係を保持し、未分類の香り物質の香り品質を予測できる主な香りマップ(POM)を、グラフニューラルネットワークを用いて生成した。このモデルは、人間の評価と同程度に信頼性を持つ:400種類の未収集香り物質を対象とした予測検証セットにおいて、モデルが生成した香りプロファイルは、訓練されたパネルの平均よりも、中間パネルメンバーのものに近い。単純で解釈可能かつ理論的に根拠のある変換を適用することで、POMは他の香り予測タスクにおいて、化学情報モデルを上回り、構造-香り関係の一般化マップを成功裏にエンコードしていることが示された。このアプローチは、香り予測を広く可能にし、香りのデジタル化を促進する。

  • Metabolic activity organizes olfactory representations - eLife, 2023. [All Versions]. [Code & Data]. POM表現が類似している香り化合物は、物質内で共存しやすく、代謝的に近い関係にある傾向がある;代謝反応の経路も、分子構造の大きなジャンプを経ても、POM上で滑らかな経路をたどる。

  • A Review of Tactile Information: Perception and Action Through Touch - IEEE Transactions on Robotics, 2020. [All Versions]. [Preprint]. ロボットが周囲環境と相互作用する際の重要なセンサモダリティである、触覚センシング。これらのセンサは、ロボットと環境との接触から得られる詳細なデータ信号を提供し、環境中の物体やロボットの行動に関する多様な情報を含んでいる。しかし、データは単一の接触に限らず、環境中の物体やロボットの行動に関する広範な情報を抽出できる。本論文は、触覚情報とそのロボット応用についての概要を提供している。著者は、原始データ、接触、物体、行動のレベルから構成される階層を提示し、高レベル情報はしばしば低レベル情報に基づいて構築される。著者は、階層の各レベルで抽出可能な情報の種類について述べている。また、異なる種類のロボット応用とそれらが採用する触覚情報の種類についての概要を示している。最後に、現在のロボットが達成できない未来の触覚応用についての議論を終える。

  • ImageBind: One Embedding Space To Bind Them All - CVPR’23, 2023. [All Versions]. [Project]. 本研究では、画像、テキスト、音声、深度、熱画像、IMUデータの6つのモダリティ間で共通の埋め込みを学習するImageBindというアプローチを提示する。著者らは、このような共通埋め込みを学習するためには、すべてのペアデータの組み合わせが不要であり、画像とペアのデータのみでモダリティ間を結合できることを示す。ImageBindは、最近の大规模視覚・言語モデルを活用し、それらのゼロショット能力を画像との自然なペアリングによって新しいモダリティに拡張する。これにより、クロスモダリティ検索、モダリティの算術合成、クロスモダリティ検出および生成といった新たなエモーショナルな応用が「即時」に実現される。これらのエモーショナルな能力は、画像エンコーダの強さに比例して向上し、本研究はモダリティ間のゼロショット認識タスクにおいて、専門的な教師付きモデルを上回る最新の成果を達成する。さらに、著者らは、過去の研究を上回る強力なフィンッシュ認識結果を示し、ImageBindは視覚および非視覚タスクにおける視覚モデルの評価に新たな手法を提供する。

  • Semantic features of object concepts generated with GPT-3 - CogSci’22, 2022. [All Versions]. 意味的な特徴は、私たちの概念表現の性質を調査する上で中心的な役割を果たしてきた。しかし、人間評価者から特徴を実証的にサンプリング・ノーマライズするための膨大な時間と労力が、その使用を限定された手動キュレーションされた概念に制限してきた。最近のトランスフォーマーベースの言語モデルの進展を踏まえ、著者らは、このようなモデルを用いて、任意の物体概念に対して意味的に意味のあるプロパティのリストを自動生成できるか、そしてそのモデルが人間の特徴に類似したものを生成するかを問う。この目的のために、著者らはGPT-3モデルを用いて1,854個の物体に対して意味的特徴を生成し、自動生成された特徴を既存の人間の特徴ノーマルと比較した。GPT-3は人間より多くの特徴を生成したが、生成された特徴の種類の分布は類似していた。生成された特徴ノーマルは、類似性、関連性、カテゴリ属する性質の予測において人間のノーマルと同等であり、分散分析の結果、これらの予測は人間とGPT-3で類似した分散によって駆動されていた。これらの結果は、大規模言語モデルが人間の知識の重要な側面を捉え、意味的特徴を自動的に解釈可能なセットとして生成する可能性を示し、心理・言語研究における意味的特徴の応用範囲を劇的に拡大する新しいアプローチを提供する。

  • Connecting Touch and Vision via Cross-Modal Prediction - CVPR’19, 2019. [All Versions]. [Project]. 人間は視覚、聴覚、触覚などの多モダリティ感覚情報を用いて世界を認識する。本研究では、視覚と触覚の間のクロスモダリティ接続を調査する。このクロスドメインモデリングタスクにおける主な課題は、二つのモダリティ間の大きなスケールの差にある:視覚では眼が一瞬で全体の視覚シーンを認識する一方、人間は常に物体の小さな領域しか感じられない。視覚と触覚を結びつけるために、本研究では、視覚入力から妥当な触覚信号を合成する新しいタスクおよび、触覚データを入力として与えられたときの物体との相互作用を想像するタスクを導入する。これらの目標を達成するために、著者らはロボットに視覚および触覚センサーを装備し、対応する視覚および触覚画像シーケンスの大規模データセットを収集する。スケールのギャップを埋めるために、著者らは、触覚のスケールと位置情報を組み込んだ新しい条件付き対立モデルを提示する。人間の認知研究の結果は、このモデルが触覚データからリアルな視覚画像を生成し、逆に視覚データから触覚データを生成できることを示している。

  • Unit Testing for Concepts in Neural Networks - Transactions of the Association for Computational Linguistics, 2022. [All Versions]. Fodorの概念理論を用いて、ニューラルネットワークによる概念表現の検証。

  • Do Llamas Work in English? On the Latent Language of Multilingual Transformers - ACL’24, 2024. [All Versions]. 多言語トランスフォーマーの中間埋め込み(1)が出力トークン埋め込みと遠く離れていること、(2)中間層で意味的に正しい次のトークンを解釈できるが、その英語版の確率が入力言語版よりも高いこと、(3)最終的に入力言語に特化した埋め込み空間領域に移動することを、実証的に示す初期研究。また、抽象概念空間の埋め込みは、英語に近いとされる。

  • From task structures to world models: what do LLMs know? - Cognitive Sciencesのトレンド, 2024. [All Versions]. [Preprint]. 大規模言語モデル(LLM)が知識を持つとはどういう意味か?著者は、LLMが「道具的な知識」を持つと答える。この道具的な知識とは、次語生成を道具として使うことで得られる知識である。著者は、この道具的な知識が人間が示す通常の「世界の知識」とどのように関係しているかを問うとともに、道具的な知識が認知科学における構造化された世界モデルをどれだけ含んでいるかという点でその問いを検討する。著者は、LLMが世界の知識の度合いを回復できる方法について述べ、その回復は世界モデルとタスクの間の暗黙の、リソース効率的なトレードオフによって支配されるであろうと提案する。この問いに対する著者の答えは、特定のAIシステムの能力を超えており、知識および知能の性質に関する前提を挑戦している。

*Back to Top

複雑性・情報理論

理論

  • A Mathematical Theory of Communication - ベルシステム技術ジャーナル, 1948. [All Versions]. 情報理論に関するシャノンの元論文。

  • An introduction to Kolmogorov complexity and its applications - スプリンガー, 2008. [All Versions]. アルゴリズム情報理論の導入書、特にコルモゴロフ複雑性理論。

  • Complexity and the representation of patterned sequences of symbols - 心理学レビュー, 1972. [All Versions]. ヘルバート・シモンの主観複雑性に関するレビュー。

  • Visual Pattern Discrimination - IRE情報理論トランスアクション, 1962. [All Versions]。

  • Algorithmic Information Theory - IBM Journal of Research and Development, 1977. [All Versions]. アルゴリズム情報理論に関するチャイチンの元論文。

  • From Algorithmic to Subjective Randomness - NeurIPS’03, 2003. [All Versions].

  • On the Complexity of Bayesian Generalization - ICML’23, 2023… この研究は、自然視覚スペクトルにおける大規模な概念一般化を検討する。既存の計算モード(すなわち、ルールベースまたは類似性ベース)は、主に孤立して研究され、限定的かつ抽象的な問題空間に焦点を当てる。本研究では、問題空間が拡大し、概念の複雑性が多様になる状況において、これらの二つのモードを検討する。表現レベルでは、著者が視覚概念が表現空間にマッピングされる際に、複雑性がどのように変化するかを検討する。既存の文献は、二つの種類の複雑性が反U関係にあることを示している。代表性属性(RoA)を活用し、著者は計算的に確認した:モデルは視覚概念を高RoAを持つ属性で記述し、視覚複雑性の増加に伴い、記述長が反U関係に変化する。計算レベルでは、著者が表現の複雑性がルールベースと類似性ベースの一般化の間のシフトにどのように影響するかを検討する。著者は、カテゴリ条件付き視覚モデルが視覚属性とカテゴリ属性の共現頻度を推定することを仮定し、これにより自然視覚世界の事前知識として機能する可能性があると提案する。実験結果は、ルールベース一般化において、主観的に比較的高い複雑性を持つ表現が、比較的低い複雑性を持つ表現よりも優れていることを示し、類似性ベース一般化ではその傾向が逆であることを示している。 [All Versions] [Project] [Models]

  • Quantifying artificial intelligence through algorithmic generalization - Nature Machine Intelligence, 2025. [All Versions]. 人工知能(AI)システムの急速な発展は、その科学的定量化の必要性を急務にしている。AIシステムは多様な分野において優れた柔軟性を示しているが、アルゴリズム的推論を必要とするテストでは不十分であり、これは、解釈可能で信頼性のある技術が求められているため、明確な欠陥である。学術界から登場する推論ベンチマークの急増にもかかわらず、AIシステムにおけるアルゴリズム的推論を定量化するための理論的枠組みは存在しない。本稿では、計算複雑性理論から導入されたフレームワークを用いて、代数式を用いてアルゴリズム一般化を定量化する:代数回路複雑性。代数回路複雑性理論――代数式を回路モデルとして研究する分野――は、アルゴリズム計算の複雑性を研究するための自然な枠組みである。代数回路複雑性は、問題解決に必要な計算要件を基にベンチマークを定義することで、一般化の研究を可能にする。さらに、代数回路は一般的な数学的対象であり、指定された回路に対して任意の大量のサンプルを生成できるため、今日のデータ量を必要とするモデルにとって理想的な実験環境となる。本見解では、著者は代数回路複雑性から導入されたツールを採用し、アルゴリズム一般化の科学を形式化し、そのAI科学への成功応用に向けた主要な課題を解決する。

*Back to Top

次元削減

*Back to Top

視覚的複雑性

*Back to Top

コミュニケーション

非言語コミュニケーション

*Back to Top

語用論

*Back to Top

言語の構成性

*Back to Top

協調

  • In situ bidirectional human-robot value alignment - Science Robotics, 2022. [All Versions]. [Preprint]. 本論文では、ロボットがユーザーの価値を予測するため、リアルタイムフィードバックを考慮しながら、ユーザーに意思決定プロセスを説明することで、人間が理解できる人工知能(XAI)システムを提案する。人間のフィードバックから学習するため、このXAIシステムは、複数の望ましい目標に関連する人間の価値を推定するための協調的なコミュニケーションモデルを統合している。人間にとって解釈可能なように、システムは人間の心理ダイナミクスをシミュレートし、グラフィカルモデルを用いて最適な説明を予測する。

  • From Explicit Communication to Tacit Cooperation: A Novel Paradigm for Cooperative MARL - AAMAS’24, 2024. [All Versions]. 人間のチームにおける協同学習に着目し、本論文では、明示的なコミュニケーションから無意識の協働へと徐々に移行するための新たなパラダイムを提案する。

  • The future of open human feedback - Nature Machine Intelligence, 2025. [All Versions]. 人間が言語モデルとの会話で与えるフィードバックは、これらのシステムが世界を理解し、能力を向上させ、望ましいかつ安全な行動に導かれるために中心的な役割を果たす。しかし、このフィードバックは主に先端AI研究機関によって収集され、閉鎖的に保管されている。本研究では、多分野の専門家を結びつけ、AIにおけるオープンな人間フィードバックエコシステムの実現可能性と課題を評価する。著者たちは、パーソンプロダクション、オープンソース、市民科学コミュニティにおける成功事例を調査し、オープン人間フィードバックの主な課題を特徴づけ、それぞれについて現行のアプローチを調査し、提言を行う。最後に、持続可能でオープンな人間フィードバックエコシステムを支える必要となる要素を展望する。このエコシステムの中心には、ユーザーと専門モデルの間の相互利益をもたらすフィードバックループがあり、モデルトレーナーやフィードバック提供者といった多様なステークホルダーコミュニティが、一般のオープンフィードバックプールを支えるよう激励する。

  • HLSMAC: A New StarCraft Multi-Agent Challenge for High-Level Strategic Decision-Making - AAMAS’26, 2026. [All Versions]. マルチエージェント強化学習(MARL)アルゴリズムの評価にはベンチマークが極めて重要である。StarCraft II関連環境がMARLの進展を大きく推進してきたが、現行のベンチマーク(例:SMAC)は主にミクロ管理に焦点を当てており、高レベル戦略的知能の包括的な評価を制限している。この問題に対応するために、本研究ではHLSMACと呼ばれる新しい協調型MARLベンチマークを導入し、Thirty-Six Stratagemsの古典戦略に基づく12のStarCraft IIシナリオを設計した。各シナリオは特定の戦略に対応し、戦術的な操作、タイミングの調整、欺瞞といった多様な戦略要素を課題として設定し、高レベル戦略的決定能力の評価を可能にする。著者たちは、従来の勝率を超える多様な次元(例:能力の活用度、進展効率など)を含む新たな評価指標を提案し、HLSMAC環境におけるエージェントの全体的な性能を評価する。さらに、21の最先端MARLアルゴリズムおよびLLMベースエージェントを大規模に評価し、特に優れた性能を示す手法については多セード分析を行う。結果から、HLSMACはマルチエージェント戦略的決定能力の進展に適した堅牢な評価プラットフォームであることが示された。

*Back to Top

ドメイン固有言語

設計理論

  • Domain-Specific Language - Wikipedia. Wikipediaにおけるドメイン特定言語に関する百科事典項目。

  • Domain Engineering - ウィキペディア. ドメインエンジニアリングに関するウィキペディアのencyclopedia項目。

  • Domain-Specific Languages - ペアソン・エデュケーション, 2010. [All Versions]. [Domain-Specific Languages Guide]. 適切に選定・活用されれば、ドメイン特定言語(DSL)は複雑なコードを簡素化し、顧客との効果的なコミュニケーションを促進し、生産性を高め、開発のブレーキを解消することができる。ドメイン特定言語(DSL)について、ソフトウェア開発分野の著名な専門家であるマーティン・フォーワーは、ソフトウェアプロフェッショナルがDSLを導入すべきかどうか、いつ導入すべきかを判断するために必要な情報を提供する。その後、DSLが適切である場合、フォーワーはDSLの構築に有効な技術を提示し、ソフトウェアエンジニアが自社のアプリケーションに最適なアプローチを選ぶためのガイドを提供する。

  • Comparison of multi-paradigm programming languages - ウィキペディア. プログラミング言語は複数のプログラミングパラダイムをサポートする可能性がある。このウィキペディア項目は、プログラミングパラダイムに関する簡潔な参考資料をリストアップしている。

  • Epigrams on programming - ACM SIGPLAN Notices, 1982. [All Versions].

  • The complete guide to (external) Domain Specific Languages. An introduction to Domain Specific Languages (DSL) based on 19 DSL cases.

  • When and How to Develop Domain-Specific Languages - ACM Computing Surveys, 2005. [All Versions]. [Preprint]. ドメイン特定言語(DSL)とは、特定のアプリケーションドメインに合わせた言語であり、その適用領域において一般用途のプログラミング言語に比べて、表現力と使いやすさの面で大きな優位性を持つ。DSLの開発は困難であり、ドメイン知識と言語開発の専門性の両方を必要とする。そのような知識を持つ人は非常に少ない。そのため、DSL開発の決定はしばしば無期限に遅れたり、そもそも検討されない場合が多く、多くのDSLはアプリケーションライブラリ段階でしか進展しない。特定のDSLの開発に関する多くの論文が存在するものの、DSL開発の手法に関する文献は極めて限られており、DSLを開発するタイミングや方法についての多くの問いが残っている。この調査論文は、DSL開発における決定、分析、設計、実装の各フェーズに見られるパターンを特定し、それらは既存のDSL設計パターンに関する研究を改善・拡張する。

  • Design Guidelines for Domain Specific Languages - OOPSLAワークショップ:ドメイン特定モデリング(DSM’09), 2009. [All Versions]. 新しいドメイン特定言語の設計は、他の複雑なタスクと同様に、誤りを起こしやすく、特に高品質で使いやすい言語を設計する場合、時間のかかる作業となる。既存のツール支援は技術的側面の簡素化に焦点を当てているが、優れた言語設計の原則を強制するための支援は欠如している。本論文では、ドメイン特定言語設計に有用なガイドラインを検討し、我々が言語開発経験に基づき、一般用途言語(GPL)およびモデリング言語の既存ガイドラインを参考にしている。この研究により、DSL開発者が言語設計の品質を向上させ、ユーザーからの受け入れを高めるためのガイドラインが定義された。

  • Domain-specific languages: an annotated bibliography - ACM SIGPLAN Notices, 2000. [All Versions]. ドメイン特定言語がソフトウェアシステムの構築および維持においてどのように使われるかに関する調査。この調査では、該当分野の75件の重要な論文を選び挙げ、各論文について要約を提供している。さらに、用語、リスクと利点、例としてのドメイン特定言語、設計手法、実装技術について議論している。

  • Usability Evaluation of Domain-Specific Languages - ICQICT’12, 2012. [All Versions]. [Preprint]. 本提案の目的は、ソフトウェア言語工学の体系的な活動に貢献することであり、DSLの使いやすさ評価の問題に焦点を当てるものである。使いやすさ評価は、DSL開発に関する論文において頻繁に省略されたり、緩和されたり、少なくとも無視されている。著者らは、ユーザーインターフェース実験的検証技術に基づく体系的なアプローチを用いて、新規DSLの影響を評価すべきだと主張している。そのため、著者らは、一般的な使いやすさ評価プロセスをDSL開発プロセスと統合するよう提案している。

  • Domain-Specific Modeling Languages: Requirements Analysis and Design Guidelines - Domain Engineering: Product Lines, Languages, and Conceptual Models, 2013. [All Versions]. 最近の年間、ドメイン特定モデリング言語の開発に大きな注目が集まっている。これは、その理由がある。ドメイン特定モデリング言語は、ドメインレベルの知識を表す概念を組み込んでおり、システムアナリストがそれらの概念をゼロから再構築する必要がなくなる。同時に、ドメイン特定モデリング言語はモデルの整合性を確保する貢献をしている。なぜなら、それらにはすでに手動で追加しなければならない制約が含まれているからである。ドメイン特定モデリング言語の開発および使用に関する研究はすでに多くなっているが、それらの言語設計に導く包括的な手法はまだ不足している。特に、ドメイン特定モデリング言語開発に関わる複雑さとリスクの観点から見ると、これは重大なギャップである。本章は、このギャップを埋める貢献を目指している。まず、メタモデリング言語の選定に関するガイドラインを提示し、要件分析からドメイン特定モデリング言語の指定および評価までのプロセスを支援することを主眼としている。

  • Domain-Specific Languages: A Systematic Mapping Study - Information and Software Technology, 2016. [All Versions]. 本研究は、ドメイン特定言語(DSL)に関する体系的マッピング研究(SMS)を報告している。この研究の主な目的は、DSL研究分野をより深く理解し、研究動向や可能性のある未解決課題を特定することである。このSMSは、DSL分野における研究空間と論文の動向・人口統計という2つの主要な研究課題を検討している。それぞれの研究課題はさらに複数の研究副課題に分割されている。最初の研究課題の結果から、DSLコミュニティは、新しい技術・手法の開発に重点を置いているが、DSLとその他のソフトウェア工学プロセスの統合や、DSLアプローチの効果を測定する研究に比べて、それらの研究に注目している。さらに、評価に関する研究が明確に不足している。DSL開発の段階において、ドメイン分析、検証、維持に関しては、より注意が必要である。2番目の研究課題の結果では、論文数は年々増加していないことが明らかであり、安定していることが示されている。

  • Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State of the Practice - ACM Transactions on Software Engineering and Methodology, 2024. [All Versions]. ドメイン専門家は、自らのドメイン特定問題を解決するために機械学習をますます活用している。本論文は、ソフトウェア工学研究者に、ドメイン専門家が計算プロセスとその実行可能な実装を用いて問題を解決する際に直面する6つの主要な課題を提示している。これらの課題は、提案された概念フレームワークに基づき、ドメイン専門家が解決策を開発する際に選択可能な「変換のルート」から生じている。

  • PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design - ACM Transactions on Computer-Human Interaction, 2021. [All Versions]. プログラミング言語設計には、多くのユーザビリティに関連する設計決定が求められるが、現存のHCI手法はプログラミング言語への適用に不適切である。言語の開発には高い反復コストがあり、プログラマには長期間の学習が必要であり、ユーザーのパフォーマンスには大きなばらつきがある。これらの問題に対応するために、著者はフォーマティブおよびサマティブHCI手法を改良し、プログラミング言語設計に適した形にした。これらの手法を統合し、ユーザーセンターデザインを目的とした新しいプロセス「PLIERS」を提案した。著者は、このプロセスを用いて2つの新しいプログラミング言語を設計し、その有効性を評価した。GlacierはJavaを拡張し、プログラマが不変性の性質を効果的かつ容易に表現できるようにした。Obsidianはブロックチェーン向けの言語で、重要な安全性特性の検証を含む。実証研究により、PLIERSプロセスは多くのプログラマが効果的に使用できる言語を生み出し、さらに言語改善の可能性を明らかにした。

*Back to Top

設計実践

  • Quantifying usability of domain-specific languages: An empirical study on software maintenance - Journal of Systems and Software, 2015. [All Versions]. DSLは、特定の領域に対して抽象を提供することでソフトウェア開発を支援する。一般用途言語で作成されたアーテファクトの維持性を高めることが期待されるが、その維持性は、DSL自体のユーザビリティに大きく依存する。しかし、初期段階でそのユーザビリティの強みや弱みを特定するのは難しい。なぜなら、それらを客観的に明らかにするための指針が存在しないからである。ユーザビリティは多面的な品質特性であり、DSL関係者にとって事前評価が難しい。さらに、メンテナンスタスクで使用されるDSLのユーザビリティを定量的に評価するための支援は極めて少ない。このような状況において、本研究はソフトウェアメンテナンスの観点から、テキストDSLのユーザビリティを比較する研究を報告している。この研究では、記述の認知次元に基づいたユーザビリティ測定フレームワークを開発し、2つのオブジェクト指向システムにおける2つのDSLを用いて、定性的および定量的に評価した。結果から、提案されたメトリクスは以下の3点に有効であると分かった:(1) DSLのユーザビリティの制限を早期に特定できる、(2) メンテナンスタスクに有利な特定のDSL機能を明らかにする、(3) 8つの重要なDSLユーザビリティ次元を成功裏に分析できる。

  • A Taxonomy of Domain-Specific Aspect Languages - ACM Computing Surveys, 2015. [All Versions]. ドメイン特定アスペクト言語(DSAL)は、ドメイン特定言語(DSL)の一種であり、クロスカットコンセーンを表現するため設計されている。DSLと比較して、DSALはアスペクト的な性質により、言語設計空間を大きく拡張する。本調査は、この設計空間を構造化し、クロスカットコンセーンに対処するさまざまなドメイン特定アプローチを明らかにし、比較する。本調査は36のDSALをカバーするデータセットを報告し、設計上の考慮事項を検討し、DSAL実装アプローチの分類を提供する。この研究は、DSALおよびDSL研究者にとっての参考枠組みとなり、分野のさらなる進展を促進し、開発者にとってDSAL実装のガイドとして機能する。

  • No Grammar to Rule Them All: A Survey of JSON-style DSLs for Visualization - IEEE Transactions on Visualization and Computer Graphics, 2022. [All Versions]. JSONベースの文法や、他の標準データシリアライゼーション言語の使用が、視覚化の分野で急速に増加している。これらの文法はそれぞれ異なる目的を持つ:一部は特定の計算タスク(例:アニメーション)に焦点を当て、一部は特定のチャートタイプ(例:地図)に、一部は特定のデータ領域(例:機械学習)に特化している。しかし、このインターフェース形式の重要性があるにもかかわらず、これらの言語の特性についての詳細な分析はほとんど行われていない。本研究は、57のJSONスタイルの視覚化DSLの設計および実装を調査・分析した。著者は、各DSLの収集された例(4395インスタンス)をもとに、ドメイン、概念モデル、言語の関係性、機能性、一般の実用性といった軸に沿って分析した。その結果、形式的および口語的仕様の間の対立、ユーザーの種類間の対立、言語構成内の対立といった緊張を明らかにした。この研究を通じて、視覚化DSL設計における選択肢、機会、およびトレードオフを明確にし、言語実装者に支援を提供することを目的とした。

  • How Domain Experts Use an Embedded DSL - OOPSLA’23, 2023. [All Versions]. プログラミングツールは、さまざまな分野、特にコンピュータサイエンスと無関係な専門分野における研究や分析において、ますます重要な役割を果たしている。埋め込まれたドメイン特定言語(eDSL)は、これらのプログラマにサービスを提供しつつ、言語設計者に相対的に低い実装負担をもたらす可能性がある。しかし、eDSLの使用に向けた障壁がその実用性と採用を低下させている。本研究は、プログラマがeDSLをどのように使用するかを深く理解し、ユーザーのニーズを明らかにすることで、今後のeDSL設計を支援することを目的としている。著者は、気候変動経済モデル用のeDSL「Mimi」を用いて、専門家9名にコンテクストインクエアを実施した。テーマ分析により、5つの重要なテーマが特定された。その中には、eDSLとホスト言語の相互作用が、ユーザー体験に大きな影響を与え、場合によっては予期しない影響を及ぼす、およびユーザーはドメイン特定のコミュニティやコードテンプレートに積極的に関与するという点が含まれる。

  • Abstract Hardware Grounding Towards the Automated Design of Automation Systems - ICIRA’24, 2024. [All Versions]. [Preprint]. 域に特化した自動化システムの設計には、人間の専門知識とロボットが実行可能な行動の間の意味空間を一致させ、それに応じてリソースやシステム構成をスケジュールする必要がある。しかし、細分化された領域知識の注入、人間の知識とロボット指令の異質性、およびユーザーの好みの多様性といった3つの大きなギャップが存在し、結果として自動化システム設計は個別に実施され、労力がかかるため、自動化の民主化が妨げられている。本研究では、この困難な一致を「抽象ハードウェア接地問題」と呼ぶ。著者たちは、人間の意味空間における手続き的動作をハードウェア要件の抽象と捉え、それらを現実世界の制約と好みに則ってハードウェアデバイスに接地させることを提案する。この問題の最適化は、自動化システム設計の標準化と自動化を意味する。この基礎上、本研究はハイブリッドデータ駆動と原理導出を組み合わせた自動設計フレームワークを構築する。自律走行実験室の設計に関する結果は、本フレームワークが、領域に特化した要件およびユーザーに合わせた要件を満たしつつ冗長性のないコンパクトなシステムを生成できる可能性を示している。

  • Constraint Representation Towards Precise Data-Driven Storytelling - VIS-Gen4DS’24, 2024. [All Versions]. [Preprint]. データ駆動ストーリーリング用DSLの位置付け論文。データ駆動ストーリーリングは、アイデアを説得的に伝達する上で重要な橋渡しとなる。しかし、手動でデータストーリーを作成することは、多面的で労力がかかる、ケースバイケースの作業であり、その広範な応用を妨げている。そのため、データストーリーの自動生成が重要な研究テーマとなっている。人工知能の進展にもかかわらず、データストーリーの体系的な生成は、そのハイブリッド性により依然として困難である。データストーリーは、トップダウンでシードアイデアに基づいた視点を構築する必要があり、かつ、与えられた証拠の洞察をボトムアップで整合的に接地させる必要がある。この二つの要件は、データストーリーの許容空間に正確な制約を課す必要がある。本位置付けは、制約をデータストーリー生成プロセスに統合することを提案する。解釈と表現の階層に基づき、制約はストーリーの叙述と図解をシードアイデアと文脈化された証拠に合わせるよう形成する。著者は、これらの制約の分類と必要な機能を特定する。制約は異質かつ潜在的であるが、本位置付けでは、ドメイン特定言語を用いて計算に適した形で表現する可能性を検討する。著者は、制約の活用がデータストーリー生成の芸術的および科学的側面を促進すると考えている。

  • Reproducibility in automated chemistry laboratories using computer science abstractions - Nature Synthesis, 2024. [All Versions]. 抽象化は、(生物)化学および材料科学における自動化実験科学の汎用性に不可欠であるが、誤った実装は実験結果の再現性を損なう技術的負債となる。数十年にわたり、コンピュータ科学は、プログラム言語における抽象化の捉え方に関するガイドラインや戦略を構築してきた—特に、抽象化されたアイデアの実装の置換可能性と、抽象化が使用される文脈の明確な定義である。しかし、自動実験用に開発されたプログラミング言語の多くは、コンピュータ科学で学んだ知見を十分に活用していない。自動化実験室を通じた科学知識の協働共有を実現するためには、マシンエージェントが実験プロトコルをコード化・解釈する際、再現性を重視した上で、抽象化を適切に使用することが必要である。本レビューでは、コンピュータ科学の抽象化原理が、自律実験室による協働研究の加速を支えるための再現性のある自動化の創出にどう応用されるかを論じる。

*Back to Top

設計自動化

  • AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints - ACL’24, 2024. [All Versions]. [Preprint]. [Project]. AutoDSLと呼ばれるDSL自動設計の元論文。非標準化科学実験などの限定された状況における手続きの正確な表現には、制約の正確な描写が不可欠である。しかし、ドメイン特定言語(DSL)は、構造的に制約を表現するための有効なツールであるが、多くの場合、ケースバイケースで手作業で設計され、カスタマイズされた労力が要される。この課題を克服するために、本論文はAutoDSLフレームワークを導入し、さまざまなドメインにおけるDSLベースの制約設計を自動化する。ドメイン特定実験プロトコルデータベースを活用し、AutoDSLは文法制約を最適化し、意味制約を抽象化する。AutoDSLが設計した5つの異なるドメインにおけるDSLの定量的および質的分析は、その言語モデルへの補助モジュールとしての可能性を示しており、手続き計画および実行の改善を目的としている。

  • Hierarchically Encapsulated Representation for Protocol Design in Self-Driving Labs - ICLR’25, 2025. [All Versions]. [Project]. 自律実験室は、単一実験スキルや事前に定義された実験プロトコルの実行において、人間実験者を置き換えるようになってきた。しかし、人工知能が科学研究におけるアイデアの反復速度を高めているため、新たな発見に向けたプロトコルの迅速設計の必要性が現れている。プロトコル設計の自動化に取り組みは始まっているが、知識ベースのマシンデザイナー(例:大規模言語モデル)の能力は、実験知識の体系的な表現の欠如により、十分に引き出されていない。この問題に対応するために、本研究は多面的かつ多スケールの表現を提案する。インスタンスアクション、一般化された操作、製品フローモデルがドメイン特定言語を用いて階層的に封じ込められる。著者は、非パラメトリックモデリングに基づくデータ駆動アルゴリズムを開発し、これらの表現を特定ドメインに自動的にカスタマイズする。提案された表現は、計画、修正、調整といったプロトコル設計タスクを管理するためのさまざまなマシンデザイナーを備えている。結果は、提案された方法が大規模言語モデルのプロトコル設計プロセスに効果的に補完できることを示しており、マシン支援科学探索の領域において補助モジュールとして機能している。

*Back to Top

命令型DSLの応用

  • Organic synthesis in a modular robotic system driven by a chemical programming language - Science, 2019. [All Versions]. [Preprint]. [Perspective: Democratizing synthesis by automation]. 本論文は、標準化された手法記述をもとに有機化合物の合成を行う自律型コンパイラとロボット実験プラットフォームを開発した。プラットフォームには、ラウンドボトムフラス、分離漏斗、回転蒸発器などの従来の装置を採用し、既存の文献との適合性を最大化している。著者は、3つの一般的な薬品の短い合成プロセスを示し、その結果が手動合成と同等であったことを示した。

  • Convergence of multiple synthetic paradigms in a universally programmable chemical synthesis machine - Nature Chemistry, 2020. [All Versions]. [Preprint]. 分子の自動合成は確立されているが、各反応クラスには専用のハードウェアが必要であるため、一つの機械内で複数のステップ合成を接続し、さまざまなプロトコルや反応を実行することは不可能である。これは、手動介入が不可欠だからである。本論文では、Chemputer合成ロボットが、固体相ペプチド合成、反復クロスカップリング、不安定なダイジリンへのアクセスなど、さまざまな反応を一つの統一システムで高収率・高純度で実行できるようにプログラムできることが示された。こうした普遍的かつモジュラーなハードウェアを、一つのソフトウェアシステムで自動化することで、多様なバッチ化学反応がアクセス可能になる。提案されたシステムは、10個の異なるモジュールで22の異なるステップを再利用しながら、約8,500操作を実行した。コードは17の異なる反応にアクセス可能であり、複雑な収束型ロボット合成において、ペプチドとダイジリンの反応を12ステップで実現したことも示された。

  • Biocoder: A programming language for standardizing and automating biology protocols - Journal of Biological Engineering, 2010. [All Versions]. [Project]. [Microsoft Page] 本論文は、バイオコーダー(BioCoder)というC++ライブラリを導入し、バイオロジストがプロトコルを実行するために必要な正確な手順を表現できるようにした。自動化に適しただけでなく、コードを読みやすい英語の説明に変換し、バイオロジストが理解しやすい形で利用できるようにしている。

  • Universal chemical programming language for robotic synthesis repeatability - Nature Synthesis, 2024. [All Versions]. [Preprint]. 化学合成に関する文献量は急速に増加しているが、新プロセスの共有や評価には長時間かかる。本論文は、普遍的な化学プログラミング言語(χDL)を用いて、さまざまな化学反応(還元アミン化、環形成、エステル化、炭素–炭素結合形成、アミド結合)の合成プロトコルをエンコード・実行するアプローチを提示した。このアプローチは、4つの異なるハードウェアシステム上で2つの研究室で実行され、各反応につき約50行のコードを用いることで、化学プロトコルを効率的に圧縮している。

  • An integrated self-optimizing programmable chemical synthesis and reaction engine - Nature Communications, 2024. [All Versions]. 化学分野のロボットプラットフォームは急速に進化しているが、ほとんどのシステムは現在、実時間で状況変化に適応できない。本論文は、反応を常に監視する7つのセンサーを用いた動的にプログラミング可能なシステムを提示し、分子の生成・最適化・発見を実現した。動的プログラミング言語を開発することで、非常に発熱性の酸化反応の10倍規模の拡大、反応終点の検出、および重要なハードウェア故障の検知が実現された。

  • Building an Open Representation for Biological Protocols - ACM Journal on Emerging Technologies in Computing Systems, 2023. [All Versions]. 生物学的研究開発において、実験プロトコルは極めて重要であるが、プロジェクト間、研究者間、組織間での共有や再現が難しい。これまで多くの試みがなされているものの、まだ明確で正確に解釈・自動化できる一方で、人間が使いやすく、再利用・適応が可能となるようなプロトコル表現は存在しない。この課題に応えるために、UML、Autoprotocol、Aquarium、SBOL RDF、プロビエンスオントロジーを基盤とする「Laboratory Open Protocol language(LabOP)」が開発された。LabOPは、プロトコルおよびその実行記録と生成データをリンクデータとして表現し、人間や実験自動化システムによる実行を可能にするフレームワークを提供する。LabOPは現在、RDF知識表現、規格文書、Pythonライブラリとして実装されており、手動の「紙プロトコル」、Autoprotocol、またはOpentronsによる実行をサポートしている。この初期実装をもとに、LabOPはオープンなコミュニティによるさらなる開発が進んでいる。

  • KnitScript: A Domain-Specific Scripting Language for Advanced Machine Knitting - UIST’23, 2023. [All Versions]. [Project]. 本論文では、KnitScriptと呼ばれるドメイン特定のマシン編み込みスクリプト言語を提示する。KnitScriptは、計算駆動の編み込みデザインをサポートする。KnitScriptは編み込みマシンの包括的な仮想モデルを提供し、必要に応じてマシンレベルの機能にアクセスしながら、多様な手間がかかるかつ誤りが生じやすい細部を自動化する。

  • A domain‑specifc language framework for farm management information systems in precision agriculture - Precision Agriculture, 2020. [All Versions]. 本論文では、精密農業向けのFMISの設計開発に用いるドメイン特定言語フレームワークを提案する。このフレームワークは、設計決定の理解性の向上、設計決定のコミュニケーションおよび分析の強化、そして関係者間のコミュニケーションを解決する。

  • Corel: A DSL for Cooking Recipes - 2021. [All Versions]. [Corel recipe page]. [International Network of Food Data Systems (INFOODS)]. Corel DSLによる料理レシピの表現は、材料の理解と計算を可能にし、レシピに応じた栄養表示を作成できる。

  • Infinite Photorealistic Worlds Using Procedural Generation - CVPR’23, 2023. [All Versions]. [Website]. [Supplementary Text]. 本論文では、自然世界の写実的な3Dシーンを生成するプロシージャル生成器「Infinigen」を導入する。Infinigenは完全にプロシージャルである:形状からテクスチャまで、すべてランダムな数学規則により一から生成され、外部ソースを一切使用せず、無限に多様かつ組み合わせ可能な構成を可能にする。

  • Infinigen Indoors: Photorealistic Indoor Scenes using Procedural Generation - CVPR’24, 2024. [All Versions]. 本研究では、Infinigen Indoorsと呼ばれる、Blenderを基盤としたリアルな室内シーンを生成するプロシージャル生成システムを提案する。既存のInfinigenシステム(自然シーンに特化)を基盤とし、家具、建築要素、家電、日常用品など多様なプロシージャル室内資産を備えたライブラリを導入することで、室内シーンへの適用を拡張。さらに、シーン構成における多様な制約を表現するためのドメイン特定言語と、その制約を最大限満たすシーン構成を生成するソルバーを導入。著者らは、生成された3DオブジェクトやシーンをOmniverseやUnrealなどのリアルタイムシミュレータでエモディーメントエージェントの訓練に直接使用できるエクスポートツールを提供している。Infinigen IndoorsはBSDライセンスのもとでオープンソースである。

  • “We Need Structured Output”: Towards User-centered Constraints on Large Language Model Output - CHI EA’24, 2024. [All Versions]. [Preprint]. 大規模言語モデルは創造的かつ多様な応答を生成できるが、開発者ワークフローに統合するためには、その出力が特定のフォーマットや基準に従うように制約を適用することが必要である。本研究では、51人の業界経験者を対象に、ユーザー中心の視点から出力制約が必要なシナリオや動機を調査。著者らは、低レベル(出力の構造や長さを確保)と高レベル(意味・スタイルガイドラインに従い、幻覚を排除)の2レベルにわたる134の具体的な使用例を特定。出力制約の適用は、開発者がLLMプロンプトを開発・テスト・統合する繰り返し作業を効率化し、LLMを活用した機能やアプリケーションのユーザーエクスペリエンスを向上させる。著者は、ユーザーがLLM向けに意図した制約を明確に表現するための好みやニーズ、および初期の制約プロトタイピングツールの設計について述べている。

  • Evolution-inspired engineering of nonribosomal peptide synthetases - Science, 2024. [All Versions]. 臨床的に使用される多くの薬剤は、アミノ酸やアシル基の結合によって段階的に構成される自然微生物産物から導出されている。進化解析の洞察に基づき、2つの独立した研究グループが、これらの分子を生成する複雑な酵素複合体を、適切な結合ポイントを知れば、必要な時に新しい製品を即座に生成できると示している。Bozhüyükらは、非リボソームペプチド合成酵素を用いてXUT(Tドメイン間の交換単位)というアプローチを開発し、5つの異なるシステムの断片を含む酵素複合体によってプロテアソーム阻害剤を生成した。Mabesooneらは、ポリケト酸合成酵素を用いて、概念的に類似する交換単位の削除・挿入を容易に実現し、多様な変異を持つ多くの関連ポリケト酸製品を生成した。これらのアプローチは、大規模酵素複合体の合理的設計を進展させ、小分子薬品の発見および生産において重要な一歩を踏み出した。

  • OCTOPUS: operation control system for task optimization and job parallelization via a user-optimal scheduler - Nature Communications, 2024. [All Versions]. ロボティクスと人工知能を活用した材料加速プラットフォームは、多様な分野における材料発見プロセスを飛躍的に進化させるアプローチであるが、複数ユーザーによる実験の同時管理において課題が生じる。特に、複数ユーザーが利用する際、実験モジュールや装置の重複した課題が、リソースの効率利用や安全リスクに影響を及ぼす。この課題を解決するために、本研究では材料加速プラットフォーム向けの運用制御システム、OCTOPUS(タスク最適化とジョブ並列化を実現するユーザー最適スケジューラに基づく運用制御システム)を提案。OCTOPUSは、インターフェースノード、マスターノード、モジュールノードを統合することで、実験スケジュールの簡易化とリソース効率の最適化を実現。プロセスのモジュライズとネットワークプロトコルを活用し、プラットフォームの均一性、拡張性、安全性、汎用性を確保。さらに、OCTOPUSはユーザー最適スケジューラを備え、ジョブ並列化とタスク最適化により、現実的な運用環境における遅延や安全リスクを軽減し、閉包スケジュールアルゴリズムにより、リソースの浪費を最小限に抑えながら複数ジョブを効率的に実行。OCTOPUSのコピオットは、ユーザーが独自の実験リソースを持つ場合でも、GPTの提案とクライアントフィードバックを活用してコード生成とカスタマイズを簡易化するためのツールとして開発された。本研究は、複数ユーザーがアクセスするプラットフォームにおける課題を解決し、材料開発プロセスにおける広範な採用を促進する。

*Back to Top

宣言型DSLの応用

  • The BioPAX community standard for pathway data sharing - Nature Biotechnology, 2010. [All Versions]. [Preprint]. 生物経路交換(BioPAX)は、分子・細胞レベルでの生物経路を表現し、経路データの交換を促進する標準言語である。BioPAXは、代謝経路やシグナル経路、分子・遺伝子相互作用、遺伝子調節ネットワークを表現できる。

  • Learning the language of viral evolution and escape - Science, 2021. [All Versions]. ビルスが変異し、人間の免疫系を回避して感染を引き起こす「逃げ出し(viral escape)」は、抗ウイルス薬やワクチン開発の障壁となっている。逃げ出しの複雑な規則を理解することは、治療設計に貢献する可能性がある。本研究では、人間の自然言語に用いられた機械学習アルゴリズムを用いて、ビーロスの逃げ出しをモデル化した。著者らは、ウイルスの感染性を維持しつつ免疫系に見せかけを変えるような変異を「逃げ出し変異」と定義し、これは文の文法性を保ちつつ意味を変える語の変更に類似している。このアプローチにより、インフルエンザの血球凝集素、HIV-1の包膜糖タンパク質(HIV Env)、および重症急性呼吸器症候群コロナウイルス2(SARS-CoV-2)のスパイクタンパク質の言語モデルは、シーケンスデータのみから構造的な逃げ出しパターンを正確に予測できる。本研究は、自然言語とウイルス進化の間にある有望な概念的橋渡しを示している。

  • A high-level programming language for generative protein design - 2022. [All Versions]. 基本的な構成要素を複雑な形に組み合わせることは、普遍的な設計原則である。これまでのタンパク質設計は、自然界から作られたパーツを用いて手動で下から構築してきたが、生物学的な複雑性のため、上から設計は根本的に難しい。本研究は、タンパク質設計において長年求められてきたモジュール性とプログラミング性が、生成型人工知能によって実現できることを示している。高度なタンパク質言語モデルは、原子分解レベルの構造やタンパク質設計の原則を自発的に学習する。著者らは、これらの進展を活用し、高複雑度の新規タンパク質のシーケンスおよび構造のプログラミング設計を可能にしている。まず、著者らは、モジュール構成要素に基づく高度なプログラミング言語を提示し、設計者が望む性質を簡単に組み合わせることができる。次に、原子分解レベルの構造予測に基づくエネルギー型生成モデルを開発し、プログラムされた性質を持つすべての原子構造設計を実現している。原子座標、二次構造、対称性、多体化といった多様な規制を含む設計仕様の構築により、このアプローチの一般性と制御性が示された。階層的複雑度が増加する規制を列挙することで、このアプローチが組み合わせ的に非常に大きな設計空間にアクセスできることが示された。

  • Artificial intelligence driven design of catalysts and materials for ring opening polymerization using a domain-specific language - Nature Communications, 2023. . 機械学習(ML)および自動実験の進展が、ポリマー科学の研究を大きく加速させる。データ表現は、MLの統合を可能にする重要な要素であるが、多くのデータモデルは非常に硬直性を持ち、ポリマー科学で見られる多様な実験およびデータタイプを適切に扱うことが難しい。この硬直性は、研究者が過去のデータをML開発に活用する上で大きな障壁となる。本研究は、専門分野の言語(Chemical Markdown Language、CMDL)が、多様な実験タイプおよびポリマー構造を柔軟かつ拡張可能に、一貫性を持って表現できることを示している。CMDLは、過去の実験データをスムーズに活用し、回帰変換器(RT)モデルを調整するための生成型分子設計タスクに適用できる。著者らは、リング開口ポリマー化における触媒およびポリマーの生成と実験的検証を通じて、このアプローチの有用性を示している。ただし、CMDLが他のポリマークラスにも広く適用可能であることを例示している。特に、CMDLを調整したモデルはポリマー構造内の重要な機能基を保持し、実験検証が可能であることを示しており、CMDLの柔軟性と、過去データを意味のある予測および生成モデルに変換し、実験的に実行可能な出力へと移行する能力が明らかになった。 [All Versions] [Project]

  • OpenLaw - OpenLaw.io. 法的契約の全または一部をコード(スマートコントラクト)でモデル化できるようになり、契約の作成、保護、生成におけるコストと摩擦が低下している。法務の専門家は、実行可能で法務専門家が理解できるような動的で「スマート」な契約を構築するための基本的なツールを備えていない。OpenLawは、次世代の「スマート」法的契約を支えるための技術スタックであり、専門分野のマーカップ言語、統合フレームワーク、および一連の一般アプリケーションを提供している。

  • Scenic: a language for scenario specification and data generation - Machine Learning, 2022. [All Versions]. 本論文は、シーンの分布とその中で行動するエージェントの時間的行動を記述するための専門分野の言語、Scenicを提案している。Scenicは、空間時間関係を簡潔かつ読みやすい構文で表現し、シナリオにハードおよびソフト制約を宣言的に課す能力を持つ。

  • Domain Specific Language for Smart Contract Development - ICBC’20, 2020. [All Versions]. [Preprint]. 本研究は、契約条項とソリディティ言語の実装コードとの概念的乖離がもたらす理解の難しさを、抽象度の高いドメイン特定のスマートコントラクト言語の設計と研究を通じて解決することを目的としている。この言語は、自動的に実装コードに変換可能である。

  • iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms - Information and Software Technology, 2022. [All Versions]. スマートコントラクトは多くの分野で重要な役割を果たしている。しかし、スマートコントラクトと呼ばれるものの開発は、契約ルールを定義する以上の、技術的にも複雑な作業である。ビジネス知識に加え、スマートコントラクトの開発には、多様な新規かつ急速に変化するドメイン特定言語やブロックチェーンプラットフォームに関する強力な技術知識が必要である。本論文の目的は、開発者が言語やターゲットブロックチェーンプラットフォームに依存せずにスマートコントラクトを独自に開発できるように支援することであり、これには第2世代のスマートコントラクト言語iContractML 2.0が提案されている。iContractML 2.0は、複数のブロックチェーンプラットフォームにデプロイ可能な機能をモデル化・生成できる拡張可能なフレームワークである。

  • PClean: Bayesian Data Cleaning at Scale with Domain-Specific Probabilistic Programming - ICML’21, 2021. [All Versions]. 本研究では、データセットに特化した知識を活用してベイズクリーニングを自動化し、現実世界の誤りパターンの多様性と推論の難しさを克服するための確率的プログラミング言語(PPL)PCleanを提示する。

  • A Language for Counterfactual Generative Models - ICML’21, 2021. [All Versions]. [Project]. 本論文では、反事実推論をサポートする確率的プログラミング言語Omegaを提示する。この機能は、ペールのdo演算子に類似する新しい演算子を確率的プログラミングに導入することによって達成される。

  • Product Line Engineering Using Domain-Specific Languages - ISPLC’11, 2011. [All Versions]. [Preprint]. 本論文は、製品ラインエンジニアリング(PLE)におけるドメイン特定言語の応用を検討する。まず、特徴モデルの表現力の限界を分析し、特徴モデルは再帰を含まない文法に対応しており、複数のインスタンスや参照の表現が不可能であることを示す。著者たちは、ドメイン特定言語(DSL)が特徴モデルとプログラミングの間の中間的な存在として機能できる可能性を示し、特徴モデルが限定的すぎる場合に活用できるとし、特徴モデルが提供する問題空間と解空間の分離を維持する。この研究では、特徴モデルとDSLの組み合わせを分類し、DSLをPLEの概念フレームワークに統合する。最後に、モデル、コード、構成のための一貫性と統一された形式を用いることで、変動性の管理およびトレース性の向上に重要な利点が得られることを示す。

  • A Domain-Specific Language for Product-Process-Resource Modeling - ETFA’21, 2021. [All Versions]. 本論文では、製品・プロセス・リソース(PPR)の側面を効果的かつ効率的に表現し、フォーマルプロセス記述標準(VDI 3682)におけるPPRビューの制約を評価するためのPPR-DSLの設計を提示する。

  • Configurable 3D Scene Synthesis and 2D Image Rendering with Per-pixel Ground Truth Using Stochastic Grammars - 国際計算機ビジョンジャーナル、2018年。[All Versions]。[Preprint]。本研究では、学習に基づく系統的なアプローチにより、大量の合成3Dシーンとその任意数のリアルな2D画像を生成し、その際に関連する真のデータを伴って、学習ベースの計算機ビジョンおよびロボティクスアルゴリズムの訓練、ベンチマーキング、診断に用いることを提案する。特に、著者は、確率的文法(属性付き空間And-Orグラフとして表現)と最先端の物理ベースレンダリングを組み合わせた学習ベースのパイプラインを設計し、室内シーンの無限に多様なバリエーションを自動生成・レンダリングできるようにする。このパイプラインは、シーンのレイアウトを高度に多様に合成でき、重要な属性の正確なカスタマイズと制御を可能にする。また、生成されたシーンのリアルなRGB画像をレンダリングし、各ピクセルの詳細な真のデータ(可視表面の深度と法線、物体識別、材料情報(物体の部分まで詳細)、環境(例:照明とカメラ視点)など)を自動生成する。著者は、特定の機械学習ベースのシーン理解タスク(深度と表面法線予測、セマンティックセグメンテーション、再構成など)における性能向上や、物体属性やシーンプロパティを制御的に変更することで、訓練済みモデルのベンチマーキングおよび診断の価値を示している。

  • The Scene Language: Representing Scenes with Programs, Words, and Embeddings - CVPR’25, 2025. [All Versions]. [Project]. 本論文では、視覚シーンを簡潔かつ正確に構造・意味・識別を描写する「Scene Language」を提案する。この表現は、シーンを3つの要素で表す:シーン内のエンティティの階層的および関係構造を指定するプログラム、各エンティティの意味クラスを要約する自然言語の語彙、および各エンティティの視覚的識別を捉える埋め込みベクトル。この表現は、テキストまたは画像入力に基づき、学習なしの推論技術を用いて、事前に訓練された言語モデルから導出可能である。

  • A prometastatic splicing program regulated by SNRPA1 interactions with structured RNA elements - Science, 2021. [All Versions]. 遺伝子の選択的スプライシングパターンにおける病変はがんの特徴として認識されているが、このプロセスを制御する根本的な調節プログラムはほとんど不明である。これらのプログラムをよりよく理解する上で大きな障壁は、通常用いられる生物情報学的手法が、RNAの二次構造が調節情報に与える寄与を捉えられない点にある。この点に対応するために、これまでにTEISER(RNAにおける情報的構造要素を引き出すためのツール)という計算フレームワークを開発した。TEISERはRNAの構造と配列情報を併用して、トランスクリプトーム変化に影響を与えるcis-調節要素を特定する。本研究では、実験的に得られたおよび追加の計算による予測RNA構造情報を組み込んだpyTEISER(pythonic TEISER)を導入し、スプライシングやRNA処理など、幅広いRNA関連プロセス、さらには定常状態の遺伝子発現にも関与するRNAの配列および構造コードを調査した。

  • Goals as reward-producing programs - 『Nature Human Behavior』2025. [All Versions]. [Project]. 人々は、子供の遊びから成人期に至るまで、自らの目標を生成する能力を持っている。目標や目標指向行動に関する多くの実証的研究や計算モデルが行われているにもかかわらず、現時点のモデルは、日常的な人間の目標の多様性を捉えきれていまだ。本研究では、人間が生成する遊びの目標(スコア可能な、一人プレイゲーム)のデータセットを収集し、それらを報酬を生むプログラムとしてモデル化し、プログラム合成を通じて新たな人間らしい目標を生成する。報酬を生むプログラムは、目標の豊かな意味を、組み合わせ、追加の時系列制約を許容するシンボリック操作によって捉え、行動のトレース上でプログラムの実行を用いて進捗を評価する。目標の生成モデルを構築するために、著者は無限に多くの目標プログラムの集合に対して適合性関数を学習し、質と多様性を考慮したアルゴリズムで新たな目標をサンプリングする。人間評価者によると、人間の例が占めるプログラム空間の分区からサンプリングされたモデル生成目標は、人間が作成したゲームと区別がつかない。また、著者はモデルの内部適合性スコアが、実際に遊ぶ楽しさや人間らしさの高いゲームを予測していることを発見した。

  • A Generalized Earley Parser for Human Activity Parsing and Prediction - IEEE Transactions on Pattern Analysis and Machine Intelligence, 2020. [All Versions]. シーケンスデータ(例:動画)の検出・解析および未来予測には、高レベル意味の非マルコフ性および構成性を捉えるアルゴリズムが必要である。文法はこのような性質を捉える自然な選択肢だが、従来の文法解析器(例:エアリー解析器)は記号文を入力として扱うのみである。本論文では、エアリー解析器を拡張し、分割もしくはラベルが与えられていないシーケンスデータを解析するものとする。任意の確率分類器の出力に基づき、この拡張エアリー解析器は入力文法が定義する言語における最適な分割とラベルを求める。解析結果をもとに、トップダウンで未来を予測する。提案手法は汎用的であり、原理的であり、広範な応用が可能である。実験結果は、人間行動の解析および3つの動画データセットにおける未来予測において、この手法の有効性を明確に示している。

  • Structured Generative Models for Scene Understanding - International Journal of Computer Vision, 2025. [All Versions]. 本ポジション論文は、静止シーンの理解において構造的生成モデル(SGMs)の利用を主張する。これは、入力画像(または複数視点画像)から3Dシーンを再構成し、その画像の内容を、個々のオブジェクトのタイプ、形状、外観、姿勢、およびシーンの照明やカメラパラメータといったグローバル変数を含むモデルで因果的に説明することを要する。このアプローチは、シーン内のオブジェクト間の共現および相互関係を考慮するシーンモデルの構築も必要とする。SGMアプローチは、構成性および生成性を持つため、解釈可能性と編集可能性をもたらすという利点がある。SGMアグレードを推進するためには、オブジェクトおよびシーンのモデル、および推論を行う手法が必要である。著者はまず、形状が明確に定義された「物」(object categories)と、空間的に無形な「物質」(stuff categories)を含むオブジェクトモデルをレビューする。次に、オブジェクト間の相互関係を記述するシーンモデルについてもレビューする。SGMにとって最も困難な課題は、単一または複数の画像からオブジェクト、照明およびカメラパラメータ、およびシーン間の相互関係を推論することである。著者は、SGMアグレードを進展させるために解決すべき問題について検討を終える。

  • Algorithm for optimized mRNA design improves stability and immunogenicity - Nature, 2023. [All Versions]. メッセージRNA(mRNA)ワクチンがCOVID-19の拡散を抑えるために用いられているが、mRNAの不安定性と分解により、保存、配布および効果において重大な制限が生じている。二次構造の長さを増加させることでmRNAの半減期が延び、最適なコードオンと組み合わせることでタンパク質発現が向上する。したがって、mRNA設計アルゴリズムは構造的安定性とコードオン使用の両方を最適化する必要がある。しかし、同義コードオンの存在により、mRNA設計空間は極めて広大である—for example、SARS-CoV-2のスパイクタンパク質に対して約2.4 × 10632の候補mRNAシーケンスがある。これは計算上の困難をもたらす。本研究は、計算言語学における古典的な「ラティス解析」概念を用いて、最適なmRNAシーケンスの探索を、類似した音声を持つ選択肢の中から最も可能性の高い文の特定に類似させることで、シンプルかつ予想外の解決策を提供する。アルゴリズムLinearDesignは、スパイクタンパク質の最適mRNA設計を11分で見つけることができ、安定性とコードオン使用の両方を同時に最適化できる。LinearDesignはmRNAの半減期およびタンパク質発現を大幅に改善し、COVID-19および水痘帯状疱疹ウイルスのmRNAワクチンにおけるコードオン最適化ベンチマークと比較して、マウスでの抗体濃度を最大128倍まで向上させる。この結果は、構成的mRNA設計の巨大な可能性を明らかにし、これまで到達できなかったが非常に安定かつ効率的な設計の探索を可能にする。本研究は、モノクロナーライドや抗がん薬などの治療タンパク質をコードするワクチンおよびその他のmRNAベースの医薬品にとって、即時的なツールとなる。

  • Penrose: from mathematical notation to beautiful diagrams - ACM Transactions on Graphics, 2020. [All Versions]. 本研究では、数学図の作成に用いられるPenroseというシステムを導入する。その基本機能は、馴染みのある数学的な表記法で書かれた抽象的な記述を、1つまたは複数の視覚表現に変換することである。固定された視覚化ツールライブラリに頼らず、視覚表現は制約に基づく指定言語でユーザーが定義され、その後、制約付き数値最適化により自動的に生成される。このシステムは、数学の多くの分野に拡張可能であり、反復設計探索に十分な速度を持つ。直接操作または低レベルグラフィックスプログラミングで図を指定するツールとは異なり、Penroseは、根本的な数学的意味を忠実に保持した図の迅速な作成と探索を可能にする。著者は、数学およびコンピュータグラフィックスの多様な概念を視覚化する方法として、このシステムの有効性と一般性を示している。

  • LegalLanguage: A Domain-Specific Language for Legal Contexts - EEWC’19, 2019. [All Versions]. 現在、法的オントロジーは法的分野で利用されているが、立法および生産プロセスでは十分に探索されていない。本論文は、法的オントロジーを立法および生産プロセスの支援ツールとしての導入を分析し、特に、法案の提出からその作成および承認までの活動に焦点を当てる。本論文は、法的(または規範的)オントロジーの現状と、いくつかの応用例を紹介する。この現状の分析により、法の作成および検証活動が非常に人間中心的であり、誤りが多発するという問題が明らかになる。この分析の結果、著者はLegalLanguageという言語を導入し、法の作成および指定においてより厳密かつ体系的な方法を提供し、異なる種類の法間の関係(例:条項間や法間の構造的、順序的または時系列関係)を追跡できるようにする。

  • GarmentCode: Programming Parametric Sewing Patterns - ACM Transactions on Graphics, 2023. [All Versions]. グラムのモデリングは、グローバルな衣料業界の基本的なタスクであり、デジタルヒューマンモデリングの中心的な部分である。現実的な衣類の表現と有効な縫製パターンの構築は、その正確なデジタルシミュレーションおよび最終的な製造に不可欠である。しかし、構成目標の高レベルとパターン幾何学の低レベル編集の間のギャップを埋めるための計算ツールはほとんど存在せず、例えば衣類要素の結合や切り替え、意味論的な編集、あるいは縫製パターンの有効性を維持しながら設計を探索といった機能が不足している。本研究では、オブジェクト指向プログラミングの原則を衣類構成に応用し、縫製パターンを階層的かつコンポーネント指向に設計できる初めてのDSL「GarmentCode」を提案する。プログラミングベースのアプローチは、コンポーネント抽象、アルゴリズム操作、自由設計パラメータ化といった独自の利点を提供する。著者たちは、ドーツを指定した場所に配置するといった典型的な低レベルタスクを自動化することで、構成プロセスを支援する。プロトタイプの衣類設定ツールでは、ユーザーが意味のある設計パラメータや体測定値を操作でき、パターン幾何学の構築はGarmentCodeで実装された衣類プログラムが担う。

  • VMC: A Grammar for Visualizing Statistical Model Checks - IEEE Transactions on Visualization and Computer Graphics, 2024. [All Versions]. ビジュアライゼーションは、統計モデルの検証と改善において重要な役割を果たす。しかし、モデルチェックビジュアライゼーションの設計空間は十分に理解されておらず、著者が効果的なグラフィカルモデルチェックを探索・指定する上での困難を生じている。VMCは、モデルチェックビジュアライゼーションを以下の4つの要素で定義する:(1) モデルから生成されたチェック可能な量の分布サンプル、包括的に新しいデータの予測分布およびモデルパラメータの分布;(2) 観測データへの変換による比較の容易化;(3) 分布の視覚表現;(4) モデルサンプルと観測データを比較するためのレイアウト。本研究では、VMCをRパッケージとして実装し、既存のモデルチェック例を再現することでVMCの有効性を検証し、VMCを用いてモデルチェックを生成することで、既存のビジュアライゼーションツールキットと比較して視覚表現の編集距離を減少させることを示す。3人の専門モデルリーダーがVMCを使用したインタビュー調査の結果から、正しいかつ効果的なモデルチェックビジュアライゼーションの探索を促進するための課題と機会を明らかにする。

  • RoboGrammar: graph grammar for terrain-optimized robot design - ACM Transactions on Graphics, 2020. [All Versions]. 本研究では、RoboGrammarと呼ばれる完全自動化手法を提示し、与えられた地形を通過するための最適化されたロボット構造を生成する。このフレームワークは、各ロボット設計をグラフとして表現し、物理的なロボットアセンブリの可能な配置をグラフ文法で表現する。各ロボット設計は、文法規則のシーケンスとして表現できる。わずかな規則セットで、数百万人ものロボット設計を記述できる。文法の構築により、設計空間は製造可能な設計に限定される。与えられた入力地形に対して、最優秀なロボット設計とその対応する制御器を探索する。著者たちは、組合せ設計空間の効率的な探索を実現する新しい手法「グラフヒューリスティックサーチ」を導入する。グラフヒューリスティックサーチでは、設計空間を探索しながら、不完全な設計(例:組合せ検索木のノード)を拡張することで達成可能な最良性能値にマッピングする関数を学習する。この手法は、設計空間の最も有望な枝の探索を優先する。この手法を検証するために、著者は複数の困難で多様な地形に対してロボットを最適化する。著者は、RoboGrammarが、単一地形または複数地形に最適化された非自明なロボットを成功裏に生成できることを示す。

*Back to Top

論理DSLの応用

  • Situation Calculus - Wikipedia. Wikipediaにおけるシチュエーション計算論、動的領域を表現・推論するための論理形式。

  • What is Answer Set Programming? - Springer, 2008… アンサーファミリープログラミング(ASP)は、困難な探索問題に特化した声明型プログラミングの一種である。非単調論理の知識表現における研究の結果として生まれたものであり、知識指向アプリケーションにおいて特に有用である。ASPプログラムはプロログ規則に似た規則から構成されるが、ASPが用いる計算機構は異なる:それらは論理の命題充足性ソルバーの開発に寄与したアイデアに基づいている。 [All Versions] [Tutorial on AAAI]

  • Answer Set Programming - ICLPNR’99, 1999. [All Versions]. [Preprint]. 回答集合プログラミング(ASP)の元論文。ASPは、困難な探索問題に向けた宣言型プログラミングの一種であり、知識表現における非単調論理の利用を扱う。問題の解決は、従来の論理プログラミングとは異なり、クエリに対する回答置換ではなく、回答集合(安定モデルとも呼ばれる)で表現される。

  • Action Languages, Answer Sets, and Planning - The Logic Programming Paradigms, 1999. [All Versions]. [Preprint]. 論理プログラミングの視点から、行動の表現とプランナー設計に関する成果と課題について述べる。著者は、行動言語の最新研究とそれらを論理プログラミングに変換する話題、行動領域の可能性のある履歴を回答集合で表現する話題、回答集合意味の効率的な実装とそのプラン生成への応用、因果論理とプランニングアルゴリズムの関係について述べる。これらの分野における最新進展は、論理プログラミングの思想に基づいたプランナーの開発を促進し、表現力の高い行動記述言語と効率的な計算手続きを組み合わせたプランナーの創出につながる可能性がある。

  • Qualitative Simulation - Artificial Intelligence, 1986. [All Versions]. [Preprint]. 本論文は、微分方程式および連続的に微分可能な関数の抽象としての質的構造と行動記述の正確な定義を提示する。著者は、既存アルゴリズムの優れた特徴を一般化した新しい質的シミュレーションアルゴリズムを提示し、異なるアプローチ間の直接比較を可能にする。微分方程式から抽象化された制約集合を起点として、本研究はQSIMアルゴリズムが元の方程式の任意の解に対応する質的行動を生成することを保証するという結果を示す。また、質的シミュレーションアルゴリズムは、与えられた制約を満たすメカニズムに一致しない「虚偽の質的行動」を時折生成することを示しており、これは質的因果推論システムの設計やメカニズム記述知識ベースの構築および検証において、特定の注意を払う必要があることを示している。

  • Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge - MIT Press, 1994. [All Versions]. 本書は、過去15年間で開発された、不完全な知識を持つ物理システム(バスタブ、ティーカップ、自動車、人体の生理、化学プロセス、制御システム、電気システムなど)の質的モデルの構築とシミュレーションに用いられる手法を、概念的に統一された理論フレームワーク内で提示する。この作業の主なツールは著者のQSIMアルゴリズムであり、詳細に説明される。質的モデルは、連続メカニズムに関する不完全な知識の状態を表現する上で、従来のモデルよりも優れた能力を持つ。質的シミュレーションは、モデル内の知識と一致するすべての可能な行動を保証するため、診断、設計、監視、説明など、人工知能のさまざまな応用において重要である。

  • Qualitative and quantitative simulation: bridging the gap - Artificial Intelligence, 1997. [All Versions]. 質的シミュレーションおよび定量的シミュレーションの欠点から、両者の組み合わせによるシミュレーションが、両者の強みを併せ持つものとして提案される。その結果として生じた技術のクラスは「半定量シミュレーション」と呼ばれる。半定量シミュレーションの一つのアプローチは、不完全な定量情報を数値区間で表現することである。この研究は、Q3という実装された半定量シミュレータを用いて、区間を用いた半定量シミュレーションを実証する。Q3は質的シミュレーションを段階的に精緻化し、徐々に具体的な定量的予測を提供し、極限では数値シミュレーションに収束しつつ、質的および区間シミュレーションの重要な正確性保証を維持する。

  • A Logic Programming Language for Computational Nucleic Acid Devices - ACS Synthetic Biology, 2018. [All Versions]. この論文は、計算核酸系の設計および解析を可能にする論理プログラミング言語を提示している。この言語は標準論理プログラミングに新たな等式理論を追加し、核酸分子モチーフを表現するものであり、システム全体に存在する一致するモチーフを自動的に特定し、論理規則として表現された変換を適用する。

  • Genetic circuit design automation with Cello 2.0 - Nature Protocol, 2022. [All Versions]. [Preprint]. 個々の細胞は環境と相互作用し、同士の間で通信し、時間の経過を追跡し、自然な調節遺伝回路によって制御された関数を通じて意思決定を行う。臨床療法やその他の応用に用いられる合成プログラマブル回路は、コンピュータ支援ツールによって自動的に設計可能である。Celloソフトウェアは、高度なソフトウェア記述と、論理ゲートを表す特徴付けられたDNA部品のライブラリをもとに、プログラム回路のDNA配列を設計する。このプロセスにより、設計仕様の再利用、モジュラーなDNA部品ライブラリの管理、実験データに基づく形式化された回路変換が可能になる。本プロトコルは、Javaで書かれた自由に利用可能なマルチプラットフォームソフトウェアであるCello 2.0を説明している。Cello 2.0は、論理ゲートの構造および動的行動を表す数学モデルの柔軟な記述、ゲートの遺伝子配置に関する新たな形式規則、新たなグラフィカルユーザーインターフェース、Verilog 2005構文のサポート、およびSynBioHub部品リポジトリソフトウェア環境との連携を提供する。これらの機能により、Celloは大腸菌のプラスミドにとどまらず、新たな生物および広範な遺伝的文脈(包括して遺伝子組成)にまで拡張される。Cello 2.0で回路を設計すると、Verilogファイルから抽象的なブールネットワークが生成され、その各ノードに生物学的部品が割り当てられ、DNA配列が構築され、構造的かつ注記された配列表現が生成され、それぞれが後続プロセスや製造に適した形で提供される。結果として、指定されたブール関数が生物体内で実行され、回路の性能に関する予測が得られる。設計空間の規模やユーザーの専門性に応じて、処理時間は数分から数時間までかかる。

  • MoVer: Motion Verification for Motion Graphics Animations - ACM Transactions on Graphics, 2025. [All Versions]. 大規模な視覚言語モデルは、テキストプロンプトから運動グラフィックスアニメーションを生成できるが、プロンプトに記述された空間時間的性質をすべて含めることは頻繁に失敗する。本研究では、第一順序論理に基づく運動検証DSL(MoVer)を導入し、運動グラフィックスアニメーションの空間時間的性質を検証できるようにする。著者たちは、人々がアニメーションを記述する際によく用いる一般的な性質の集合を特定し、これらをMoVerの述語として実装し、任意のSVGベースの運動グラフィックスアニメーションに適用可能な実行エンジンを提供する。その後、MoVerがLLMベースの合成および検証パイプラインにおいて、運動グラフィックスアニメーションを反復的に改善する用途を示す。テキストプロンプトが与えられた場合、パイプラインは運動グラフィックスアニメーションと対応するMoVerプログラムを合成する。アニメーションに検証プログラムを実行することで、失敗した述語の報告が得られ、この報告は自動的にLLMにフィードバックされ、アニメーションを反復的に修正する。

  • The KoLMogorov Test: Compression by Code Generation - ICLR’25, 2025. [All Versions]. 壊れは知能の中心にある。データの任意のシーケンスを圧縮する理論的に最適な方法は、そのシーケンスを出力し、停止する最短プログラムを見つけることである。しかし、このようなコルモゴロフ圧縮は計算不可能であり、LLMがこの理論的極限を近似することは困難である。なぜなら、これは現在のモデルの範囲を超える推論、計画、探索能力を必要とするためである。本研究では、コード生成LLM向けの圧縮としての知能テストであるKoLMogorov-Test(KT)を導入する。KTでは、推論時にデータシーケンスが提示され、モデルがそのシーケンスを生成するための最短DSL(タスクに特化した)プログラムを生成するよう求められる。著者たちは、評価および訓練においてKTがもたらすいくつかの利点を指摘する:難易度が異なる問題インスタンスが理論的に無限に存在し、既存の強力なベースラインが存在し、評価メトリクス(圧縮)は操作できない、かつ事前訓練データの汚染が極めて低い。現在のモデルの評価には、音声、テキスト、DNAデータおよびランダムに生成された合成DSLプログラムによって生成されたシーケンスを用いる。

  • Meta-analysis of the functional neuroimaging literature with probabilistic logic programming - Scientific Reports, 2022. [All Versions]. 可靠な脳行動関連を推論するには、数千の機能性神経画像研究のデータをメタ解析によって統合する必要がある。しかし、現行のメタ解析ツールは、単純な神経科学概念に限定され、問うことができる範囲が制限されている。本研究では、NeuroLang:神経画像メタ解析において仮説を表現および検証するために用いるドメイン特定言語を設計することで、メタ解析の範囲を拡張する。人工知能と知識表現の交差点にある形式論理を活用し、NeuroLangは神経画像データに固有な不確実性を自然にモデル化しながら、より広範な仮説を扱う表現力を提供する。著者たちは、構造・機能関連に関する実用例を通じて、NeuroLangの能力を示し、3つの典型的な脳ネットワークの特定機能的役割を推論し、視覚語形領域が視覚空間注意に与える役割を支持し、前頭側頭制御ネットワークの異質な組織構造を調査した。

  • Prototyping an Ontological Framework for Cellular Senescence Mechanisms: A Homeostasis Imbalance Perspective - Scientific Data, 2024. [All Versions]. セルularな老化は個体の老化において重要な要因であり、個体に正の影響も負の影響も及ぼすが、そのメカニズムはほとんど不明である。そのため、細胞老化が組織損傷や年齢関連疾患にどのように現れるかを説明するためには、知識の統合が不可欠である。本研究では、細胞老化に関する知識をコンピュータが読み取れる形で構造化するための本質モデルを提案する。著者は、ホメオスタシス不均衡プロセスオントロジー(HOIP)を基に、細胞老化のプロセス、分子、解剖構造、現象、およびその他のエンティティを手動でアノテーションし、定義した。著者は、プロセス間の因果関係としてメカニズムを記述し、細胞老化におけるストレスとストレス反応の間のホメオスタシス不均衡を統一フレームワークとしてモデル化した。HOIPは形式的に評価され、細胞老化と疾患の関係が高次知識処理に用いられるように推論された。著者は、細胞老化プロセスを可視化し、知識の活用を支援した。本研究は、細胞老化と個体老化の関連メカニズムを解明するための知識ベースを提供する。

  • Knowledge-Based Embodied Question Answering - IEEE Transactions on Pattern Analysis and Machine Intelligence, 2023. [All Versions]. 本論文では、知識に基づく体験型質問応答(K-EQA)タスクを提案する。このタスクでは、エージェントが環境を知的に探索し、知識を用いて多様な質問に答える。従来の明示的に質問に目的対象を指定するEQAsとは異なり、エージェントは外部知識を活用して、「部屋に使われる食品を切るための道具は何か?」といった複雑な質問を理解できる。このK-EQA問題を解決するために、ニューラルプログラム合成推論に基づく新しいフレームワークが提案され、外部知識と3Dシーングラフの連携推論が行われ、ナビゲーションと質問応答が実現される。特に、3Dシーングラフは訪問したシーンの視覚情報を記憶するためのメモリを提供し、複数回質問に対する応答の効率を大きく向上させる。実験結果から、提案されたフレームワークは体験環境における複雑で現実的な質問に答える能力を持つことが確認された。この手法は、複数エージェントシナリオにも適用可能である。

  • Explainable Robotic Plan Execution Monitoring Under Partial Observability - IEEE Transactions on Robotics, 2022. [All Versions]. 自動システムにおける計画生成は、目標状態に到達するためには必要だが、十分ではない。計画実行中に、期待される状態と観測された状態の間にさまざまなズレが生じる(例:予期しない外部イベント、目標の変更、ロボット部品の故障など)が、これらは計画の失敗を引き起こす可能性がある。そのため、自動システムには、このようなズレに対して自己回復できる実行監視アルゴリズムを備える必要がある。本研究では、部分観測下で動作する計画実行監視アルゴリズムを導入する。このアルゴリズムは、ハイブリッド予測、診断および説明生成、計画のための新しい形式論理を用いる。予測モジュールは、不完全な状態から計画の一部の実行後の期待される状態を生成し、ズレを検出する。診断推論モジュールは、ロボット部品の故障を説明する意味のある仮説を生成する。従来の診断手法とは異なり、以前の仮説は新たな部分観測に基づいて修正され、さらに情報が得られるにつれて説明の精度が向上する。再計画モジュールは、これらの説明を考慮しながら、故障を回避する新しい計画を計算する。すべての推論モジュールは、高レベルの論理推論と低レベルの確率ベースの実行可能性チェックを組み合わせたハイブリッド構造を持つ。著者は、これらのハイブリッド形式論理モジュールが計画実行監視の性能を向上させることを実験的に示した。

  • LogSay: An Efficient Comprehension System for Log Numerical Reasoning - IEEE Transactions on Computers, 2024. [All Versions]. スマートシステムやアプリケーションの発展により、システム維持に必要な重要なデータを記録する大量ログが生成される。システム開発者は、通常、ログを分析してシステムやアプリケーションの状態を追跡する必要がある。そのため、大量ログの中から質問に対する答えを見つけることが極めて重要である。本研究では、正確かつ効率的に答えを予測するための多段階「リトリーバー-リーダー」質問応答システム、LogSayを設計した。このシステムは、単純な質問(例:ログのセグメントやスパン)だけでなく、数理的推論を用いて複雑な論理質問にも答えることができる。LogSayは、ログリトリーバーとログリーダーの2つの主要なコンポーネントを持つ。著者は、これらを実現するため5つのオペレーターを設計した。ログリトリーバーは、質問に基づいて関連するログを検索する。その後、ログリーダーは数理的推論を実行し、最終的な答えを導出する。さらに、システムログ向けの質問応答データセットが存在しないため、著者は3つの公開ログデータセットをもとに質問応答データセットを構築し、公開する予定である。評価結果から、LogSayは正確性および効率性において、最先端の手法を上回ることが示された。

*Back to Top

DSLプログラム合成

  • Learning to Infer Graphics Programs from Hand-Drawn Images - NeurIPS’18, 2018. [All Versions]. この手法は、プログラム合成技術を用いて、描画プリミティブからグラフィックプログラムを回復するモデルを学習する。これらのプログラムには変数バインディング、繰り返しループ、または簡単な条件分岐などの構造がある。グラフィックプログラムを手に入れたことで、深層ネットワークが犯した誤りを訂正し、描画を外挿できるようになった。

  • babble: Learning Better Abstractions with E-Graphs and Anti-unification - POPL’23, 2023. [All Versions]. 本論文では、問題領域に応じた等式理論を入力として取り込む新たなライブラリ学習アルゴリズム「ライブラリ学習モジュロ理論(LLMT)」を提案する。LLMTはeグラフと等式飽和を用いて、理論モジュロで等価なプログラムの空間をコンパクトに表現し、新たなeグラフ反統一技術を用いて、コーパス内の共通パターンをより直接的かつ効率的に発見する。

  • Top-Down Synthesis for Library Learning - POPL’23, 2023. [All Versions]. 本論文では、ドメイン特定言語(DSL)におけるプログラムコーパスから共通機能を捉えるライブラリ関数を合成するための「コーパスガイドドトップダウン合成」を導入する。このアルゴリズムは、初期のDSLプリミティブから直接抽象を構築し、中間抽象の文法パターンマッチングを用いて検索空間を知的に絞り込み、コーパス内の共有構造を最大限捉える抽象へとアルゴリズムを導く。

  • DreamCoder: growing generalizable, interpretable knowledge with wake–sleep Bayesian program learning - Philosophical Transactions of the Royal Society A, 2023. [All Versions]. [Preprint]. 本論文では、問題をプログラムで解決する能力を持つ「DreamCoder」というシステムを提示する。このシステムは、ドメイン概念を表現するためのドメイン特定プログラミング言語と、その中でプログラムを探索するためのニューラルネットワークを構築することで専門性を獲得する。‘ウェイク–スリープ’学習アルゴリズムは、新しいシンボリック抽象を言語に追加し、想定されたおよび再現された問題を用いてニューラルネットワークを訓練する。DreamCoderは、古典的な誘導プログラミングタスクおよび絵を描く、シーンを構築するといった創造的タスクも解決する。

  • Synthesizing theories of human language with Bayesian program induction - Nature Communications, 2022. [All Versions]. 科学モデルや理論の自動化・データ駆動型構築および評価は、人工知能分野における長期的な課題である。本研究では、人間の言語の基本部分である「形音学」(音から語形を構成するシステム)のモデルをアルゴリズム的に合成するフレームワークを提示する。著者たちはベイズ推論とプログラム合成、そして言語理論および学習・発見の認知モデルに由来する表現を統合する。58の異なる言語から得られた70のデータセットにおいて、システムは各言語の形音学の核心部分に対して人間が解釈可能なモデルを合成し、場合によっては人間言語学者が提唱したモデルに近い結果を達成する。さらに、すべての70データセットを統合して推論することで、人間が解釈可能な言語間のタイプ学的傾向を記述するメタモデルが自動的に合成される。最後に、同アルゴリズムは少数サンプルでの学習ダイナミクスを捉え、1つまたは少数の例から新たな形音則を習得する。これらの結果は、言語学やその他の科学分野における人間解釈可能なモデルの機械的発見をより強力に実現する道を開くことを示唆する。

  • Grammar Prompting for Domain-Specific Language Generation with Large Language Models - NeurIPS’23, 2023. [All Versions]. グラムマープロミプトは、Backus—Naur Form(BNF)で表現された外部知識やドメイン特定制約を、コンテキスト内学習中に大規模言語モデル(LLM)が利用できるようにするシンプルなアプローチである。グラムマープロミプトは、各デモンストレーション例に、特定の出力例を生成するために最小限に必要な専門的なグラムマーを追加する。この専門的なグラムマーは、フルDSLグラムマーの部分集合である。推論時には、LLMがテスト入力に対してBNFグラムマーを予測し、そのルールに基づいて出力を生成する。実験結果から、グラムマープロミプトは、意味解析(SMCalFlow、Overnight、GeoQuery)、PDDL計画、およびSMILESベースの分子生成など、多様なDSL生成タスクにおいて、LLMが競争力を持つ性能を発揮することが確認された。

  • Errors are Useful Prompts: Instruction Guided Task Programming with Verifier-Assisted Iterative Prompting - 2023. [All Versions]. [Project]. [Website]. 本論文では、データが限られたドメイン特定言語で書かれたプログラムが文法的に正しく、環境制約を含むようにするため、自動反復プロミプトとプログラム検証を組み合わせたCLAIRIFYというアプローチを提案する。

  • PhotoScout: Synthesis-Powered Multi-Modal Image Search - ACM SIGCHI’24, 2024. [All Versions]. 本論文では、ユーザーが自然言語で説明し、正例・負例、オブジェクトタグを提供して意味的な画像検索を実行できる新しいマルチモーダル画像検索手法を検討する。このツールPhotoScoutは、ドメイン特定言語で視覚検索クエリを生成し、合成されたプログラムを実行して目的の画像を検索するプロセスを実現している。

  • Expert-level protocol translation for self-driving labs - NeurIPS’24, 2024. [All Versions]. [Project]. AIモデルの進化により、科学発見への応用が進展しているが、その発見の検証と探索には実験が必要となる。自律実験室の概念は、AIによる発見後の実験プロセスを自動化し、効率化することを目指しているが、人間が理解できる実験プロトコルを機械が解釈できる形式に変換するには、構造化された言語の必要性、明示的な知識の重要性、およびプロトコルの各ステップにおける因果性と一貫性の維持といった課題がある。現時点で、プロトコルの変換は主にドメイン専門家とIT専門家による手動作業に依存しており、時間がかかる。この課題に対応するために、本研究では、構造化されたプロトコル依存グラフ(PDG)を段階的に構築する3段階ワークフローを提案し、文法レベルで構造化され、意味レベルで完成し、実行レベルでリンクされたプロトコル変換フレームワークを構築した。定量的および質的評価により、このフレームワークは専門家と同等の性能を示し、自律実験室における自動化能力の向上により、科学発見プロセスを大幅に加速・民主化する可能性を示している。

  • Mathematical discoveries from program search with large language models - Nature, 2024. [All Versions]. 大規模言語モデル(LLM)は、定量的推論や自然言語理解といった複雑なタスクを解決する能力を示しているが、LLMは時折「フィクション」(または「ハラクション」)を起こし、妥当だが誤った記述を生成することがある。これは、現在の大規模モデルの科学発見への適用を妨げている。本研究では、事前学習済みLLMと体系的な評価器を組み合わせた「FunSearch(関数空間での探索)」という進化プロセスを導入し、重要な問題において既存の成果を上回る効果を示している。特に、極端な組合せ論の中心問題である「キャップセット問題」にFunSearchを適用することで、有限次元および漸近的なケースにおいて、既知の最良解を上回る新しいキャップセット構成を発見した。これは、既存の未解決問題においてLLMを用いて発見を行うことが可能であることを示している。また、アルゴリズム問題であるオンラインバインパッキングにFunSearchを適用し、広く使われているベースラインを上回る新しいヒューリスティックを発見した。多くのコンピュータ検索手法とは異なり、FunSearchは問題解決のためのプログラムを探索するものであり、解決策そのものではなく、そのプロセスを探索する。発見されたプログラムは、原始的な解決策よりも解釈しやすく、ドメイン専門家とFunSearchのフィードバックループを可能にし、実世界アプリケーションへの導入を支援する。

  • CoLadder: Manipulating Code Generation via Multi-Level Blocks - UIST’24, 2024. [All Versions]. 本論文では、プログラマーがLLMを用いてプログラムを作成する際の戦略を理解するため、反復設計プロセスを採用した。著者らは、階層的なタスク分解、直接的なコードセグメント操作、プロミプト作成中の結果評価を支援する新しいシステム「CoLadder」を提案した。12名の経験豊富なプログラマーによるユーザスタディ結果から、CoLadderはプログラマーが柔軟に問題解決意図を外部化し、さまざまな抽象レベルからコードの評価・修正能力を向上させる上で有効であることが明らかになった。

  • InverseCSG: automatic conversion of 3D models to CSG trees - ACM Transactions on Graphics, 2018. [All Versions]. コンピュータ支援設計(CAD)は多くの現代製造プロセスにおいて重要な役割を果たしているが、生成される設計ファイルは通常、原始的な幾何学的形状を記述している。この表現では、設計がどのように生成されたかというプロセスが失われている。本論文では、3Dモデルがどのように生成されたかを、構成固体幾何学(CSG)という言語で逆に再構成する手法を提示する。CSGが形式文法であることに着目し、著者はこの逆CSG問題をプログラム合成問題として定式化する。その解決策は、幾何学的処理と最先端のプログラム合成技術を組み合わせたアルゴリズムである。このスキームでは、CSG木の混合離散・連続領域を純粋な離散領域に変換し、現代のプログラム合成器が優れた性能を発揮できるようにする。著者は、複数の例(100個以上の基本部品を含むものも含む)において、このアルゴリズムの効率性とスケーラビリティを示している。著者は、単純なプログラムが真の状態に近いことを示し、メッシュ再編集におけるこの手法の適用可能性を確認している。最後に、既存の最先端手法と比較し、このアルゴリズムが生成されたCSGのコンパクトさおよび実行時間において優位であり、かつこれまでのすべての手法よりもはるかに複雑なメッシュを処理できることを示している。

  • pix2code: Generating Code from a Graphical User Interface Screenshot - ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018. [All Versions]. [Code]. [Website]. 本論文は、深層学習手法を活用し、ユーザーインターフェースを自動的に逆工程化し、1つの入力画像からiOS、Android、ウェブベース技術の3つのプラットフォームに対応したコードを生成できるモデルをエンドツーエンドで訓練できる可能性を示している。正確率は3つのプラットフォームにおいて77%以上である。

  • Free2CAD: parsing freehand drawings into CAD commands - ACM Transactions on Graphics, 2022. [All Versions]. CADモデリングは業界標準であるが、2つの主要な障壁により、専門家に限定された使用となっている。第一に、ユーザーが最終的な形状を、有効なCAD命令の連続列に精神的に分解できる必要がある;第二に、ユーザーがCADソフトウェアに十分な知識を持ち、対応する命令を実行できる必要がある。これらの課題を解決するための一歩として、本研究ではFree2CADを提案する。ユーザーは最終的な形状をスケッチするだけで、システムが入力の筆跡を簡易CAD言語で表現された命令の列に解析する。この命令を実行すると、スケッチされたオブジェクトが再現される。技術的には、著者はスケッチベースのCADモデリングをシーケンス・ツー・シーケンスの翻訳問題として捉え、強力なTransformerニューラルネットワークアーキテクチャを活用する。筆跡のシーケンスを入力として、著者は個々のCAD操作に該当する筆跡をグループ化する新しいタスクを導入する。著者は、筆跡のグループ化と操作パラメータの幾何学的適合を組み合わせ、中間グループが幾何学的に補正された後、それらを次のシーケンス推論の文脈として再利用する。合成データ上で訓練されたにもかかわらず、著者はFree2CADが現実世界のCADモデルから作成されたスケッチや、初心者によるスケッチにも一般化できることを示している。

  • ShapeAssembly: learning to generate programs for 3D shape structure synthesis - ACM Transactions on Graphics, 2020. [All Versions]. 3D形状を手動で作成するのは困難で、時間もかかる。3D形状の生成モデルは、魅力的な代替案を提供する。プロシージャル表現はその一つである:高品質かつ編集可能な結果を提供するが、作成が難しいため、出力の多様性が限られている。対極にあるのは深層生成モデルである:十分なデータがあれば、どんな形状クラスも学習し、生成できるが、その出力にはアーティファクトがあり、表現は編集できない。本研究は、新しい3D形状合成において、両者の長所を統合する一歩を踏み出す。著者は、3D形状構造に特化した「アセンブリ言語」であるShapeAssemblyを提案する。ShapeAssemblyプログラムは、立方体部品のプロキシを宣言し、それらを階層的かつ対称的に接続することで形状構造を構築する。ShapeAssembly関数は連続自由変数でパラメータ化されており、1つのプログラム構造が関連する形状のファミリーを捉えることができる。著者は、PartNetデータセットにある既存の形状構造からShapeAssemblyプログラムを抽出する方法を示し、その後、階層的シーケンスVAEという深層生成モデルを訓練し、新しいShapeAssemblyプログラムを生成できるようにする。このアプローチは、それぞれの表現の強みを活かす:プログラムは解釈可能で編集可能な形状変動の部分を捉え、深層生成モデルは形状コレクション間の変動と相関を捉え、プロシージャル表現では表現しづらい部分をカバーする。

  • ShapeMOD: macro operation discovery for 3D shape programs - ACM Transactions on Graphics, 2021. [All Versions]. 詳細で操作しやすい3D形状を構築するための一般的な方法は、プロシージャルモデリングである、すなわちプログラムを使って幾何学を生成することである。このようなプログラムは、一連の命令とその関連するパラメータ値から構成される。この表現のメリットを完全に実現するためには、形状プログラムがコンパクトで、出力幾何学の意味のある操作を可能にする自由度のみを公開すべきである。この目標を達成するための一つの方法は、高レベルのマクロ操作を設計し、実行時にベースの形状モデリング言語の命令系列に展開することである。しかし、このようなマクロの手動作成は、形状プログラムそのものと同様に困難であり、ほとんど専門家に限定されている。本論文では、ShapeMODと名付けたアルゴリズムを提示し、大量の3D形状プログラムデータセットにおいて有用なマクロを自動的に発見する。ShapeMODは、命令ベースの文法で表現された形状プログラムに作用する。その目的は、入力形状集合を表現するために必要な関数呼び出しと自由パラメータの数を最小化することにより、プログラムをコンパクトにすることである。著者は、3D形状構造に特化した言語で表現された複数のプログラム集合に対してShapeMODを実行する。著者は、ShapeMODが自動的に、大規模な形状集合に共通する構造的およびパラメトリックパターンを抽象化する簡潔なマクロ集合を発見していることを示している。さらに、著者は、ShapeMODが発見したマクロが、形状生成モデリングや点クラウドからプログラムを推論するといった後続タスクのパフォーマンス向上をもたらすことを示している。最後に、ユーザー研究を実施し、ShapeMODが発見したマクロがインタラクティブな形状編集を効率化していることを示している。

  • ShapeCoder: Discovering Abstractions for Visual Programs from Unstructured Primitives - ACM Transactions on Graphics, 2023. [All Versions]. 本研究では、形状データセット(無構造プリミティブで表現)を入力として受け取り、その中で(i)有用な抽象関数と(ii)これらの抽象を用いて入力形状を説明するプログラムを同時に発見するShapeCoderを提案する。発見された抽象は、データセット全体における構造的およびパラメトリックな共通パターンを捉え、その上で生成されたプログラムはよりコンパクトになり、誤った自由度を抑制する。ShapeCoderは、より複雑な入力に対して、厳密な入力仮定を必要とせずに、より優れた抽象を発見するため、従来の抽象発見手法を大幅に改善する。これは、(a)形状からプログラムへの認識ネットワークによる部分問題の解決学習と(b)条件付きリライトを用いたeグラフの活用による、複雑なパラメトリック表現を持つ抽象が実用的に適用可能であることを保証するための二つの方法論的進展に起因する。著者は、プリミティブ分解が手動注釈から解析されたり、無教師学習による立方体抽象法で生成されたりする、複数の3D形状データセット上でShapeCoderを評価し、すべての分野において、高レベルの関係性を捉え、不要な自由度を除去し、他のアプローチと比較してデータセットの圧縮効果を達成する抽象のライブラリを発見した。最後に、発見された抽象を用いて書き直されたプログラムが、後続タスクにおいて実際に有用であることを検証する。

  • Learning attribute grammars for movement primitive sequencing - International Journal of Robotics Research, 2020. [All Versions]. 運動プリミティブは現代ロボット分野でよく研究され、広く応用されている概念である。しかし、既存のプリミティブライブラリからプリミティブを組み合わせるという問題は、依然として難しく残っている。本研究では、確率的文法を用いて、与えられたプリミティブライブラリから複雑なロボットポリシーを生成するためのプリミティブのシーケンスを構築する方法を提案する。形式文法のルールベース構造により、階層構造を持つタスクを直感的に表現できる。この階層的構想は、ロボットポリシーの学習・整理・再利用方法と強く結びついている。しかし、文法の誘導は依然として複雑で、解決されていない課題である。著者は、ロボット運動プリミティブの物理的性質を活かし、文法空間を制限し、効率的に探索する。文法は観測に基づく文法のポストリーダをマーカーチェーンモンテカルロ最適化によって学習される。提案分布は、探索空間における演算子の確率の混合として定義される。さらに、確率的運動プリミティブの分類手法を提示し、二つのプリミティブが接続可能かどうかを決定する方法を検討する。これらの特性と演算子への制限の組み合わせにより、連続したシーケンスを保ちながら文法空間を縮小する。また、属性と条件のセットを導入し、確率的文法に追加することで、シーケンス内の単一プリミティブを適応的に変更できるようにする。この手法は、7自由度の軽量ロボットアームを用いて、単純な運動プリミティブから構成される複雑なシーケンス生成を必要とするタスクで検証された。

  • LogiCode: An LLM-Driven Framework for Logical Anomaly Detection - IEEE Transactions on Automation Science and Engineering, 2024. [All Versions]. 本論文では、大規模言語モデル(LLM)を活用して工業環境における論理的異常を検出するLogiCodeという新しいフレームワークを提示する。従来の構造的不整合にとどまらず、論理的不整合の検出に進化する。LLMを論理的推論に活用することで、LogiCodeは自動的にPythonコードを生成し、誤った部品数や欠落要素といった異常を特定する。これは異常検出技術における大きな進展である。独自のデータセット「LOCO-Annotations」とベンチマーク「LogiBench」を導入し、二値分類精度、コード生成成功率、推論精度といった指標でLogiCodeの性能を評価する。結果は、LogiCodeの解釈性の向上を示し、論理的異常検出の精度を大幅に向上させ、特定された異常に対して詳細な説明を提供している。これは工業異常検出分野において、より知能のあるLLM駆動アプローチへの重要な転換を示しており、業界特化アプリケーションに大きな影響をもたらす可能性がある。

  • Synthesis of Incremental Linear Algebra Programs - ACM Transactions on Database Systems, 2020. [All Versions]. 本論文は、統計モデル、機械学習プログラム、グラフアルゴリズムなどの高度な分析を線形代数プログラムとして表現した際のインクリメンタルビュー維持(IVM)を対象とする。本研究では、LAGOと呼ばれる線形代数の統一フレームワークを提示し、効率的なインクリメンタルトリガープログラムを自動合成することで、ユーザーが誤りを生む手動導出、パフォーマンスチューニング、低レベル実装の細部から解放される。このフレームワークの鍵となる技術は抽象解釈であり、分析プログラムのさまざまな性質を推論する。これらの性質が、効率的なインクリメンタルトリガーの自動合成に必要な推論力を提供する。著者は、回帰モデルからグラフ計算まで幅広いアプリケーションにおいて、このフレームワークの有効性を評価する。

  • Enhancing Robot Program Synthesis Through Environmental Context - NeurIPS’23, 2023. [All Versions]. プログラム合成は、与えられた仕様に従って自動的に実行可能なプログラムを生成することを目的とする。最近の進展では、深層ニューラル手法および大規模事前学習言語モデルがプログラムの意味を正確に捉えられることが示されている。ロボットプログラミングにおいては、これまでの研究ではグローバル環境を組み込むことでプログラム合成を支援してきたが、全体環境を包括的に理解するという仮定は、実際には非常に困難である。本研究では、部分的に観測された環境を用いて、潜在的に誤ったコードセグメントを訂正することでプログラムを合成するフレームワークを提案する。部分観測に対する注意不足の問題を解決するために、著者はまず、各プログラムトークンの影響を前提条件に基づいて暗黙に評価できる環境埋め込み空間を学習する。さらに、グラフ構造を用いることで、環境情報と文法情報の流れを統合し、スムーズなプログラム訂正ガイドを提供する。部分観測されたVizDoom領域における広範な実験評価および消去実験の結果から、この方法は多様なタスクにおいて優れた一般化能力を持ち、ノイズに遭遇した際にも高い耐性を持つことが確認された。

  • On the Effectiveness of Large Language Models in Domain-Specific Code Generation - ACM Transactions on Software Engineering and Methodology, 2025. [All Versions]. 大規模言語モデル(LLMs)のようなChatGPTは、コード生成において優れた能力を示している。しかし、その知識習得には膨大な訓練データが必要であり、開域知識の幅広い習得に依存している。また、評価はHumanEvalなどの開域ベンチマークに依存しており、これらは主にプログラミングコンテストから成り立つ。そのため、特定の分野(例:Web、ゲーム、数学)における複雑さや課題を完全に把握するのは難しい。本研究では、分野ごとのコード生成におけるLLMの詳細な調査を行った。結果から、LLMは分野固有のライブラリを適切に活用できず、分野固有コードの生成において最適な性能を発揮していないことが分かった。著者は、API知識をプロンプトに組み込むことで、LLMがより専門的なコードを生成できるようになると観察した。これらの結果に基づき、API知識をコード生成プロセスに効果的に組み込む方法を検討した。著者は、外部知識尋問、チェーンオブシンクプロミプト、チェーンオブシンクファインチューニングの3つの戦略を実験した。これらを「DomCoder」と名付け、実験結果から、DomCoderのすべての戦略が特定の設定下で分野固有コード生成の効果を向上させることを示した。

*Back to Top

認知的基盤

  • The Child as Hacker - Trends in Cognitive Sciences, 2020. [All Versions]. 人間の学習と発達の範囲は、認知科学にとって極めて深刻な課題を投げかけている。著者は、コンピュータ科学の視点を採用することで、この課題を解決できると提案している。多くの優れたモデルでは、学習をコンピュータプログラミングに類似させているが、シンボリックプログラムが複雑な精神的表現を最も説明できるためである。著者は特に、子どもたちの学習が「ハッキング」と呼ばれる特定のプログラミングスタイルに類似していると提唱し、開かれた目標と活動を通じてコードを多面的に改善すると述べている。既存の理論が主に局所探索と単純な評価基準に依存するのに対し、この視点は、優れた精神的表現の特徴や、子どもがそれらを構築するために用いる複数の補完的プロセスを強調している。

  • How laypeople evaluate scientific explanations containing jargon - Nature Human Behavior, 2025. [All Versions]. 個体は他者の専門性をもとに、世界の基本的な理解を得ている。しかし、定義上評価できない説明から、非専門家が理解を得る方法は何か?9回の実験(合計6,698人:Study 1A=737;1B=734;1C=733;2A=1,014;2B=509;2C=1,012;3A=1,026;3B=512;4=421)において、本研究は専門用語を含む科学的説明に焦点を当て、このパズルを解決した。著者は、専門用語の導入が説明の満足度を高める「いつ」および「なぜ」を特定した。専門用語が説明の満足度を高めるのは、一般の人々が専門用語が説明の欠落部分を埋めていると仮定しているためである。また、これらの判断をバイアスから脱却するための戦略を明らかにした。人々が自ら説明を生成する際、専門用語を含む劣った説明に対する過大評価が減少し、自らの説明能力の評価がより正確になることが分かった。

  • Communicating Natural Programs to Humans and Machines - NeurIPS’22, 2022. [All Versions]. 人間は一般言語で指示を容易に生成・解釈できるが、コンピュータシステムは、正確に実行できる限定された分野専用言語に縛られている。これにより、新しい状況(例:ARC)に一般化できる知能システムの構築が困難である。人間が生成する指示を「自然プログラム」と呼ぶ。これらはコンピュータプログラムに似ているが、2つの点で異なる:第一に、それらには広範なプリミティブが含まれる;第二に、それらは直接実行可能なコードを超えて、コミュニケーション戦略を頻繁に活用する。

  • Symbolic metaprogram search improves learning efficiency and explains rule learning in humans - Nature Communications, 2024. [All Versions]. プログラム学習に基づくシンボリックモデルは、多くの分野におけるルール学習を成功裏に説明しているが、プログラムの複雑性が増すにつれて性能が急激に低下する。人間の行動をモデル化するためのシンボリックルール学習手法をスケーリングする方法はまだ不明である。本研究では、メタプログラム空間(プログラムを修正するプログラム)におけるシンボリック探索が、学習効率を劇的に向上させることを示した。100のアルゴリズム的に複雑なルールを対象とした行動ベンチマークにおいて、このアプローチは代替モデルよりも人間の学習をより正確に再現し、かつ探索量が数桁少ない。人間の平均的なパフォーマンスに一致する計算量は、人間の思考時間の保守的な見積もりと一致している。この結果から、メタプログラムのような表現が、人間の学習者がルールを効率的に習得するのを支援している可能性がある。

*Back to Top

問題解決

人間水準の問題解決

*Back to Top

計画

*Back to Top

内発的動機づけ

*Back to Top

強化学習

*Back to Top

逆強化学習

*Back to Top

システム1とシステム2

二重符号化理論

*Back to Top

ニューラル記号AI

*Back to Top

説明可能性

信頼できるAI

  • Bayesian modeling of human–AI complementarity - Proceedings of the National Academy of Sciences, 2022. [All Versions]. 人間と機械の予測および信頼度スコアを組み合わせるベイズフレームワーク。

  • A tale of two explanations: Enhancing human trust by explaining robot behavior - Science Robotics, 2019. [All Versions]. [Preprint]. 選択された行動について包括的な説明を行う能力は、知能の特徴である。この能力の欠如は、AIおよびロボットシステムが重要なタスクにおいて一般に受け入れられにくい原因となる。本論文は、人間が機械に信頼をもつために最も効果的な説明の形を検討し、機能的および機械的視点から説明を生成するフレームワークを提案する。ロボットシステムは、人間のデモンストレーションから医薬品の蓋を開ける行動を学習し、(i) 身体的感覚フィードバックから知識を抽出する体験的予測モデル、(ii) 多段階タスクの構成構造を捉える確率的文法モデル、(iii) 身体的フィードバックと文法モデルを同時に活用する改善されたエアリー解析アルゴリズムを用いる。ロボットシステムは、人間のデモンストレーションから学習する能力を示し、新しい未見の蓋を開けることに成功する。ロボットが生成するさまざまな形の説明を用いて、人間の信頼を促進する最も効果的な説明の形を心理実験で検証した結果、ロボットの内部決定を包括的かつリアルタイムで可視化した説明が、要約的なテキスト説明に基づく説明よりも人間の信頼を促進するという結果を得た。さらに、信頼を高めるため最も効果的な説明の形は、タスクパフォーマンスに貢献するモデル成分とは必ずしも一致しないことが示され、これはロボット分野においてモデル成分を統合して、タスク実行と人間の信頼を両立させる必要性を示している。

  • X-ToM: Explaining with Theory-of-Mind for Gaining Justified Human Trust - CVPR XAI Workshop’19, 2019. [All Versions]. 本研究では、AI機械における人間の正当な信頼と依存を高めるための新たな説明可能なAI(XAI)フレームワークを提示する。著者は、説明を機械と人間ユーザー間の反復的コミュニケーション(つまり対話)として捉える。より具体的には、機械が対話の各段階で、(a) 人間の意図(または好奇心)、(b) 人間が機械についての理解、(c) 機械が人間ユーザーについての理解を考慮した説明のシーケンスを生成する。これには、Theory of Mind(ToM)を用いる。ToMは、人間の意図、人間が機械として推測する機械の心、および機械が人間として推測する人間の心を明示的にモデル化するのに役立つ。つまり、ToMの明示的な心の表現を用いて、人間の認識と信念を考慮した最適な説明ポリシーを学習する。さらに、著者はToMが機械に対する正当な人間の信頼を定量的に測定する上で、すべての三つの心の表現を比較することによって、その効果を示している。我々のフレームワークを、画像分類、行動認識、人体ポーズ推定の三つの視覚認識タスクに適用した。著者は、我々のToMに基づく説明が、専門家および非専門家ユーザーにとって複雑な機械学習モデルの内部仕組みを理解しやすいと主張している。これは、ToMを用いて説明を導出する初めての研究である。広範な人間実験により、我々の仮説が検証され、提案された説明が、人間の信頼、依存、説明満足といったすべての標準的な定量的および質的XAI評価メトリクスにおいて、最適なXAI手法を大幅に上回ることが示された。

  • CoCoX: Generating Conceptual and Counterfactual Explanations via Fault-Lines - AAAI’20, 2020. [All Versions].

  • CX-ToM: Counterfactual explanations with theory-of-mind for enhancing human trust in image recognition models - iScience, 2022. [All Versions]. 本研究では、深層コネクショナルニューラルネットワーク(CNN)の決定を説明するための新しい可解AI(XAI)フレームワーク「CX-ToM」(理論の理解をもとにした反事実説明)を提案する。従来のXAI手法が説明を一括で生成するのに対し、本研究では説明を機械と人間ユーザーとの対話プロセス(ディアログ)として捉え、機械と人間の「心の差異」を中間的に調整することで、一連の説明を生成する。このプロセスには「理論の理解(ToM)」を用い、人間の意図や機械が人間がどのように見ているか、人間が機械がどのように見ているかを明示的にモデル化する。さらに、最先端のXAIフレームワークは通常、注意(またはヒートマップ)に基づく説明を提供するが、本研究ではそのような説明が、人間の信頼を高めるには不十分であることを示す。CX-ToMでは、反事実説明として「fault-lines」を用いる。これは、CNN分類モデルMが入力画像Iに対してクラスcpredを予測する場合、Iに追加または削除すべき最小の意味レベルの特徴(例:ゾウの縁の模様)を「説明可能な概念」と呼ぶ。この概念を変更することで、Mがクラスcaltに分類するようになる。実験結果は、CX-ToMが最先端のXAIモデルに比べて著しく優れていることを示している。

  • Explaining machine learning models with interactive natural language conversations using TalkToModel - Nature Machine Intelligence, 2023. [All Versions]. マシンラーニング(ML)モデルの利用が広がっているが、モデルの複雑さが増し、理解が難しくなっている。複雑なモデルを理解するため、研究者がモデル予測の説明手法を提案しているが、実務家はどの説明を選ぶべきか、どのように解釈すべきかを理解できていない。本研究では、説明手法の利用を困難とする課題に対し、「TalkToModel」というインタラクティブディアログシステムを提案する。TalkToModelは、自然言語による会話でMLモデルを説明する。このシステムは、自然言語を解釈し、意味のある応答を生成する適応型ディアログエンジン、会話に使用される説明を構築する実行コンポーネント、および会話インターフェースの3つの要素から構成される。実世界の評価では、医療従事者は73%が、病気予測モデルの理解にTalkToModelを採用すると言った。また、ML専門家は85%がTalkToModelの使いやすさに同意しており、これはTalkToModelがモデル説明において非常に効果的であることを示している。

*Back to Top

強い機械学習

  • Ultra-Strong Machine Learning: comprehensibility of programs learned with ILP - Machine Learning, 2018. [All Versions]. 1980年代、Michieは機械学習を「予測精度」と「生成仮説の理解可能性」の2つの直交軸で定義した。予測精度は測定しやすく、理解可能性はそれほどでなかったため、1990年代の定義(例:Mitchellの定義)は、予測精度のみに基づく1次元的なアプローチを採用し、統計的機械学習を符号的機械学習に優先した。本論文では、人間参加試験によって評価可能な仮説の理解可能性の定義を提供する。著者は、論理プログラムの理解可能性を検証する2つの実験を実施した。第1の実験では、述語の発明ありなしで人間の理解可能性を検証し、結果から、プログラムの複雑さだけでなく、匿名述語の存在が理解可能性に影響を与ることを示した。第2の実験では、最先端のILPシステムがMichieの意味での「超強力機械学習(USML)」であるかを直接検証し、Metagolシステムを人間試験に選出した。結果は、参加者は例から関係概念を自ら学習できなかったが、ILPシステムが提供した関係定義を正しく適用できた。これは、人間が学習しにくい関係概念のクラスが存在するが、抽象的な説明があれば理解しやすいことを示しており、このクラスの理解を深めることが、人間の学習や指導、言語的相互作用の文脈に潜在的な関連性を持つ可能性があると著者は考える。

  • Beneficial and harmful explanatory machine learning - Machine Learning, 2021. [All Versions]. 深層学習のAIにおける最近の成功により、機械学習理論における説明の役割と必要性が注目されている。この文脈における特異な概念として、Michieが定義した「超強力機械学習(USML)」がある。USMLとは、人間に符号的機械学習理論を提供することで、タスクの実行能力が測定可能な程度で向上することを示す。最近の論文は、分類タスクにおける機械学習論理理論の有益な効果を示しているが、機械の介入が人間の理解に悪影響を及ぼす可能性については、これまでの研究が検討されていない。本論文は、シンプルな2人対戦ゲームにおける機械学習理論の説明効果を検討し、認知科学の文献に基づき、機械説明の有害性を特定するためのフレームワークを提案する。このアプローチは、2つの定量的境界を含む「認知窓」と呼ばれ、人間試験から収集された実証データで支持されている。定量的および質的結果は、認知窓を満たす符号的機械学習理論を用いた人間学習が、自ら学習した人間の学習よりも著しく高い性能を達成していることを示している。また、認知窓を満たさない符号的機械学習理論を用いた人間学習は、未支援の人間学習よりも著しく劣る結果を示している。

  • Deep Forest: Towards An Alternative to Deep Neural Networks - IJCAI’17, 2017. . 本論文では、gcForestと呼ばれる決定木のアンサンブル手法を提案する。この手法は、幅広いタスクにおいて、深層ニューラルネットワークと同等の性能を発揮する。深層ニューラルネットワークはハイパーパラメータチューニングに多くの努力を要するのに対し、gcForestは訓練が非常に容易で、実験において異なるドメインの異なるデータに適用しても、ほぼ同じハイパーパラメータ設定で優れた性能を達成できる。gcForestの訓練プロセスは効率的であり、ユーザーは利用可能な計算リソースに応じて訓練コストを調整できる。gcForestは自然に並列実装に適しており、効率がさらに向上する可能性がある。さらに、深層ニューラルネットワークは大量の訓練データを必要とするのに対し、gcForestは小さな訓練データでも良好な性能を発揮できる。 [All Versions] [Project]

  • NBDT: Neural-Backed Decision Trees - ICLR’21, 2021. [All Versions]. [Code]. ファイナンスや医療といった機械学習アプリケーションでは、正確かつ正当な予測が求められるため、多くの深層学習手法は実用化されない。その対応として、これまでの研究では決定木と深層学習を組み合わせ、得られたモデルは(1)正確性を犠牲にした解釈性の向上または(2)解釈性を犠牲にした正確性の向上となっている。本研究は、Neural-Backed Decision Trees(NBDTs)を用いて、正確性と解釈性の両方を同時に向上させることで、このジレンマを回避する。NBDTsは、ニューラルネットワークの最終線形層を、微分可能な決定のシーケンスと代替損失に置き換えることで、モデルが高レベルの概念を学習し、確信の低い決定に依存するのを減らす。これにより、(1)正確性において、NBDTsはCIFAR、ImageNetにおいて現代のニューラルネットワークと同等または優れており、未見クラスへの一般化性能は最大16%向上する。さらに、代替損失により元のモデルの正確性は最大2%向上する。また、(2)解釈性においても、モデルの誤りを明確に特定し、データセットのバグ診断を支援することで、人間の信頼を高める。

*Back to Top

説明可能な深層学習

*Back to Top

身体性知能

*Back to Top

進化的知能

*Back to Top

実験方法論

定量分析

*Back to Top

行動研究の大規模化

*Back to Top

意思決定

*Back to Top

質問応答

*Back to Top

人間と機械の比較

*Back to Top

連想テスト

*Back to Top

仮想現実

*Back to Top

メタレベルの考察

メタ学習

*Back to Top

Marrの分析レベル

*Back to Top

ゲシュタルト

*Back to Top

アハ体験

*Back to Top

合理性

*Back to Top

認知アーキテクチャ

*Back to Top

科学学

科学哲学

*Back to Top

科学の科学

  • Metascience - ウィキペディア

  • Science of Science - Science, 2018. [All Versions]. 科学の科学に関する包括的な大規模レビュー.

  • Finding Scientific Topics - Proceedings of the National Academy of Sciences, 2004. [All Versions]. Thomas L. Griffiths による科学的テーマに対するベイズモデルによる分析.

  • Meta-assessment of Bias in Science - Proceedings of the National Academy of Sciences, 2017. [All Verisions]. 科学におけるバイアスパターンおよびリスク要因の分析.

  • Slowed Canonical Progress in Large Fields of Science - Proceedings of the National Academy of Sciences, 2021. [All Verisions]. ある分野における年間発表論文数が多すぎると、進展ではなく停滞を引き起こす理由に関する分析。

  • HCI Research as Problem-Solving - ACM SIGCHI’16, 2016. [All Versions]. 本論文は、人間とコンピュータの相互作用(HCI)研究を問題解決の観点からメタ科学的に考察するものである。ラリー・ラダンの科学の基礎概念である「問題」と「解決策」の哲学を踏まえ、HCI研究は主に実証的、概念的、構築的な3つの問題タイプに分類されるという主張を行う。

*Back to Top

文献マイニング

  • Structured information extraction from scientific text with large language models - Nature Communications, 2024. [All Versions]. 本論文は、名前付きエンティティ認識と関係抽出を同時に行うシンプルなアプローチを提示し、事前に学習された大規模言語モデルを微調整することで、複雑な科学知識の有用な記録を抽出できることを示す。著者たちは、材料化学における3つの代表的なタスクを検証した:ドーパントとホスト材料のリンク、金属有機フレームワークのカタログ化、および一般の組成・相・形態・応用情報の抽出。

  • Automated extraction of chemical synthesis actions from experimental procedures - Nature Communications, 2020. [All Versions]. 本論文は、英語で書かれた非構造化実験手順を、成功を収めるための必要なすべての操作を反映する構造化合成手順(行動シーケンス)に変換する手法を提示する。

  • Inferring experimental procedures from text-based representations of chemical reactions - Nature Communications, 2021. [All Versions]. 本論文は、化学反応の対応する化学式のテキスト表現から出発して、合成手順の全過程を予測するデータ駆動型モデルを提示し、バッチ有機化学への応用を示す。

  • Language models and protocol standardization guidelines for accelerating synthesis planning in heterogeneous catalysis - Nature Communications, 2023. [All Versions]. 本論文は、触媒発見における自動合成プロトコル分析に用いるトランスフォーマーモデルを導入し、単原子異質触媒(SACs)という急速に拡大する触媒ファミリーを例に示す。このモデルはSACプロトコルを行動シーケンスに変換し、その出力により合成傾向や応用に関する統計的推論を促進し、文献のレビューおよび分析を加速する可能性がある。

  • An intelligent guided troubleshooting method for aircraft based on HybirdRAG - Scientific Reports, 2025. [All Versions]. 航空機の故障診断効率を高めるために、本論文は知識グラフと大規模言語モデル(LLM)を統合したハイブリッドなトラブルシューティングフレームワーク「HybridRAG」を提案する。従来の検索強化生成(RAG)手法は、単一モーダル検索に依存しているが、HybridRAGは多次元検索戦略を採用し、ベクトルベースおよびBM25ベースのテキスト検索とグラフベースの推論を組み合わせる。このハイブリッドアプローチにより、非構造化テキストと構造化故障グラフから関連情報が包括的に抽出され、診断の正確性、関連性、耐性が向上する。実験結果では、HybridRAGは主流のRAGベースラインと比較してF1スコアで少なくとも4%向上し、ホラクション率を7%以上低減した。これらの進展と、多モーダル検索の独自統合により、HybridRAGは航空機保守における複雑な課題に対処するための新たなフレームワークとして位置づけられる。さらに、本論文では、よりインタラクティブで適応的かつ柔軟な診断質問応答を支援するアグエントベースの知的トラブルシューティングアシスタントを提示し、保守担当者に高度な知能を持ち、文脈に応じた診断ツールを提供する。

  • Dual retrieving and ranking medical large language model with retrieval augmented generation - Scientific Reports, 2025. [All Versions]. 大規模言語モデル(LLM)の進化により、さまざまな分野におけるテキスト生成が大幅に向上しているが、医療分野への応用では正確性とリアルタイム対応性の両方において深刻な課題が残っている。これらの二つの課題に対応するために、本研究では、埋め込み検索とElasticsearch技術を統合した、二段階検索およびランク付けを用いた新しいRAGフレームワークを提案する。動的に更新される医療知識ベース(主要医療機関の専門家レビューされたドキュメントを含む)に基づき構築されたこのハイブリッドアーキテクチャは、ColBERTv2を用いて文脈意識型結果ランク付けを実現しつつ、計算効率を維持する。実験結果では、単独のLLMおよび単一検索RAGと比較して、複雑な医療質問に対して正確性が10%向上し、緊急事態において秒単位の応答が必要な場合の遅延課題は、実験環境では依然として存在するが、実際の導入環境ではより強力なハードウェアを用いることでリアルタイム対応が可能となる。本研究は、正確性と実用的な導入の両方をバランスよく達成する信頼性の高い医療AIアシスタントの新たな枠組みを確立する。

  • Galactica: A Large Language Model for Science - Meta AI, 2022. [All Versions]. 大規模科学的コーパスに基づいた大規模言語モデル。

  • CORWA: A Citation-Oriented Related Work Annotation Dataset - NAACL’22, 2022. [All Versions].

  • ESRA: Explainable Scientific Research Assistant - ACL’21 Demo Track, 2021. [All Versions]. 文献検索におけるキーワードの知識グラフを構築・可視化するツール。

  • cite2vec: Citation-Driven Document Exploration via Word Embeddings - 『IEEE Transactions on Visualization and Computer Graphics』2016年。[All Versions]。

  • Galex: Exploring the evolution and intersection of disciplines - 『IEEE Transactions on Visualization and Computer Graphics』2019年。[All Versions]。

*Back to Top

科学執筆

*Back to Top

科学教育

  • Cognitive Science and Science Education - American Psychologist, 1986. [All Versions]. スーハン・キャリーによる、認知科学に基づく科学教育研究手法に関するレビュー.

  • PersLEARN: Research Training through the Lens of Perspective Cultivation - ACL’23, 2023. [All Versions]. 科学的研究は、著者の視点に内在しており、性格、コミュニティ、社会などの要因によって影響を受ける。若手研究者は、既存文献に含まれる視点を特定し、自らの視点を形成する上で困難を抱えることが多い。この問題に対応するために、本論文はPersLEARNと呼ばれるツールを提案し、基本的なアイデアから始まり、明確に構成されたフレームワークへと進化する科学的視点の育成を支援する.

*Back to Top

科学の民主化

*Back to Top

研究室自動化

  • Reconfigurable system for automated optimization of diverse chemical reactions - Science, 2018. [All Versions]. [Preprint]. この論文は、ハードウェア、ソフトウェア、アナリティクスを統合したプラグアンドプレイ型の連続流化学合成システムを紹介しており、この課題を克服する。システムのソフトウェアは、ユーザーが選択した反応剤や単位操作(反応器および分離器)を制御し、反応分析(高圧液クロマトグラフィー、質量分析、振動スペクトロスコピー)を処理し、自動的に最適化を行う。

  • A universal system for digitization and automatic execution of the chemical synthesis literature - Science, 2020. [All Versions]. [Preprint]. この論文は、自然言語処理を用いて有機化学文献を直接編集可能なコードに翻訳するソフトウェアプラットフォームを報告している。そのコードは、実験室での化合物の自動合成を駆動することができる。 [XDL Documentation] [XDL Schema Database]

  • Digitization and validation of a chemical synthesis literature database in the ChemPU - Science, 2022. [All Versions]. [Preprint]. この論文は、現代有機合成で見られる反応範囲を代表する100分子の化学反応データベースを自動実行可能な形で提示している。これらの反応の化学反応コード(χDL)は、バージョン管理、検証、協働、データマイニングのためのデータベースに保存されている。この中で、データベースから50以上の項目がダウンロードされ、7台のモジュラー化学コンピュータでロボットによって実行され、専門家化学者が達成したような収率と純度を実現している。

  • Chemputation and the Standardization of Chemical Informatics - Journal of the American Chemical Society (Au), 2021. [All Versions]. 本論文は、すべての化学合成を包含する標準ハードウェア(化学プロセスプログラミングアーキテクチャ―ChemPU)を提示し、固体相ペプチド合成からHTEフロー化学プラットフォームまですべての化学自動化戦略を統合する一方で、研究者間の化学コード(χDL)の共有を可能にする出版標準を確立する。

  • An autonomous portable platform for universal chemical synthesis - Nature Chemistry, 2022. [All Versions]. [Preprint]. 本論文は、合成および精製に必要なすべてのモジュールを内蔵した携帯型のスーツケースサイズの化学合成プラットフォームを提示する。このシステムは、文献ベースのテキスト合成をもとに、化学プログラミング言語とデジタル反応生成器を組み合わせて反応器と実行可能なプロトコルを生成し、同時に反応圧の指紋を生成して反応器内のプロセスをモニタリングし、遠隔でプロトコルの品質を確認する。

  • A mobile robotic chemist - Nature, 2020. [All Versions]. [Preprint]. 本研究では、水から水素を生成するための改善された光触媒を探索するためのモバイルロボットを用いる。このロボットは8日間自動的に動作し、10変数の実験空間内で688回の実験を実施し、バッチ型ベイズ探索アルゴリズムによって駆動された結果、初期構成体の6倍の活性を持つ光触媒混合物を特定し、有益な成分を選出、悪影響の成分を除外した。

  • An autonomous laboratory for the accelerated synthesis of novel materials - Nature, 2023. [All Versions]. 本論文は、無機粉末の固体状態合成に特化した自律実験室A-Labを導入する。このプラットフォームは、計算、文献からの歴史データ、機械学習(ML)およびアクティブ学習を用いて、ロボットによる実験の計画と結果の解釈を行う。連続運転17日間で、58のターゲット(酸化物やリン酸塩など)の中から41の新しい化合物を発見した。

  • The Internet of Things comes to the lab - Nature, 2017. [All Versions]. つながった機器と設備の出現は、研究者を実験室から解放し、実験を調整し、データを遠隔で分析できるようにする。

  • A dynamic knowledge graph approach to distributed self-driving laboratories - Nature Communications, 2024. [All Versions]. 本研究では、設計・製造・試験・分析サイクルにおけるデータおよび物質の流れを、事前定義された知識体系(ontology)を用いて捉え、自律型エージェントを実行可能な知識コンポーネントとして実験プロセスを実行する。データの起源を記録することで、その検索可能性、アクセス可能性、相互運用性、再利用性を確保する。このアーキテクチャは、動的知識グラフに基づく包括的なデジタルツインを構築する「World Avatar」プロジェクトに根ざしている。

  • Automation isn’t automatic - Chemical Science, 2021. [All Versions]. 本稿は、ベンチトップスケールにおける合成化学の自動化現状について概説し、特にシステム導入における基本的な考慮事項とその課題に焦点を当てる。著者は、自動化を「自動的」とは限らず、人間および計算による一連の慎重な判断と継続的な調整を含む反復的プロセスとして再構築する。

  • Balancing act: when to flex and when to stay fixed - Trends in Chemistry, 2023. [All Versions]. 本稿は、自動化プラットフォームの選定における意思決定プロセスについて重要な洞察を提供し、標準化されたタスクには固定自動化が適しており、動的かつ変化する研究環境では柔軟自動化の戦略的活用が有効であることを強調する。

  • What is a minimal working example for a self-driving laboratory? - Matter, 2022. [All Versions]. 本論文は、低コストで「Hello, World!」として機能する自律実験室「SDL-Demo」を提案し、電子工学、物理学ベースのシミュレーション、最適化の分野から得られた「Hello, World!」タスクを統合している。SDL-Demoはモジュラーかつ拡張性を持つため、自律実験室概念の低コスト教育およびプロトタイピングに最適である。

  • Robotic search for optimal cell culture in regenerative medicine - eLife, 2022. [All Versions]. 本論文では、バッチベイズ最適化アルゴリズムを用いたロボットAIシステムを開発し、誘導多能性幹細胞(iPSC)から導かれる網膜色素上皮(iPSC-RPE)細胞の分化を自律的に誘導する。2億組のパラメータ組み合わせの中から、システムは111日間で143種類の条件で細胞培養を行い、色素スコアにおいて事前最適化された培養結果に比べて88%高いiPSC-RPE生成量を達成した。

  • Balancing autonomy and expertise in autonomous synthesis laboratories - Nature Computational Science, 2025. [All Versions]. 自律合成実験室は、計画・製造・測定・分析の繰り返しプロセスを効率化する可能性を秘めている。本論文では、この分野における障壁、人間が関与するアプローチの可能性、および自律実験室のアクセス性、精度、効率の最適化に関する戦略について述べている。

  • AlphaFlow: autonomous discovery and optimization of multi-step chemistry using a self-driven fluidic lab guided by reinforcement learning - Nature Communications, 2023. [All Versions]. 閉ループ型の自律実験は、ユーザーの介入なしに、広範な反応空間を高速かつ材料効率的に探索可能である。しかし、複雑な多段階プロセスとデータが少ない環境における先進材料の自律探索は依然として課題である。本研究では、自己駆動型流体実験室「AlphaFlow」を提示し、複雑な多段階化学反応の自律発見を実現する。AlphaFlowは強化学習を組み合わせたモジュラーミクロドロップ反応器を用いて、反応段階の変動順序、相分離、洗浄、および連続的な場中スペクトルモニタリングを実施できる。強化学習が高次元多段階化学反応に与える力を示すために、著者はAlphaFlowを用いて、コア・シェルセマンドナノ粒子の殻成長プロセスの合成経路を発見・最適化し、従来のcALDパラメータを事前に知らぬ状態で、最大40パラメータを含む新しい多段階反応経路を成功裏に発見・最適化した。この研究により、著者は閉ループ型強化学習を導入したシステムが、多段階ナノ粒子合成における課題の探索と解決にどのように貢献できるかを示している。さらに、AlphaFlowはcALDを超えて多段階化学反応への応用により、基礎知識の生成や合成経路の発見・最適化を加速する可能性を示している。

*Back to Top

AI支援研究

  • Scientific discovery in the age of artificial intelligence - Nature, 2023. [All Versions]. 過去10年間の進展を検討するレビュー論文で、自己監督学習や幾何学的深層学習が紹介されている。自己監督学習は、大量の未ラベルデータを用いてモデルを訓練し、幾何学的深層学習は科学データの構造に関する知識を活用して、モデルの精度と効率を向上させる。

  • Artificial Intelligence for Retrosynthetic Planning Needs Both Data and Expert Knowledge - Journal of the American Chemical Society, 2024. [All Versions]. 反応例データのみに基づくAI合成計画者開発は停滞しており、専門知識とAIを組み合わせた「ハイブリッド」アルゴリズムの性能に比べて劣っている。本稿は、この不足の原因を、反応データ量の不足という既存の説明を超えて検討する。合成化学分野固有の複雑性やデータバイアスに注目し、AIの独自能力に分野専門家の知識ベースと推論戦略を組み合わせることを提唱している。合成化学者が合成計画ソフトウェアの最終ユーザーであるため、その関与を積極的に取り入れることで、コンピュータアルゴリズムと化学合成の複雑性の間にギャップを埋めることが可能になると示している。

  • The Impact of Large Language Models on Scientific Discovery: a Preliminary Study using GPT-4 - Microsoft Research AI4Science, 2023. . LLMが科学発見の文脈における性能に関する調査、GPT-4を焦点にしている。 [All Versions] [Project]

  • An agentic system for rare disease diagnosis with traceable reasoning - Nature, 2026. [All Versions]. 罕見疾患は世界中で3億人以上に及ぶが、迅速かつ正確な診断は依然として大きな課題である。患者は長期間にわたる「診断の旅」を経験し、5年以上に及ぶ反復的な転院や誤診、無駄な治療に見舞われ、治療の遅れや大きな精神的・経済的負担をもたらす。本研究では、大規模言語モデルを用いた多代理システム「DeepRare」を提案し、40以上の専門ツールと最新の知識源を統合することで、稀有疾患の診断差分を支援する。DeepRareは自由文書、構造化した人間の現象オノロジー用語、遺伝子検査結果といった多様な臨床データを処理し、検証可能な医学的根拠に基づく透明な理由を含む診断仮説をランク付けする。アジア、北米、ヨーロッパの文献、症例報告、臨床センターから収集された9データセットを用いて評価した結果、14医学分野にわたる2,919疾患において優れた性能を示した。人間現象オノロジーに基づくタスクでは、1位の再帰率が57.18%に達し、次に優れた手法を23.79%上回り、多モーダルテストでは168ケースにおいてExomiserの55.9%を上回る69.1%を達成。専門家によるレビューでは、その推論過程の一致率が95.4%とされ、妥当性と追跡可能性が確認された。本研究は稀有疾患診断の進展を示し、最新の大規模言語モデルを駆使した代理システムが現在の臨床プロセスをどのように変革できるかを実証した。

  • Towards end-to-end automation of AI research - Nature, 2026. [All Versions]. 科学の自動化は人工知能(AI)研究における長期的な目標である。コミュニティは科学プロセスの個々の要素を自動化する上で大きな進展を遂げたが、研究の全ライフサイクル(構想から発表まで)を完全に自動化するシステムは依然として実現されていない。本研究では、科学プロセス全体を端から端まで自動化するパイプラインを提示する。著者は「AI Scientist」というシステムを提案し、研究アイデアの創出、コードの作成、実験の実行、データの可視化と解析、科学論文の作成、さらには自らの同行レビューを行う。このAIシステムが生成したアイデアや実行、報告は十分な品質を持ち、その論文はトップクラスの機械学習会議のワークショップの初回同行レビューを通過した。そのワークショップの採択率は70%であった。このシステムは、複雑な代理システム内で現代の基礎モデルを活用している。著者はAI Scientistを2つの設定で評価した:特定のテーマに関する研究を行うために人間が提供したコードテンプレートを初期の枠組みとして用いるフォーカスモードと、テンプレートなしで広範な科学的探求を行うオープンエンドモード。両者の設定は多様なアイデアを生成し、自動的にそれらをテスト、報告、評価する。この成果はAIが科学的貢献を可能にする能力の成長を示し、研究の実施方法に新たな変革をもたらす可能性を示している。こうした影響力のある新技術には、過負荷のレビューシステムを圧迫したり、科学文献にノイズを加えるといった重要なリスクがあるが、責任を持って開発されれば、科学発見のスピードを大きく加速できる可能性がある。

  • Machine learning-assisted molecular design and efficiency prediction for high-performance organic photovoltaic materials - Science Advances, 2019. [All Versions]. 有機太陽電池(OPV)の高性能材料を探索する際、それらの化学構造と光電特性の関係を合成前に確立することは意味がある。本研究では、文献に報告された1700以上のドナー材料を含むデータベースを構築し、監督学習により構造と性質の関係を構築し、OPV材料の迅速なスクリーニングを実現する。著者は分子構造のいくつかの表現形(画像、ASCII文字列、記述子、フィンガープリント)を、さまざまな機械学習アルゴリズムの入力として検討した。結果として、1000ビットを超える長さのフィンガープリントが高精度な予測を達成することが分かった。このアプローチの信頼性は、新たに設計された10種のドナー材料をスクリーニングすることでさらに検証され、モデルの予測と実験結果の間に良好な一致が得られた。この結果は、機械学習が新規OPV材料の事前スクリーニングに強力なツールであることを示しており、OPV分野の開発を加速する可能性がある。

  • Design of metalloproteins and novel protein folds using variational autoencoders - Scientific Reports, 2018. [All Versions]. 新しいタンパク質の設計は多くの応用を持つが、成功は個別のケースにとどまっている。一方で、近年のデータの増加により、深層学習技術は生物学分野への適用が急速に広がっている。本研究では、変分自動エンコーダーを用いて、望ましい性質に基づいたタンパク質の配列を生成することで、タンパク質設計と深層学習の接続を試みる。人間の介入なしに、金属結合部位を持たないタンパク質に銅やカルシウム結合部位を追加し、隠れマーカーモデルと比較した。また、タンパク質構造の文法を構築し、新たなタンパク質のトポロジーに適用した。その結果、1つの候補構造が分子動力学シミュレーションにより安定性を持つことが確認された。このモデルがタンパク質配列の広大な検索空間を制限し、スケーラビリティを持つ能力は、さまざまなタンパク質設計タスクに貢献する可能性がある。

  • Highly accurate protein structure prediction with AlphaFold - Nature, 2021. [All Versions]. 本論文は、類似構造が存在しない場合でも原子精度でタンパク質構造を予測できる初めての計算手法を提供する。このアプローチは、タンパク質構造予測において観察・説明に基づく手法の典型的な応用であり、第一原理に基づく手法とは異なっている。

  • Human–machine collaboration for improving semiconductor process development - Nature, 2023. [All Versions]. [Nature News]. 本研究では、ベイズ最適化アルゴリズムを用いて、人工知能(AI)が複雑な半導体チッププロセス開発のコスト削減にどのように寄与するかを調査した。特に、本研究では、半導体製造プロセス設計における人間とコンピュータの性能を系統的に比較できる制御された仮想プロセスゲームを構築し、その結果、人間エンジニアは開発初期段階で優れた性能を発揮する一方、アルゴリズムは目標の精密な許容範囲近くにおいて、コスト面ではるかに効率的であることが明らかになった。

  • A foundation model for generalizable disease detection from retinal images - Nature, 2023. [All Versions]. 本論文では、RETFoundと呼ばれる網膜画像向けの基礎モデルを提示し、未ラベルの網膜画像から汎化可能な表現を学習し、複数の応用分野におけるラベル効率の高いモデル適応を可能にする。具体的には、RETFoundは自己監督学習により160万枚の未ラベル網膜画像上で訓練され、その後、疾患検出タスクに明示的なラベルを用いて適応された。

  • Accurate medium-range global weather forecasting with 3D neural networks - Nature, 2023. [All Versions]. 本研究では、正確で中間期間のグローバル気象予測を可能にする人工知能ベースの手法を導入した。3次元深層ネットワークに地球特有の事前知識を組み込み、気象データにおける複雑なパターンを効果的に処理できること、および階層的な時系列集約戦略が中間期間予測における誤差の蓄積を抑制することを示した。39年間のグローバル気象データに基づいて訓練されたPangu-Weatherプログラムは、欧州気象センターの運用中間範囲気象予測システム(ECMWF)と比較して、検証されたすべての変数において、再分析データ上でより強い決定論的予測結果を達成した。

  • Learning skillful medium-range global weather forecasting - 『Science』2023年。[All Versions]。

  • Skilful nowcasting of extreme precipitation with NowcastNet - Nature, 2023. [All Versions].

  • Autonomous chemical research with large language models - Nature, 2023. [All Versions]. GPT-4を駆動する人工知能システムが、インターネットやドキュメント検索、コード実行、実験自動化といったツールを活用し、大規模言語モデルを組み込みながら、複雑な実験の設計・計画・実施を自律的に実行する。

  • Augmenting large language models with chemistry tools - Nature Machine Intelligence, 2023. [All Versions]. [Preprint]. 本論文では、有機合成、薬品発見、材料設計におけるタスクを遂行できるLLM化学アグリント「ChemCrow」を導入。18の専門設計ツールを統合し、GPT-4を基盤とすることで、化学分野におけるLLMの性能を向上させ、新たな能力が発現。アグリントは、昆虫忌避剤および3つの有機触媒の合成計画と実行を自律的に実施し、新たな染色体基質の発見を指導した。

  • Empowering biomedical discovery with AI agents - Cell, 2024. [All Versions]. 作者たちは、「AI科学者」として、疑いをもつ学習と推論を可能にするシステムを想定し、AIモデルと生物医学ツールを実験プラットフォームと統合する協働アグリントによって、生物医学研究を強化する。人間の創造性と専門性とAIが大規模データを分析し、仮説空間をナビゲートし、繰り返しタスクを実行する能力を組み合わせることで、発見プロセスに人間を排除せず、AIアグリントは多様なタスクに精通し、発見ワークフローの計画や自己評価を通じて知識のギャップを特定・補完する。これらのアグリントは、構造化された記憶を備えた大規模言語モデルと生成モデルを活用し、継続的な学習を実現し、機械学習ツールを用いて科学的知識や生物学的原理、理論を統合する。AIアグリントは、仮想細胞シミュレーション、性質のプログラム制御、細胞回路設計から新しい治療法開発まで、幅広い分野に影響を与える。

  • DrBioRight 2.0: an LLM-powered bioinformatics chatbot for large-scale cancer functional proteomics analysis - Nature Communications, 2025. [All Versions]. [Project]. 関与プロテオミクスは、がんメカニズムの理解に重要な洞察を提供し、新たなバイオマーカーおよび治療ターゲットの発見を促進する。著者たちは、逆相タンパク質アレイを用いて、がん関連の機能プロテオミクスリソースを開発。これは、がんゲノムマップ(TCGA)のほぼ8000サンプルおよびがん細胞ラインエヌクレア(CCLE)の約900サンプルを統合したもので、500以上の高品質抗体のキュレーションパネルを含み、すべての主要がんの特徴的経路をカバー。このリソースのアクセス性と解析力を高めるために、本研究では、最先端の大規模言語モデルを駆動する直感的なバイオインフォマティクスプラットフォーム「DrBioRight 2.0」を導入。DrBioRightは、タンパク質中心のがんオミクスデータを探索し、高度な解析、結果の可視化、自然言語によるインタラクティブディスカッションを行うことを可能にする。複雑なプロテオゲノミクス解析を簡素化することで、大規模機能プロテオミクスデータの意味のある医療洞察への転換を加速する。

  • The Virtual Lab of AI agents designs new SARS-CoV-2 nanobodies - Nature, 2025. [All Versions]. 科学は多分野の研究者によるチーム活動によって進展するが、多くの研究者には複数分野の専門家にアクセスしやすい環境が存在しない。大規模言語モデル(LLM)は、多様な分野の研究者を支援する能力を示しているが、その利用は主に特定の科学的質問への回答にとどまっている。本研究では、LLMの科学的応用を拡張するために、人工知能(AI)と人間の協働研究環境「Virtual Lab」を導入。Virtual Labは、LLMの主導研究者アグリントが、LLM科学者アグリントのチームを研究会議を通じて導き、人間研究者が高レベルのフィードバックを提供する構造を持つ。著者たちは、Virtual LabをSARS-CoV-2の最新変異株に向けたナノボディ結合設計に応用。Virtual Labは、ESMプロテイン言語モデル、AlphaFold-Multimerプロテイン折りたたみモデル、およびロセットのコンピュータバイオロジーソフトウェアを組み合わせた、新たな計算ナノボディ設計パイプラインを構築し、92の新しいナノボディを設計した。実験検証では、SARS-CoV-2の変異株に対して機能的なナノボディが多数発見され、特に2つの新しいナノボディは、最新のJN.1またはKP.3変異株に対してより強い結合を示し、祖先ウイルスのスパイクタンパク質に対して強い結合を維持しており、さらなる調査に適した候補であることが示された。この研究は、Virtual Labが迅速に実世界の科学的発見を達成できる可能性を示している。

  • BioPlanner: Automatic Evaluation of LLMs on Protocol Planning in Biology - EMNLP’23, 2023. [All Versions]. [Project]. 本論文では、実験プロトコルの計画タスクに向けた自動評価フレームワークを提示し、生物学分野のプロトコルとそれに伴う擬似コード表現を含むデータセット「BioProt」を導入する。

  • From intention to implementation: automating biomedical research via LLMs - Science China Information Sciences, 2025. [All Versions]. 伝統的な医療研究は、科学文献やデータセットの指数関数的な増加により、ますます労働負担が大きくなっている。人工知能(AI)特に大規模言語モデル(LLM)は、このプロセスを自動化することで革命をもたらす可能性があるが、依然として多分野の専門知識、実験設計の論理性、評価指標の確立といった課題が残っている。本論文では、乾実験を含む医療研究プロセス全体を効率化するための、世界初の端末から端まで自動化されたシステム「BioResearcher」を提案する。BioResearcherは、検索、文献処理、実験設計、プログラミングに特化したエージェントを統合したモジュラー多エージェントアーキテクチャを採用し、複雑なタスクを論理的に関連付けられたサブタスクに分解し、階層的学習手法を用いることで、多分野の要件や論理的複雑性という課題を効果的に解決する。さらに、BioResearcherはLLMを用いたレビューエージェントを導入し、プロセス中の品質を監視し、実験プロトコルの品質と自動化レベルを評価するための新たな評価指標を提案する。BioResearcherは、8つの未達成研究目標において、平均実行成功率63.07%を達成し、5つの品質指標において、典型的なエージェントシステムよりも平均22.0%高い性能を発揮する。このシステムは、研究者の負担を大幅に軽減し、医療分野の発見を加速する可能性を示しており、将来の自動化研究システムにおける革新を促進する。

  • A human-machine interface for automatic exploration of chemical reaction networks - Nature Communications, 2024. [All Versions]. 自動反応ネットワーク探索アルゴリズムは、複雑な化学プロセスのメカニズムを体系的に探索するためのアプローチを提供するが、生成される反応ネットワークは非常に広大であり、すべての可能性のある中間体を探索することは計算的に不可能である。本論文では、無偏向の自動探索をガイドする「STEERING WHEEL」を導入する。STEERING WHEELアルゴリズムは直感的で一般適用可能であり、出現するネットワークの特定領域に焦点を当てることを可能にする。また、メカニズム探索、触媒設計など、化学最適化の課題において、自動データ生成をガイドすることができる。

  • Active learning accelerates electrolyte solvent screening for anode-free lithium metal batteries - Nature Communications, 2025. [All Versions]. アノードフリーまたは「ゼロエクセス」リチウム電池は、現在のリチウムイオン電池に比べて高いエネルギー密度を提供するが、サイクル寿命を延ばすためには電解質の革新が必要である。電解質設計のための普遍的な設計原則が欠如しているため、アノードフリーリチウム電池の電解質開発は遅く、進展は試行錯誤に依存している。本研究では、電解質発見を加速するためのアクティブ学習を導入する。従来のデータ中心型の頻度主義機械学習手法とは異なり、アクティブ学習フレームワークは、順次ベイズ実験設計とベイズモデル平均を用いて、データが少ないおよびラベルがノイズを含む状況でも、最適候補を効率的に特定する。容量保持を目標として、実験フィードバックを統合し、予測を反復的に改善する。自社のサイクルデータセットから58データポイントを起点に、アクティブ学習フレームワークは100万種の電解質を含む仮想検索空間を探索し、最適候補に迅速に収束した。7回のアクティブ学習キャンペーン(各キャンペーンで約10種の電解質をテスト)を経て、4つの異なる電解質溶媒が特定され、最先端の電解質と同等の性能を示すことが確認された。本研究は、次世代電池のための広範な電解質化学空間をナビゲートするアクティブ学習アプローチの可能性を示している。

  • PatCID: an open-access dataset of chemical structures in patent documents - Nature Communications, 2024. [All Versions]. 特許公報の自動解析は、薬品発見や材料科学など、さまざまな分野における研究を加速する可能性がある。特許文書内では、分子構造の視覚的表現に重要な情報が含まれている。PatCID(Patent-extracted Chemical-structure Images database for Discovery)は、こうした情報をスケールでアクセス可能にする。ユーザーは、どの文書にどのような分子が表示されているかを検索できる。PatCIDには8100万の化学構造画像と1400万のユニークな化学構造が含まれている。本研究では、PatCIDが最先端の化学特許データベースと比較される。ランダムに選ばれたデータセットにおいて、PatCIDは56.0%の分子を検索し、自動生成データベース(Google Patents 41.5%、SureChEMBL 23.5%)および手動作成データベース(Reaxys 53.5%、SciFinder 49.5%)を上回る。最先端のドキュメント理解手法を活用したPatCIDの高品質データは、現在の自動生成特許データベースを上回り、プロプライエタリな手動作成データベースと競争できる。これにより、自動文献レビューおよび学習ベースの分子生成手法への応用が期待される。

  • Large language models for scientific discovery in molecular property prediction - Nature Machine Intelligence, 2025. [All Versions]. 大規模言語モデル(LLMs)は、自然言語として知識を内包する人工知能システムであり、創造的な文章作成、物語構成、翻訳、質問応答、要約、コンピュータコード生成など、多くの複雑なタスクに優れた能力を持つ。LLMsは自然科学分野で初期的な応用を見ているものの、科学的発見への可能性はほとんど未探索である。本研究では、文献から知識を合成し、科学データから知識を推論することで、分子性質予測における科学的発見を促進するLLM4SDフレームワークを提案する。LLMsは科学文献から既存の情報を抽出し、例えば分子量が溶解性予測に重要であるといった知識を合成する。推論では、分子データにおけるパターンを特定し、特に簡易分子入力線記述システム(SMILES)で表される構造、例えば塩素を含む分子が脳-血障壁を越える可能性が高いといったパターンを識別する。こうした情報は解釈可能な知識として提示され、分子を特徴ベクトルに変換できる。これらの特徴を、解釈可能なモデル(例:ランダムフォレスト)と組み合わせることで、分子性質予測のベンチマークタスクにおいて、現状の最先端を上回る性能を達成する。著者は、このアプローチが解釈可能で、新たな洞察を提供し、分子性質予測における科学的発見を支援すると期待している。

  • Retrosynthesis prediction using an end-to-end graph generative architecture for molecular graph editing - Nature Communications, 2023. [All Versions]. 有機合成における逆合成計画、すなわち目標分子を合成するために利用可能な反応セットを特定するプロセスは、依然として大きな課題である。近年、コンピュータ支援合成計画が再び注目され、深層学習に基づく逆合成予測アルゴリズムが多数提案されているが、ほとんどの既存手法はモデル予測の適用性および解釈可能性に限定されており、より実用的な精度への向上が求められている。本研究では、化学反応メカニズムにおける矢印推進形式を参考に、逆合成予測に用いる端末アーキテクチャ「Graph2Edits」を提案する。具体的には、Graph2Editsはグラフニューラルネットワークを用いて、製品グラフの編集を自動回帰的に予測し、その編集シーケンスに基づいて順次変換中間体および最終反応物を生成する。この戦略は、半テンプレートベース手法の二段階プロセスを一つのプロセスに統合し、複雑な反応における適用性を向上させ、また予測の解釈性を高める。標準ベンチマークデータセットUSPTO-50k上で評価された結果、Graph2Editsは半テンプレートベース逆合成において、55.1%のトップ1精度という優れた性能を達成している。

  • ChipNeMo: Domain-Adapted LLMs for Chip Design - 2023. [All Versions]. ChipNeMoは、大規模言語モデル(LLMs)を工業用チップ設計に応用する可能性を探るプロジェクトである。販売用またはオープンソースの既存LLMを直接導入するのではなく、以下のドメイン適応技術を採用している:ドメイン適応トークン化、ドメイン適応継続事前学習、ドメイン特定指示とのモデル調整、ドメイン適応検索モデル。著者は、チップ設計向けの3つのLLM応用(エンジニアリングアシスタントチャットボット、EDAスクリプト生成、バグの要約および分析)において、これらの手法を評価した。評価結果は、ドメイン適応事前学習によって、ドメイン関連のダウンストリームタスクにおいて、ベースのLLaMA2モデルに比べて優れた性能が得られることを示しており、一般用途能力の低下は見られない。特に、最大規模のモデルChipNeMo-70Bは、エンジニアリングアシスタントチャットボットおよびEDAスクリプト生成という2つの用途において、高度な能力を持つGPT-4を上回り、バグ要約および分析においても競争力のある性能を示している。これらの結果は、大規模言語モデルが専門分野での効果を高めるためにドメイン特定カスタマイズの可能性を強調している。

  • Single-atom alloy catalysts designed by first-principles calculations and artificial intelligence - Nature Communications, 2021. [All Versions]. 本論文は、密度関数入力に基づいた圧縮センシングデータ解析手法を用いて、新しい単原子合金触媒(SAACs)の発見問題を解決する。

  • Biological structure and function emerge from scaling unsupervised learning to 250 million protein sequences - 『アメリカ国家科学院会議録』2021年。[All Versions]。

  • Comparability of automated human induced pluripotent stem cell culture: a pilot study - バイオプロセスとバイオシステムエンジニアリング、2016。[All Versions]。

  • Virtual and augmented reality for biomedical applications - Cell Reports Medicine, 2021. [All Versions]. 虚擬現実(VR)、拡張現実(AR)、混合現実(MR)などの3D可視化技術は、近年の分野で人気を博している。これらのデジタル拡張現実(XR)技術は、エンターテインメントから教育まで、アクセス性とコスト面で優れたため、さまざまな分野に採用されている。XR技術は、従来の2次元ディスプレイの制約を克服し、コンテンツの浸透的な体験を可能にする。本論文は、現在の生物医学分野におけるXR技術の応用についての視点を提示し、細胞生物学の概念、多チャンネルタンパク質画像、心臓手術データ、および心臓3Dモデルを用いた事例研究を示している。また、XR技術に関連する健康リスクおよび各プラットフォームのコスト比較に関する新たな課題についても検討している。提示されたXRプラットフォームは、生物医学教育、医療訓練、手術ガイド、分子データ可視化において、研修生や学生の学習効果、医療操作の精度、複雑な生物システムの理解を高める上で有効である。

  • An augmented reality microscope with real-time artificial intelligence integration for cancer diagnosis - Nature Medicine, 2019. [All Versions]. 組織サンプルの微視的評価は、がんの診断および進行段階の判定に不可欠であり、治療の選択を導く。しかし、こうした評価には大きな変動があり、世界の多くの地域では訓練を受けた病理学者が不足している。人工知能(AI)は医療アクセスと品質の向上を約束しているが、病理学における画像デジタル化のコストやAIソリューションの導入における困難が、現実の利用を妨げている。本研究では、コスト効率の高いソリューションである「拡張現実顕微鏡(ARM)」を提案している。ARMは、リアルタイムでサンプルの現在の画像にAIベースの情報を重ねることで、AIを日常業務に自然に統合できるようにしている。

  • Optimizing Spaced Repetition Schedule by Capturing the Dynamics of Memory - 『IEEE知識とデータ工学交易誌』2023年。[All Versions]。

  • LEGAL-BERT: The Muppets straight out of Law School - EMNLP’20, 2020. [All Versions]. 法的質問への回答生成、契約の分析、法的文書の要約を行い、専門知識を非専門者にもよりアクセス可能にしている。

  • BioBERT: a pre-trained biomedical language representation model for biomedical text mining - Bioinformatics, 2020. [All Versions]. 医療に関する質問に答える、関連する臨床試験を特定し、症状に基づいて疾患を診断するなど、医療情報の一般大衆への提供を促進する。

  • Finbert: A pre-trained financial language representation model for financial text mining - IJCAI’20, 2020. [All Versions]. 株価の動向を予測し、金融文書を分析し、経済ニュース記事の要約を生成することで、金融知識の広く普及を支援する。

  • SciBERT: A Pretrained Language Model for Scientific Text - EMNLP’19, 2019. [All Versions]. 科学文献の検索と総合を行い、研究者に仮説生成や実験設計の支援を提供し、科学知識の一般への提供を促進する。

  • CodeBERT: A Pre-Trained Model for Programming and Natural Languages - EMNLP’20, 2020. [All Versions]. コードの補完、プログラミングドキュメンテーションの生成、技術サポートを提供し、非専門家にとってのプログラミング知識の提供を促進する。

*Back to Top

心の理論

  • Theory of Mind - ウィキペディア. 「心の理論(ToM)」に関するウィキペディア。これは、他者の目的、信念、欲求を推測する認知能力である。

  • Intentionality - プラトン・スタンフォード

  • Mental Imagery - プラトン・スタンフォード

  • The naïve utility calculus: Computational principles underlying commonsense psychology - Trends in Cognitive Sciences, 2016. . 本レビュー論文は、人間の社会認知が、自分自身および他者を直感的に効用最大化する存在として理解している構造にあると提案している。幼い頃から、人間は無意識に、行動主体が得られる報酬と負担の期待値を比較して目標と行動を選択するという前提をもつ。この「初歩的な効用計算」により、子どもや成人が他者の行動を観察し、その信念や欲求、長期的な知識や好み、さらには性格(知識や能力、称賛や非難、親しみや無関心、敵など)を推測できる。 [All Versions] [Preprint]

  • Planning with theory of mind - Trends in Cognitive Sciences, 2022. [All Versions]. [Preprint]. 抽象的構造因果表現を用いた計画が、理論の理解を可能にし、無数の行動の中から効率的に検索・選択を支援する。理論の理解は、抽象的かつ構造化された因果表現を必要とし、無数の行動の中から効率的に検索・選択を行う能力を持つものである。理論の理解は、他者の行動を説明するための統計的予測モデルや、他者の行動に与える影響に基づく無モデル強化学習といった、認知負荷の低い代替手段とは異なり、新しい介入の計画やその効果の予測に用いられる可能性がある。例えば、教育、感情調整、印象管理の分野で活用される。

  • Action Understanding as Inverse Planning - Cognition, 2009. [All Versions]. [Appendix]. 逆計画(Inverse Planning)という理論の理解を実装した計算モデルに関する元論文。人間は、他者の行動の背後にある精神状態(目標、信念、欲求、感情など)を推論できる。本論文は、ベイズ逆計画に基づく計算フレームワークを提案し、人間の行動理解をモデル化する。このフレームワークは、合理的性の原則(世界に関する信念に基づき、目的を達成するためにほぼ合理的に計画するという期待)に基づき、意図的主体の行動に関する直感的な理論を表現する。観測された行動の確率と精神状態の事前確率をベイズ推論により統合することで、主体の行動を引き起こした精神状態を推定する。

  • Bayesian Theory of Mind: Modeling Joint Belief-Desire Attribution - CogSci’11, 2011. [All Versions]. [Preprint]. 理論の理解(ToM)に関する計算フレームワークを提示する。ToMとは、信念や欲求といった他者の精神状態について推論する人間の能力である。提案されたベイズ理論の理解モデル(BToM)は、ToMの中心にある信念・欲求に依存した行動の予測モデルを、部分的に観測可能なマルコフ意思決定プロセス(POMDP)として表現し、環境内の行動観測に基づいて、主体の連続信念状態と報酬関数をベイズ推論により再構成する。

  • The Signature of All Things: Children Infer Knowledge States from Static Images - CogSci’20, 2020. [All Versions].

  • Bayesian Brains without Probabilities - Trends in Cognitive Sciences, 2016. [All Versions]. 明示的な確率計算なしで人間が確率モデルを構築するという視点。

  • Rational quantitative attribution of beliefs, desires and percepts in human mentalizing - 『Nature Human Behavior』2017年。[All Versions]。[Preprint]。本論文は、行動者が局所的な空間環境における動きから、その信念、欲求、感覚を共に推論する「核心的なメンタル化計算」のモデルを提示する。提案されたベイズ理論の心(BToM)モデルは、人工知能における合理的計画および状態推定の確率的逆算手法を基に構築され、古典的な期待効用行動モデルを複雑で部分的に観測可能な環境における連続行動に拡張している。

  • Machine theory of mind - 『ICML’18』2018年。[All Versions]。理論の心(ToM)とは、人間が他者の信念、欲求、意図といった精神状態を表現できる能力を指す。本研究では、メタ学習を用いて、遭遇するエージェントのモデルを構築する「理論の心ニューラルネットワーク(ToMnet)」を提案する。ToMnetは、エージェントの将来行動に対する強力な事前モデルを学習し、わずかな行動観測から、エージェントの特性や精神状態に関するより豊かな予測を導出できる。

  • Theory of mind as inverse reinforcement learning - 『Current Opinion in Behavioral Sciences』2019年。[All Versions]。本論文は、理論の心(ToM)——人間が他者の精神状態を論理的に推論できる能力——を逆強化学習(IRL)として形式化できるという考えをレビューする。このフレームワークでは、精神状態が行動をどのように生み出すかに関する期待は強化学習(RL)モデルに記述される。他者の行動を予測するには、仮定された信念と欲求をもとにRLモデルをシミュレーションし、精神状態の推論はそのモデルを逆算することで達成される。逆強化学習(IRL)の多くの進展は人間の理論の心を意識していないが、本論文はそれらを認知理論として捉えられた際の洞察に焦点を当てる。

  • Computational Models of Emotion Inference in Theory of Mind: A Review and Roadmap - 『Topics in Cognitive Science』2019年。[All Versions]。本論文は、感情認知——人間が感情についてどう考えるか——を研究するための「直感理論フレームワーク」を提案し、感情認知における推論の分類を導出する。この分類に基づき、著者は、他者の反応に対する因果推論、見えない感情の原因に関する推論、複数のヒントを用いた推論、および感情から他の精神状態への推論といった、形式的な計算モデルに関する研究をレビューする。このフレームワークは、これらの多様な推論を、共通の「直感的理論の感情」におけるベイズ推論として統合するものである。

  • The Naïve Utility Calculus as a unified, quantitative framework for action understanding - 『Cognitive Psychology』2021年。[All Versions]。[Project]。本論文は、ナイブな効用計算を確率的生成モデルとして形式化し、行動理解におけるコストと報酬のトレードオフの役割をベイズフレームワークで強調する。モデルは、観測可能な行動に基づいて、人間がエージェントの主観的なコストと報酬をどのように推論するかを定量的に正確に予測する。欲求、目標、意図を区別することで、複数の物体と複数の行動エピソードを含む空間・時間の展開する複雑な行動シナリオにも拡張される。

  • AGENT: A Benchmark for Core Psychological Reasoning - ICML’21, 2021. [All Versions]. インターチュアル心理の発達研究を参考に、本論文はプロシージャルに生成された3Dアニメーションの大規模データセットを構成したベンチマークを提示する。このデータセットは、目的の優先順位、行動の効率性、観測できない制約、コストと報酬のトレードオフという4つのシナリオに構成されており、核心的な直感的psychologyの概念を検証する。結果から、人間レベルの直感的psychologyのテストを通過するためには、モデルが行動計画の構造を獲得または内蔵する必要があり、その中で物や物理法則の基本知識と効用計算を統合する必要がある。

  • Experimental Games and Social Decision Making - Annual Review of Psychology, 2021. [All Versions]. 実験ゲームは、個人やグループの将来の結果が、自分たちの選択と他者の(グループの)選択に依存する状況をモデル化する。ゲームは、人間間およびグループ間の協力と調整の背後にある神経的・心理的メカニズムを特定するための強力なツールである。このレビュー記事は、実験ゲームの使用とアダプテーションに関する最新の進展を検討し、繰り返し相互作用、制裁を通じたパートナーの制御、および将来の相互作用におけるパートナーの選択・非選択に焦点を当てる。

  • Theory of Minds: Understanding Behavior in Groups through Inverse Planning - AAAI’19, 2019. [All Versions]. 人間のような社会的知能を持つ機械学習アルゴリズムの構築を目指し、複数アグリの行動理解をモデル化するため、新たな潜在関係表現「可合成チーム階層(CTH)」を導入する。この表現は、確率ゲームおよび多アグリ強化学習の形式論に根ざしている。本研究では、CTHをベイズ推論の対象として用い、複数アグリが相互作用する際の行動を理解するための新しいアルゴリズムを提案し、隠れた関係を推定し、将来の行動を予測できる。

  • Leveraging Facial Expressions and Contextual Information to Investigate Opaque Representations of Emotion - 感情、2019。[All Versions]。

  • Waiting and weighting: Information sampling is a balance between efficiency and error-reduction - 認知科学、2013。[All Versions]。

  • Natural scene statistics account for the representation of scene categories in human visual cortex - Neuron, 2013. [All Versions].

  • Using human brain activity to guide machine learning - 科学報告、2018年。 [All Versions]。

  • Unit of visual working memory: A Boolean map provides a better account than an object does - 実験心理学誌、2020年。 [All Versions]。

  • The logic of universalization guides moral judgment - 『アメリカ国家科学院会議録』2020年。[All Versions]。

  • Learning Triadic Belief Dynamics in Nonverbal Communication from Videos - CVPR’21, 2021. . 本論文は、視覚入力のみから、行動者間の精神状態を表現・モデル化・学習・推論するため、異なる非言語的コミュニケーションのヒント(例:視線、人間の姿勢、ジェスチャー)を統合する。特に、行動者の信念を考慮した精神表現により、現実世界の状態を表し、各行動者の精神状態における信念を推論する。複数の信念と現実世界の状態を統合することで、2つの行動間の相互作用において「五つの心」が形成される。この「五つの心」モデルは、過去の無限再帰による信念推論の手法とは異なり、行動者の信念が「共通の心」に収束する。この表現を基に、本研究は階層的なエネルギーベースモデルを構築し、すべての五つの心を同時に追跡・予測する。この新たな視点から、社会的イベントは非言語的コミュニケーションと信念動態の連続的な過程として解釈され、従来のキーフレーム動画要約を越える。 [All Versions] [Preprint]

  • Ten-month-old infants infer the value of goals from the costs of actions - Science, 2017. [All Versions]. 子どもたちの理論的意図理解(ToM)能力に関する証拠の一つ。

  • Origins of the concepts cause, cost, and goal in prereaching infants - 『アメリカ国家科学院会議録』2019年。[All Versions]。

  • Baby Intuitions Benchmark (BIB): Discerning the goals, preferences, and actions of others - NeurIPS’21, 2021. [All Versions].

  • Intentonomy: a Dataset and Study towards Human Intent Understanding - CVPR’21, 2021. [All Versions]. ソーシャルメディア上に意図的に投稿された画像に関する大規模データベース。

  • Adventures in Flatland: Perceiving Social Interactions Under Physical Dynamics - CogSci’20, 2020. [All Versions].

  • PHASE: PHysically-grounded Abstract Social Events for Machine Social Perception - AAAI’21、2021年。[All Versions]。[Project]。

  • Watch-And-Help: A Challenge for Social Perception and Human-AI Collaboration - ICLR’21、2021年。[All Versions]。

  • Evaluating and Modeling Social Intelligence: A Comparative Study of Human and AI Capabilities - CogSci’24, 2024. [All Versions]. 本研究は、社会動態の包括的な理論フレームワークを構築し、逆推論(IR)および逆逆計画(IIP)という2つの評価タスクを導入した。さらに、再帰的ベイズ推論に基づく計算モデルを提示し、多様な人間の行動パターンを解明する能力を持つものとした。広範な実験と詳細な分析により、人間が最新のGPTモデルを全体的に上回り、ゼロショット学習、ワンショット一般化、マルチモーダルへの適応において優れた性能を示したことが明らかになった.

*Back to Top

類推

*Back to Top

因果性

*Back to Top

常識

直観物理

*Back to Top

AIの常識推論

*Back to Top

常識知識ベース

*Back to Top

帰納論理とプログラム合成

*Back to Top

知識表現

*Back to Top

認知発達

*Back to Top

オープンワールドでの学習

*Back to Top

認知的妥当性を持つ学習

*Back to Top

研究ツール

コース

*Back to Top

プログラミング

  • Probabilistic Models of Cognition - MIT. 認知科学における確率的アプローチは、学習と推論を複雑な確率モデルにおける推論としてモデル化する。

*Back to Top

論文執筆

  • LaTex Configuration - LaTex。構成ファイル用のLaTexテンプレート(灰色の参照、ページ逆参照を含む)。

  • BibTex Template - BibTex。AI、数学、認知科学のジャーナルおよび会議の略称を含むBibTexテンプレート。

  • bioRender - bioRender. 生命科学の30以上の分野から提供される数千の事前作成されたアイコンとテンプレートを閲覧することで、数分でプロフェッショナルな科学図を生成できる。

  • How to construct a Nature summary paragraph - ナチュラル。ナチュラルの抽象の作成に関する公式ガイドライン。

  • How to write a superb literature review - Nature, 2020. Natureは、過去の経験者と初学者に、レビューを魅力的に仕上げた実際の作業を語る。

  • Scientific Papers - Nature. 科学論文の執筆に関するNatureのガイドライン。

  • The Machine Learning Reproducibility Checklist - マギル大学. マシンラーニングアルゴリズムを再現性を保証した形で導入するためのガイドライン。

*Back to Top

論文読解

*Back to Top

文献管理

*Back to Top

知識管理

*Back to Top

研究機関と研究者

MIT

*Back to Top

Stanford

*Back to Top

Princeton

*Back to Top

Harvard

*Back to Top

UCLA

*Back to Top

UC Berkeley

*Back to Top

BNU

*Back to Top

PKU

*Back to Top

UCSD

*Back to Top

NYU

*Back to Top

JHU

*Back to Top

SIT

*Back to Top

人物と書籍

John Hopcroft

理論計算機科学者です。

*Back to Top

Ulf Grenander

応用数学者で、一般パターン理論の創始者です。

*Back to Top

David Marr

計算認知神経科学者で、分析レベルを確立しました。

*Back to Top

Michael Tomasello

認知科学者で、人間のコミュニケーション研究の基礎を築きました。

*Back to Top

Judea Pearl

応用数学者で、シャム型ベイズネットワークへの因果介入を提案しました。

*Back to Top

Susan Carey

発達心理学者で、人間知能の中核知識として物体を提案しました。

*Back to Top

Daniel Kahneman

計算認知科学者・経済学者で、意思決定理論の基礎を築きました。

*Back to Top

Karl Popper

科学哲学者で、科学的検証理論の創始者です。

*Back to Top

本一覧について

このリポジトリは、課題・技法・形而上学など多数の観点がある関連トピックを、知能の科学という観点から分類します。各トピックは知能の現象または知的行動を記述し、人間の知能を計算的方法へ逆設計する目的を示します。特定の技法や課題に限定せず、ソフトウェアとハードウェアの両面から知能の本質を整理します。

この読書リストはAGIと計算認知科学の全側面を網羅するものではありません。アブダクションとベイズモデリングの文献レビューから生まれたため、他のトピックには偏りがあります。既知から世界を説明し未知を発見する方法としてのアブダクションには、計算基盤、認知的基礎、AI応用のさらなる研究が必要です。

*Back to Top