長谷川 隆三


関連単語抽出アルゴリズムを用いたWeb検索クエリの生成
大石 哲也 倉元 俊介 峯 恒憲 長谷川 隆三 藤田 博 越村 三幸 
誌名:   電子情報通信学会論文誌 D
発行日: 2009/03/01
Vol. J92-D  No. 3  pp. 281-292
論文種別:  特集論文 (データ工学論文特集)
専門分野: Web情報検索
キーワード: 
適合性フィードバッククエリ拡張Web検索
 あらまし | 本文:PDF(414.9KB)

抽象モデル生成による不要節の削除
梅田 眞由美 越村 三幸 長谷川 隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/10/01
Vol. J89-D  No. 10  pp. 2288-2295
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
定理証明節の抽象化節集合の前処理モデル生成
 あらまし | 本文:PDF(221.6KB)

モデル生成型定理証明システムによる制約充足問題の解決とその並列化
白井 康之 長谷川 隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/01/25
Vol. J80-D2  No. 1  pp. 224-236
論文種別:  論文
専門分野: 人工知能,自然言語処理,認知科学
キーワード: 
自動証明制約充足問題準群問題モデル生成法OR並列
 あらまし | 本文:PDF(854.2KB)

モデル生成型定理証明系のAND並列化方式
越村 三幸 長谷川 隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/02/25
Vol. J78-D1  No. 2  pp. 228-238
論文種別:  特集論文 (超並列コンピュータシステム論文特集)
専門分野: 応用
キーワード: 
自動証明モデル生成連言照合包摂テストAND並列
 あらまし | 本文:PDF(762.4KB)

データフローマシン用関数型高級言語Valid
長谷川 隆三 雨宮 真人 
誌名:   電子情報通信学会論文誌 D
発行日: 1988/08/25
Vol. J71-D  No. 8  pp. 1532-1539
論文種別:  特集論文 (並列処理ハードウェアと言語特集)
専門分野: ソフトウェア
キーワード: 
 あらまし | 本文:PDF(660.8KB)

リスト処理向きデータフローマシンアーキテクチャの評価
長谷川 隆三 三上 博英 雨宮 真人 
誌名:   電子情報通信学会論文誌 D
発行日: 1984/09/25
Vol. J67-D  No. 9  pp. 957-964
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(656.3KB)

データフローマシンによる並列リスト処理
長谷川 隆三 雨宮 真人 
誌名:   電子情報通信学会論文誌 D
発行日: 1983/12/25
Vol. J66-D  No. 12  pp. 1400-1407
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(660KB)

機能分散形システムにおける機能の動的可変機構とその評価
村上 国男 佐藤 昌貞 長谷川 隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 1978/11/25
Vol. J61-D  No. 11  pp. 811-818
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(628.6KB)