(最終更新日:2022-10-29 18:52:26)
  ヤギシタ ヒロキ   YAGISITA HIROKI
  栁下 浩紀
   所属   京都産業大学  理学部 数理科学科
   職種   教授
業績
■ 学会発表
1. 2021/03/15 「部分関数を関数記号の解釈とする (広義の) 構造」の意味論, 証明体系, 完全性定理(日本数学会2021年度年会)
経歴
■ 学歴
1.
(学位取得)
東京大学 博士(数理科学)
■ 所属学会
1. 日本応用数理学会
2. 日本数学会
その他
■ ホームページ
   https://www.researchgate.net/profile/Hiroki-Yagisita
■ 受賞学術賞
1. 2005 日本数学会賞建部賢弘特別賞
科研
■ 外部研究者ID
orcID 0000-0002-9544-4434