Rchr
J-GLOBAL ID:202101005258124940
Update date: Feb. 01, 2024
Yuyama Takao
ユヤマ タカオ | Yuyama Takao
Affiliation and department:
Homepage URL (2):
http://t-yuyama.jp/index-ja.html
,
http://t-yuyama.jp
Research field (1):
Basic mathematics
Research keywords (5):
word problem for groups
, mathematical logic
, formal language theory
, undecidable problem
, computability theory
Research theme for competitive and other funds (1):
- 2020 - 2023 Hilbert's tenth problem and computability theory
Papers (2):
-
Takao Yuyama. Groups Whose Word Problems Are Accepted by Abelian G-Automata. Developments in Language Theory, DLT 2023, Lecture Notes in Computer Science. 2023. 13911. 246-257
-
Ryo Kashima, Naosuke Matsuda, Takao Yuyama. Term-Space Semantics of Typed Lambda Calculus. Notre Dame Journal of Formal Logic. 2020. 61. 4. 591-600
MISC (1):
-
Takao Yuyama. More on Groups and Counter Automata. arXiv:2210.16879. 2022
Lectures and oral presentations (18):
-
Novikov-Booneの定理とその周辺
(2023)
-
Groups Whose Word Problems Are Accepted by Abelian G-Automata
(Developments in Language Theory 2023 2023)
-
群の語の問題と形式言語理論
(2023)
-
Groups whose Word Problem is Accepted by an Abelian G-automaton
(Group, Ring, Language and Related Areas in Computer Science 2023)
-
語の問題がアーベルG-オートマトンで受理される群について
(LA Symposium 2022 2023)
more...
Education (4):
- 2020 - 2023 Tokyo Institute of Technology School of Science Department of Mathematics
- 2018 - 2020 Tokyo Institute of Technology School of Science Department of Mathematics
- 2015 - 2018 Tokyo Institute of Technology School of Science Department of Mathematics
- 2010 - 2015 Numazu National College of Technology Control and Computer Engineering
Professional career (4):
- 準学士(工学) (National College of Technology)
- Bachelor of Science (Tokyo Institute of Technology)
- Master of Science in Mathematics (Tokyo Institute of Technology)
- Doctor of Science in Mathematics (Tokyo Institute of Technology)
Work history (4):
- 2023/04 - 現在 Kyoto University Research Institute for Mathematical Sciences Researcher
- 2020/04 - 2023/03 Tokyo Institute of Technology School of Science research assistant
- 2020/04 - 2023/03 Tokyo Institute of Technology School of Science teaching assistant
- 2020/04 - 2023/03 Tokyo Institute of Technology School of Science, Department of Mathematics JSPS Research Fellowship (DC1)
Awards (1):
- 2023/06 - Developments in Language Theory 2023 Best Paper Award Groups Whose Word Problems Are Accepted by Abelian G-Automata
Return to Previous Page