招待講演
2008年11月7日11：15−12：15 大石進一：精度保証付き数値計算の現状-基礎としての線形系から非線形問題の計算機援用証明までのサーベイ- 研究集会「非線型波動の数理と物理」 九州大学筑波地区総合研究棟
2008年11月10日 学振130号委員会 大石進一：精度保証付き数値計算から見たナノ光シミュレーション
精度保証付き数値計算の特集号が数学セミナー 2008.11 566号に出版されました：
特集 計算の品質----精度・誤差・効率
いま問われる計算の品質とは？ 大石進一 10
品質を落とさない数値計算法／無誤差変換と高精度計算 荻田武史 15
線型代数と数値計算 大石進一 20
精度保証付き数値計算の応用：流体の方程式 中尾充宏 24
精度保証付き数値計算の応用：カオス／渾沌を殺さず七竅を鑿つために 荒井 迅 31
誤らない計算幾何学アルゴリズム 尾崎克久 36
| ＪＳＴ ＣＲＥＳＴ 第４回 「シミュレーション技術の革新と実用化基盤の構築」領域シンポジウム |
|
■日時 ： 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上のプログラミングでポイントをメモしておく。
.files/okuma8.jpg)
