淡 誠一郎


経路理解支援のための略地図とその案内文の生成システム
馬場口 登 堀江 政彦 上田 俊弘 淡 誠一郎 北橋 忠宏 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/03/25
Vol. J80-D2  No. 3  pp. 791-800
論文種別:  論文
専門分野: 人間・機械系,人間・人間系
キーワード: 
GIS略地図自然言語案内文経路理解メディア統合
 あらまし | 本文:PDF(804.9KB)

対話型対象物抽出アルゴリズムの高速化
淡 誠一郎 鄭 小江 北橋 忠宏 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/11/25
Vol. J79-D2  No. 11  pp. 1984-1987
論文種別:  レター
専門分野: 
キーワード: 
対話的物体抽出輪郭線抽出細線化
 あらまし | 本文:PDF(353.5KB)

テクニカルイラストレーションの自動生成における機能グループ分割
李 仁浩 淡 誠一郎 北橋 忠宏 
誌名:   電子情報通信学会論文誌 A
発行日: 1996/09/25
Vol. J79-A  No. 9  pp. 1629-1632
論文種別:  レター
専門分野: 
キーワード: 
拡散分解図回転機械機械部品機能分割グラフ表現
 あらまし | 本文:PDF(278.4KB)

画像の3次元解釈へのニューラルネットワークの適用
角所 考 淡 誠一郎 安部 憲広 北橋 忠宏 三宅 誠 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/08/25
Vol. J73-D2  No. 8  pp. 1297-1302
論文種別:  特集論文 (ニューロコンピューティング論文特集)
専門分野: 画像への応用
キーワード: 
 あらまし | 本文:PDF(576.2KB)

不変表明の生成支援機能をもつプログラム検証システム
淡 誠一郎 山口 高平 角所 収  慶一 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/08/25
Vol. J70-D  No. 8  pp. 1487-1497
論文種別:  論文
専門分野: ソフトウェア技法
キーワード: 
 あらまし | 本文:PDF(914.3KB)

等価論理プログラムに基づく不変表明の帰納的生成法
淡 誠一郎 山口 高平 角所 収 手塚 慶一 
誌名:   電子情報通信学会論文誌 D
発行日: 1986/05/25
Vol. J69-D  No. 5  pp. 706-713
論文種別:  論文
専門分野: ソフトウェア技法
キーワード: 
 あらまし | 本文:PDF(630.3KB)

定理証明プログラムにおける単一化計算の並列処理について
山口 高平 淡 誠一郎 打浪 清一 手塚 慶一 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/03/25
Vol. J67-D  No. 3  pp. 289-296
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(554.7KB)