2012年10月号　 　通巻 612号

計算の性能──速度・環境・正確さ

いまや現象解析やシミュレーションに欠かせない数値計算だが、精度保証付き数値計算の理論そのものも、近年目覚ましい進化を遂げている。今回は、速度・環境・正確さをキーワードに、数理科学発展の根底を支える数値計算にスポットを当てる。

●特集＝計算の性能──速度・環境・正確さ

エラーフリー変換と計算工学アルゴリズム…大石進一　8
行列積の精度保証付き数値計算…尾崎克久　12
最近点への丸めによる区間演算…山中脩也　16
有限要素法の精度保証と誤差公式…小林健太　21
スパース系線形方程式の精度保証付き数値計算…荻田武史　26
偏微分方程式の精度保証付き数値計算／Plum理論の紹介…渡部善隆　32

【新連載】記号論理の手習い
　論理の記号化…高崎金久　46
続・確率パズルの迷宮
　記憶にございません…岩沢宏和　52
ふごζ×う／符号理論∈数学∩工学
　通信路容量と通信路符号化定理…和田山正　58
等長地図はなぜないの？
　プラトー問題…西川青季　64
圏論の歩き方
　圏論と生物のネットワーク…春名太一　70

coffee break／確かな学びを──年の差なんて関係ない…黒木哲徳　1
数学史の小窓　余滴／古代中国の数学…中村滋　2
数セミパズル部通信　ニコリ号外／数独…ニコリ　44
気まぐれミュージアム散歩
　／自主技術開発の系譜が一望できる歴史的資産の集大成…北村公一　78
エレガントな解答をもとむ
　出題＝岩井齊良・縫田光司　6
　解答＝味村良雄・浅井哲也　80

京都大学ガロア祭／問題と解説…雪江明彦＋太田慎一　37

数セミメディアガイド
　『14日間でわかる代数幾何学事始』…伊藤浩行　86
　『素粒子から宇宙へ』…上條隆志　87