繁田 良則 | 北海道大学工学部システム情報工学専攻
スポンサーリンク
概要
関連著者
-
赤間 清
北海道大学
-
繁田 良則
東芝システムLSI技術研究所
-
繁田 良則
北海道大学工学部システム情報工学専攻
-
宮本 衛市
北海道大学
-
宮本 衛市
北海道大学システム情報工学研究科
-
赤間 清
北海道大学情報基盤センター
-
赤間 清
北海道大学大学院工学研究科システム情報工学専攻
-
赤間 清
北海道大学工学部情報工学科
-
出葉 義治
パイオニア株式会社
著作論文
- ω書き換えシステムの準同型定理と到達不可能性
- ω書き換えシステムの準同型定理と到達不可能性
- 準同型写像によるβ書き換え系の到達不能性の証明
- 変数と代入のなす構造の定式化
- 無限計算と無限項のための基礎的枠組
- 区間変数の領域における等式制約の等価変換の正当性
- 区間変数に関する包含制約の等価変換
- 区間変数に関する包含制約の等価変換
- 最汎単一化子から等式制約解消特殊化へ
- 論理的問題を等価変換によって解くための理論的基礎
- 区間変数の領域における等式制約の解消
- 区間変数の領域における等式制約の解消
- 一般化論理プログラムの理論に基づく言語UL/αのコンパイラについて
- 区間変数の領域における等式制約の解消
- 区間変数を含む項の空間のための特殊化システムと正則な確定節
- 簡単な書き換えシステムの共通構造について
- 文字列領域における等価変換ルールの生成