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

2010 年度 実績報告書

交替性計算の潜在的能力

研究課題

研究課題/領域番号 21700012
研究機関豊橋技術科学大学

研究代表者

相田 慎  豊橋技術科学大学, 大学院・工学研究科, 助教 (60345957)

キーワード計算量理論 / アルゴリズム / ソフトウェア科学 / ソフトウェア工学 / オブジェクト指向 / グラフ・ネットワーク理論
研究概要

「ゲーム理論」において、将棋や囲碁などの組合せ論的二人ゲームの盤面を計算理論的に抽象・一般化し、ゲームの進行を「ある種の計算機」と見なした計算モデルが交替性計算である。このモデルは、計算量理論においては比較的古典的なものであるが、計算構造が他のモデルと比較すると極めて複雑であり、その本質的な計算能力について未解決問題が多い。
本研究の課題は、この交替性計算モデルの概念をより明確にするために、既存の計算モデルである決定性・非決定性・確率的計算モデルそれぞれを比較し、従来の計算量理論の手法や新しい技法を適用することで、各計算モデルで定義される計算量(すなわち、計算に必要な時間とメモリ領域)の各クラス間の未知なる関係性を明らかにすることである。特に、交替性計算が決定性計算を別の側面で特徴付けるだけでなく、本質的に計算手法が異なるという示唆に基づき、未解決問題である「非決定性計算量・乱択計算量の交替性計算による非自明な特徴付け」に関する研究、並びに、双対的という意味において交替性計算と類似性がある計算量クラスNP∩co-NPの帰納的可算性に着目した研究を行った。
さらに、計算量・アルゴリズム理論の応用的側面を考察した。そして、与えられたオブジェクト指向ソフトウェアが「ある種の複雑ネットワークを持つ」性質に着目し、ソフトウェア構造を再構成することで、ソフトウェアへの機能追加し易い構造(良構造)へ変形するアルゴリズムを構築した。

  • 研究成果

    (1件)

すべて 2011

すべて 雑誌論文 (1件)

  • [雑誌論文] 設計原理に基づくソフトウェア階層化支援手法2011

    • 著者名/発表者名
      市川友介、相田慎、磯田定宏
    • 雑誌名

      電子情報通信学会技術研究報告SS2010

      巻: 110 ページ: 133-138

URL: 

公開日: 2013-06-26  

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

Powered by NII kakenhi