科学計算・計算機算術・検証数値計算に関する国際シンポジウム（SCAN）

主要テーマ

各セッションでは、密接に関連する幅広い分野が通常扱われる。代表的なテーマには、以下が含まれる。

• 数値解析と誤差評価
• 数値積分と求積法
• 数値線形代数、ソルバー、前処理
• 偏微分方程式の数値解法と離散化技法
• 区間演算とそのソフトウェア実装
• 保証された誤差境界と厳密な計算のための検証数値計算

沿革と運営

SCANは、数値数学と、数値計算の信頼性およびハードウェア／ソフトウェアの算術に関する課題とを結び付けるテーマの国際的な場として発展してきた。通常は、大学または研究機関と関係することの多い開催地の委員会が持ち回りで運営し、欧州、アジア、南北アメリカ大陸などから発表が寄せられる。論文集は通常、査読を経て会議論文集として、または学術誌の特集号として刊行される。

プログラム、参加者、形式

典型的なプログラムでは、招待基調講演、一般セッション、ポスターセッション、ソフトウェアツールに関するチュートリアルまたはワークショップが組み合わされる。参加者には、大学の研究者、大学院生、数値ライブラリを開発または利用する技術者が含まれる。区間演算および保証付き計算ライブラリの実演、検証付きシミュレーションの事例、再現可能性に関する議論も一般的な構成要素である。

意義と特徴

SCANは、性能や漸近理論だけでなく、厳密で信頼できる計算を明示的に重視する点に特徴がある。信頼できる数値結果を求める数学者、計算機科学者、各専門分野の科学者の間で、分野横断的な交流を促進する。誤差制御、保証付きアルゴリズム、計算機算術の設計に携わる人々にとって、SCANは手法、ソフトウェア、ベンチマークを共有するための集中的な場を提供する。

詳細情報、過去のプログラム、論文募集は、通常、シンポジウムの主催者または関連学会から入手できる。一般的なテーマの説明については、上記のリンク先の項目を参照されたい。