書くというのがこれまでのルールでした。典型的な例として、以下のように書いていました。*aString;}...@end宣言済みプロパティの場合は自動生成されますから、書く必要はありません。外部からアクセスする際にはアクセサを通すべきで、普通はプロパティを使いますから、インスタンス変数は隠蔽しておきます。日本語ドキュメントにも書いてあります。プログラミング言語』の35ページ、クラスインターフェースの注記として書かれた部分には以下のようにあります(強調は筆者による)。インスタンス変数は実装詳細であり、通常、クラス自身の外からアクセスされることはありません。実装ブロック内に宣言すること、あるいは宣言済みプロパティから自動生成させることも可能です。したがって通常は、インスタンス変数宣言をパブリックインターフェイスで行うべきではないので、波括弧も省略してください。37ページのクラス実装の項に、実装ブロックでのインスタンス変数の宣言について書かれています。使っていて、1ヶ月以上にわたり悩まされた問題について、メモ代わりに残しておきたい。書いておくと、自分は初期値として水平に密度勾配があるという条件について数値実験していた。このことが問題となっていた。この海洋モデルでは座標系のうち鉛直方向を、一般的な直交座標系ではなくシグマ座標系というのを採用している。シグマ座標についてはほかにいくらでも書かれているので、ここでは詳細に記載しない。メリットもあり、デメリットもある。海洋において圧力とは、主に水の密度である。この密度が水平に異なるとき、高密度の方から低密度の方へ流速が起きるような力が生まれる。これを圧力傾度力と呼ぶ。シグマ座標系において圧力傾度力の計算で起きる密度の打ち切り誤差は、圧力傾度力に対して過大に影響する。シグマ座標系の問題として長く議論されている。することで、密度の絶対値ではなく相対値によって圧力傾度力が計算され、打ち切り誤差が軽減される。