研究者
J-GLOBAL ID：201101033063063071   更新日: 2024年03月29日

龍田 真

Tatsuta Makoto
所属機関・部署：
国立情報学研究所

国立情報学研究所 について


職名： 教授
ホームページURL (1件)： http://research.nii.ac.jp/~tatsuta
研究分野 (4件)： 応用数学、統計数学 ,  数学基礎 ,  情報学基礎論 ,  情報学基礎論
競争的資金等の研究課題 (1件)：
  • 2007 - 2010 置換簡約の型理論
論文 (92件)：
  • Daisuke Kimura, Makoto Tatsuta, Mahmudul Faisal Al Ameen, Mirai Ikebuchi, Koji Nakazawa. Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis. Computer Software. 2024. 41. 1. 1-18
  • Yukihiro Oda, James Brotherston, Makoto Tatsuta. The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions. Journal of Logic and Computation. 2023. 1-28
  • 伊藤 宗平, 龍田 真. 帰納的推論の計算複雑性. ソフトウェア科学会第39回全国大会論文集. 2023. 1-12
  • 伊藤 宗平, 龍田 真. 帰納法に関する推論の計算複雑性. Proceedings of the 24th JSSST Workshop on Programming and Programming Languages (PPL2023). 2023. 1-15
  • Daisuke Kimura, Makoto Tatsuta, Mahmudul Faisal Al Ameen, Koji Nakazawa, Mirai Ikebuchi. Biabduction for Separation Logic with Arrays and Lists. Proceedings of the 24st JSSST Workshop on Programming and Programming Languages (PPL2022). 2022. 1-16
もっと見る
MISC (8件)：
もっと見る
書籍 (13件)：
  • 計算機科学の数学 その10
    サイエンス社 2023
  • 計算機科学の数学 その9
    サイエンス社 2023
  • 計算機科学の数学 その8
    サイエンス社 2023
  • 計算機科学の数学 その7
    サイエンス社 2023
  • 計算機科学の数学 その6
    サイエンス社 2023
もっと見る
講演・口頭発表等 (23件)：
  • Brotherston's Conjecture: Equivalence of Inductive Definitions and Cyclic Proofs
    (九州大学 論理と計算セミナー 2022)
  • Cut-elimination in cyclic proof system for first-order logic
    (Fourth Workshop on Mathematical Logic and its Applications (MLA 2021) 2021)
  • マルティンレーフの帰納的定義と循環証明体系の同等性
    (第54回MLG数理論理学研究集会)
  • Different provability between Martin-Lof's inductive definitions and cyclic proofs
    (2019)
  • Brotherston's Conjecture: Equivalence of Inductive Definitions and Cyclic Proofs
    (2019)
もっと見る
Works (1件)：
  • Proof Figure Macros proof.sty
    M. Tatsuta 1990 -
学位 (1件)：
  • 東京大学博士(理学)
委員歴 (2件)：
  • 2016/03 - 2017/12 Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018) General chair
  • 2014/09 - 2015/09 EACSL Annual Conference on Computer Science Logic (CSL2015) program committee
受賞 (4件)：
  • 2022/09 - 日本ソフトウェア科学会 研究論文賞
  • 2017/04 - European Association for Theoretical Computer Science (EATCS) EATCS Award for ETAPS best paper 受賞
  • 2006/03 - 日本ソフトウェア科学会 Best Paper Award受賞
  • 1990/01/12 - 日本ソフトウェア科学会 高橋奨励賞
所属学会 (4件)：
情報処理学会 ,  Association for Symbolic Logic ,  日本数学会 ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM