Email: evaluate '@'.join(['.'.join(['yuyama','t','aa']),'.'.join(['m','titech','ac','jp'])])
as a Python expression.
About
I am a graduate student in the doctoral course at Tokyo Institute of Technology.
My advisor is Fumiharu Kato.
Research Interests
Keywords:
mathematical logic,
computability theory,
undecidable problems,
formal language theory,
word problem for groups
Research Articles
- Yuyama, Takao. More on Groups and Counter Automata. arXiv preprint. arXiv:2210.16879.
- Kashima, Ryo; Matsuda, Naosuke; Yuyama, Takao. Term-Space Semantics of Typed Lambda Calculus. Notre Dame J. Formal Logic 61 (2020), no. 4, 591--600. doi:10.1215/00294527-2020-0028.
- Yuyama, Takao. On Hilbert's tenth problem over subrings of Q (.pdf), masters thesis, Tokyo Institute of Technology, 2020.
Slides
- On Hilbert's tenth problem over subrings of Q (.pdf), 数学基礎論若手の会2019 (December 8, 2019; Aichi, Japan).
- Undecidability of Hilbert's Tenth Problem and its Applications (.pdf), Automata and Logic Workshop in AKITA (March 27, 2019; Akita University, Japan), Best Presentation Award.
- Decidability of Presburger Arithmetic via Finite Automata (.pdf), Automata and Logic Workshop in AKITA (March 26, 2019; Akita University, Japan), invited lecture.
- Matrix Mortality Problem (.pdf) (in Japanese), 数学基礎論若手の会2018 (November 24, 2018; Okinawa, Japan).