10 Step 4: 状態とコード構造の整理
シミュレーションが動くようになったら、コードの形を整える。
10.1 目的
struct とより明確な関数の境界を使って、シミュレーションを読みやすく、説明しやすく、拡張しやすくする。
10.2 到達目標
このステップの終わりまでに、以下ができていること:
- シミュレーション状態のより明確な表現がある
- ばらばらの変数が減っている
- よりきれいなインターフェースを持つ関数がある
10.3 実行スペル
イジングシミュレーションは動くようになったが、
コードが散らばっている感じがする。
Julia で状態をもっとうまく整理したい。
まず以下を説明せよ:
- struct を導入すると便利な場面
- どの情報がシミュレーション状態に含まれるべきか
- 関連データをまとめた後、関数のシグネチャがどう改善されるか
その後、最小限の方法でコードを再設計する手助けをせよ。
過剰な設計は避けよ。
初学者が読めるコードにせよ。
10.4 説明スペル
今やったことを説明せよ。struct に何をまとめたか、
関数シグネチャがどう変わったか、この変更で何が
読みやすくなったかを説明せよ。
10.5 習得する概念
struct- 関連する状態のグループ化
- 関数シグネチャの簡略化
- データと操作の分離
10.6 最小限のバージョン
struct IsingModel
spins::Matrix{Int8}
beta::Float64
end
function magnetization(model::IsingModel)
return sum(model.spins) / length(model.spins)
endこれが唯一の良い設計ではない。ポイントは各値の役割を明確にすることである。
ノート
struct と mutable struct の違い
Julia のデフォルトの struct は immutable(不変)である。つまり、一度作成したら model.beta = 0.5 のようにフィールドを書き換えることはできない。ただし、spins フィールドが配列の場合、配列の中身(model.spins[i,j])は変更できる。参照先のオブジェクト自体は変わらないが、その内容は変えられるということである。
温度を変えたい場合は、新しい IsingModel を作り直すか、mutable struct を使う。この講義では、Step 6 の温度スキャンでは struct を使わずにシンプルに変数を渡す方法も紹介する。
10.7 コードリーディング確認
以下を読むこと:
struct IsingModel
spins::Matrix{Int8}
beta::Float64
end以下の質問に答えよ:
- ここでどの情報がグループ化されているか?
- この変更後、どの関数引数が不要になる可能性があるか?
- AI や他の人に説明しやすくなるのはなぜか?
10.8 追加テスト生成プロンプト
Julia で struct を使って 2次元イジングモデルの状態を整理することについて、
短いコードリーディング問題を3つ作成せよ。
以下に焦点を当てよ:
- どの情報が struct に含まれるべきか
- 関数シグネチャがどう変わるか
- なぜこれによりコードの見通しが良くなるか
まだ答えは出すな。
私が答えた後、回答を採点し、フォローアップ質問を1つ出せ。
10.9 スキップ条件
以下がすでにできるなら、このステップはスキップできる:
structが役立つ場面を判断できる- ばらばらの変数とグループ化された状態の違いを説明できる
- 状態オブジェクトの導入後にいくつかの関数シグネチャを再設計できる