Lisp Scheme Part41 (809ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
151(1): はちみつ餃子 ◆8X2XSCHEME 2020/02/22(土)12:07:02.06 ID:5jIrjfcF(1) AAS
事実を列挙すれば解を求める処理をやってくれるってのは理想のひとつではあるよな。
実際にはには Prolog が答えを出すメカニズムを理解していないと
答えを (効率的に) 出しやすい事実を上手く与えられない場合もあるし、現実は厳しい……。
355: 2021/03/20(土)03:36:41.06 ID:y8ipzAe/(1) AAS
でもミンスキーは言ってたよ
表情や仕草が人間ぽいものはたくさん作られたが、
福島の震災で作業できるロボットは創り出せなかった
もう何十年も止まったままだ
って
417: 2021/07/13(火)19:58:17.06 ID:tejz1RXC(1) AAS
数字はreadした時点でnumberになる
それをquoteしてもnumberのまま
quoteするとはevalされないということだ
もちろんnumberをevalしてもnumberのままだ
517: 2022/01/20(木)02:19:42.06 ID:3oKX7/s6(1) AAS
Ruby でも JavaScript でも Python でもだいたいそんなもんだろ。
768: はちみつ餃子 ◆8X2XSCHEME 07/09(水)18:09:52.06 ID:ZKntcAAj(6/7) AAS
Scheme はコンパイル結果を気楽に見る方法がないことも多いんだけど……
Gauche だと disasm で見れる。
(define (foo x y) ((lambda(a b)(+ a b)) x y))
(define (bar x y) (+ x y))
(disasm foo)
(disasm bar)
表示の意味がわからなくても foo と bar が同じになっていることはわかるだろう。
(バージョンによるかも？)
ごく普通にそういう最適化はしてる。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s