Lisp Scheme Part41 (855ﾚｽ)
上下前次1-新

---

132: 2019/11/10(日)14:00 ID:jFIdfEKQ(1) AA×

外部ﾘﾝｸ[html]:cs.brown.edu
外部ﾘﾝｸ[html]:bitsend.jp

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
132: [sage] 2019/11/10(日) 14:00:02.99 ID:jFIdfEKQ いまPLAIの8章をよんでいるんだけど、次のExerciseの不変条件と言うのがよく分からん・・ ttp://cs.brown.edu/courses/cs173/2012/book/mut-struct-vs-var.html#%28elem._%28chunk._~3cms-setbox.C-case~3e~3a1%29%29 ソースコードはこれ　https://bitsend.jp/download/d7ebf31e84a7dc5d8b55a3e3b66ce803.html Storeに束縛を追加するのはbox、その束縛を参照するのはset-box!とunboxだけだから、 set-box!を評価するときに、ロケーションがStoreに存在しないことは無いように考えているんだけど、もっと数学的に 証明しなきゃいけないんですよねこれ・・ http://mevius.5ch.net/test/read.cgi/tech/1531587928/132
いまの章をよんでいるんだけど次のの不変条件と言うのがよく分からん ソースコードはこれ に束縛を追加するのはその束縛を参照するのはとだけだから を評価するときにロケーションがに存在しないことは無いように考えているんだけどもっと数学的に 証明しなきゃいけないんですよねこれ

---

上下前次1-新書関写板覧索設栞歴

---

あと 723 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.019s