複雑な数値計算スキームに対応する漸化式からの計算プログラム多重ループ構造抽出アルゴリズム

摘要

生体機能モデルのシミュレーションの分野において，モデル数式のシミュレーションをプログラムコードにする場合，時間的コストや誤り検出の難しさを考えるとコードは自動生成される事が理想的である．モデル数式の時間発展計算は漸化式集合として表現される．本研究では，入力される漸化式集合を計算するプログラムのループ構造を効率的に解析するアルゴリズムを提案した．