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

About关于研究室

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

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

Research研究课题

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

※示意图

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

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

※示意图

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

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

※示意图

分散制約最適化↗

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

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。