湯山 孝雄（ゆやま たかお）

English page

* portrait *

京都大学,
数理解析研究所
Email: '@'.join(['yuyama','.'.join(['kurims','kyoto-u','ac','jp'])])をPythonの式として評価してください．

概要

京都大学 数理解析研究所 特定研究員．

研究分野

キーワード: 数理論理学(mathematical logic), 計算可能性理論(computability theory), 決定不能問題(undecidable problems), 形式言語理論(formal language theory), 群の語の問題(word problem for groups).

論文等

  1. Hirvensalo, Mika; Kawamura, Akitoshi; Potapov, Igor; Yuyama, Takao. Reachability in Linear Recurrence Automata. In: L. Kovács and A. Sokolova (Eds.): RP24, LNCS 15050, pp. 167-183, 2024. doi:10.1007/978-3-031-72621-7_12.
  2. Yuyama, Takao; Sin'ya, Ryoma. Measuring Power of Commutative Group Languages. In: S.Z. Fazekas (Eds.): CIAA 2024, LNCS 15015, pp. 347-362, 2024. doi:10.1007/978-3-031-71112-1_25. [pdf (full version)]
  3. 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]
  4. 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.

その他資料