岩沼 宏治


マルチエージェントシステム分散協調問題における時間遅れと知識量の関係
石塚 悠一 岩沼 宏治 
誌名:   電子情報通信学会論文誌 D
発行日: 2003/02/01
Vol. J86-D1  No. 2  pp. 117-120
論文種別:  レター
専門分野: 
キーワード: 
マルチエージェント分散協調均一配置時間遅れ知識量
 あらまし | 本文:PDF(127.6KB)

定理証明的手法による再帰方程式から回路の自動設計
原尾 政輝 岩沼 宏治 
誌名:   電子情報通信学会論文誌 D
発行日: 1989/05/25
Vol. J72-D2  No. 5  pp. 772-781
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
 あらまし | 本文:PDF(794.5KB)

定理証明的手法を用いた回路自動設計のための変換規則―再帰方程式から回路記述への変換―
原尾 政輝 岩沼 宏治 
誌名:   電子情報通信学会論文誌 D
発行日: 1988/01/25
Vol. J71-D  No. 1  pp. 132-141
論文種別:  論文
専門分野: 計算機応用
キーワード: 
 あらまし | 本文:PDF(830.3KB)

時間と空間を扱う様相述語論理の不完全性とその相対的完全化
岩沼 宏治 原尾 政輝 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/05/25
Vol. J70-D  No. 5  pp. 859-869
論文種別:  論文
専門分野: アルゴリズム,計算複雑性
キーワード: 
 あらまし | 本文:PDF(975.9KB)

時空間様相論理ETSLの完全・無矛盾な公理系
岩沼 宏治 原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1986/04/25
Vol. J69-D  No. 4  pp. 491-501
論文種別:  論文
専門分野: オートマン・言語理論
キーワード: 
 あらまし | 本文:PDF(867.1KB)

時空間様相論理ETSLとその決定手続き
岩沼 宏治 原尾 政輝 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1986/03/25
Vol. J69-D  No. 3  pp. 365-374
論文種別:  論文
専門分野: ソフトウェア技法
キーワード: 
 あらまし | 本文:PDF(778.6KB)