研究者
J-GLOBAL ID:201101033063063071   更新日: 2021年03月24日

龍田 真

Tatsuta Makoto
所属機関・部署:
職名: 教授
ホームページURL (1件): http://research.nii.ac.jp/~tatsuta
研究分野 (4件): 応用数学、統計数学 ,  数学基礎 ,  情報学基礎論 ,  情報学基礎論
論文 (86件):
もっと見る
MISC (6件):
書籍 (3件):
  • 岩波数学辞典第4版
    岩波書店 2002
  • 新版情報処理ハンドブック
    オーム社 1995
  • 型理論
    近代科学社 1992
講演・口頭発表等 (22件):
  • 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)
  • Completeness of Cyclic Proofs for Symbolic Heaps with Cone Inductive Definitions
    (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
受賞 (3件):
  • 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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る