ディジタル数学公式集の現状と未来
スポンサーリンク
概要
- 論文の詳細を見る
辞書,地図,百科辞典などさまざまな辞典が現在ディジタル化されている.本屋さん,電気屋さんへいくとさまざまな電子辞書が売られており,高校生も学校推薦の電子辞書を買って日々の勉学に活用するのが普通となってきている.さて,この記事では数学公式集をいかにディジタル化していくかその現状と問題点を解説する.現在数学公式というべきものは多岐にわたっている.たとえば"sin^2 x+cos^2x=1"だとか"x^nの微分はnx^<n-1>である"などの公式は高校数学で習う.またこれらは数学を応用するさまざまな場面において当たり前に利用している公式である.数学公式の面白さというのは,深い数学的知識を1行の式で表現していることにある.たとえばπ(x)を自然数xを超えない素数の個数とするときπ(x)〜x/log xなる公式は素数定理と呼ばれているが,これは深い数学的知識を1行の式で表現している.また暗号や高速計算アルゴリズムの設計などの応用場面においても基礎となる公式の1つである.
- 2004-07-15
著者
関連論文
- MEGA 2003, ISSAC 2003, IAMC 2003 報告
- Risa / Asir における新しい形式の数式の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- OpenXMの新サーバ, 新プロトコル (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Monodromy of the hypergeometric differential equation of type ( k, n )
- 微分作用素環用システム kan/sm1
- Funkcialaj Ekvacioj の遡及電子化中間報告(紀要の電子化と周辺の話題)
- ディジタル数学公式集の現状と未来
- Quadratic Relations for Generalized Hypergeometric Functions (Deformation of differential equations and asymptotic analysis)
- OpenXM 1.1.3の概要 (数式処理における理論と応用の研究)
- OpenXMプロジェクトの現状について (数式処理における理論と応用の研究)
- Open asir入門
- モノミアルカーブに付随したGKZ Hypergeometricのslope (微分方程式論における積分公式とTwisted Cohomology)
- 第2回アジア数学会議印象記
- $D$-加群における$(u,v)$-極小自由分解とその応用 (数式処理における理論と応用の研究)
- $D$加群の極小自由分解 (D-加群のアルゴリズム)
- 加群の積分とその応用(数式処理における理論と応用の研究)
- 局所グレブナ扇 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- OpenXM プロジェクトの過去, 現在, 未来
- $D$加群のアルゴリズムとその数値解析への応用 (数学解析の理論的展開の計算機による支援・遂行可能性)
- Holonomic系の形式巾級数解の構成アルゴリズム
- ICMS2002報告
- グレブナ変形による微分方程式系の解析 (数学解析の計算機上での理論的展開とその遂行可能性)
- 大学と数式処理学会の未来
- FoCM99参加記録
- 超幾何多項式と整数計画法(数式処理における理論と応用の研究)
- ホロノミックシステムの多項式解と有理解を求めるアルゴリズム (数式処理における理論と応用の研究)
- Kan/k0の設計
- 超幾何関数とトーリック多様体(トーリック多様体の幾何と凸多面体)
- Secondary polytope, hypergeometric D-module and connection formulas of $\Delta_1 \times \Delta_{n-1}$-hypergeometric functions(Modern aspects of combinatorial structure on convex polytopes)
- Kan(環):非可換環の得意な数式処理システム(数式処理における理論と応用の研究)
- 環と加群のソフトウエア
- Computational algebraic analysis and connection formula
- 書評 D.コックス・J.リトル・D.オシー(落合啓之・示野信一・西山享・室政和・山本敦子 訳):グレブナ基底と代数多様体入門(上),(下)