能登 正人 | 神奈川大学工学部電気電子情報工学科
スポンサーリンク
概要
関連著者
-
栗原 正仁
北海道大学大学院情報科学研究科複合情報学専攻
-
能登 正人
神奈川大学工学部電気電子情報工学科
-
栗原 正仁
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道大学 情報科学研究科
-
大内 東
北海道大学大学院情報科学研究科
-
大内 東
北海道大学 大学院 情報科学研究科 複合情報学専攻 複雑系工学講座 調和系工学研究室
-
能登 正人
北海道大学工学部システム情報工学専攻
-
能登 正人
神奈川大学大学院工学研究科電気電子情報工学専攻
-
沼澤 政信
小樽商科大学商学部社会情報学科
-
栗原 正仁
北海道工業大学
-
早川 圭吾
神奈川大学
著作論文
- エージェントの移動性を考慮したエージェント間通信のトラフィック量に関する実験と評価
- 2K-5 研究室配属アルゴリズムの諸性質の考察
- 等式プログラムの停止性検証
- 拡張ステータスによる項書換え系の停止性検証
- 抽象書換え系理論による講座配属アルゴリズムの完備性の解析
- 抽象書換え系理論による講座配属アルゴリズムの完備性と解析
- 書換え系理論を用いた講座配属アルゴリズムの完備性の解析
- 拡張ステータスを用いた項書換えシステムの停止性検証システムの開発
- ステータスの拡張による項書換えシステムの停止性検証