Rchr
J-GLOBAL ID:201801010236134443
Update date: May. 01, 2024 YOSHIDA Satoru
ヨシダ サトル | YOSHIDA Satoru
Affiliation and department: Job title:
Professor
Homepage URL (2): http://www.kankyo-u.ac.jp/
,
http://www.kankyo-u.ac.jp/english Research field (3):
Information theory
, Applied mathematics and statistics
, Basic mathematics
Research keywords (5):
mathematical logic
, theorem proving
, model checking
, formal methods
, constructive mathematics
Research theme for competitive and other funds (1): - 2020 - 2023 Continuity of relations
Professional career (1): Committee career (3): - 2023/04 - 現在 鳥取大学附属幼稚園 学校評議員
- 2020/04 - 2022/03 鳥取大学地方創生教育プログラム推進委員会
- 2018 - 八頭町 指定管理者選定委員会
Association Membership(s) (2):
Philosophy of science society, Japan
, The mathematical society of Japan
Return to Previous Page