招待講演
2008年11月7日11:15−12:15 大石進一:精度保証付き数値計算の現状-基礎としての線形系から非線形問題の計算機援用証明までのサーベイ- 研究集会「非線型波動の数理と物理」 九州大学筑波地区総合研究棟
2008年11月10日 学振130号委員会 大石進一:精度保証付き数値計算から見たナノ光シミュレーション
精度保証付き数値計算の特集号が数学セミナー 2008.11 566号に出版されました:
特集 計算の品質----精度・誤差・効率
いま問われる計算の品質とは? 大石進一 10
品質を落とさない数値計算法/無誤差変換と高精度計算 荻田武史 15
線型代数と数値計算 大石進一 20
精度保証付き数値計算の応用:流体の方程式 中尾充宏 24
精度保証付き数値計算の応用:カオス/渾沌を殺さず七竅を鑿つために 荒井 迅 31
誤らない計算幾何学アルゴリズム 尾崎克久 36
| JST CREST 第4回 「シミュレーション技術の革新と実用化基盤の構築」領域シンポジウム |
|
■日時 : 2008年11月12日(水) |
|
■場所 : 慶応義塾大(三田)北館ホール 港区三田 2-15-45 |
|
において5件のポスターを発表します.
精度保証付き数値計算(2005/3/31更新)
このページには精度保証付き数値計算を中心に数値計算関係の理論とツールの情報やプログラムに関する情報を幅広く掲載している。
数値計算・数値解析・数値計算ツール
数値計算・数値解析・数値計算ツールに関する情報を掲載する。
精度保証付き数値計算の理論とツール
精度保証付き数値計算の理論とそのためのツールに関する講義録
「例にもとづく情報理論入門」(講談社サイエンティフィック)の正誤表(2002/2/8現在)
「数値計算」(裳華房)の正誤表(2002/2/3現在)
Slab:著者が作成したフリーな精度保証付き数値計算ツール
Slab1.20:
MATLAB的な数値計算ツールで精度保証モードをもっています。これをGNU-ライセンスで公開しました。(2002/8/15,[2003/5/11] Slab1.23にバージョンアップ(ATLASによる高速化BLASを組み込んだコンパイル済みバージョンをLinux
on Centrino, WindowsXP + Cygwin + Centrino, PowerBook g4 Mac OS
X.2.6の3つのOSについて公開))
MacOSX+PowerBookG4プログラミングメモ
Mac上のプログラミングでポイントをメモしておく。