小池 英勝 | 札幌学院大学社会情報学部社会情報学科
スポンサーリンク
概要
関連著者
-
小池 英勝
札幌学院大学社会情報学部社会情報学科
-
赤間 清
北海道大学
-
小池 英勝
北海道大学大学院工学研究科システム情報工学専攻
-
赤間 清
北海道大学情報基盤センター
-
赤間 清
北海道大学大学院工学研究科システム情報工学専攻
-
宮本 衛市
北海道大学システム情報工学研究科
-
赤間 清
北海道大学工学部情報工学科
-
宮本 衛市
北海道大学
-
小池 英勝
札幌学院大学
-
石川 貴彦
名寄市立大学保健福祉学部教養教育部
-
赤間 清
北海道大学情報基盤センター 大規模計算システム研究部門
-
石川 貴彦
北海道大学大学院工学研究科
-
三高 康嗣
インクリメントP株式会社
-
石川 貴彦
名寄市立大学保健福祉学部
-
村田 育也
北海道教育大学教育学部旭川校
-
馬淵 浩司
岩手県立大学ソフトウェア情報学部
-
中西 通雄
大阪工業大学情報科学部
-
大谷 誠
佐賀大学理工学部
-
辰己 丈夫
東京農工大学
-
山之上 卓
鹿児島大学学術情報基盤センター
-
江藤 博文
佐賀大学大学総合情報基盤センター
-
桝田 秀夫
京都工芸繊維大学情報科学センター
-
辰己 丈夫
神戸大学発達科学部
-
江藤 博文
佐賀大学情報処理センター
-
江藤 博文
佐賀大学総合情報基盤センター
-
市川 本浩
奈良先端科学技術大学院大学情報科学研究科
-
村田 育也
北海道教育大学
-
村田 育也
北海道教育大
-
千葉 正喜
札幌学院大学
-
市川 本浩
奈良先端科学技術大学院大学
-
桝田 秀夫
京都工芸繊維大学 情報科学センター
-
中西 通雄
大阪工業大学
-
中西 通雄
大阪大学情報処理教育センター
-
繁田 良則
東芝システムLSI技術研究所
-
大谷 誠
佐賀大学 総合情報基盤センター
-
江藤 博文
佐賀大学 総合情報基盤センター
-
三高 康嗣
北海道大学大学院工学研究科
-
千葉 正喜
札大社情
-
桝田 秀夫
京都工繊大 情報科セ
-
辰己 丈夫
早稲田大学理工学総合研究センター
-
山之上 卓
鹿児島大学
-
大谷 誠
NHK技術局送受信技術センター
-
馬淵 浩司
岩手県立大学
-
大谷 誠
佐賀大学
-
岡田 浩一
Ntt情報流通プラットホーム研究所
-
岡田 浩一
日本電信電話株式会社情報流通プラットフォーム研究所
-
西田 好孝
北海道大学情報科学研究科
著作論文
- 等価変換計算モデルに基づく正当な並列計算を行うための言語処理系の開発
- ACM SIGUCCS Fall 2005 Conference参加報告 : 北米における大学ITインフラ支援の状況(会場A)
- ACM SIGUCCS Fall 2005 Conference参加報告
- 負制約の等価変換による問題解決の基礎理論
- 区間変数に関する包含制約の等価変換
- メタ計算に基づくプログラム生成実験システム
- 搾り出し法を基礎としたETプログラミング演習の試み
- 等価変換型プログラミング言語ETの導入による学習の構想
- 等価変換言語処理系ETI用いた否定を含む問題の解法
- プログラムの部品としての等価変換ルール
- 等価変換プログラミング言語ETとそのコンパイラ
- 等価変換による数独パズルの解法
- 効率的な等価変換ルールの探索に基づくプログラム合成 (プログラム変換と記号・数式処理)
- A Theoretical Foundation for Generation of Equivalent Transformation Rules (Program Transformation, Symbolic Computation and Algebraic Manipulation)
- 条件部と実行部を持つ等価変換ルールの自動生成
- 問題仕様からの等価変換ルールの生成
- 問題仕様からの等価変換ルールの生成
- 問題解決のための効率的な等価変換ルールの探索
- 等価変換ルールの生成方法の理論的基礎
- 等価変換ルールの探索に基づくプログラム合成
- 等価変換ルールの探索に基づくプログラム合成
- 等価変換ルールの探索に基づくプログラム合成
- 効率的な等価変換ルールを探索する方法
- 問題仕様からの等価変換ルールの生成
- 問題仕様からの等価変換ルールの生成
- 等価変換ルールの生成方法の理論的基礎
- 仕様からの等価変換ルールの生成法