山崎 武
ヤマザキ タケシ (Takeshi Yamazaki)
更新日: 2024/01/31
基本情報
- 所属
- 東北大学 大学院理学研究科・理学部 数学専攻 准教授
- 学位
-
博士（理学）(2000年3月 東北大学)
- J-GLOBAL ID
- 200901045371606809
- researchmap会員ID
- 5000101930
- 外部リンク
論文
15-
Archive for Mathematical Logic 56(3 and 4) 385-396 2017年3月 査読有り
-
QUANTUM INFORMATION & COMPUTATION 16(3-4) 251-270 2016年3月 査読有り
-
COMPUTING AND COMBINATORICS 9198 223-234 2015年 査読有り
-
Quantum Inf. Comput. 14(13-14) 1149-1164 2015年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8493 324-332 2014年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8087 801-812 2013年 査読有り
-
ARCHIVE FOR MATHEMATICAL LOGIC 47(2) 159-180 2008年7月 査読有り
-
Reverse mathematics 2001 2005年 査読有り
-
Reverse mathematics 2001 2005年 査読有り
-
MATHEMATICAL LOGIC QUARTERLY 50(6) 587-593 2004年 査読有り
-
Journal of Symbolic Logic 65(1) 173-186 2000年 査読有り
MISC
1-
数理解析研究所講究録 1553 9--14 2007年
書籍等出版物
2-
東京大学出版会 2007年3月15日
-
2007年1月15日
講演・口頭発表等
9-
AIG 4 2016年1月10日
-
Computability Theory and Foundations of Mathematics 2015 2015年9月7日
-
JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics 2015年3月6日
-
IMS-JSPS joint workshop 2014年9月1日
-
Workshop on Reverse Mathematics and Type Theory 2013年3月
-
Computability Theory and Foundations of Mathematics 2013年2月
-
Logic seminar in Gent University 2011年9月2日
-
日本数学会 2007年9月
-
日本数学会 2007年9月
共同研究・競争的資金等の研究課題
9-
その他の研究制度 2000年4月 - 現在
-
その他の研究制度 2000年4月 - 現在
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2011年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2011年 - 2012年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2007年 - 2010年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2007年 - 2010年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2004年 - 2006年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2004年 - 2006年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2001年 - 2003年
社会貢献活動
1