研究者
J-GLOBAL ID：202001006770737880   更新日: 2024年01月31日

桜井 貴文

SAKURAI Takafumi
所属機関・部署：
千葉大学 大学院理学研究院数学・情報数理学研究部門

千葉大学 大学院理学研究院数学・情報数理学研究部門 について


職名： 教授
研究分野 (1件)： 数理情報学
競争的資金等の研究課題 (20件)：
  • 2017 - 2023 古典論理に基づく計算系とその性質の検証
  • 2017 - 2021 クラス理論に基づく自己拡張可能なソフトウェア検証体系の深化
  • 2013 - 2017 クラス理論に基づく自己拡張可能なソフトウェア検証体系の構築
  • 2012 - 2016 古典論理計算系から直観主義論理計算系への翻訳
  • 2011 - 2015 実名開示型多世代SNSにおけるコミュニティ活性化要件と世代間特性の解析
全件表示
論文 (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
もっと見る
学位 (1件)：
  • 博士(情報学) (京都大学)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM