研究者
J-GLOBAL ID:201801010236134443
更新日: 2024年05月01日
吉田 聡
ヨシダ サトル | 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
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM