|
|
|
|
|
|
|
モデル生成型定理証明システムによる制約充足問題の解決とその並列化
白井 康之 長谷川 隆三 | 誌名: 電子情報通信学会論文誌 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) | |
|
