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

情報処理学会

書誌事項

タイトル別名
  • Design and Implementation of a Declarative Formal Language for Root-finding Algorithms of Nonlinear Equations

この論文をさがす

抄録

数値計算アルゴリズムは一般的に，FortranやC言語，MATLABなどの手続き型プログラミング言語による参照実装が公開され，計算性能を重視して，ライブラリの形態で配布されるものを利用することが多い．しかし，利用したいアルゴリズムに対して計算実行環境に対応した実装が公開されていない場合は，自らアルゴリズムを移植する必要がある．特に近年は数値計算が行われる環境が非常に多様化しており，従来の方法では可用性および生産性の問題がある．そこで，本発表では，非線形方程式の求根アルゴリズムを対象にドメイン特化したXMLベースの形式言語を提案する．この形式言語では，求根アルゴリズムを手続きではなく数学的に漸化式として定義し，プログラミング言語に依存しない表現としてMathMLのContent Markupを用いて宣言的に記述する．この宣言的記述で定義される数式とそこに含まれる数学変数の依存関係を解析することで，記述アルゴリズムの計算手順が，半順序関係として抽象的な形式で得られる．この抽象的計算手順から，具体的なプログラミング言語によるプログラムコードを出力可能である．本発表では，C99またはFortran 95によるソースコードを生成する処理系，および，その処理系により生成されたソースコードを一般的ソースコードと比較した性能評価について報告する．

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.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1050001337908511488
  • NII論文ID
    170000149085
  • NII書誌ID
    AA11464814
  • ISSN
    18827802
  • Web Site
    http://id.nii.ac.jp/1001/00184823/
  • 本文言語コード
    ja
  • 資料種別
    article
  • データソース種別
    • IRDB
    • CiNii Articles

問題の指摘

ページトップへ