• 検索結果がありません。

非線形方程式求根アルゴリズムの宣言的形式言語の設計と実装

N/A
N/A
Protected

Academic year: 2021

シェア "非線形方程式求根アルゴリズムの宣言的形式言語の設計と実装"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)情報処理学会論文誌. プログラミング. Vol.10 No.6 3 (Dec. 2017). 発表概要. 非線形方程式求根アルゴリズムの宣言的形式言語の 設計と実装 嶋吉 隆夫1,a). 天野 晃2. 2017年6月8日発表. 数値計算アルゴリズムは一般的に,Fortran や C 言語,MATLAB などの手続き型プログラミング言語 による参照実装が公開され,計算性能を重視して,ライブラリの形態で配布されるものを利用することが 多い.しかし,利用したいアルゴリズムに対して計算実行環境に対応した実装が公開されていない場合は, 自らアルゴリズムを移植する必要がある.特に近年は数値計算が行われる環境が非常に多様化しており, 従来の方法では可用性および生産性の問題がある.そこで,本発表では,非線形方程式の求根アルゴリズ ムを対象にドメイン特化した XML ベースの形式言語を提案する.この形式言語では,求根アルゴリズム を手続きではなく数学的に漸化式として定義し,プログラミング言語に依存しない表現として MathML の Content Markup を用いて宣言的に記述する.この宣言的記述で定義される数式とそこに含まれる数学変 数の依存関係を解析することで,記述アルゴリズムの計算手順が,半順序関係として抽象的な形式で得ら れる.この抽象的計算手順から,具体的なプログラミング言語によるプログラムコードを出力可能である. 本発表では,C99 または Fortran 95 によるソースコードを生成する処理系,および,その処理系により生 成されたソースコードを一般的ソースコードと比較した性能評価について報告する.. Presentation Abstract. Design and Implementation of a Declarative Formal Language for Root-finding Algorithms of Nonlinear Equations Takao Shimayoshi1,a). Akira Amano2. Presented: June 8, 2017. Numerical algorithms are generally published along with reference implementations in procedural programming languages such as Fortran, C, and MATLAB, and distributed and utilized within libraries with mainly concerning computational performance. However, a necessary algorithm has to be ported onto a target environment if no implementation of the algorithm is available on the environment. Especially in recent years, numerical computations are executed using various computing environments. Therefore, that conventional manner has a problem on availability and productivity. In this presentation, a XML-based formal language is introduced, the domain of which is specialized for root-finding algorithms of nonlinear equations. In the present formal language, a root-finding algorithm is not defined as a procedure but as a set of mathematical recurrence formulas, and declaratively described using Content Markup of MathML independently of any programing languages. By analyzing relationships among mathematical equations in the description and mathematical variables referred in the equations, an abstract calculation procedure of the described algorithm can be obtained as a partial order relation. From the abstract procedure, program codes in concrete programming languages can be generated. A generator of C99 or Fortran 95 source codes is presented, and a performance evaluation of a generated source code compared to a common source code is reported.. This is the abstract of an unrefereed presentation, and it should not preclude subsequent publication. 1. 九州大学情報基盤研究開発センター Research Institute for Information Technology, Kyushu University, Fukuoka 819–0935, Japan. c 2017 Information Processing Society of Japan . 2. a). 立命館大学生命科学部 College of Life Sciences, Ritsumeikan University, Kusatsu, Shiga 525–8577, Japan [email protected]. 3.

(2)

参照

関連したドキュメント

Standard domino tableaux have already been considered by many authors [33], [6], [34], [8], [1], but, to the best of our knowledge, the expression of the

この節では mKdV 方程式を興味の中心に据えて,mKdV 方程式によって統制されるような平面曲線の連 続朗変形,半離散 mKdV

where it does not matter). 10.4] for a discussion of the relation between sequences of this form and elliptic divisibility sequences defined via a bilinear recurrence or the sequence

We also realize the configurations in question as formal toric schemes and compute their formal Gromov–Witten invariants using the mathematical and physical theories of the

We show that a discrete fixed point theorem of Eilenberg is equivalent to the restriction of the contraction principle to the class of non-Archimedean bounded metric spaces.. We

Existence of weak solution for volume preserving mean curvature flow via phase field method. 13:55〜14:40 Norbert

In [9] a free energy encoding marked length spectra of closed geodesics was introduced, thus our objective is to analyze facts of the free energy of herein comparing with the

Since we need information about the D-th derivative of f it will be convenient for us that an asymptotic formula for an analytic function in the form of a sum of analytic