2008-01-22 遅延関数 Oz declare fun lazy {Ints N} N|{Ints N+1} end L = {Ints 0} {Browse L} L あれ?こうなるはずなんだけど・・・ L Mozartの設定かなー・・・ Browse > Options > Representation... > Detail > Variable Status にチェック入れたら↓になった L うーむ・・・とりあえず先に進もう