樋口 幸治郎
ヒグチ コウジロウ (Kojiro HIGUCHI)
更新日: 2023/08/02
基本情報
研究キーワード
1経歴
6-
2019年4月 - 現在
-
2016年4月 - 2019年3月
-
2013年4月 - 2016年3月
-
2013年4月 - 2016年3月
-
2012年4月 - 2013年3月
-
2012年4月 - 2013年3月
学歴
5-
2009年4月 - 2012年3月
-
2009年4月 - 2012年3月
-
2007年4月 - 2009年3月
-
2007年4月 - 2009年3月
-
2001年4月 - 2007年3月
論文
3-
Proceedings of the American Mathematical Society 148(7) 2823-2833 2020年7月 査読有り筆頭著者
-
数理解析研究所講究録 2050 24-40 2017年10月1日 査読有り筆頭著者
-
数理解析研究所講究録 1729 9-17 2011年2月1日 筆頭著者
MISC
11-
ARCHIVE FOR MATHEMATICAL LOGIC 53(7-8) 835-853 2014年11月 査読有り
-
ANNALS OF PURE AND APPLIED LOGIC 165(9) 1445-1469 2014年9月 査読有り
-
MATHEMATICAL LOGIC QUARTERLY 60(4-5) 280-288 2014年8月 査読有り
-
ANNALS OF PURE AND APPLIED LOGIC 165(6) 1201-1241 2014年6月 査読有り
-
MATHEMATICAL LOGIC QUARTERLY 60(3) 136-153 2014年5月 査読有り
-
ANNALS OF PURE AND APPLIED LOGIC 165(5) 1058-1114 2014年5月 査読有り
-
ANNALS OF PURE AND APPLIED LOGIC 165(2) 742-758 2014年2月 査読有り
-
ANNALS OF PURE AND APPLIED LOGIC 163(6) 693-697 2012年6月 査読有り
-
How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings 7318 581-588 2012年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7318 303-312 2012年 査読有り
-
PROGRAMS, PROOFS, PROCESSES 6158 190-194 2010年 査読有り
講演・口頭発表等
32-
数学基礎論若手の会 2021年12月3日
-
日本数学会2021年度年会 2021年3月17日
-
日本数学会東北支部会 2020年2月22日
-
日本数学会2018年度秋季総合分科会 2018年9月26日 招待有り
-
RISM研究集会 数学基礎論とその応用 2016年9月26日 招待有り
-
第59回日本大学工学部学術研究報告会 2016年9月26日
-
第50回MLG数理論理学研究集会 2016年1月9日
-
日本数学会2015年度年会 2015年3月22日
-
山陰基礎論・解析学研究集会 2015年1月25日
-
Analysis, Randomness and Applications (ARA2014) 2014年9月4日
-
Logic Colloquium 2014, Vienna Summer of Logic 2014 2014年7月15日
-
SLACS 2014 / 2014年度超準解析シンポジウム 2014年5月27日
-
Computability Theory and Foundations of Mathematics (CTFM 2014) 2014年2月19日
-
山陰基礎論・解析学セミナー2014 2014年2月1日
-
数学基礎論若手の会 2013年11月16日
-
13th Asian Logic Conference 2013年9月18日
-
Computability in Europe 2013 (CiE 2013) 2013年7月5日
-
ELC Workshop on Randomness and Probability Through Computability 2013年5月15日
-
Computability Theory and Foundations of Mathematics (CTFM 2013) 2013年2月18日
-
Workshop on Mathematical Logic 2012年12月7日