本書の使い方

本節は、本書を最大限に活用し、計算物理学とRustプログラミングの技術を効率的に習得するための指針を示すものです。本書は、理論の学習、コードの実装、結果の保存、そして検証と考察というサイクルを通じて、実践的な能力を養うことを目的として設計されています。

基本的な進め方：通読

計算物理学や数値計算の全体像を体系的に学習したい方には、第1章から順に読み進めることを強く推奨します。前の章で解説した概念や実装が、後の章の基礎となっていることが多いため、この方法が最もスムーズに理解を深めることができます。

もちろん、興味のある章から読み進めても構いませんが、第1部（基礎編） は本書全体の共通の基礎となるため、一度目を通しておくことを推奨します。

実装に入る前に確認すること

本書の中核は、実際にコードを動かし、結果を検証する過程にあります。ただし、計算物理のコードでは、いきなり実装から始めると、何を確認すべきかが曖昧になりがちです。

各章の演習では、まず次の点を確認してください。

問題設定：何を計算したいのか。
入力と出力：パラメータ、初期条件、保存する結果は何か。
仮定と境界条件：どの近似や境界条件を使うのか。
数値計算法：どのアルゴリズムを使い、どの量を更新するのか。
データ構造：配列、状態変数、乱数生成器、結果保存をどう表すのか。
検証方法：解析解、保存量、収束性、極限ケース、既知の結果とどう比較するのか。

AI agent を使う場合でも、この確認を省略しないでください。agent に実装を任せる場合も、人間が問題設定と検証方針を持っていることが重要です。

サンプルコードの実践ガイド

本書のサンプルコードは、以下の手順で実行することを想定しています。

新しいプロジェクトを作成する ターミナルで cargo new コマンドを用いて、演習用のプロジェクトを作成します。
```
cargo new physics-exercise
cd physics-exercise
```
コードを配置する 任意のテキストエディタで src/main.rs や src/lib.rs を開き、本書に掲載されているコード例を入力します。
依存関係を追加する Cargo.toml ファイルを開き、コードが必要とするクレート（ライブラリ）を [dependencies] セクションに追加します。バージョンは、本書の表記に合わせることを推奨します。
```
[dependencies]
csv = "1"
# 章で必要なクレートだけを追加
```
コンパイルと実行 ターミナルで cargo run を実行してください。Cargoが自動的に依存クレートをダウンロードし、コードをコンパイルして実行します。
```
cargo run
```
確認する 実装後は、少なくとも次のコマンドを確認します。
```
cargo test
git status
git diff
git diff HEAD
```
cargo test は、実装した関数や小さい検証問題が期待通りに動くかを確認するために使います。 git status は変更されたファイルの確認、git diff はまだstageしていない差分の確認、 git diff HEAD は最終commitからの変更全体の確認に使います。

AI agent を使う標準的な流れ

本書では、AI agent の利用を推奨します。ただし、いきなり「この章のコードを実装して」と頼むのではなく、まず問題設定と検証方針を整理させるとよいでしょう。

例えば、次のような順序で進めます。

note を作らせる モデル定義、入力、出力、仮定、境界条件、数値計算法、検証方法をまとめさせます。
implementation plan を作らせる 関数境界、module 構成、テスト、保存する結果、metadata、実行コマンドを含む計画を作らせます。
実装を任せる 定型的なコード、入出力、テスト雛形、プロット用コード、モジュール分割は agent に任せることができます。ただし、物理モデルや数値計算法として妥当かどうかは、人間が確認します。
検査する cargo test、保存された結果、プロット、git diff HEAD を確認します。コンパイルが通ることは、物理的・数値的に正しいことを意味しません。
具体的にレビューさせる 「正しいですか」とだけ聞くのではなく、次のように確認対象を指定します。
- 解析解と比較してください。
- 保存量が時間発展でどの程度保たれているか確認してください。
- 刻み幅を変えたときの収束性を確認してください。
- 境界条件の実装を確認してください。
- random seed、入力パラメータ、出力ファイル名が保存されているか確認してください。
- この関数を疑似コードにして、物理量の更新ロジックだけを説明してください。

結果保存とプロット

本書では、Rustで計算を行い、表形式データはCSV、多次元配列や大きなデータはHDF5やNumPy形式、実行条件はmetadataとして保存し、プロットは保存済みデータから作成する流れを基本にします。

この方法には、次の利点があります。

入力パラメータ、乱数 seed、実行条件、出力ファイルを後から確認できる。
計算と可視化を分離できる。
同じ保存データから、何度でもプロットを作り直せる。
AI agent に、保存処理やプロット用コードを自然言語で任せやすい。

単に画面に数値を表示するだけでなく、後から検証できる形で結果を残す習慣をつけてください。

コードを用いた実験の推奨

コードの正常な動作を確認した後は、パラメータや初期条件を変更し、「実験」を行うことを強く推奨します。これは、内容の理解を深める上で極めて効果的な学習方法です。

パラメータの変更: シミュレーションのステップ数、物理定数、初期値などを変更し、結果がどのように変化するかを観察してください。
題材の応用: sin(x) をプロットする代わりに、別の関数（例: cos(x) やガウス関数）をプロットしてみてください。
エラーからの学習: エラーは絶好の学習機会です。コンパイラが示すメッセージを注意深く読み、問題の原因を突き止めるプロセスを通じて、Rustへの理解が格段に深まります。

もしコードが期待通りに動作しない場合や、完成版のコードを確認したい場合は、本書の公式リポジトリをご参照ください。ただし、まずはご自身で原因を調べ、必要に応じてAI agent に差分やエラーの説明を求めることを推奨します。

各章の構成とヒント

本書の多くの章や節は、概ね以下の構成になっています。

理論的背景: トピックの背後にある物理的・数学的な概念を解説します。
実装: Rustによる具体的な実装方法を示します。
実行と結果保存: コードを実行し、得られた結果を保存します。
可視化と考察: 保存済みデータからグラフを作成し、アルゴリズムの特性や物理的な意味を考察します。
検証: 解析解、保存量、収束性、境界条件、metadata などを確認します。

章の最後には、学んだ知識をさらに深めるための 「発展課題」 を設けていることがあります。これらには必ずしも唯一の正解があるわけではなく、読者の皆様が自由な探求を行うための指針として提示されています。ぜひ挑戦されることを推奨します。

本書の表記ルール

本書では、情報を明確に伝達するため、いくつかの特別な表記法を用いています。

Note

NOTE (補足)

補足情報や、関連する豆知識などを記載しています。

Important

IMPORTANT (重要)

特に重要な概念や、必ず留意していただきたい事柄を示しています。

Warning

WARNING (警告)

注意を怠るとエラーや予期せぬ結果に繋がりかねない、重要な注意点を示しています。

以上で、本書の学習を開始するための準備はすべて整いました。

次章から、Rustによる数値計算の学習を開始します。

Keyboard shortcuts

Rust計算物理学チュートリアル