倉田 俊彦
クラタ トシヒコ (Toshihiko Kurata)
更新日: 2023/07/27
基本情報
- 所属
- 法政大学 経営学部市場経営学科 教授
- 学位
-
博士(理学)(東京工業大学)
- 研究者番号
- 40311899
- J-GLOBAL ID
- 200901002041763958
- researchmap会員ID
- 1000285725
学歴
1-
- 1997年3月
委員歴
2-
2013年7月 - 2015年6月
-
2009年4月 - 2012年3月
論文
20-
京都大学数理解析研究所講究録, Theory and Applications of Proof and Computation 2228 206-214 2022年
-
京都大学数理解析研究所講究録, Logic,Algebra system, Language and Related Areas in Computer Science 2229 21-29 2022年
-
Fundamenta Informaticae 170(1-3) 223-240 2019年 査読有り
-
京都大学数理解析研究所講究録 1635 137-146 2018年
-
京都大学数理解析研究所講究録 1950 12-27 2015年
-
京都大学数理解析研究所講究録 1832 8-18 2013年
-
京都大学数理解析研究所講究録 1729 1-8 2011年
-
京都大学数理解析研究所講究録 1635 60-76 2009年4月
-
京都大学数理解析研究所講究録 1533 15-23 2007年2月
-
京都大学数理解析研究所講究録 1442 48-67 2005年
-
INFORMATION AND COMPUTATION 178(1) 1-11 2002年10月 査読有り
-
Theoretical Computer Science 272(1-2) 197-221 2002年2月 査読有り
-
Proceedings of the Second Fuji International Workshop on Functional and Logic Programming 210-229 1997年 査読有り
-
Lecture Notes in Computer Science 1210 231-247 1997年 査読有り
-
Department of Mathematical and Computing Sciences Research Report Series C-119 1995年12月
-
Department of Mathematical and Computing Sciences Research Report Series C-114 1995年4月
-
Lecture Notes in Computer Science 902 297-311 1995年 査読有り
-
Department of Mathematical and Computing Sciences Research Reports Series C-111 1994年
書籍等出版物
1-
京都大学数理解析研究所 2009年4月
講演・口頭発表等
40-
京都大学数理解析研究所RIMS共同研究(公開型)「群・環・言語と計算機科学の周辺領域」 2023年2月
-
日本数学会2022年度年会 2022年3月
-
京都大学数理解析研究所RIMS研究集会(公開型)「論理・代数系・言語と計算機科学の周辺領域」 2022年2月
-
京都大学数理解析研究所RIMS研究集会(公開型)「証明論と計算の理論と応用」 2021年12月
-
日本数学会日本数学会2021年度秋季総合分科会 2021年9月
-
ラムダ計算と論理の早春のセミナー 2016年3月22日
-
第50回MLG数理論理学研究集会 2016年1月10日
-
2015年度証明論研究集会/記号論理と情報科学研究集会 2015年12月16日
-
ラムダ計算と論理の晩夏セミナー 2015年9月25日
-
ラムダ計算と論理の早春のセミナー 2015年3月18日
-
RIMS研究集会:証明論・計算論とその周辺 2014年12月26日
-
日本数学会秋季総合分科会 2014年9月28日
-
ラムダ計算と論理の晩夏セミナー 2014年9月22日
-
ラムダ計算と論理の早春のセミナー 2014年3月10日
-
日本数学会秋季総合分科会 2013年9月26日
-
高知ロジックセミナー 2013年9月23日
-
ラムダ計算と論理の晩夏セミナー 2013年9月16日
-
ラムダ計算と論理の早春のセミナー 2013年3月16日
-
RIMS研究集会:証明論と複雑性 2012年9月12日
-
ラムダ計算と論理の早春セミナー 2012年3月21日
所属学協会
2-
2004年4月 - 現在