湯山 孝雄ゆやま たかお

English page

* portrait *



東京工業大学,
理学院数学系
Email: '@'.join(['.'.join(['yuyama','t','aa']),'.'.join(['m','titech','ac','jp'])])をPythonの式として評価してください.

概要

東京工業大学 理学院 数学系 博士後期課程3年.
指導教員: 加藤文元.

研究分野

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

論文

  1. 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.
  2. Yuyama, Takao. On Hilbert's tenth problem over subrings of Q (.pdf), 修士論文, 東京工業大学, 2020.

講演スライド

  1. On Hilbert's tenth problem over subrings of Q (.pdf), 数学基礎論若手の会2019 (2019年12月8日, 愛知).
  2. Undecidability of Hilbert's Tenth Problem and its Applications (.pdf), ロジック&オートマトンワークショップ in 秋田 (2019年3月27日, 秋田大学), Best Presentation Award.
  3. Decidability of Presburger Arithmetic via Finite Automata (.pdf), ロジック&オートマトンワークショップ in 秋田 (2019年3月26日, 秋田大学), 招待講演.
  4. Matrix Mortality Problem (.pdf), 数学基礎論若手の会2018 (2018年11月24日, 沖縄).

その他資料