勝股 審也
カツマタ シンヤ (Shin'ya Katsumata)
更新日: 03/08
基本情報
- 所属
- 国立情報学研究所 特任研究員
- 学位
-
哲学博士(Doctor of Philosophy)(エジンバラ大学(The University of Edinburgh))修士(理)(京都大学)
- J-GLOBAL ID
- 200901090266052267
- researchmap会員ID
- 5000091259
研究キーワード
2研究分野
1経歴
3-
2017年4月 - 現在
-
2006年4月 - 2017年3月
-
2004年4月 - 2006年3月
学歴
5-
- 2000年
-
- 2000年
-
- 1998年
主要な論文
48-
34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 1-13 2019年 査読有り
-
Logical Methods in Computer Science 14(4) 2018年 査読有り
-
Lecture Notes in Computer Science 11202 190-213 2018年 査読有り
-
Lecture Notes in Computer Science 10803 110-127 2018年 査読有り
-
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016) 9634 513-530 2016年 査読有り
-
Leibniz International Proceedings in Informatics, LIPIcs 35 156-170 2015年10月1日 査読有り
-
ACM SIGPLAN NOTICES 49(1) 633-645 2014年1月 査読有り
-
Information and Computation 222 228-246 2013年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7794 145-160 2013年 査読有り
-
Lecture Notes in Computer Science 6756(PART 2) 174-185 2011年 査読有り
-
JOURNAL OF FUNCTIONAL PROGRAMMING 18 781-819 2008年9月 査読有り
-
Lecture Notes in Computer Science 5126(PART 2) 271-282 2008年 査読有り
-
ACM SIGPLAN NOTICES 41(9) 227-238 2006年9月 査読有り
-
COMPUTER SCIENCE LOGIC, PROCEEDINGS 3634 87-102 2005年 査読有り
MISC
1所属学協会
1共同研究・競争的資金等の研究課題
6-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2018年4月 - 2021年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2015年4月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2013年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2012年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2008年 - 2010年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2008年 - 2010年