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

• Item type: Trans(1)
• 公開日: 2016-06-06
• タイトル: 非線形方程式求根アルゴリズムの宣言的形式言語の設計
• タイトル / 言語: en
• タイトル: Design of a Declarative Formal Language for Root-finding Algorithms of Nonlinear Equations
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [発表概要]
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 九州大学情報基盤研究開発センター
• 著者所属: 立命館大学生命科学部
• 著者所属(英): en
• 著者所属(英): Research Institute for Information Technology, Kyushu University
• 著者所属(英): en
• 著者所属(英): College of Life Sciences, Ritsumeikan University
• 著者名: 嶋吉, 隆夫; 天野, 晃
• 著者名(英): Takao, Shimayoshi; Akira, Amano
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年，数値計算が行われる環境は，クラスタPCやGPGPU（general-purpose computing on graphics processing units），クラウドコンピューティングなど非常に多様化している．そこで用いられる数値計算アルゴリズムは一般的に，手続き型プログラミング言語を用いて実装されたライブラリの形態で配布，利用される．このやり方は，計算性能の面で有利であるが，一方で，計算実行環境に対応した利用アルゴリズムの実装が公開されていない場合は自らアルゴリズムを移植する必要があるという，可用性および生産性の問題がある．そこで，本発表では，非線形方程式の求根アルゴリズムを対象としたXMLベース形式言語を提案する．この形式言語では，求根アルゴリズムは漸化式として定義され，プログラミング言語に依存しない形式でMathMLのContent Markupを用いて宣言的に記述される．この宣言的記述に含まれる数式と数学変数との関係を解析することで，対象アルゴリズムの抽象化された計算手順を得ることができる．この抽象的計算手順は，具体的なプログラミング言語によるプログラムコードに変換可能である．本手法により，多様な環境における求根アルゴリズムの実装コストを削減できると考えられる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In recent years, numerical computations are executed using various computing environments such as PC clusters, GPGPU (general-purpose computing on graphics processing units) and cloud computing. Numerical algorithms employed in the numerical computations are generally distributed within libraries implemented in procedural programming languages such as Fortran, C, and MATLAB. This conventional manner has an advantage in computational performance, but also has a problem on availability and productivity that an algorithm has to be ported onto a target environment if any implementations of the algorithm are not available on the environment. In this presentation, a XML-based formal language for root-finding algorithms of nonlinear equations is introduced. In this formal language, a root-finding algorithm is declaratively defined as a set of mathematical recurrence formulas using Content Markup of MathML. This description is independent of any programming languages. By analyzing relationships among mathematical equations and mathematical variables in the description, an abstract calculation procedure of the described algorithm can be obtained. The abstract procedure is convertible into program codes in a concrete programming language. This scheme can reduce costs for implementation of root-finding algorithms on various environments.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 9, 号 3, p. 24-24, 発行日 2016-06-06
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会