Jump to main content

yr 〜
yr

Search results 6

wavelet解析におけるアルゴリズム論的定式化

wavelet解析におけるアルゴリズム論的定式化
Paper図書
明石, 重男, 新潟大学2000-2001<Y151-H12640109>
National Diet Library
  • Subject Headingwavelet解析 Fourier解析 エントロピー理論 計算の複雑さ

構成的数学における計算可能性と計算の複雑さに関する研究

構成的数学における計算可能性と計算の複雑さに関する研究
Paper図書
石原哉, 北陸先端科学技術大学院大学 [著][石原哉]2003-2006<Y151-H15500005>
National Diet Library
  • Subject Heading構成的数学 / 計算可能性 / 計算の複雑さ / 国際研究者交流 / ドイツ: アメリカ: ニュージー

命題論理の証明の複雑さに関する研究

命題論理の証明の複雑さに関する研究
Paper図書
新井紀子, 国立情報学研究所 [著][新井紀子]2001-2003<Y151-H13680422>
National Diet Library
  • Subject Heading証明論 / 計算の複雑さ理論 / 証明の複雑さ理論 / 自動証明 / 遠隔教育

生成文法理論における「位相」についての理論的及び実証的研究 : 相対的「位相」の定義を目指して

生成文法理論における「位相」についての理論的及び実証的研究 : 相対的「位相」の定義を目指して
Paper図書
石井透, 明治大学 [著][石井透]2002-2003<Y151-H14510543>
National Diet Library
  • Subject Heading生成文法 / 極小モデル / 言語機能 / 認知科学 / 計算の複雑さ / 位相 / WH移動 / Wh島の条件

平均時間的に高速な組合せ最適化アルゴリズムとその実験的評価法の研究

平均時間的に高速な組合せ最適化アルゴリズムとその実験的評価法の研究
Paper図書
岩間, 一雄, 九州大学1992-1993<Y151-H04650318>
National Diet Library
  • Subject Heading組合せアルゴリズム 実験的評価 NP完全性 安全性 局所探索 計算の複雑さの理論 CAD

組合せ問題に対する最適化アルゴリズムの複合化と効率化に関する研究

組合せ問題に対する最適化アルゴリズムの複合化と効率化に関する研究
Paper図書
茨木, 俊秀, 京都大学1985-1986<Y151-S60550264>
National Diet Library
  • Subject Heading組合せ最適化 動的計画法 分枝限定法 非線形計画法 計算の複雑さ 効率的アルゴリズム

Reached to the end of result.

RSS