岡田 浩一 | 北海道大学工学部システム情報工学専攻
スポンサーリンク
概要
関連著者
-
宮本 衛市
北海道大学システム情報工学研究科
-
岡田 浩一
Ntt情報流通プラットホーム研究所
-
赤間 清
北海道大学情報基盤センター
-
赤間 清
北海道大学
-
宮本 衛市
北海道大学
-
岡田 浩一
北海道大学工学部システム情報工学専攻
著作論文
- 否定を表現する新しい枠組 : 等価変換に基づくアプローチ
- 宣言的プログラムの推論規則
- 等価変換による最小説明発見問題の解法
- 等価変換による仮説推論
- 宣言的プログラムの宣言的意味による仮説推論問題の定式化
- 否定を含む宣言的プログラムのプログラム変換