• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 21700173
研究種目

若手研究(B)

配分区分補助金
研究分野 知能情報学
研究機関拓殖大学

研究代表者

水野 一徳  拓殖大学, 工学部, 准教授 (20439524)

研究期間 (年度) 2009 – 2011
研究課題ステータス 完了 (2011年度)
配分額 *注記
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2011年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2010年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2009年度: 2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
キーワード探索・論理・推論アルゴリズム / 制約充足問題 / メタヒューリスティクス / 相転移 / NP完全 / グラフ彩色問題 / エージェント / 探索
研究概要

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

報告書

(4件)
  • 2011 実績報告書   研究成果報告書 ( PDF )
  • 2010 実績報告書
  • 2009 実績報告書
  • 研究成果

    (63件)

すべて 2012 2011 2010 2009

すべて 雑誌論文 (29件) (うち査読あり 27件) 学会発表 (33件) 図書 (1件)

  • [雑誌論文] Development of a Foods Information Service System for Parent of a Childhood Cancer Patient2012

    • 著者名/発表者名
      Toguchi, A., Wakiuchi, H., Sasaki, H., Sumiyoshi, T., Mizuno, K
    • 雑誌名

      The 2012 Bangkok International Academic Conference

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Development of a Foods Information Service System for Parent of a Childhood Cancer Patient2012

    • 著者名/発表者名
      Toguchi, A., Wakiuchi, H., Sasaki, H., Sumiyoshi, T., Mizuno, K.
    • 雑誌名

      Proc.The 2012 Bangkok Academic Conference

      ページ: 295-299

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] セルの相互作用による仮想都市の区画変化シミュレーション2011

    • 著者名/発表者名
      古田尚之, 水野一徳, 他3名
    • 雑誌名

      芸術科学会論文誌

      巻: Vol.10, No.4 ページ: 241-250

    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Solving Constraint Satisfaction Problems by ACO with Cunning Ants2011

    • 著者名/発表者名
      Mizuno, K., Hayakawa, D., Sasaki, H., and Nishihara, S
    • 雑誌名

      The 2011 International Conference on Technologies and Applications of Artificial Intelligence(TAAI2011)

      ページ: 155-160

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Improving Search Efficiency Adopting Hill-Climbing to Ant Colony Optimization for Constraint Satisfaction Problems2011

    • 著者名/発表者名
      Hayakawa D., Mizuno, K., Sasaki, H., and Nishihara, S
    • 雑誌名

      The 3rd International Conference on Knowledge and Systems Engineering(KSE2011)

      ページ: 200-204

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] On the Efficiency of Ant Colony Optimization with Cunning Ants for Binary Constraint Satisfaction Problems2011

    • 著者名/発表者名
      Hayakawa, D., Mizuno, K., Sasaki, H., and Nishihara, S
    • 雑誌名

      The 8th International Conference on Cybernetics and Information Technologies, Systems and Applications(CITSA 2011)

    • NAID

      40020267282

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] 仮想都市における建物の建築過程形状の自動生成2011

    • 著者名/発表者名
      古田尚之, 水野一徳, 西原清一, 福井幸男, 佐々木整
    • 雑誌名

      NICOGRAPH Spring Festival in TAF予稿集

      巻: (CD-ROM)

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] On the Efficiency of Ant Colony Optimization with Cunning Ants for Binary Constraint Satisfaction Problems2011

    • 著者名/発表者名
      Hayakawa D., Mizuno, K., et.al.
    • 雑誌名

      Proc.CITSA2011

    • NAID

      40020267282

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Improving Search Efficiency Adopting Hill-Climbing to Ant Colony Optimization for Constraint Satisfaction Problems2011

    • 著者名/発表者名
      Hayakawa D., Mizuno, K., et.al.
    • 雑誌名

      Proc.KSE2011

      ページ: 200-204

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Solving Constraint Satisfaction Problems by ACO with Cunning Ants2011

    • 著者名/発表者名
      Mizuno, K., et.al.
    • 雑誌名

      Proc.TAAI2011

      ページ: 155-160

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Development of new e-Learning content using the Augmented Reality Technology2011

    • 著者名/発表者名
      Toguchi, A., Sasaki, H., Shikoda, A., Mizuno, K.
    • 雑誌名

      Proc.ICCE2011

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Ant Population Meta-Heuristics for Binary Constraint Satisfaction Problems2010

    • 著者名/発表者名
      Mizuno, K., Nagasawa, Y., Sasaki, H., and Nishihara, S
    • 雑誌名

      The 2010 Conference on Technologies and Applications of Artificial Intelligence(TAAI2010)

      ページ: 314-321

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] 知的仮想空間設計とボトムアップ型のシミュレーション2010

    • 著者名/発表者名
      水野一徳
    • 雑誌名

      日本デザイン学会誌(デザイン学特集号),特集「シミュレーションとプロトタイプ」

      巻: Vol.17, No.3 ページ: 14-17

    • 関連する報告書
      2011 研究成果報告書
  • [雑誌論文] Constructive Generation of 3-COL Instances Focusing on Vertex Connectivity of Minimal Unsolvable Structures2010

    • 著者名/発表者名
      Nagasawa, Y., Mizuno, K., Sasaki, H., and Nishihara, S
    • 雑誌名

      The 2nd International Conference on Knowledge and Systems Engineering(KSE2010)

      ページ: 113-118

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Land-Use Change Simulation by Cellular Automata to Generate Time-Varying Virtual Cities2010

    • 著者名/発表者名
      Mizuno, K., Nishihara, S., Fukui, Y., and Sasaki, H
    • 雑誌名

      NICOGRAPH International 2010

      巻: (CD-ROM)

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] セルの相互作用による仮想都市の区画変化シミュレーション2010

    • 著者名/発表者名
      古田尚之, 水野一徳, 他4名
    • 雑誌名

      第26回NICOGRAPH論文コンテスト2010

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Land-Use Change Simulation by Cellular Automata to Generate Time-Varying Virtual Cities2010

    • 著者名/発表者名
      Mizuno, K., et.al.
    • 雑誌名

      NICOGRAPH International 2010

      巻: (CD-ROM)

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Constructive Generation of 3-COL Instances Focusing on Vertex Conne-ctivity of Minimal Unsolvable Structures2010

    • 著者名/発表者名
      Nagasawa Y., Mizuno, K., et.al.
    • 雑誌名

      Proc.KSE2010

      ページ: 113-118

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Ant Population Meta-Heuristics for Binary Constraint Satisfaction Problems2010

    • 著者名/発表者名
      Mizuno, K., et.al.
    • 雑誌名

      Proc.TAAI2010

      ページ: 314-321

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] セルの相互作用による仮想都市の区画変化シミュレーション2010

    • 著者名/発表者名
      古田尚之, 水野一徳, 他
    • 雑誌名

      第26回NICOGRAPH論文コンテスト論文集

      巻: (CD-ROM)

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] 知的仮想空間設計とボトムアップ型のシミュレーション2010

    • 著者名/発表者名
      水野一徳
    • 雑誌名

      日本デザイン学会誌

      巻: Vol.17-3 ページ: 14-17

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] Introducing Recognition Ratios for Urban Traffic Flow Simulation in Virtual Cities2009

    • 著者名/発表者名
      Sang, B., Mizuno, K., 他2名
    • 雑誌名

      The 8th ACM SIGGRAPH International Conference on Virtual Reality Continuum and its Applications in Industry(VRCAI2009)

      ページ: 267-270

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Constructive Generation of 3COL Instances by Embedding Minimal Unsolvable Structures2009

    • 著者名/発表者名
      Nagasawa, Y., Mizuno, K., Sasaki, H., Miki, Y., Nishihara, S
    • 雑誌名

      The 1st International Conference on Knowledge and Systems Engineering(KSE2009)

      ページ: 100-105

    • NAID

      110007502620

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Difficulty Estimation of Number Place Puzzle and Its Problem Generation Support2009

    • 著者名/発表者名
      Ono S., Miyamoto, R., Nakayama, S., and Mizuno, K
    • 雑誌名

      ICCAS-SICE International Joint Conference 2009

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Urban Traffic Flow Simulation with Traffic Accidents in Virtual City Spaces2009

    • 著者名/発表者名
      Mizuno, K., 他4名
    • 雑誌名

      NICOGRAPH International 2009

      巻: (CD-ROM)

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Urban Traffic Flow Simulation with Traffic Accidents in Virtual City Spaces2009

    • 著者名/発表者名
      Mizuno, K., et.al.
    • 雑誌名

      NICOGRAPH International 2009 CD-ROM

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Difficulty Estimation of Number Place Puzzle and Its Problem Generation Support2009

    • 著者名/発表者名
      Ono, S., et. al.
    • 雑誌名

      ICCAS-SICE International Joint Conference CD-ROM

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Constructive Generation of 3COL Instances by Embedding Minimal Unsolvable Structures2009

    • 著者名/発表者名
      Nagasawa, Y., Mizuno, K., et. al.
    • 雑誌名

      Proc. KSE2009

      ページ: 100-105

    • NAID

      110007502620

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Introducing Recognition Ratios for Urban Traffic Flow Simulation in Virtual Cities2009

    • 著者名/発表者名
      Sang. B., Mizuno, K., et. al.
    • 雑誌名

      Proc. 8th ACM SIGGRAPH International Conf. on VRCAI2009 CD-ROM

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [学会発表] 携帯端末を利用した視覚障害者用ナビゲーションシステムの開発2012

    • 著者名/発表者名
      浅見友彦, 水野一徳, 早川大貴
    • 学会等名
      情報処理学会第74回全国大会
    • 発表場所
      名古屋工業大学
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 携帯端末を利用した視覚障害者用ナビゲーションシステムの開発2012

    • 著者名/発表者名
      浅見友彦, 水野一徳, 他
    • 学会等名
      情報処理学会第74回全国大会,1ZD-7
    • 発表場所
      名古屋工業大学
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 拡張現実感を用いたeラーニングコンテンツ開発の試み2011

    • 著者名/発表者名
      渡口聡則, 佐々木整, 千葉哲治, 志子田有光, 水野一徳
    • 学会等名
      教育工学研究会(ET2011-73),電子情報通信学会
    • 発表場所
      琉球大学
    • 年月日
      2011-11-04
    • 関連する報告書
      2011 実績報告書
  • [学会発表] グラフ彩色問題の組織的生成のためのGAによる極小非可解構造の導出2011

    • 著者名/発表者名
      水野一徳, 西原清一, 佐々木整
    • 学会等名
      進化計算シンポジウム2011
    • 発表場所
      モンタナリゾート岩沼
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] グラフ彩色インスタンス生成のためのGAに基づく極小非可解構造の導出2011

    • 著者名/発表者名
      水野一徳, 早川大貴, 佐々木整, 西原清一
    • 学会等名
      第10回情報科学技術フォーラム(FIT2011)
    • 発表場所
      函館大学
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 部分的形質遺伝に基づくACOによる制約充足問題の解法2011

    • 著者名/発表者名
      早川大貴, 水野一徳, 他4名
    • 学会等名
      人工知能学会第25回全国大会
    • 発表場所
      アイーナいわて県民情報交流センター
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 部分的形質遺伝に基づくACOによる制約充足問題の解法2011

    • 著者名/発表者名
      早川大貴, 水野一徳, 他
    • 学会等名
      人工知能学会第25回全国大会,2I2-2
    • 発表場所
      アイーナいわて県民情報交流センター
    • 関連する報告書
      2011 実績報告書
  • [学会発表] グラフ彩色インスタンス生成のためのGAに基づく極小非可解構造の導出2011

    • 著者名/発表者名
      水野一徳, 他
    • 学会等名
      第10回情報科学技術フォーラム(FIT2011),1H-1
    • 発表場所
      函館大学
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 拡張現実を用いたWeb学習コンテンツの作成(2)2011

    • 著者名/発表者名
      渡口聡則, 佐々木整, 志子田有光, 水野一徳
    • 学会等名
      日本教育工学会第27回全国大会,1a-209-01
    • 発表場所
      首都大学東京
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 拡張現実感を用いたeラーニングコンテンツ開発の試み(2)~試作コンテンツと評価実験の報告~2011

    • 著者名/発表者名
      渡口聡則, 佐々木整, 千葉哲治, 志子田有光, 水野一徳
    • 学会等名
      教育工学研究会(ET2011-84),電子情報通信学会
    • 発表場所
      かんぽの宿熱海
    • 関連する報告書
      2011 実績報告書
  • [学会発表] グラフ彩色問題の組織的生成のためのGAに基づく極小非可解構造の導出2011

    • 著者名/発表者名
      水野一徳, 他
    • 学会等名
      進化計算シンポジウム2011,S2-10,140-145
    • 発表場所
      モンタナリゾート岩沼
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 留学生を対象とした学習支援の取り組み2010

    • 著者名/発表者名
      佐々木整, 水野一徳, 他
    • 学会等名
      教育工学研究会,電子情報通信学会
    • 発表場所
      弘前大学
    • 年月日
      2010-07-24
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 極小非可解構造に基づく連結度を考慮した3COLインスタンスの組織的生成2010

    • 著者名/発表者名
      水野一徳, 長澤圭孝, 仲健次, 西原清一, 佐々木整
    • 学会等名
      第77回人工知能基本問題研究会,人工知能学会
    • 発表場所
      北海道大学
    • 年月日
      2010-03-18
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 制約充足に基づく勤務シフトスケジューリング2010

    • 著者名/発表者名
      大懸充, 水野一徳, 長澤圭孝, 西原清一
    • 学会等名
      第72回全国大会,情報処理学会
    • 発表場所
      東京大学
    • 年月日
      2010-03-09
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 連結度に注目したグラフ3彩色インスタンスの組織的生成2010

    • 著者名/発表者名
      仲健次, 長澤圭孝, 水野一徳, 西原清一
    • 学会等名
      第72回全国大会・情報処理学会
    • 発表場所
      東京大学
    • 年月日
      2010-03-09
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 制約充足型ACOにおける部分的形質遺伝に基づく解候補育成2010

    • 著者名/発表者名
      早川大貴, 水野一徳, 他4名
    • 学会等名
      進化計算シンポジウム2010
    • 発表場所
      レイクサイドホテル久山
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 制約充足問題のためのランク付け機能を有するACOの局所探索による解候補育成2010

    • 著者名/発表者名
      早川大貴, 水野一徳, 他4名
    • 学会等名
      第9回情報科学技術フォーラム(FIT2010)
    • 発表場所
      九州大学
    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
  • [学会発表] 仮想都市生成のためのセルオートマトンによる土地利用変化シミュレーション2010

    • 著者名/発表者名
      水野一徳, 西原清一, 今佐和子, 福井幸男
    • 学会等名
      第4回進化計算フロンティア研究会(SIG-ECF)人工知能学会
    • 発表場所
      東京工業大学
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 極小非可解構造に基づく連結度を考慮した3COLインスタンスの組織的生成2010

    • 著者名/発表者名
      水野一徳, 長澤圭孝, 仲健次, 佐々木整, 西原清一
    • 学会等名
      第77回人工知能基本問題研究会(SIG-FPAI),人工知能学会
    • 発表場所
      北海道大学
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 仮想都市のためのセルオートマトンによる土地利用変化シミュレーション2010

    • 著者名/発表者名
      水野一徳, 他
    • 学会等名
      第4回進化計算フロンティア研究会,人工知能学会
    • 発表場所
      東京工業大学
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 情報工学科学生に対するプログラミングの意識調査2010

    • 著者名/発表者名
      佐々木整, 水野一徳, 他
    • 学会等名
      第35回全国大会,教育システム情報学会
    • 発表場所
      北海道大学
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 制約充足型ACOにおける部分的形質遺伝に基づく解候補生成2010

    • 著者名/発表者名
      早川大貴, 水野一徳, 他
    • 学会等名
      進化計算シンポジウム2010,進化計算学会
    • 発表場所
      レイクサイドホテル久山(福岡県)
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 制約充足型Ant Systemにおける局所探索による解候補育成の効果2009

    • 著者名/発表者名
      水野一徳, 小野智司, 西原清一, 佐々木整
    • 学会等名
      進化計算シンポジウム2009
    • 発表場所
      沖縄かんぽの宿レクセンター
    • 年月日
      2009-12-20
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 計算機によるボトムアップ型シミュレーション~仮想都市空間の知的設計とシミュレーション~2009

    • 著者名/発表者名
      水野一徳
    • 学会等名
      日本デザイン学会平成21年度秋季企画大会(招待講演)
    • 年月日
      2009-11-15
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 計算機によるボトムアップ型シミュレーション2009

    • 著者名/発表者名
      水野一徳
    • 学会等名
      日本デザイン学会平成21年度秋季企画大会
    • 発表場所
      拓殖大学
    • 年月日
      2009-11-15
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 点連結度に注目した難しい3COLインスタンスの組織的生成2009

    • 著者名/発表者名
      仲健次, 長澤圭孝, 水野一徳, 西原清一
    • 学会等名
      第75回人工知能基本問題研究会,人工知能学会
    • 発表場所
      電気通信大学
    • 年月日
      2009-11-14
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 多集団型Ant Systemによる制約充足問題の解法2009

    • 著者名/発表者名
      水野一徳, 小野智司, 西原清一
    • 学会等名
      第2回進化計算フロンティア研究会,人工知能学会
    • 発表場所
      東京大学
    • 年月日
      2009-10-02
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 極小非可解構造の埋め込みによる難しい3COLインスタンスの組織的生成2009

    • 著者名/発表者名
      長澤圭孝, 水野一徳, 西原清一
    • 学会等名
      第74回人工知能基本問題研究会,人工知能学会
    • 発表場所
      広島市立大学
    • 年月日
      2009-09-15
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Binary CSPのための制約違反最小化戦略のハイブリッド型Ant Systemの効果2009

    • 著者名/発表者名
      水野一徳, 奥住雅仁, 佐々木整, 西原清一
    • 学会等名
      第8回情報科学技術フォーラム
    • 発表場所
      東北工業大学
    • 年月日
      2009-09-04
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 制約充足型Ant Systemにおける局所探索による解候補育成の効果2009

    • 著者名/発表者名
      水野一徳, 小野智司, 西原清一, 佐々木整
    • 学会等名
      進化計算シンポジウム2009
    • 発表場所
      沖縄かんぽの宿那覇レクセンター
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 点連結度に注目した難しい3COLインスタンスの組織的生成2009

    • 著者名/発表者名
      仲健次, 長澤圭孝, 水野一徳, 西原清一
    • 学会等名
      第75回人工知能基本問題研究会(SIG-FPAI),人工知能学会
    • 発表場所
      電気通信大学
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 多集団型Ant Systemによる制約充足問題の解法2009

    • 著者名/発表者名
      水野一徳, 小野智司, 西原清一
    • 学会等名
      第2回進化計算フロンティア研究会(SIG-ECF),人工知能学会
    • 発表場所
      東京大学
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] 極小非可解構造の埋め込みによる難しい3COLインスタンスの組織的生成2009

    • 著者名/発表者名
      長澤圭孝, 水野一徳, 西原清一
    • 学会等名
      第74回人工知能基本問題研究会(SIG-FPAI),人工知能学会
    • 発表場所
      広島市立大学
    • 関連する報告書
      2011 研究成果報告書
  • [図書] 情報ネットワーク2010

    • 著者名/発表者名
      岡田正, 駒谷昇一, 西原清一, 水野一徳
    • 出版者
      オーム社
    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書

URL: 

公開日: 2009-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi