Email: '@'.join(['yuyama','.'.join(['kurims','kyoto-u','ac','jp'])])
をPythonの式として評価してください.
概要
京都大学 数理解析研究所 特定研究員.
研究分野
キーワード:
数理論理学(mathematical logic),
計算可能性理論(computability theory),
決定不能問題(undecidable problems),
形式言語理論(formal language theory),
群の語の問題(word problem for groups).
論文等
- 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
- 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.
その他資料