月別: 2012年9月

数学セミナー2012年11月号

特集◎ここ10年で解決した問題

数学において未解決だった問題は、「フェルマーの最終定理」や「ポアンカレ予想」だけではない!
今回は、長年未解決であったがこの10年間のうちに解決した問題を取り上げ、これまで解けなかった
理由や解決への糸口を紹介する。
3通りの箱が折れる展開図◎上野隆平

分割数とフラクタル◎小野孝

コンウェイの天使と悪魔◎坂井公

ルービックキューブの最小手数◎小谷善行

強理想グラフ予想◎小関健太
量子測定の数理と不確定性原理(1)◎小澤正直

国際数学オリンピック・アルゼンチン大会◎伊藤雄二

数学セミナー2012年10月号 

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

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

行列積の精度保証付き数値計算◎尾崎克久

最近点への丸めによる区間演算◎山中脩也

有限要素法の精度保証と誤差公式◎小林健太

スパース系線形方程式の精度保証付き数値計算◎荻田武史

偏微分方程式の精度保証付き数値計算/Plum 理論の紹介◎渡部善隆
京都大学ガロア祭 問題と解説◎雪江明彦・太田慎一
【新連載】

記号論理の手習い◎高崎金久