Lisp Scheme Part41 (855ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
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
162: デフォルトの名無しさん [sage] 2020/03/04(水) 12:43:41.99 ID:XYd2gLmT CDR!! http://mevius.5ch.net/test/read.cgi/tech/1531587928/162
312: デフォルトの名無しさん [sage] 2021/02/16(火) 21:26:58.99 ID:6gVrqubW >>310 言語が自分自身を書くことが出来る、ということをよりうまくやれれば ってことでしょ lisp1.5マニュアルを彼なりにアップデートしたいんだよ http://mevius.5ch.net/test/read.cgi/tech/1531587928/312
502: デフォルトの名無しさん [sage] 2022/01/10(月) 19:38:26.99 ID:2hS04FMw 俺はscmは遊ぶ用だけどguileがいい感じ、イントロスペクションがつよいので掘って遊べる まだまだあんどきゅめんてっどなelモード探索も楽しい http://mevius.5ch.net/test/read.cgi/tech/1531587928/502
700: デフォルトの名無しさん [] 2024/04/29(月) 00:40:58.99 ID:kyEsQUSW Lisp系の本あるある Amazonで検索してレビューを見ると、kaizenのしょうもないレビューが付いている http://mevius.5ch.net/test/read.cgi/tech/1531587928/700
741: デフォルトの名無しさん [sage] 2025/07/09(水) 09:01:01.99 ID:IjsShBy4 わからん。コンパイラ頑張ります宣言ではないのか？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/741
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s