隈部 正博
クマベ マサヒロ (Masahiro Kumabe)
更新日: 05/02
基本情報
研究分野
1委員歴
1-
2011年3月 - 2013年3月
論文
20-
Computability 14(1) 38-62 2024年6月27日
-
Computability Theory and Foundations of Mathematics 2022年6月16日 査読有り
-
J. Log. Anal. 12 2020年 査読有り
-
INFORMATION AND COMPUTATION 242 227-248 2015年6月 査読有り
-
GAMES AND ECONOMIC BEHAVIOR 72(1) 187-201 2011年5月 査読有り
-
JOURNAL OF MATHEMATICAL ECONOMICS 47(2) 150-158 2011年3月 査読有り
-
The proceedings of the 11th Asian Logic Conference World Scientific, pp128-146 2011年 査読有り
-
PROCEEDINGS OF THE 10TH ASIAN LOGIC CONFERENCE World Scientific, pp.322-344. 322-+ 2010年 査読有り
-
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES 80 785-797 2009年12月 査読有り
-
SOCIAL CHOICE AND WELFARE 31(4) 621-640 2008年12月 査読有り
-
Archive for Mathematical Logic 47(2) 159-180 2008年7月 査読有り
-
JOURNAL OF MATHEMATICAL ECONOMICS 44(3-4) 348-366 2008年2月 査読有り
-
The Journal of Symbolic Logic 65(3) 1395-1442 2000年 査読有り
-
JOURNAL OF SYMBOLIC LOGIC 61(4) 1158-1192 1996年12月 査読有り
-
Computability, Enumerability, Unsolvability 167-184 1996年1月11日 査読有り
-
JOURNAL OF SYMBOLIC LOGIC 59(2) 516-528 1994年6月 査読有り
-
Annals of Pure and Applied Logic 59(3) 257-272 1993年 査読有り
-
The Journal of Symbolic Logic 58(1) 219-231 1993年 査読有り
-
JOURNAL OF SYMBOLIC LOGIC 56(3) 1075-1084 1991年9月 査読有り
-
JOURNAL OF SYMBOLIC LOGIC 55(2) 733-743 1990年6月 査読有り
MISC
4-
数理解析研究所講究録 2050 2017年
-
数理解析研究所講究録 1533 8-14 2007年2月
-
数理解析研究所講究録 1553 9--14 2007年
-
数理解析研究所講究録 1442 42-47 2005年7月
講演・口頭発表等
4-
数学基礎論とその応用 2016年9月26日 招待有り
-
The 11th Asian Logic Conference 2009年6月23日 National University of Singapore, Singapore, June 22-27, 2009
-
The 10th Asian Logic Conference 2008年9月5日 Kobe University in Kobe, Hyogo, Japan, September 1-6, 2008
-
The 10th Asian Logic Conference 2008年9月2日 Kobe University in Kobe, Hyogo, Japan, September 1-6, 2008 招待有り
担当経験のある科目(授業)
41-
2020年7月 - 2021年10月
共同研究・競争的資金等の研究課題
6-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2025年4月 - 2029年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2021年4月 - 2025年3月
-
日本学術振興会 科学研究費 2016年10月 - 2020年3月
-
日本学術振興会 科学研究費 2010年4月 - 2015年3月
-
日本学術振興会 科学研究費 2007年4月 - 2011年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2005年 - 2007年
社会貢献活動
2