研究発表

著書 (分担執筆を含む)

論文誌

国際会議

テクニカルレポート

学会誌解説、商用誌

招待講演など

学会口頭発表

• 武田英明, 冨山哲男, 吉川弘之： インテリジェントCADのための設計過程の論理による形式化, 第6回設計自動化工学講演会講演論文集, pp. 13-15, 東工大、東京 (1988), 日本機械学会、精密工学会.

• 武田英明, 冨山哲男, 吉川弘之： 知的CAD開発のための設計過程の論理による定式化, 昭和63年度人工知能学会全国大会(第2回)講演論文集, pp. 161-164, 学習院大、東京 (1988).

• 武田英明, 石原啓, 林千登, 冨山哲男, 吉川弘之： 設計過程の分析と論理による形式化(第2報)--設計知識の分析--, 1989年度精密工学会春季大会講演論文集, pp. 5-6, 千葉工大、千葉 (1989).

• 林千登, 武田英明, 冨山哲男, 吉川弘之： 設計過程の分析と論理による形式化(第3報)--サーカムスクリプションとアブダクションによるモデル化--, 1989年度精密工学会春季大会講演論文集, pp. 7-8, 千葉工大、千葉 (1989).

• 河合浩之, 武田英明, 林千登, 冨山哲男, 吉川弘之： 設計過程の分析と論理による形式化(第4報)--様相論理を利用したTMS--, 1989年度精密工学会春季大会講演論文集, pp. 9-10, 千葉工大、千葉 (1989).

その他