2004-07-23 N次不変オブジェクト java 即値・nullは*次不変である。 不変でないオブジェクトは0次不変である。 N次不変オブジェクトの持つフィールドがそれぞれ次不変オブジェクトだとしたとき、が成り立つ。