研究者
J-GLOBAL ID：202101005258124940
更新日: 2024年02月01日
湯山 孝雄
ユヤマ タカオ | Yuyama Takao
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署：
京都大学 数理解析研究所
京都大学 数理解析研究所 について
「京都大学 数理解析研究所」ですべてを検索
機関情報を見る
職名：
特定研究員
ホームページURL (2件)：
http://t-yuyama.jp/index-ja.html
,
http://t-yuyama.jp
研究分野 (1件)：
数学基礎
研究キーワード (5件)：
群の語の問題
, 数理論理学
, 形式言語理論
, 決定不能問題
, 計算可能性理論
競争的資金等の研究課題 (1件)：
2020 - 2023 一般のHilbertの第10問題と計算可能性理論
論文 (2件)：
Takao Yuyama. Groups Whose Word Problems Are Accepted by Abelian G-Automata. Developments in Language Theory, DLT 2023, Lecture Notes in Computer Science. 2023. 13911. 246-257
Ryo Kashima, Naosuke Matsuda, Takao Yuyama. Term-Space Semantics of Typed Lambda Calculus. Notre Dame Journal of Formal Logic. 2020. 61. 4. 591-600
MISC (1件)：
Takao Yuyama. More on Groups and Counter Automata. arXiv:2210.16879. 2022
講演・口頭発表等 (18件)：
Novikov-Booneの定理とその周辺
(数学基礎論若手の会2023 2023)
Groups Whose Word Problems Are Accepted by Abelian G-Automata
(Developments in Language Theory 2023 2023)
群の語の問題と形式言語理論
(AFSA 2023年度第1回領域集会 2023)
語の問題がアーベルG-オートマトンで受理される群について
(群・環・言語と計算機科学の周辺領域 2023)
語の問題がアーベルG-オートマトンで受理される群について
(2022年度 冬のLAシンポジウム 2023)
もっと見る
学歴 (4件)：
2020 - 2023 東京工業大学 理学院 数学系
2018 - 2020 東京工業大学 理学院 数学系
2015 - 2018 東京工業大学 理学部 数学科
2010 - 2015 沼津工業高等専門学校 制御情報工学科
学位 (4件)：
準学士(工学) (沼津工業高等専門学校)
学士(理学) (東京工業大学)
修士(理学) (東京工業大学)
博士(理学) (東京工業大学)
経歴 (4件)：
2023/04 - 現在 京都大学 数理解析研究所 特定研究員
2020/04 - 2023/03 東京工業大学 理学院 リサーチアシスタント
2020/04 - 2023/03 東京工業大学 理学院 ティーチングアシスタント
2020/04 - 2023/03 東京工業大学 理学院 数学系 日本学術振興会特別研究員DC1
受賞 (1件)：
2023/06 - Developments in Language Theory 2023 Best Paper Award Groups Whose Word Problems Are Accepted by Abelian G-Automata
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM
