厳密な計算　ふたつの球のなめらかなダンス

『厳密な計算　ふたつの球のなめらかなダンス』 「厳密な計算」とは何でしょう？ コンピュータで計算する時、その計算は厳密ですか？ 厳密な計算をしようと思ったらどうしたらいいでしょうか？ これらの問いに GNU Multiple Precision Arithmetic Library (GMP) を使って答えます。 本書『厳密な計算　ふたつの球のなめらかなダンス』は、やさしく言うと「ふたつの球のなめらかなダンス」という問題を「厳密に計算」する方法を、難しくいうと２つの球形粒子の粘性極限での流体力学的相互作用を定義するスカラー関数の係数を厳密に計算する方法を解説しています。本文の中では、物理の論文 Jeffrey-Onishi (1984) に注目し、その骨子を、一般読者（とはいえ、技術書を愛読する人）に、つまり高校数学くらいの知識で理解できるように解説を試みています。 本書は、当初、普通のコンピュータのプログラムでは計算できない任意精度演算を使った「厳密な計算」の具体例を広く知ってもらうこと、その過程で、ぼくがこれまで行ってきた研究の一端を紹介できたらいいな、と思っていました。 その方向で書いているうちに、国内ではあまり関心の高くない Stokes flow という流体力学の一領域について、もっと推していきたいという気持ちが盛り上がってきました。 そうやって書いているうちに、最終的には、ぼくのこれまでの研究人生について振り返らざるを得なくなり、結果として「人間味」が感じられる物理学者の研究の解説が、結局ここで頑張って書きたかったものだったのかな、と思い至りました。 本書は教科書でも専門書でもない、一冊の技術同人誌ですが、これがきっかけで学問の世界に興味を持ったり、世界に羽ばたいていく若者がいれば（無責任な大人ですが）嬉しい限りです。