Rchr
J-GLOBAL ID：201101033063063071   Update date: Mar. 29, 2024

Tatsuta Makoto

Tatsuta Makoto
Affiliation and department：
国立情報学研究所

About 国立情報学研究所


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 (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
ｍore...
MISC (8)：
ｍore...
Books (13)：
  • 計算機科学の数学 その10
    サイエンス社 2023
  • 計算機科学の数学 その9
    サイエンス社 2023
  • 計算機科学の数学 その8
    サイエンス社 2023
  • 計算機科学の数学 その7
    サイエンス社 2023
  • 計算機科学の数学 その6
    サイエンス社 2023
ｍore...
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)
ｍore...
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

TOP

BOTTOM