Lisp Scheme Part41 (856レス)
1-

132: 2019/11/10(日)14:00 ID:jFIdfEKQ(1) AAS
いまPLAIの8章をよんでいるんだけど、次のExerciseの不変条件と言うのがよく分からん・・
外部リンク[html]:cs.brown.edu

ソースコードはこれ 外部リンク[html]:bitsend.jp

Storeに束縛を追加するのはbox、その束縛を参照するのはset-box!とunboxだけだから、
set-box!を評価するときに、ロケーションがStoreに存在しないことは無いように考えているんだけど、もっと数学的に
証明しなきゃいけないんですよねこれ・・
1-
あと 724 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 0.014s