スポンサーリンク
北海道大学大学院システム情報工学専攻 | 論文
- 文字列領域の問題解決における一階論理表現からのプログラム生成
- 直列三多重ハイブリッド変換器
- 三相直列多重ハイブリッド変換器
- 4面HMDを利用した周辺視野による姿勢保持への影響について
- 一階論理表現の等価変換を用いた問題解決の正当性
- SLD導出の難点とその克服
- SLD導出の難点とその克服
- SLD導出の難点とその克服
- マルチセット領域の宣言的プログラムの基礎的な等価変換
- マルチセット領域の特殊化システムと等式制約の等価変換
- 変数代入構造上の等価変換の基礎理論
- 適応ディジタル信号処理を利用した電圧形 PWM インバータの電流追従制御
- 文字列領域の問題解決における一階論理表現からのプログラム生成
- 宣言的な問題記述からのオートマトンの生成法
- 一階論理制約の等価変換の正当性
- 一階論理表現の等価変換による問題解決の枠組
- 等価変換に基づくプログラミング
- 構文解析と意味解析の動的な相互作用の実現
- 一階論理制約の等価変換による問題解決
- 参照制約に基づく否定文と疑問文の意味理解