制約充足問題の自己適応型メタヒューリスティクスに関する研究

2011 年度 研究成果報告書

• 研究課題/領域番号: 21700173
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 知能情報学
• 研究機関: 拓殖大学
• 研究代表者: 水野 一徳 拓殖大学, 工学部, 准教授 (20439524)
• 研究期間 (年度): 2009 – 2011
• キーワード: 探索・論理・推論アルゴリズム / 制約充足問題 / メタヒューリスティクス / 相転移 / NP完全 / グラフ彩色問題 / エージェント

研究概要

本研究課題の主な成果は,(1)制約充足問題を解決するための方法として,個々の問題や問題解決過程に応じて自動的に制御パラメータを調整することができる空間並列型の自己適応型問題解決方式の提案と評価,(2)解決するのに非常に計算手間を要する制約充足問題の組織的生成法の提案と評価,(3)応用システムとして,自律的区画変化を起こす仮想都市の生成システムの開発である.

研究成果

• [雑誌論文] Development of a Foods Information Service System for Parent of a Childhood Cancer Patient (2012)
  • 著者名/発表者名: Toguchi, A., Wakiuchi, H., Sasaki, H., Sumiyoshi, T., Mizuno, K
  • 雑誌名: The 2012 Bangkok International Academic Conference
  • 査読あり
• [雑誌論文] セルの相互作用による仮想都市の区画変化シミュレーション (2011)
  • 著者名/発表者名: 古田尚之, 水野一徳, 他3名
  • 雑誌名: 芸術科学会論文誌 巻: Vol.10, No.4 ページ: 241-250
  • 査読あり
• [雑誌論文] Solving Constraint Satisfaction Problems by ACO with Cunning Ants (2011)
  • 著者名/発表者名: Mizuno, K., Hayakawa, D., Sasaki, H., and Nishihara, S
  • 雑誌名: The 2011 International Conference on Technologies and Applications of Artificial Intelligence(TAAI2011) ページ: 155-160
  • 査読あり
• [雑誌論文] Improving Search Efficiency Adopting Hill-Climbing to Ant Colony Optimization for Constraint Satisfaction Problems (2011)
  • 著者名/発表者名: Hayakawa D., Mizuno, K., Sasaki, H., and Nishihara, S
  • 雑誌名: The 3rd International Conference on Knowledge and Systems Engineering(KSE2011) ページ: 200-204
  • 査読あり
• [雑誌論文] On the Efficiency of Ant Colony Optimization with Cunning Ants for Binary Constraint Satisfaction Problems (2011)
  • 著者名/発表者名: Hayakawa, D., Mizuno, K., Sasaki, H., and Nishihara, S
  • 雑誌名: The 8th International Conference on Cybernetics and Information Technologies, Systems and Applications(CITSA 2011)
  • 査読あり
• [雑誌論文] 仮想都市における建物の建築過程形状の自動生成 (2011)
  • 著者名/発表者名: 古田尚之, 水野一徳, 西原清一, 福井幸男, 佐々木整
  • 雑誌名: NICOGRAPH Spring Festival in TAF予稿集 巻: (CD-ROM)
  • 査読あり
• [雑誌論文] Ant Population Meta-Heuristics for Binary Constraint Satisfaction Problems (2010)
  • 著者名/発表者名: Mizuno, K., Nagasawa, Y., Sasaki, H., and Nishihara, S
  • 雑誌名: The 2010 Conference on Technologies and Applications of Artificial Intelligence(TAAI2010) ページ: 314-321
  • 査読あり
• [雑誌論文] 知的仮想空間設計とボトムアップ型のシミュレーション (2010)
  • 著者名/発表者名: 水野一徳
  • 雑誌名: 日本デザイン学会誌(デザイン学特集号),特集「シミュレーションとプロトタイプ」 巻: Vol.17, No.3 ページ: 14-17
• [雑誌論文] Constructive Generation of 3-COL Instances Focusing on Vertex Connectivity of Minimal Unsolvable Structures (2010)
  • 著者名/発表者名: Nagasawa, Y., Mizuno, K., Sasaki, H., and Nishihara, S
  • 雑誌名: The 2nd International Conference on Knowledge and Systems Engineering(KSE2010) ページ: 113-118
  • 査読あり
• [雑誌論文] Land-Use Change Simulation by Cellular Automata to Generate Time-Varying Virtual Cities (2010)
  • 著者名/発表者名: Mizuno, K., Nishihara, S., Fukui, Y., and Sasaki, H
  • 雑誌名: NICOGRAPH International 2010 巻: (CD-ROM)
  • 査読あり
• [雑誌論文] セルの相互作用による仮想都市の区画変化シミュレーション (2010)
  • 著者名/発表者名: 古田尚之, 水野一徳, 他4名
  • 雑誌名: 第26回NICOGRAPH論文コンテスト2010
  • 査読あり
• [雑誌論文] Introducing Recognition Ratios for Urban Traffic Flow Simulation in Virtual Cities (2009)
  • 著者名/発表者名: Sang, B., Mizuno, K., 他2名
  • 雑誌名: The 8th ACM SIGGRAPH International Conference on Virtual Reality Continuum and its Applications in Industry(VRCAI2009) ページ: 267-270
  • 査読あり
• [雑誌論文] Constructive Generation of 3COL Instances by Embedding Minimal Unsolvable Structures (2009)
  • 著者名/発表者名: Nagasawa, Y., Mizuno, K., Sasaki, H., Miki, Y., Nishihara, S
  • 雑誌名: The 1st International Conference on Knowledge and Systems Engineering(KSE2009) ページ: 100-105
  • 査読あり
• [雑誌論文] Difficulty Estimation of Number Place Puzzle and Its Problem Generation Support (2009)
  • 著者名/発表者名: Ono S., Miyamoto, R., Nakayama, S., and Mizuno, K
  • 雑誌名: ICCAS-SICE International Joint Conference 2009
  • 査読あり
• [雑誌論文] Urban Traffic Flow Simulation with Traffic Accidents in Virtual City Spaces (2009)
  • 著者名/発表者名: Mizuno, K., 他4名
  • 雑誌名: NICOGRAPH International 2009 巻: (CD-ROM)
  • 査読あり
• [学会発表] 携帯端末を利用した視覚障害者用ナビゲーションシステムの開発 (2012)
  • 著者名/発表者名: 浅見友彦, 水野一徳, 早川大貴
  • 学会等名: 情報処理学会第74回全国大会
  • 発表場所: 名古屋工業大学
  • 年月日: 20120306-08
• [学会発表] グラフ彩色問題の組織的生成のためのGAによる極小非可解構造の導出 (2011)
  • 著者名/発表者名: 水野一徳, 西原清一, 佐々木整
  • 学会等名: 進化計算シンポジウム2011
  • 発表場所: モンタナリゾート岩沼
  • 年月日: 20111217-18
• [学会発表] グラフ彩色インスタンス生成のためのGAに基づく極小非可解構造の導出 (2011)
  • 著者名/発表者名: 水野一徳, 早川大貴, 佐々木整, 西原清一
  • 学会等名: 第10回情報科学技術フォーラム(FIT2011)
  • 発表場所: 函館大学
  • 年月日: 20110907-09
• [学会発表] 部分的形質遺伝に基づくACOによる制約充足問題の解法 (2011)
  • 著者名/発表者名: 早川大貴, 水野一徳, 他4名
  • 学会等名: 人工知能学会第25回全国大会
  • 発表場所: アイーナいわて県民情報交流センター
  • 年月日: 20110601-03
• [学会発表] 制約充足型ACOにおける部分的形質遺伝に基づく解候補育成 (2010)
  • 著者名/発表者名: 早川大貴, 水野一徳, 他4名
  • 学会等名: 進化計算シンポジウム2010
  • 発表場所: レイクサイドホテル久山
  • 年月日: 20101218-19
• [学会発表] 制約充足問題のためのランク付け機能を有するACOの局所探索による解候補育成 (2010)
  • 著者名/発表者名: 早川大貴, 水野一徳, 他4名
  • 学会等名: 第9回情報科学技術フォーラム(FIT2010)
  • 発表場所: 九州大学
  • 年月日: 20100907-09
• [学会発表] 仮想都市生成のためのセルオートマトンによる土地利用変化シミュレーション (2010)
  • 著者名/発表者名: 水野一徳, 西原清一, 今佐和子, 福井幸男
  • 学会等名: 第4回進化計算フロンティア研究会(SIG-ECF)人工知能学会
  • 発表場所: 東京工業大学
  • 年月日: 20100604-05
• [学会発表] 極小非可解構造に基づく連結度を考慮した3COLインスタンスの組織的生成 (2010)
  • 著者名/発表者名: 水野一徳, 長澤圭孝, 仲健次, 佐々木整, 西原清一
  • 学会等名: 第77回人工知能基本問題研究会(SIG-FPAI),人工知能学会
  • 発表場所: 北海道大学
  • 年月日: 20100317-18
• [学会発表] 制約充足型Ant Systemにおける局所探索による解候補育成の効果 (2009)
  • 著者名/発表者名: 水野一徳, 小野智司, 西原清一, 佐々木整
  • 学会等名: 進化計算シンポジウム2009
  • 発表場所: 沖縄かんぽの宿那覇レクセンター
  • 年月日: 20091219-20
• [学会発表] 点連結度に注目した難しい3COLインスタンスの組織的生成 (2009)
  • 著者名/発表者名: 仲健次, 長澤圭孝, 水野一徳, 西原清一
  • 学会等名: 第75回人工知能基本問題研究会(SIG-FPAI),人工知能学会
  • 発表場所: 電気通信大学
  • 年月日: 20091113-14
• [学会発表] 多集団型Ant Systemによる制約充足問題の解法 (2009)
  • 著者名/発表者名: 水野一徳, 小野智司, 西原清一
  • 学会等名: 第2回進化計算フロンティア研究会(SIG-ECF),人工知能学会
  • 発表場所: 東京大学
  • 年月日: 20091002-03
• [学会発表] 極小非可解構造の埋め込みによる難しい3COLインスタンスの組織的生成 (2009)
  • 著者名/発表者名: 長澤圭孝, 水野一徳, 西原清一
  • 学会等名: 第74回人工知能基本問題研究会(SIG-FPAI),人工知能学会
  • 発表場所: 広島市立大学
  • 年月日: 20090914-15
• [学会発表] 計算機によるボトムアップ型シミュレーション～仮想都市空間の知的設計とシミュレーション～ (2009)
  • 著者名/発表者名: 水野一徳
  • 学会等名: 日本デザイン学会平成21年度秋季企画大会(招待講演)
  • 年月日: 2009-11-15
• [図書] 情報ネットワーク (2010)
  • 著者名/発表者名: 岡田正, 駒谷昇一, 西原清一, 水野一徳
  • 出版者: オーム社