栗原 正仁 | 北海道工業大学
スポンサーリンク
概要
関連著者
-
栗原 正仁
北海道工業大学
-
栗原 正仁
北海道大学大学院情報科学研究科複合情報学専攻
-
近藤 久
茨城大学工学部
-
石本 純一
北海道工業大学
-
成 孝徳
北海道工業大学
-
大内 東
北海道大学 大学院 情報科学研究科 複合情報学専攻 複雑系工学講座 調和系工学研究室
-
沼澤 政信
北海道大学大学院工学研究科システム情報工学専攻
-
大内 東
北海道大学大学院情報科学研究科
-
能登 正人
神奈川大学大学院工学研究科電気電子情報工学専攻
-
沼澤 政信
小樽商科大学商学部社会情報学科
-
西田 真和
北海道工業大学
-
能登 正人
神奈川大学工学部電気電子情報工学科
-
澁田 厚
北海道工業大学
-
早川 圭吾
神奈川大学
-
菊地 水軍
北海道工業大学電気工学専攻
-
尾形 達哉
茨城大学大学院理工学研究科システム工学専攻
-
栗原 正仁
北海道工業大学 電気工学科
-
沼澤 政信
北海道大学大学院 工学研究科
著作論文
- D-3-1 移動エージェントにおける位置透過性を持ったエージェント間通信機構の実現
- 2J-2 アーク整合にAC-7を用いたMAC制約充足アルゴリズムの実装
- 5P-7 反復改善型分散制約充足アルゴリズムの実装と評価
- 1N-6 BDD表現を用いた複数優先順位を扱う項書換え系完備化推論規則
- 3K-1 多項制約充足問題の双対問題による2項制約化の改善と検証
- 2K-5 研究室配属アルゴリズムの諸性質の考察
- 条件付き項書換え系に基づく言語におけるメタ計算
- 列書換え系停止性検証における二分決定グラフのサイズ
- 二分決定グラフを用いた項書換え系の停止性検証システム
- 二分決定グラフを用いた書換え型プログラムの停止性検証器
- 二分決定グラフを用いた書換え型プログラムの停止性検証システム
- 二分決定グラフを用いた項書換え系の停止性検証
- 簡約系によるリフレクティブエージェント