繁田 良則 | 東芝システムLSI技術研究所
スポンサーリンク
概要
関連著者
-
繁田 良則
東芝システムLSI技術研究所
-
赤間 清
北海道大学
-
宮本 衛市
北海道大学
-
繁田 良則
北海道大学工学部システム情報工学専攻
-
宮本 衛市
北海道大学システム情報工学研究科
-
赤間 清
北海道大学大学院工学研究科システム情報工学専攻
-
赤間 清
北海道大学工学部情報工学科
-
赤間 清
北海道大学情報基盤センター
-
馬淵 浩司
岩手県立大学ソフトウェア情報学部
-
赤間 清
北海道大学情報基盤センター 大規模計算システム研究部門
-
繁田 良則
株式会社東芝システムLSI技術研究所
-
馬淵 浩司
岩手県立大学
-
岡田 浩一
Ntt情報流通プラットホーム研究所
-
小池 英勝
札幌学院大学社会情報学部社会情報学科
-
小池 英勝
北海道大学大学院工学研究科システム情報工学専攻
-
繁田 良則
(株)東芝マイクロエレクトロニクス技術研究所システムlsi技術研究所
-
岡田 浩一
Ntt情報流通プラットフォーム研究所
-
岡田 浩一
日本電信電話株式会社情報流通プラットフォーム研究所
-
宮本 衛一
北海道大学
-
出葉 義治
パイオニア株式会社
著作論文
- 負制約の等価変換による問題解決の基礎理論
- 区間変数に関する包含制約の等価変換
- 区間変数に関する包含制約の等価変換による問題解決の高速化
- ω書き換えシステムの準同型定理と到達不可能性
- ω書き換えシステムの準同型定理と到達不可能性
- ω書き換えシステムの準同型定理と到達不可能性
- ω書き換えシステムの準同型定理と到達不可能性
- 準同型写像によるβ書き換え系の到達不能性の証明
- 参照を含む宣言的記述の定義と負参照の等価変換の正当性
- 等価変換パラダイムにおける制約充足問題のプログラミング
- 宣言的プログラムのアンフォールド変換
- 変数と代入のなす構造の定式化
- 無限計算と無限項のための基礎的枠組
- 区間変数の領域における等式制約の等価変換の正当性
- 区間変数に関する包含制約の等価変換
- 区間変数に関する包含制約の等価変換
- 論理的問題の等価変換による解法(1) : その理論的基礎
- 最汎単一化子から等式制約解消特殊化へ
- 論理的問題を等価変換によって解くための理論的基礎
- 区間変数の領域における等式制約の解消
- 区間変数の領域における等式制約の解消
- 一般化論理プログラムの理論に基づく言語UL/αのコンパイラについて
- 区間変数の領域における等式制約の解消
- 区間変数を含む項の空間のための特殊化システムと正則な確定節
- 特殊化システムの拡張による知識表現系の変更
- 簡単な書き換えシステムの共通構造について
- 文字列領域における等価変換ルールの生成
- 論理プログラムの等価変換による問題解決の枠組
- 論理オブジェクトに基づく知識表現言語UL/α