沼澤 政信 | 北海道大学大学院 工学研究科
スポンサーリンク
概要
関連著者
-
大内 東
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道大学大学院情報科学研究科複合情報学専攻
-
沼澤 政信
小樽商科大学商学部社会情報学科
-
大内 東
北海道大学 大学院 情報科学研究科 複合情報学専攻 複雑系工学講座 調和系工学研究室
-
沼澤 政信
北海道大学大学院工学研究科システム情報工学専攻
-
沼澤 政信
北海道大学大学院 工学研究科
-
栗原 正仁
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道大学 情報科学研究科
-
栗原 正仁
北海道工業大学
著作論文
- 条件付き項書換え系に基づく言語におけるメタ計算
- 条件付き項書換え系に基づく言語におけるメタ計算(並列・分散)
- 条件付き項書換えシステム処理系におけるメタ計算機能
- メタ計算機能を付加した条件付き項書換えシステム処理系の実現
- 項書換えシステムに基づく自己反映計算の実現