湯山 孝雄
ユヤマ タカオ (Takao Yuyama)
更新日: 2022/11/01
基本情報
研究分野
1経歴
3-
2020年4月 - 現在
-
2020年4月 - 現在
-
2020年4月 - 2023年3月
学歴
4-
2020年4月 - 現在
-
2018年4月 - 2020年3月
-
2015年4月 - 2018年3月
-
2010年4月 - 2015年3月
論文
1-
Notre Dame Journal of Formal Logic 61(4) 591-600 2020年11月1日 査読有り
MISC
1-
arXiv:2210.16879 2022年11月1日
主要な講演・口頭発表等
16-
論理・代数系・言語と計算機科学の周辺領域 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日
共同研究・競争的資金等の研究課題
1-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2020年4月 - 2023年3月