山田 瑛嗣

基本情報

所属

東京科学大学 情報理工学院 数理・計算科学系 数理・計算科学コース 博士後期課程

ORCID iD

https://orcid.org/0009-0007-2519-8016

J-GLOBAL ID

202601008597703768

researchmap会員ID

R000112698

外部リンク

https://github.com/eiyamada/lean-paper-formalizations

研究キーワード

• 認識論理
• 動的認識論理
• 認識論的ゲーム理論
• 高階知識
• 共有知識
• 論理学
• 様相論理
• 確率論
• ゲーム理論
• マルチエージェントシステム

研究分野

• 自然科学一般 / 数学基礎 / 認識論理
• 自然科学一般 / 数学基礎 / 動的認識論理
• 自然科学一般 / 応用数学、統計数学 / 認識論的ゲーム理論

学歴

• 2026年4月 - 現在

  東京科学大学, 情報理工学院, 数理・計算科学系
• 2024年4月 - 2026年3月

  筑波大学大学院, 理工情報生命学術院 数理物質科学研究群, 数学学位プログラム 博士前期課程
• 2020年4月 - 2024年3月

  筑波大学, 理工学群数学類

受賞

• 2026年3月

  茗溪会長賞, 筑波大学茗溪会
• 2024年3月

  数学類長賞, 筑波大学

論文

• Classification of $σ$-validity in iterated announcements

  Eiji Yamada

  2026年7月6日
• The Sources of Unknowability and Self-refutation in Epistemic and Dynamic Epistemic Logic

  Eiji Yamada

  2026年4月7日

講演・口頭発表等

• The Sources of Unknowability and Self-refutation in Epistemic and Dynamic Epistemic Logic

  山田瑛嗣

  Asian Workshop on Philosophical Logic 2026 2026年4月7日
• True lies, impossible lies, and iterated announcement, Workshop on Modal Logic

  山田瑛嗣

  Workshop on Modal Logic 2026年3月27日
• Introduction to Epistemic and Dynamic Epistemic Logic

  山田瑛嗣

  Logic Winter School 2026 2026年3月15日
• The logical limitations of higher-order knowledge and belief in a group of agents

  山田瑛嗣

  Tsukuba Workshop for Young Mathematicians 2026 2026年2月6日
• Introduction to Reasoning About Knowledge

  山田瑛嗣

  数学基礎論若手の会2025 2025年10月18日
• The Brandenburger-Keisler Paradox and Unknowable Propositions

  山田瑛嗣

  第 三十六回 ALGI 代数,論理,幾何と情報科学研究集会 2025年9月1日

所属学協会

• 2026年7月 - 現在

  日本数学会

共同研究・競争的資金等の研究課題

• 認識論理・動的認識論理における諸概念の関係の解明

  東京科学大学 東京科学大学博士支援事業,総合知と癒しの次世代フロントランナー育成プログラム 2026年7月 - 2029年3月

  山田瑛嗣