
桜井 貴文
Takafumi SAKURAI
更新日: 2024/01/31
基本情報
- 所属
- 千葉大学 大学院理学研究院数学・情報数理学研究部門 教授
- 学位
-
博士(情報学)(2002年3月 京都大学)
- J-GLOBAL ID
- 202001006770737880
- researchmap会員ID
- B000382613
研究分野
1論文
7-
Programming Languages and Systems 120-139 2014年 査読有り
-
Indagationes Mathematicae 24(4) 1073-1104 2013年11月 査読有り
-
Frontiers of Computer Science in China 2(1) 12-21 2008年3月 査読有り
-
Computer Science Logic 484-497 2003年 査読有り
-
International Journal of Foundations of Computer Science 12(02) 213-244 2001年4月 査読有り
-
Functional and Logic Programming 359-374 2001年 査読有り
-
Lecture Notes in Computer Science 340-354 1999年 査読有り
共同研究・競争的資金等の研究課題
20-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2017年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2017年4月 - 2021年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2013年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2012年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2011年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 特定領域研究 2006年 - 2006年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2005年 - 2006年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2003年 - 2006年
-
日本学術振興会 科学研究費助成事業 特定領域研究 2004年 - 2005年
-
日本学術振興会 科学研究費助成事業 萌芽研究 2002年 - 2004年
-
日本学術振興会 科学研究費助成事業 特定領域研究 2003年 - 2003年
-
日本学術振興会 科学研究費助成事業 特定領域研究 2002年 - 2002年
-
日本学術振興会 科学研究費助成事業 特定領域研究(C) 2001年 - 2001年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2000年 - 2001年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 1998年 - 2000年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 1998年 - 1999年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 1998年 - 1999年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 1996年 - 1996年
-
日本学術振興会 科学研究費助成事業 一般研究(C) 1995年 - 1995年
-
日本学術振興会 科学研究費助成事業 一般研究(C) 1985年 - 1986年