研究者
J-GLOBAL ID:201801010236134443   更新日: 2024年04月22日

吉田 聡

ヨシダ サトル | YOSHIDA Satoru
所属機関・部署:
職名: 教授
ホームページURL (2件): http://www.kankyo-u.ac.jp/http://www.kankyo-u.ac.jp/english
研究分野 (3件): 情報学基礎論 ,  応用数学、統計数学 ,  数学基礎
研究キーワード (5件): 数理論理学 ,  定理証明 ,  モデル検査 ,  形式手法 ,  構成的数学
競争的資金等の研究課題 (1件):
  • 2020 - 2023 関係の連続性
学位 (1件):
  • 博士(情報科学) (北陸先端科学技術大学院大学)
委員歴 (3件):
  • 2023/04 - 現在 鳥取大学附属幼稚園 学校評議員
  • 2020/04 - 2022/03 鳥取大学地方創生教育プログラム推進委員会
  • 2018 - 八頭町 指定管理者選定委員会
所属学会 (2件):
日本科学哲学会 ,  日本数学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る