| 定理証明プログラムにおける単一化計算の並列処理について（論文） |
電子通信学会論文誌Ｄ |
1984.03 |
| 等価論理プログラムに基づく不変表明の帰納的生成法（論文） |
電子通信学会論文誌Ｄ |
1986.05 |
| 不変表明の生成支援機能を持つプログラム検証システム（論文） |
電子情報通信学会論文誌Ｄ |
1987.08 |
| 画像の3次元解釈へのニューラルネットワークの適用（論文） |
電子情報通信学会論文誌ＤII |
1987.08 |
| ガード付き導出法によるシューベルトのスティームローラ問題の解決（論文） |
人工知能学会誌 |
1987.12 |
| コンピュータ教育標準用語辞典 （著書） |
株式会社アスキー |
1989.03 |
| 人工知能入門講座第4分冊 AIのテクニカルベース（人工知能の基礎）（著書） |
工学研究社 |
1989.06 |
| 直交性仮説の緩和的適用による単眼画像からの立体復元（論文） |
人工知能学会誌 |
1990.05 |
| 岩波 情報科学辞典（著書） |
岩波書店 |
1990.05 |
| Shape from Geometrical Regularities -- Case Study on Orthogonality --（国際会議） |
PRICAI '90 |
1990.11 |
| 画像と制御−ニューロ・ファジー・AIによるアプローチ− （著書） |
朝倉書店 |
1991.05 |
| エネルギー最小化を用いた物体の不可視部分の予測（論文） |
情報処理学会論文誌 |
1993.10 |
| A Study on a Method of Dividing Machine-parts into Functional Groups for Technical Illustrations（国際会議） |
ICDAR'93 |
1993.10 |
| Inferring Appropriate Camera Positions for Observing Invisible Parts（国際会議） |
ACCV'93 |
1993.11 |
| Shape Recovery and Error Correction Based on Hypothetical Constraints by Parallel Network for Energy Minimization（論文） |
Int. J. Pattern Recognition and Artificial Intelligence |
1994.08 |
| A Method for Solving Configuration Problem in Scene Reconstruction Based on Coplanarity（論文） |
IEICE Trans. Information and Systems |
1994.09 |
| Generation of Sketch Map Image and Its Instructions to Support the Understanding of Geographical Information（国際会議） |
ICPR'96 |
1996.08 |
| テクニカルイラストレーションの自動生成における機能グループ分割（論文） |
電子情報通信学会論文誌A |
1996.09 |
| 単一手書き線画に基づくおおまかな3次元形状伝達のための立体復元（論文） |
電気学会論文誌 |
1996.09 |
| 対話型対象物抽出アルゴリズムの高速化（論文） |
電子情報通信学会DII |
1996.11 |
| Shape Recovery for Input of a Rough 3D Shape by its 2D Sketch（国際会議） |
MVA ’96, |
1996.11 |
| コミュニケーションメディアとしての説明図入り文書の自動生成 - 機械組立マニュアルの生成の場合 -（論文） |
情報処理学会論文誌 |
1996.12 |
| 経路理解支援のための略地図とその案内文の生成システム（論文） |
電子情報通信学会DII |
1997.03 |
| 「組み立てAND/ORグラフに基づく組み立て誤りの検出」 |
1999年電子情報通信学会総合大会 |
1999.03 |
| 「機械における部品の交換ナビゲーションシステム」 |
人工知能学会人工知能基礎論研究会 |
1999.11 |
| 人工知能（著書） |
オーム社 |
2000.06 |
| 「コンピュータによる学習 その1」 |
大阪学院大学通信 第31巻,第5号 |
2000.08 |
| 教員用プログラム環境Aliceの日本語化 |
情報処理学会 第73回全国大会講演論文集 |
2011.03 |
| アニメーションプログラム環境Aliceの日本語化とその教育的意義 |
大阪学院大学人文自然論叢 |
2011.03 |
| 画像の分割・統合による粗輪郭からの対象物抽出の分割順次処理 |
大阪学院大学人文自然論叢 |
2011.03 |
