Rchr
J-GLOBAL ID：200901028848430846
Update date: Dec. 26, 2022
Yamazaki Isamu
ヤマザキ イサム | Yamazaki Isamu
Affiliation and department：
Job title：
Professor Emeritus(describe the name of university in title)
Research field (2)：
Information networks
, Computer systems
Research keywords (4)：
自動定理証明
, 計算機アーキテクチャ
, Automated Theorem Proving
, Computer Architecture
Research theme for competitive and other funds (2)：
- 論理を指向した代数系
- Logic-oriented Algebra
MISC (9)：
Professional career (1)：
Awards (3)：
- 1981 - 日刊工業新聞社 日本産業技術大賞
- 1979 - 関東電気協会 電機事業従業員功績者表彰
- 1970 - 電子通信学会 米沢記念学術奨励賞
Association Membership(s) (4)：
日本ソフトウェア科学会
, 人工知能学会
, 情報処理学会
, 日本物理学会
