吉田 忠行 | 北海道大学大学院システム情報工学専攻
スポンサーリンク
概要
関連著者
-
赤間 清
北海道大学
-
吉田 忠行
北海道大学大学院システム情報工学専攻
-
宮本 衛市
北海道大学
-
宮本 衛市
北海道大学システム情報工学研究科
-
赤間 清
北海道大学情報基盤センター
-
赤間 清
北海道大学大学院工学研究科システム情報工学専攻
-
赤間 清
北海道大学工学部情報工学科
著作論文
- 文字列領域の問題解決における一階論理表現からのプログラム生成
- 一階論理表現の等価変換を用いた問題解決の正当性
- 文字列領域の問題解決における一階論理表現からのプログラム生成
- 宣言的な問題記述からのオートマトンの生成法
- 一階論理制約の等価変換の正当性
- 一階論理表現の等価変換による問題解決の枠組
- 等価変換に基づくプログラミング
- 一階論理制約の等価変換による問題解決
- 一階論理制約の等価変換を用いた問題解決の枠組
- 一階論理制約による宣言的記述の拡張
- 一階論理制約による宣言的記述の拡張
- 一階論理制約による宣言的記述の拡張