Rchr
J-GLOBAL ID:201101033063063071   Update date: Jan. 30, 2024

Tatsuta Makoto

Tatsuta Makoto
Affiliation and department:
Job title: 教授
Homepage URL  (1): http://research.nii.ac.jp/~tatsuta
Research field  (4): Applied mathematics and statistics ,  Basic mathematics ,  Information theory ,  Information theory
Research theme for competitive and other funds  (1):
  • 2007 - 2010 Type Theory of Commutative Reductions
Papers (90):
  • 伊藤 宗平, 龍田 真. 帰納的推論の計算複雑性. ソフトウェア科学会第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
  • Daisuke Kimura, Makoto Tatsuta. Decidability for Entailments of Symbolic Heaps with Arrays. Logical Methods in Computer Science. 2021. 17. 2. 15:1-15:33
  • Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa. Function Pointer Eliminator for C Programs. Lecture Notes in Computer Science. 2021. 13008. 23-37
more...
MISC (8):
Books (6):
  • 計算機科学の数学 その3
    サイエンス社 2023
  • 計算機科学の数学 その2
    サイエンス社 2022
  • 計算機科学の数学 その1
    サイエンス社 2022
  • 岩波数学辞典第4版
    岩波書店 2002
  • 新版情報処理ハンドブック
    オーム社 1995
more...
Lectures and oral presentations  (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
    (Mathematical Logic and Constructivity (MLOC 2019) 2019)
  • Brotherston's Conjecture: Equivalence of Inductive Definitions and Cyclic Proofs
    (Programming Languages Seminar 2019)
more...
Works (1):
  • Proof Figure Macros proof.sty
    M. Tatsuta 1990 -
Professional career (1):
  • 東京大学博士(理学)
Committee career (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
Awards (4):
  • 2022/09 - Best Research Paper Award Spatial Factorization in Cyclic-Proof System for Separation Logic
  • 2017/04 - European Association for Theoretical Computer Science (EATCS) EATCS Award for ETAPS best paper
  • 2006/03 - 日本ソフトウェア科学会 Best Paper Award受賞
  • 1990/01/12 - 日本ソフトウェア科学会 高橋奨励賞
Association Membership(s) (4):
INFORMATION PROCESSING SOCIETY OF JAPAN ,  Association for Symbolic Logic ,  日本数学会 ,  日本ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page