Top


ハタノ リョウ
秦野 亮  助教
東京理科大学 理工学部 経営工学科
プロフィール | 研究シーズ | 担当授業(26件)
レフェリー付学術論文(4件) | レフェリー付プロシーディングス(20件) | その他著作(16件) | 著書(1件) | 学会発表(37件)
グループ IT
研究・技術キーワード 理論計算機科学、様相論理、動的認識論理
研究・技術テーマ
  • マルチエージェント・コミュニケーションのための様相論理に関する線形代数的意味論
研究・技術内容 本研究では、マルチエージェント・システムにおける、エージェントの知識や信念の変化の記述に用いられる様相論理の「クリプキ意味論」に対し、従来あまり注目を集めてこなかった2値行列の演算(線形代数)に基づく意味論を与えた。本研究の理論的な成果により、従来この分野の研究基盤の一つであった様相論理から、最新の動的認識論理における関係変化に関するクリプキ意味論に至るまでの広範な範囲の話題を、2値行列の演算を用いて議論することが出来るようになる。そのため、今後は機械学習など行列演算を基盤とした他の研究領域との連携など、様々な応用が見込まれている。
産業への利用
可能な産学連携形態 共同研究、技術相談および指導、国際的な産学連携への対応
具体的な産学連携形態内容
その他所属研究機関
所属研究室 西山研究室
所有研究装置
SDGs
CLOSE