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

数学と離散的対象の研究

研究課題

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

一般研究(B)

配分区分補助金
研究分野 数学一般
研究機関東京大学

研究代表者

難波 完爾  東京大学, 大学院・数理科学研究科, 教授 (40015524)

研究分担者 高橋 陽一郎  東京大学, 大学院・数理科学研究科, 教授 (20033889)
菊地 文雄  東京大学, 大学院・数理科学研究科, 教授 (40013734)
金子 晃  東京大学, 大学院・数理科学研究科, 教授 (30011654)
折原 明夫  東京大学, 大学院・数理科学研究科, 教授 (10012337)
清水 英男  東京大学, 大学院・数理科学研究科, 教授 (00012336)
研究期間 (年度) 1992 – 1993
研究課題ステータス 完了 (1993年度)
配分額 *注記
6,800千円 (直接経費: 6,800千円)
1993年度: 3,000千円 (直接経費: 3,000千円)
1992年度: 3,800千円 (直接経費: 3,800千円)
キーワード離散的体象 / 有限体 / 有限幾何学 / 微分方程式 / 情報構造 / 計算の複雑性 / 特殊関数 / 変換の不変量 / 離散的対象 / ブール代数
研究概要

1.ブール代数およびハイティング代数を値に持つ集合論に於て、数学を展開することは可能でそれを再び数学の対象として研究し、多くの具体的成果を得ている。この研究では、上記のものが位相空間の開集合や正則開集合、トポスなどに対応しているのに対して、線形空間の連続な作用素の空間など含むより一般の体系を研究対象としている。
この体系の上の公理、推論法則、証明可能性、完全性定理、決定可能性等の概念は、極大可換集合、ユニタリー表現などの数学的結果と関連しており、論理学での式として何が考えられるべきか、特にヒルベルト空間上で展開される量子論理と関連した離散的対象の研究は特に重要な研究目標である。本研究で得られている成果の中にも多くの連続的変形とそれに供う離散的対象に関するものが含まれている。
2.有限体上の微分方程式と有限射影空間での楕円曲線の構造の研究が着実に進んでいる。特に楕円曲線から定まるアーベル群の位数:これは複素数体では楕円関数の周期に相当するものであるが,これに関する具体的結果を得ている。例えばワイヤストラスの標準形y^2=X^3+kから定まる有限群の位数に関する結果から、素数がp=3n^2+3n+1の形をしているとき、その素数を因数として含む合成数から、その因数pを計算する確率的な多項式時間アルゴリズムの存在が示された。これと異なる系列の素数の発見は今後の大きな課題である。素因数分解と素数判定の計算量的複雑さの研究はP=NP問題などとも関連して現在最もホットな研究課題である。また、有限体上の楕円曲線から定まるアーベル群の位数の系列から,有理成分巡回直交行列の新しい系列を得ることができた。この理論の通信や位置の同定等への応用は将来の課題である。

報告書

(2件)
  • 1993 実績報告書
  • 1992 実績報告書
  • 研究成果

    (16件)

すべて その他

すべて 文献書誌 (16件)

  • [文献書誌] Kanji Namba: "Probabilistic polynomial time computable prime factors" 応用数学合同研究集合報告集. 5-10 (1992)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] Takashi Tasaka: "Note on the generalized Euler constants" Okayama Journal of Mathematics. to appear.

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] Junichi Satsuma: "Solutions of the Broer-Kaup system through its trilinear form" Jour.of the Physical Soc.of Japan. 61. 3096-3102 (1992)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] Fumio Kikuchi: "Numerical analysis of electrostatic and magnetostatic problems" Sugaku Expositions. 6. 33-51 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] Toshitake Kohno: "Topological invariants for 3-manifolds using presentations of mapping class groups 1" Topology. 31,2. 203-230 (1992)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] Toshiyuki Kobayashi: "Singuler unitary representations and discrete series for indefinite Stiefel manifold U(p,q:F)/V(p-m,q:F)" Memoirs of American Math.Soc.462. 1-101 (1992)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 薩摩順吉・四谷晶二: "キーポイント線形代数" 岩波書店, 189 (1992)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 河野俊丈: "組みひもの数理" 遊星社, 222 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] Kanji Namba: "Factorization of Jacobi polynomial and elliptic curves over finite fields" 応用数学合同研究集会報告集. 98-103 (1992)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] Akira aneko: "On conjugation of regular solutions of linear partial differential equations" Partial differential equations Banach center publications. 27. 183-195 (1992)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] Hironobu Kimura: "The generalized confluent hypergeometric functions" Proc.of Japan Academy. 68. 290-295 (1992)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] Kazuo Okamoto: "The Painleve equations and the Dynkin diagrams" Painleve Trancendents,Ed.D.Levi Plenum Press. 299-313 (1992)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] Toshiyuki Katsura: "On the fields of definition of super-singuler polarized abelian varieties and type numbers" to appear,Compositio Math.

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] Kenji Yajima: "Gevrey frequency set and semi-classical behavior of wave packets" Schrod.op.Quantum Mech.Prob.Lect.Notes in Physics. 403. 248-264 (1992)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] 堀川 穎二: "新しい解析入門コース" 日本評論社, 156 (1992)

    • 関連する報告書
      1992 実績報告書
  • [文献書誌] 薩摩 順吉(四ツ谷晶二と共著): "キーポイント線形代数" 岩波書店, 189 (1992)

    • 関連する報告書
      1992 実績報告書

URL: 

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

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

Powered by NII kakenhi