Lisp Scheme Part41 (856ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
132: デフォルトの名無しさん [sage] 2019/11/10(日) 14:00:02.99 ID:jFIdfEKQ(1) AAS
いまPLAIの8章をよんでいるんだけど、次のExerciseの不変条件と言うのがよく分からん・・
http://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に存在しないことは無いように考えているんだけど、もっと数学的に
証明しなきゃいけないんですよねこれ・・
162: デフォルトの名無しさん [sage] 2020/03/04(水) 12:43:41.99 ID:XYd2gLmT(1) AAS
CDR!!
312: デフォルトの名無しさん [sage] 2021/02/16(火) 21:26:58.99 ID:6gVrqubW(2/2) AAS
>>310
言語が自分自身を書くことが出来る、ということをよりうまくやれれば
ってことでしょ
lisp1.5マニュアルを彼なりにアップデートしたいんだよ
502: デフォルトの名無しさん [sage] 2022/01/10(月) 19:38:26.99 ID:2hS04FMw(1) AAS
俺はscmは遊ぶ用だけどguileがいい感じ、イントロスペクションがつよいので掘って遊べる
まだまだあんどきゅめんてっどなelモード探索も楽しい
700: デフォルトの名無しさん [] 2024/04/29(月) 00:40:58.99 ID:kyEsQUSW(1) AAS
Lisp系の本あるある
Amazonで検索してレビューを見ると、kaizenのしょうもないレビューが付いている
741: デフォルトの名無しさん [sage] 2025/07/09(水) 09:01:01.99 ID:IjsShBy4(1) AAS
わからん。コンパイラ頑張ります宣言ではないのか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s