SAKURAI Takafumi

Affiliation and department：

Research field (1)： Mathematical informatics

Research theme for competitive and other funds (20)：

2017 - 2023 古典論理に基づく計算系とその性質の検証
2017 - 2021 クラス理論に基づく自己拡張可能なソフトウェア検証体系の深化
2013 - 2017 Construction of a self-extendable software verification system based on class theory
2012 - 2016 Translation from Classical to Intuitionistic Logic
2011 - 2015 An analysis of community activation requirements and generation characteristics of multi generation real-name base SNS

Show all

Papers (7)：

Kentaro Kikuchi, Takafumi Sakurai. A Translation of Intersection and Union Types for the λμ-Calculus. Programming Languages and Systems. 2014. 120-139
Masahiko Sato, Randy Pollack, Helmut Schwichtenberg, Takafumi Sakurai. Viewing λ-terms through maps. Indagationes Mathematicae. 2013. 24. 4. 1073-1104
Masahiko SATO, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi. Calculi of meta-variables. Frontiers of Computer Science in China. 2008. 2. 1. 12-21
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi. Calculi of Meta-variables. Computer Science Logic. 2003. 484-497
TAKAFUMI SAKURAI. CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES. International Journal of Foundations of Computer Science. 2001. 12. 02. 213-244

ｍore...

Professional career (1)：

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page