• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

アルゴリズムと計算量の研究

Research Project

Project/Area Number 06640333
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionTokyo Woman's Christian University

Principal Investigator

守屋 悦朗  東京女子大学, 文理学部, 教授 (00017427)

Co-Investigator(Kenkyū-buntansha) 谷山 公規  東京女子大学, 文理学部, 講師 (10247207)
篠原 昌彦  東京女子大学, 文理学部, 教授 (70086346)
高村 多賀子  東京女子大学, 文理学部, 教授 (60086345)
小林 一章  東京女子大学, 文理学部, 教授 (50031323)
近藤 武  東京女子大学, 文理学部, 教授 (20012338)
Project Period (FY) 1994
Project Status Completed (Fiscal Year 1994)
Budget Amount *help
¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 1994: ¥2,100,000 (Direct Cost: ¥2,100,000)
Keywords木オートマトン / 空間グラフ / エラー訂正コード / P-W問題 / 空間グラフのブック表現 / 結び目理論
Research Abstract

研究実施計画に沿って、まず、各分野からアルゴリズムに関するさまざまな問題を拾い出してみた。その結果、代数の分野ではエラー訂正コードに関する問題、幾何学の分野では結び目理論や空間グラフに関する問題、確率統計の分野ではある種のコンピュータシミュレーションの問題、数学基礎論の分野では線形論理に関する問題、また、コンピュータサイエンスの分野からは木オートマトンに関する問題などを重点問題として選んで研究を進めた。
研究成果としては、必ずしもアルゴリズムに関する成果だけが得られたわけではないものの、「研究発表」欄に記載した発表論文以外にも、口頭発表したものや投稿中、投稿準備中のものがいくつかある。具体例を記すと、
1.2方向木オートマトンという新しい概念を導入して、それが1方向オートマトンを真に含む拡張になっていることを示した。一方、もう一つ別の方法で木オートマトンを拡張し、それとメモリ付き文脈自由文法との関係を明らかにした。
2.空間グラフに関するブック表現、コポルディズム、ホモトピー、ホモロジーについての性質や特徴付けが得られた。
3.数理論理学においてP-W問題と称されている問題に一つの構文的手法で解を与えた。
などが挙げられる。
コンピュータによるシミュレーションについては、現在その結果を検討中であり、結果次第では将来への発展が期待される。

Report

(1 results)
  • 1994 Annual Research Report
  • Research Products

    (12 results)

All Other

All Publications (12 results)

  • [Publications] E.Moriya: "On two-way tree automata" Information Processing Letters. 50. 117-121 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] E.Moriya: "Stack tree automata and their relation to context-free grammars with memory" IEICE Trans on Information and Systems. E77-D. 1086-1093 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] T.Kondo: "Algebraic number fields with discriminant equal to that of a quadratic number field" J.Mathematical Society of Japan. 47. 31-36 (1995)

    • Related Report
      1994 Annual Research Report
  • [Publications] K.Kobayashi: "On the spatial graph" Kodai Mathematical Journal. 17. 511-517 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] K.Taniyama: "Link homotopy invariants of graphs in R^3" Revista Matematica de la Univ.Complutence de Madrid. 7. 129-144 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] K.Taniyama: "Cobordism,homotopy and homology of graphs in R^3" Topology. 33. 509-523 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] K.Taniyama: "Yamada polynomial and crossing number of spatial graphs" Revista Matematica de la Univ.Complutense de Madrid. 7. 247-277 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] K.Taniyama: "On C-distance of knots" Kobe J.of Mathematics. 11. 117-127 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] K.Taniyama: "Knotted projections of planar graphs" Proc.American Mathematical Society. (to appear).

    • Related Report
      1994 Annual Research Report
  • [Publications] K.Taniyama: "Homology dassification of spatial embeddings of a graph" Topology and Its Applications. (to appear).

    • Related Report
      1994 Annual Research Report
  • [Publications] M.Nagayama: "A syntactic solution to the P-W problem" Notre Dame J.of Formal Logic. (to appear).

    • Related Report
      1994 Annual Research Report
  • [Publications] 小林一章: "空間グラフの理論" 培風館, (1995)

    • Related Report
      1994 Annual Research Report

URL: 

Published: 1994-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi