Takeo Uramoto
(浦本 武雄)
Modified on: 01/31
Profile Information
- Affiliation
- Kyushu University
- Degree
-
博士(理学)(京都大学)
- J-GLOBAL ID
- 201801019713841570
- researchmap Member 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.
Research Areas
2Research History
7-
Jun, 2020 - Feb, 2021
-
Apr, 2019 - Mar, 2020
-
Jan, 2017 - Mar, 2019
-
Apr, 2015 - Dec, 2016
-
Nov, 2014 - Mar, 2015
-
Apr, 2014 - Oct, 2014
Education
3-
Apr, 2011 - Mar, 2014
-
Apr, 2009 - Mar, 2011
-
Apr, 2005 - Mar, 2009
Papers
9-
Transactions of the JSME (in Japanese), 86(881) 19-00256, Jan 25, 2020 Peer-reviewed
-
JSIAM Letters, 12 29-32, 2020 Peer-reviewed
-
Journal of Algebra, 508(15) 539-568, Aug, 2018 Peer-reviewed
-
2051 137-142, Oct, 2017 Lead author
-
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 85(4) 595-616, Jun, 2016 Peer-reviewed
-
PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 545-554, 2016 Peer-reviewed
-
1964 133-151, Oct, 2015 Lead author
-
1915 100-112, Sep, 2014 Lead author
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8428 83-100, 2014 Peer-reviewed
Misc.
2-
現代思想, Jul, 2020 Lead author
-
数学セミナー2019年12月号, Dec, 2019 Lead author
Books and Other Publications
2-
技術評論社, 2015 (ISBN: 9784774172705)
-
日本評論社, 2015 (ISBN: 9784535787209)
Research Projects
2-
科学研究費助成事業, 基盤研究(C), 日本学術振興会, Apr, 2022 - Mar, 2027
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Young Scientists (B), Japan Society for the Promotion of Science, Apr, 2016 - Mar, 2020