マルチエージェントシステム研究室

About研究室について

個々の行動から、秩序の創発を探る。

マルチエージェントシステム研究室は、互いに影響し合って意思決定する複数の主体（エージェント）からなるシステムを研究しています。
生物の群れや人間社会、自律分散型のコンピュータシステムなどがその例です。
個々のエージェントの振る舞いから秩序や均衡が生まれる仕組みの解明と、その工学的応用を目指しています。
数理論理学、ゲーム理論、分散アルゴリズム、分散最適化などを組み合わせた、分野横断的な研究が特色です。

Research研究テーマ

互いに影響を及ぼし合いながら意思決定する複数の主体（エージェント）からなるシステムを、マルチエージェントシステムと呼びます。この研究室は、個々のエージェントの振る舞いから秩序や均衡が生まれる仕組みの解明と、その工学的応用に取り組んでいます。

※イメージ画像

形式手法によるシステムの検証↗

ソフトウェアの仕様が意図どおりかを数学的に検証する形式手法を、自律分散型のネットワークシステムに応用しています。認識論的ゴシッププロトコルの障害への耐性も調べています。

※イメージ画像

世論形成とゲームの分析↗

フランスINRIAのmOeXチームと共同で、知識と意見が影響し合って世論ができる過程を明らかにすることを目指しています。ボードゲームやカードゲームも社会のモデルとみなして分析しています。

※イメージ画像

分散制約最適化↗

複数のエージェントが協調し、全体として最適な変数値の組み合わせを探す問題を扱います。代表的なアルゴリズムADOPTの停止性と最適性への反例を示し、修正版も提案しました。

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。