研究者氏名	桜井貴文

URL
所属	千葉大学
部署	大学院理学研究院数学・情報数理学研究部門
職名	教授
学位	博士(情報学)(京都大学)
J-Global ID	202001006770737880

研究分野

情報通信 / 数理情報学 /

論文

12 >

A Translation of Intersection and Union Types for the λμ-Calculus

Kentaro Kikuchi Takafumi Sakurai

Programming Languages and Systems 120-139 2014年 [査読有り]

Viewing λ-terms through maps

Masahiko Sato Randy Pollack Helmut Schwichtenberg Takafumi Sakurai

Indagationes Mathematicae 24(4) 1073-1104 2013年11月 [査読有り]

Calculi of meta-variables

Masahiko SATO Takafumi Sakurai Yukiyoshi Kameyama Atsushi Igarashi

Frontiers of Computer Science in China 2(1) 12-21 2008年3月 [査読有り]

Calculi of Meta-variables

Masahiko Sato Takafumi Sakurai Yukiyoshi Kameyama Atsushi Igarashi

Computer Science Logic 484-497 2003年 [査読有り]

CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES

TAKAFUMI SAKURAI

International Journal of Foundations of Computer Science 12(02) 213-244 2001年4月 [査読有り]

It is observed that the proof of strong normalizability of typed terms of typed λ-calculus looks like the process of the model construction. The observation is clarified by the works of Hyland and Ong [8], Altenkirch [2], Stefanova and Geuvers [15...

共同研究・競争的資金等の研究課題

12 3 4 >

古典論理に基づく計算系とその性質の検証
日本学術振興会: 科学研究費助成事業
桜井貴文菊池健太郎

研究期間: 2017年4月 - 2023年3月

クラス理論に基づく自己拡張可能なソフトウェア検証体系の深化
日本学術振興会: 科学研究費助成事業
佐藤雅彦桜井貴文亀山幸義五十嵐淳

研究期間: 2017年4月 - 2021年3月

クラス理論に基づく自己拡張可能なソフトウェア検証体系の構築
日本学術振興会: 科学研究費助成事業
佐藤雅彦外山芳人五十嵐淳桜井貴文小林直樹

研究期間: 2013年4月 - 2017年3月

古典論理計算系から直観主義論理計算系への翻訳
日本学術振興会: 科学研究費助成事業
桜井貴文佐藤雅彦菊池健太郎

研究期間: 2012年4月 - 2016年3月

実名開示型多世代ＳＮＳにおけるコミュニティ活性化要件と世代間特性の解析
日本学術振興会: 科学研究費助成事業
檜垣泰彦大塚成男桜井貴文

研究期間: 2011年4月 - 2015年3月

メニュー/MENU

大学院理学研究院

桜井 貴文

研究分野

論文

共同研究・競争的資金等の研究課題

桜井貴文