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

Translated title of the contribution: Design of a Declarative Formal Language for Root-finding Algorithms of Nonlinear Equations

嶋吉 隆夫, 天野 晃

Research output: Contribution to journalArticle

Abstract

近年,数値計算が行われる環境は,クラスタPCやGPGPU(general-purpose computing on graphics processing units),クラウドコンピューティングなど非常に多様化している.そこで用いられる数値計算アルゴリズムは一般的に,手続き型プログラミング言語を用いて実装されたライブラリの形態で配布,利用される.このやり方は,計算性能の面で有利であるが,一方で,計算実行環境に対応した利用アルゴリズムの実装が公開されていない場合は自らアルゴリズムを移植する必要があるという,可用性および生産性の問題がある.そこで,本発表では,非線形方程式の求根アルゴリズムを対象としたXMLベース形式言語を提案する.この形式言語では,求根アルゴリズムは漸化式として定義され,プログラミング言語に依存しない形式でMathMLのContent Markupを用いて宣言的に記述される.この宣言的記述に含まれる数式と数学変数との関係を解析することで,対象アルゴリズムの抽象化された計算手順を得ることができる.この抽象的計算手順は,具体的なプログラミング言語によるプログラムコードに変換可能である.本手法により,多様な環境における求根アルゴリズムの実装コストを削減できると考えられる.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.
Original languageJapanese
Pages (from-to)24-24
Number of pages1
Journal情報処理学会論文誌プログラミング(PRO)
Volume9
Issue number3
Publication statusPublished - Jun 6 2016

Cite this

非線形方程式求根アルゴリズムの宣言的形式言語の設計. / 嶋吉隆夫; 天野晃.

In: 情報処理学会論文誌プログラミング(PRO), Vol. 9, No. 3, 06.06.2016, p. 24-24.

Research output: Contribution to journalArticle

@article{b71996677bc94fb8b739e722f5b5f9fe,
title = "非線形方程式求根アルゴリズムの宣言的形式言語の設計",
abstract = "近年,数値計算が行われる環境は,クラスタPCやGPGPU(general-purpose computing on graphics processing units),クラウドコンピューティングなど非常に多様化している.そこで用いられる数値計算アルゴリズムは一般的に,手続き型プログラミング言語を用いて実装されたライブラリの形態で配布,利用される.このやり方は,計算性能の面で有利であるが,一方で,計算実行環境に対応した利用アルゴリズムの実装が公開されていない場合は自らアルゴリズムを移植する必要があるという,可用性および生産性の問題がある.そこで,本発表では,非線形方程式の求根アルゴリズムを対象としたXMLベース形式言語を提案する.この形式言語では,求根アルゴリズムは漸化式として定義され,プログラミング言語に依存しない形式でMathMLのContent Markupを用いて宣言的に記述される.この宣言的記述に含まれる数式と数学変数との関係を解析することで,対象アルゴリズムの抽象化された計算手順を得ることができる.この抽象的計算手順は,具体的なプログラミング言語によるプログラムコードに変換可能である.本手法により,多様な環境における求根アルゴリズムの実装コストを削減できると考えられる.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.",
author = "隆夫 嶋吉 and 晃 天野",
year = "2016",
month = "6",
day = "6",
language = "Japanese",
volume = "9",
pages = "24--24",
journal = "情報処理学会論文誌プログラミング(PRO)",
issn = "1882-7802",
number = "3",

}

TY - JOUR

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

AU - 嶋吉, 隆夫

AU - 天野, 晃

PY - 2016/6/6

Y1 - 2016/6/6

N2 - 近年,数値計算が行われる環境は,クラスタPCやGPGPU(general-purpose computing on graphics processing units),クラウドコンピューティングなど非常に多様化している.そこで用いられる数値計算アルゴリズムは一般的に,手続き型プログラミング言語を用いて実装されたライブラリの形態で配布,利用される.このやり方は,計算性能の面で有利であるが,一方で,計算実行環境に対応した利用アルゴリズムの実装が公開されていない場合は自らアルゴリズムを移植する必要があるという,可用性および生産性の問題がある.そこで,本発表では,非線形方程式の求根アルゴリズムを対象としたXMLベース形式言語を提案する.この形式言語では,求根アルゴリズムは漸化式として定義され,プログラミング言語に依存しない形式でMathMLのContent Markupを用いて宣言的に記述される.この宣言的記述に含まれる数式と数学変数との関係を解析することで,対象アルゴリズムの抽象化された計算手順を得ることができる.この抽象的計算手順は,具体的なプログラミング言語によるプログラムコードに変換可能である.本手法により,多様な環境における求根アルゴリズムの実装コストを削減できると考えられる.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.

AB - 近年,数値計算が行われる環境は,クラスタPCやGPGPU(general-purpose computing on graphics processing units),クラウドコンピューティングなど非常に多様化している.そこで用いられる数値計算アルゴリズムは一般的に,手続き型プログラミング言語を用いて実装されたライブラリの形態で配布,利用される.このやり方は,計算性能の面で有利であるが,一方で,計算実行環境に対応した利用アルゴリズムの実装が公開されていない場合は自らアルゴリズムを移植する必要があるという,可用性および生産性の問題がある.そこで,本発表では,非線形方程式の求根アルゴリズムを対象としたXMLベース形式言語を提案する.この形式言語では,求根アルゴリズムは漸化式として定義され,プログラミング言語に依存しない形式でMathMLのContent Markupを用いて宣言的に記述される.この宣言的記述に含まれる数式と数学変数との関係を解析することで,対象アルゴリズムの抽象化された計算手順を得ることができる.この抽象的計算手順は,具体的なプログラミング言語によるプログラムコードに変換可能である.本手法により,多様な環境における求根アルゴリズムの実装コストを削減できると考えられる.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.

M3 - 記事

VL - 9

SP - 24

EP - 24

JO - 情報処理学会論文誌プログラミング(PRO)

JF - 情報処理学会論文誌プログラミング(PRO)

SN - 1882-7802

IS - 3

ER -