max表現の変形アルゴリズムとC言語による実装

抄録

概要. 演算max, minおよび符号反転−のみで構成される式表現を，ある標準形に同値変形するアルゴリズムを提案し，Cプログラムによって実装する．また，そのような式表現で構成される時間発展方程式の初期値問題にプログラムを応用し，計算効率を議論する．