山田 敬三 | 九州工業大学情報工学部
スポンサーリンク
概要
関連著者
-
山田 敬三
九州工業大学情報工学部
-
原尾 政輝
九州工業大学情報工学部知能情報工学科
-
平田 耕一
九州工業大学
-
平田 耕一
九州工業大学情報工学研究院
-
原尾 政輝
九州工大 情報工
-
平田 耕一
九州工業大学大学院情報工学研究院
-
久保 憲吾
九州工業大学大学院情報工学研究科
-
尹 淑萍
九州工業大学情報工学研究科
-
山田 敬三
情報工学部
-
平田 耕一
情報工学部
-
原尾 政輝
情報工学部
著作論文
- 類推機能をもった対話型シークェント計算証明システムの開発(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)
- 人間指向型汎用類推証明システムの開発 (計算機科学基礎理論の新展開)
- 類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開)
- Pre-Checkingに基づく効率的スキーママッチングアルゴリズム(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
- 類推に基づくLK証明支援システムの開発
- Pre-checkingを用いた効率的2階述語マッチングアルゴリズム (計算理論とアルゴリズムの新展開)
- スキーママッチングを用いたLK類推証明システムの開発
- スキーママッチングとその計算量
- スキーママッチングにおける計算の複雑さ (計算モデルとアルゴリズム)
- スキーママッチングの計算の複雑さ
- 決定可能な高階単一化問題に関する研究 (アルゴリズムと計算の理論)
- 単純型付きラムダ計算における証明文法
- 型付ラムダ計算における証明文法