宮本 衛市 | 北海道大学大学院システム情報工学専攻

スポンサーリンク

概要

• 宮本 衛市の詳細を見る
• 同名の論文著者
• 北海道大学大学院システム情報工学専攻の論文著者

北海道大学大学院システム情報工学専攻 | 論文

• 文字列領域の問題解決における一階論理表現からのプログラム生成
• 一階論理表現の等価変換を用いた問題解決の正当性
• 文字列領域の問題解決における一階論理表現からのプログラム生成
• 宣言的な問題記述からのオートマトンの生成法
• 一階論理制約の等価変換の正当性

もっと見る

スポンサーリンク