近藤 久 | 茨城大学工学部
スポンサーリンク
概要
関連著者
-
近藤 久
茨城大学工学部
-
栗原 正仁
北海道大学大学院情報科学研究科複合情報学専攻
-
栗原 正仁
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道工業大学
-
大内 東
北海道大学大学院情報科学研究科
-
近藤 久
北海道大学工学部
-
栗原 正仁
北海道大学 情報科学研究科
-
大内 東
北海道大学 大学院 情報科学研究科 複合情報学専攻 複雑系工学講座 調和系工学研究室
-
近藤 久
茨城大学工学部知能システム工学科
-
鴇崎 和宏
茨城大学大学院理工学研究科システム工学専攻
-
尾形 達哉
茨城大学大学院理工学研究科システム工学専攻
-
近藤 久
北道海大学
-
栗原 正仁
北道海大学
-
大内 東
北道海大学
-
鴇崎 和宏
茨城大学大学院理工学研究科システム工学専攻|現在 味の素システムテクノ株式会社
著作論文
- 1N-6 BDD表現を用いた複数優先順位を扱う項書換え系完備化推論規則
- 二分決定グラフを用いた項書換え系の停止性検証システム
- 二分決定グラフを用いた書換え型プログラムの停止性検証器
- 二分決定グラフを用いた書換え型プログラムの停止性検証システム
- 二分決定グラフを用いた項書換え系の停止性検証
- 複数の簡約順序のもとでの項書換えシステム完備化手続き
- ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続き
- 複数簡約順序を扱う完備化続き
- Reason Maintenance System による項書き換えシステム停止性検証の効率化
- ATMSと単純化順序を用いた項書き換えシステム停止性検証システムの開発 : 第2報
- ATMSと単純化順序を用いた項書き換えシステム停止性検証システムの開発
- ネットワーク特性量を用いた多目的GAによる複雑ネットワーク生成(ネットワーク)
- 5P-7 GAによるモチーフを考慮したネットワーク生成(進化的計算とバイオインフォマティクス,学生セッション,ソフトウェア科学・工学)