研究者

J-GLOBAL ID：200901028848430846 更新日: 2022年12月26日

山崎勇

ヤマザキイサム | Yamazaki Isamu

所属機関・部署：
職名：名誉教授

研究分野 (2件)：情報ネットワーク , 計算機システム

研究キーワード (4件)：自動定理証明 , 計算機アーキテクチャ , Automated Theorem Proving , Computer Architecture

競争的資金等の研究課題 (2件)：

論理を指向した代数系
Logic-oriented Algebra

MISC (9件)：

Yamazaki Isamu. A New Approach to Determinants. TCT Education of Disabilities. 2002. Vol.1, No.1, pp.17-24. 17-24
拡張された推論加群系とその代数. コンピュータソフトウェア. 1997. 14. 2. 45-70
一階述語論理における推論と充足の代数化. コンピュータソフトウェア. 1995. 12. 2. 16-31
一階述語論理における代数的証明原理. 人工知能学会誌. 1990. 5. 3. 279-290
Experimental Polyprocessor System(EPOS)-Operating System. ACM-SIGARCH, (6th Annual International Symposium on Computer Architecture Conference Proceedings). 1979. 196-201

もっと見る

学位 (1件)：

博士(工学)

受賞 (3件)：

1981 - 日刊工業新聞社日本産業技術大賞
1979 - 関東電気協会電機事業従業員功績者表彰
1970 - 電子通信学会米沢記念学術奨励賞

所属学会 (4件)：

日本ソフトウェア科学会 , 人工知能学会 , 情報処理学会 , 日本物理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM