ページの先頭です。
サイト内の現在位置を表示しています。
  1. ホーム
  2. 企業情報
  3. 研究開発(R&D)
  4. NEC研究者紹介
  5. 本浦 庄太
ここから本文です。

NEC R&D Members

本浦 庄太

NEC 中央研究所
セキュリティ研究所
自動推論研究グループ
博士 (理学)

所在地: 〒211-8666 神奈川県川崎市中原区下沼部1753

研究分野

  • 数理論理学
  • 対話システム

論文

学位論文

  • A General Framework for Dynamic Epistemic Logic (指導教員:照井一成)

学会発表/国際会議

査読付き国際会議

  • Shota Motoura, "A General Framework for Modal Correspondence in Dynamic Epistemic Logic", In Proceedings of 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015), LNCS 9394, pp. 282-294, Taipei, Taiwan, 28-30 October 2015

査読なし研究集会

  • Shota Motoura, "A General Framework for Dynamic Epistemic Logic" [Invited], Prague Workshop on Nonclassical Logics, Prague, Czech Republic, 9 December 2016
  • Shota Motoura, "A General Framework for Modal Correspondence in Dynamic Epistemic Logic" [Invited], Epistemic logic + Modal Logic Workshop, Tokyo, Japan, 4-5 December 2015
  • Shota Motoura, "On the semantic meaning of reduction axioms in public announcement logic", SLAGICS 2013: ALGI and SLACS Join Forces, Kyoto, Japan, 24-26 September 2013
  • Shota Motoura, "On the semantic meaning of reduction axioms in public announcement logic" [Invited], Workshop on Epistemic Logic and Game Theory, Tsukuba, Japan, 8-9 March 2013
  • Shota Motoura, "On the semantic meaning of reduction axioms in public announcement logic", 47th Mathematical Logic Group Meeting, Niigata, Japan, 16-18 November 2012

略歴

  • 2006年3月京都教育大学附属高等学校 卒業
  • 2011年3月慶應義塾大学理工学部数理科学科 (数学専攻) 卒業
  • 2013年3月京都大学大学院理学研究科数学・数理解析専攻 (数理解析系) 修士課程 修了
  • 2017年3月京都大学大学院理学研究科数学・数理解析専攻 (数理解析系) 博士後期課程 修了
  • 2017年4月NEC中央研究所 入所

ページの先頭へ戻る