岩沼 宏治 | 山梨大学工学部電子情報工学科
スポンサーリンク
概要
関連著者
-
岩沼 宏治
山梨大学工学部電子情報工学科
-
岩沼 宏治
山形大学工学部情報工学科
-
原尾 政輝
九州工業大学情報工学部知能情報工学科
-
原尾 政輝
山形大学工学部情報工学科
-
岩沼 宏治
山梨大学工学部
-
武田 和久
山形大学工学部情報工学科
-
安孫子 力雄
山形大学工学部電子情報工学科
著作論文
- 様相論理に基づく論理型知識表現言語(計算アルゴリズムの基礎理論)
- 様相論理に基づく知識の表現と推論
- 非再帰的な述語サーカムスクリプションの一階論理式への等価変換
- 並列サーカムスクリプションのパラメーター消去手法
- 点別サーカムスクリプションに基づく孤立式の一般化
- 高階ユニフィケーションアルゴリズムの複雑さについて (関数型プログラミングと計算の基礎)
- 高階ユニフィケーションにおける可解なクラスと計算の複雑さ(アルゴリズムと計算量の理論)
- 高階論理ユニフィケーションを用いた知識処理(計算アルゴリズムと計算量の基礎理論)
- 定理証明的手法による再帰方程式から回路の自動設計
- 定理証明的手法を用いた回路自動設計のための変換規則--再帰方程式から回路記述への変換
- 回路自動合成のための推論機構(計算アルゴリズムの基礎理論)
- 時間と空間を扱う様相述語論理の不完全性とその相対的完全化
- 定理証明的手法を用いた回路の自動合成 : 帰納方程式から回路への変換(アルゴリズムの数学的基礎理論とその応用)
- プログラム理論と様相論理 (様相論理)