湯山 孝雄
ユヤマ タカオ (Takao Yuyama)
更新日: 05/24
基本情報
研究分野
1経歴
4-
2023年4月 - 現在
-
2020年4月 - 2023年3月
-
2020年4月 - 2023年3月
-
2020年4月 - 2023年3月
学歴
4-
2020年4月 - 2023年3月
-
2018年4月 - 2020年3月
-
2015年4月 - 2018年3月
-
2010年4月 - 2015年3月
論文
2-
Developments in Language Theory, DLT 2023, Lecture Notes in Computer Science 13911 246-257 2023年5月19日 査読有り
-
Notre Dame Journal of Formal Logic 61(4) 591-600 2020年11月1日 査読有り
MISC
1-
arXiv:2210.16879 2022年11月1日
講演・口頭発表等
17-
Developments in Language Theory 2023 2023年6月14日
-
AFSA 2023年度第1回領域集会 2023年5月19日
-
群・環・言語と計算機科学の周辺領域 2023年2月16日
-
2022年度 冬のLAシンポジウム 2023年1月30日
-
数学基礎論若手の会2022 2022年11月25日
-
論理・代数系・言語と計算機科学の周辺領域 2022年2月17日
-
第5回 数理新人セミナー 2022年2月9日
-
数学基礎論若手の会2021 2021年12月5日
-
第38回 記号論理と情報科学研究集会(SLACS2021) 2021年8月10日
-
論理・言語・代数系と計算機科学の周辺領域 2021年2月19日
-
第37回 記号論理と情報科学研究集会(SLACS2020) 2020年12月3日
-
数学基礎論若手の会2019 2019年12月8日
-
ロジック&オートマトンワークショップ in 秋田 2019年3月27日
-
ロジック&オートマトンワークショップ in 秋田 2019年3月26日 招待有り
-
数学基礎論若手の会2018 2018年11月24日
-
手形L4研究集会 2018年3月28日
-
ラムダ計算と論理の早春セミナー2018 2018年3月25日
共同研究・競争的資金等の研究課題
1-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2020年4月 - 2023年3月