勝股 審也
カツマタ シンヤ (Shin'ya Katsumata)
更新日: 04/05
基本情報
- 所属
- 京都産業大学 理学部 数理科学科 教授
- 学位
-
哲学博士(Doctor of Philosophy)(エジンバラ大学(The University of Edinburgh))修士(理)(京都大学)
- J-GLOBAL ID
- 200901090266052267
- researchmap会員ID
- 5000091259
研究キーワード
2研究分野
1経歴
5-
2024年4月 - 現在
-
2023年4月 - 2024年3月
-
2017年4月 - 2023年3月
-
2007年4月 - 2017年3月
-
2004年4月 - 2007年3月
学歴
3主要な論文
60-
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年1月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7794 145-160 2013年 査読有り
-
AUTOMATA, LANGUAGES AND PROGRAMMING, ICALP, PT II 6756(PART 2) 174-185 2011年 査読有り
-
JOURNAL OF FUNCTIONAL PROGRAMMING 18 781-819 2008年9月 査読有り
-
AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, PROCEEDINGS 5126(PART 2) 271-+ 2008年 査読有り
-
ACM SIGPLAN NOTICES 41(9) 227-238 2006年9月 査読有り
-
COMPUTER SCIENCE LOGIC, PROCEEDINGS 3634 87-102 2005年 査読有り
MISC
1-
abs/1809.09278 2018年9月25日
所属学協会
1共同研究・競争的資金等の研究課題
7-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2022年4月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2018年4月 - 2021年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2015年4月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 挑戦的萌芽研究 2013年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 若手研究(B) 2012年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2008年 - 2010年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 若手研究(B) 2008年 - 2010年