能登 正人 | 北海道大学工学部システム情報工学専攻
スポンサーリンク
概要
関連著者
-
大内 東
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道大学大学院情報科学研究科複合情報学専攻
-
栗原 正仁
北海道大学 情報科学研究科
-
大内 東
北海道大学 大学院 情報科学研究科 複合情報学専攻 複雑系工学講座 調和系工学研究室
-
能登 正人
神奈川大学工学部電気電子情報工学科
-
能登 正人
北海道大学工学部システム情報工学専攻
著作論文
- 拡張ステータスによる項書換え系の停止性検証
- 抽象書換え系理論による講座配属アルゴリズムの完備性の解析
- 書換え系理論を用いた講座配属アルゴリズムの完備性の解析
- 拡張ステータスを用いた項書換えシステムの停止性検証システムの開発
- ステータスの拡張による項書換えシステムの停止性検証