Takao Yuyama

Japanese page

* portrait *

Research Institute for Mathematical Sciences,
Kyoto University,
Kyoto 606-8502, JAPAN
Email: evaluate '@'.join(['yuyama','.'.join(['kurims','kyoto-u','ac','jp'])]) as a Python expression.


I am a researcher at RIMS, Kyoto University.

Research Interests

Keywords: mathematical logic, computability theory, undecidable problems, formal language theory, word problem for groups.


  1. Yuyama, Takao. Groups Whose Word Problems Are Accepted by Abelian G-Automata. In: F. Drewes and M. Volkov (Eds.): DLT 2023, LNCS 13911, pp. 246–257, 2023. doi:10.1007/978-3-031-33264-7_20. Best Paper Award [pdf]
  2. 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.