小池 英勝 | 北海道大学大学院工学研究科システム情報工学専攻
スポンサーリンク
概要
関連著者
-
小池 英勝
札幌学院大学社会情報学部社会情報学科
-
赤間 清
北海道大学
-
小池 英勝
北海道大学大学院工学研究科システム情報工学専攻
-
赤間 清
北海道大学情報基盤センター
-
赤間 清
北海道大学大学院工学研究科システム情報工学専攻
-
宮本 衛市
北海道大学システム情報工学研究科
-
宮本 衛市
北海道大学
-
赤間 清
北海道大学工学部情報工学科
-
石川 貴彦
名寄市立大学保健福祉学部教養教育部
-
石川 貴彦
北海道大学大学院工学研究科
-
三高 康嗣
インクリメントP株式会社
-
石川 貴彦
名寄市立大学保健福祉学部
-
馬淵 浩司
岩手県立大学ソフトウェア情報学部
-
赤間 清
北海道大学情報基盤センター 大規模計算システム研究部門
-
繁田 良則
東芝システムLSI技術研究所
-
三高 康嗣
北海道大学大学院工学研究科
-
馬淵 浩司
岩手県立大学
-
岡田 浩一
Ntt情報流通プラットホーム研究所
-
岡田 浩一
日本電信電話株式会社情報流通プラットフォーム研究所
著作論文
- 負制約の等価変換による問題解決の基礎理論
- 区間変数に関する包含制約の等価変換
- 搾り出し法を基礎としたETプログラミング演習の試み
- 等価変換型プログラミング言語ETの導入による学習の構想
- 等価変換言語処理系ETI用いた否定を含む問題の解法
- プログラムの部品としての等価変換ルール
- 等価変換プログラミング言語ETとそのコンパイラ
- 等価変換による数独パズルの解法
- 効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)
- A Theoretical Foundation for Generation of Equivalent Transformation Rules (Program Transformation, Symbolic Computation and Algebraic Manipulation)
- 条件部と実行部を持つ等価変換ルールの自動生成
- 問題仕様からの等価変換ルールの生成
- 問題仕様からの等価変換ルールの生成
- 問題解決のための効率的な等価変換ルールの探索
- 等価変換ルールの生成方法の理論的基礎
- 等価変換ルールの探索に基づくプログラム合成
- 等価変換ルールの探索に基づくプログラム合成
- 等価変換ルールの探索に基づくプログラム合成
- 効率的な等価変換ルールを探索する方法
- 等価変換ルールの生成方法の理論的基礎
- 仕様からの等価変換ルールの生成法