Rchr
J-GLOBAL ID：201801010236134443
Update date: Apr. 22, 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
