浦本 武雄
Takeo Uramoto
更新日: 2025/06/13
基本情報
- 所属
- 鹿児島大学 学術研究院理工学域理学系 准教授
- 学位
-
博士（理学）(2014年3月 京都大学)
- J-GLOBAL ID
- 201801019713841570
- researchmap会員ID
- B000333777
Currently I'm working on intersections between automata theory and number theory. More broadly, my general interests are in the theory of computation, foundation of mathematics, geometry, physics and philosophy.
研究分野
2経歴
8-
2025年4月 - 現在
-
2021年3月 - 2025年3月
-
2020年6月 - 2021年2月
-
2019年4月 - 2020年3月
-
2017年1月 - 2019年3月
-
2015年4月 - 2016年12月
-
2014年11月 - 2015年3月
-
2014年4月 - 2014年10月
学歴
3-
2011年4月 - 2014年3月
-
2009年4月 - 2011年3月
-
2005年4月 - 2009年3月
論文
13-
Research in the Mathematical Sciences 12(3) 2025年6月9日 査読有り
-
Mathematische Zeitschrift 310(4) 2025年6月3日 査読有り
-
Journal of Pure and Applied Algebra 229(2) 107863-107863 2025年2月 査読有り
-
日本機械学会論文集 86(881) 19-00256 2020年1月25日 査読有り
-
JSIAM Letters 12 29-32 2020年 査読有り
-
Journal of Algebra 508(15) 539-568 2018年8月 査読有り
-
数理解析研究所講究録 2051 137-142 2017年10月
-
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 85(4) 595-616 2016年6月 査読有り
-
PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016) 545-554 2016年 査読有り
-
数理解析研究所講究録 1964 133-151 2015年10月
-
数理解析研究所講究録 1915 100-112 2014年9月
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8428 83-100 2014年 査読有り
MISC
2-
現代思想 2020年7月 筆頭著者
-
数学セミナー2019年12月号 2019年12月 筆頭著者
書籍等出版物
2-
技術評論社 2015年 (ISBN: 9784774172705)
-
日本評論社 2015年 (ISBN: 9784535787209)
共同研究・競争的資金等の研究課題
2-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2022年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2016年4月 - 2020年3月