资源描述：
《全業績-山口研究室》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、個人調書氏名：山口咼平(弋^＜巧比力生年月日：1957年1月3日1.本籍大阪府大阪市都島区都島本通。四丁目二番地2.現住所神奈川県横浜市金沢区大川7-8-1043.学科名講座名情報学研究推進室4.学歴昭和50年3月昭和50年4月大阪府立四条啜高等学校大阪大学工学部通信工学科竿業入学昭和54年3月昭和54年4月昭和56年3月昭和56年4月昭和59年3月同上大阪大学大学院工学研究科通信工学専攻博士前期課程同上大阪人学大学院工学研究科通信工学専攻
2、■専士後期課程上5.職歴昭和59年4月平成元年4月平成6年10大阪大学産業科学研究所電子機器部門助手静岡大
3、学工学部情報知識工学科助教授月静岡大学工学部知能情報工学科助教授平成7年10月平成9年4月平成16年4月教授(〜現在怎至召)静岡大学情報学部情報科学科静岡大学情報学部情報科学科慶應義塾大学理工学部管理工学科助教授教授6.著審，論文，翻訳(1)著書(1)人工知能学事典，第16章AI応用担当，田中穂積編集，共立出版(2005)山口高平(分担執筆)：彳〉幻工一"科学，共立出版(1987)⑵AI辞典，小項目(浅I/、推論，深I/、推論)担当：(編者：土屋俊，中島秀之，中川裕志，橋田浩一，松原仁),pp.338-340UPU(1988)⑶手塚慶一，馬場口登
4、，北橋，塩野充，山口高平：人工知能入門講座NO.1:AIOb,工学研究社(1989)⑷手塚慶一，岩下安男，川崎洋輝，倉島秀樹，山口高平：人工知能人門講座NO.3:工—卜C/jX亍厶，工学研究社(1989)⑸知的一夕"、亍厶事典I編，2章，2.2.5(深-、推論)担当：(編者：渡邊茂)(1990)(6)—夕"”工了辞，J-XI工权八。-卜X和，3高次化技術担当:(編者：廣瀬健,高橋延匡，土居範久)，丸善，pp.893-895(1990)(6)戸田光彦，山口高平，新谷虎松：知能化技術七意思決定支援"亍厶，計測自動制御学会学術図書(1994)⑻yv用語
5、集，小項目，深⑴知識担当：日本学会編，朝倉書店(1996)⑼山口高平(分担執筆)：IV-10法律概念①階屈構造总構築支援歹召"亍厶，pp.370-379,法律人工知能(吉野一編集)，創世社(2000)(10)認知科学事典，小項目，深◎知識担当，日本認知科学会編，共立出版(2002)(11)菅坂玉美，横尾真，寺野孝雄，山口高平：彳:/S卜①知的情報技術•応用偏「c理論七応用」朿京電機大学出版社(2003)(12)S.Tsumoto,T.Yamaguchi,M.NumaoandH.Motoda(Eds.):ActiveMining,LNCS3430,
6、Springer(2005)(13)山口高平：第16章Al応用人工知能学事典，山中穂積編集，共立出版(2005)(ld)E.TyuguandT.Yamaguchi:Knowledge-BasedSoftwareEngineering,7thJointConfereneeonKnowledge-BasedSoftwareEngineering,FrontiersinArtificialIntelligeneeandApplications,Vol.140,352pp.,IOSPress(2006)(15)元Hl浩，津本周作，沼尾正行，山口高平:〒'
7、一夕ng基礎，情報処理学会ITText—J一;＜、，才一厶社(2006)(16)T.Yamaguchi:PracticalAspectsofKnowledgeManagement,7thInternationalConferenceonPracticalAspectsofKnowledgeManagement,LNAI5345,Springer(2008)(17)浦昭二，細野公男，神沼靖子，宮川裕之，山口高平，石井信明，飯島正：情報学f(7H、兰忌X—人間活動七情報技術(7)調和总求tor-改訂版，pp.242培風館(2008)(2)学術論文A.
8、論文(1)山口高平，西岡弘明，打浪誠一，手塚慶一：定理証明"亍厶SENRIG)開発，情報処理学会論文誌，25巻，1号，pp.46-58(I984)(2)山口高平，西岡弘明，打浪誠一，手塚慶一：定理証明^口単一化計算0)並列処理電子通信学会論文誌，J67-D卷，3号，pp.289-296(1984)(3)山口高平，西岡弘明，打浪誠一，手塚慶一：定理証明口夕、厶内部構造①一実現法，情報処理学会論文誌，27巻，1号，pp.20-25(1986)(4)淡誠一郎，山口高平，角所収，手塚慶一：等価論理/口基-5＜不変表明CD帰納的生成法，逼子通信学会論文誌，
9、J69・D巻，5号，pp.706-713(I986)(5)淡誠一郎，山口高平，角所収，手塚慶一：不変表明生成支援機能总持ch口夕7厶検証
