Lisp Scheme Part41 (858レス)
前次1-
抽出解除 レス栞

7: SCHEME餃子 ◆8X2XSCHEME [sage] 2018/09/08(土) 01:10:14.26 ID:VmsJpbI+(1) AAS
>>6
6(2): ◆QZaw55cn4c [sage] 2018/09/08(土) 00:00:46.97 ID:t7GfMYxV(1) AAS
a little schemer/「scheme 手習い」 外部リンク:www.amazon.co.jp
を読んでいます(ずいぶんと時間がかかっています)が、次のプログラムがさっぱり理解できなくて困っています

第5章「*すごい* 星がいっぱいだ」
この章の最初の方までは困難を伴いながらも、なんとか理解できました、この章でのこんな感じのコードを、仕様をみて独力で書きおこすことはできています 外部リンク:ideone.com

ところが、p.92 から

>Q: eqlist? はなんですか。
>A: 2つのリストが等しいかどうかを決める関数です。…?

>Q: eqlist? は、その引数についていくつ質問をしますか。
>A: 9つです。…?

>Q: なぜ 9 つの質問があるか説明できますか。
>A: 自分の言葉で説明すると次のようになります。
>「各引数は次のいずれかです。・空リスト・アトムがリストに cons されたもの・リストが別のリストに cons されたもの
>たとえば、最初の引数が空になるのと同時に、2番目の引数は、空リストか、car の位置に1つのアトムまたはリストを持っています。…?

>Q: eqan? を使って eqlist? を書きましょう
>A: 外部リンク:ideone.com

この解答例がさっぱりです、実は?からよくわかっていません
コードのコメントは私がつけたのですが、最後の方は混乱してしまって…何がわからないかわからない状況です。
何か理解するための手がかり足がかりヒントはないでしょうか?
私はその本を持ってないのでそのあたりの問題を取り上げたブログ記事を見ながら説明しようかと思ったが、
その Q&A の通りとしか言いようがないんで、何がわからないのかよくわからない。 困ったな。

リストの先頭を見た時にあり得るパターンが 3 通りで、
l1 が 3 通りと l2 が 3 通りなら組合せは 9 通り。

9 通りのパターンは 3 種類に分類できて、

・ l1 と l2 の先頭が空リストなら真
・ l1 と l2 の先頭が一致すれば次の要素に対して再帰的に同じ処理をする
・ l1 と l2 の先頭が一致しないなら偽

となる。

実際のコードにするにあたって、空リストに car, cdr 手続きは適用できないんで、チェックの順番を気にするくらいかな。
105
(1): デフォルトの名無しさん [sage] 2019/10/06(日) 13:53:35.26 ID:5nvjhJQN(1) AAS
なんでGaucheが出てこないんだ?
R7RS準拠と書いてあるよ
143: デフォルトの名無しさん [sage] 2020/02/14(金) 20:28:20.26 ID:xdYnDj0z(1) AAS
Chezか
スレッデドコードとか懐かしいな
165: デフォルトの名無しさん [sage] 2020/03/05(木) 20:29:51.26 ID:h922Dn8C(2/11) AAS
>>53
53(2): デフォルトの名無しさん [sage] 2019/03/05(火) 05:20:40.92 ID:1ASLdeDU(1) AAS
昔の情報処理試験で人工知能の分野ときたらLispだったけど今違うのかな?
今はAIといえばPythonだろ?
183: デフォルトの名無しさん [sage] 2020/04/25(土) 01:57:04.26 ID:u9oymkho(1) AAS
>>180
180(2): デフォルトの名無しさん [sage] 2020/04/24(金) 18:37:15.78 ID:3QH+ANBn(1) AAS
Clozure CL 1.12 がでてきた。
外部リンク[12]:github.com

ぜんぜん 1.11 からバージョンあがらないから死んじゃったのかと思ったよ。
キタ━━━━(゚∀゚)━━━━!!
294: 289 [sage] 2021/01/17(日) 12:38:34.26 ID:16Ro+9sx(3/4) AAS
最後は(a (b c))が正しい、.が余計だった

なんかid変わってたけど289です
466: デフォルトの名無しさん [sage] 2021/09/11(土) 20:38:39.26 ID:Suq8GRsb(1/2) AAS
スレに書き込む前に妄想と現実の区別がついていることをよく確認しましょう
471: デフォルトの名無しさん [sage] 2021/09/16(木) 00:32:04.26 ID:4L00LZ3y(1) AAS
()に包めば言い換えないでも柔らかさを演出できる
()はすごいのだ
547: デフォルトの名無しさん [] 2022/11/07(月) 16:54:40.26 ID:D9DaYQB4(3/3) AAS
>>546
546(2): はちみつ餃子 ◆8X2XSCHEME [sage] 2022/11/07(月) 13:59:37.65 ID:QQJOk/Pv(1) AAS
>>544
アイスランド語で括弧の意味だというのはあのキャラの作者が発表している公式な情報だから
Wikipedia でアイスランド語の表記から調べてみた。
外部リンク:ja.wikipedia.org
たぶんこの場合の g は英語でいうところの y みたいな発音。
あえてカタカナで表すと「スヴィーイィ」みたいな感じ。

アイスランド語の辞書サイトで音を聞いてみた感じでも外してないと思う。
外部リンク:islenskordabok.arnastofnun.is
ありがとう
音素と発音記号は手堅いね
603: デフォルトの名無しさん [sage] 2023/02/11(土) 20:04:34.26 ID:6efBUOB/(1) AAS
だからなんやねん
つか何年前から来たの?ってレベルの話だろ
608: デフォルトの名無しさん [sage] 2023/04/25(火) 20:39:53.26 ID:wy/j7fQc(1) AAS
おじいちゃんそろそろマクロを飲む時間ですよ
664: デフォルトの名無しさん [sage] 2024/04/14(日) 21:34:02.26 ID:p4Nf2jzu(1) AAS
その人らはLispに大した拘りはないし
今更検索でまともに引っかからない古代のPAIPなんてやる意味を見出せないだろ
AI関連ならTranslatorからChatGPTブレイクに至るまででも話題にしたらいい
689
(1): デフォルトの名無しさん [sage] 2024/04/16(火) 08:49:18.26 ID:Fr3sHPgG(1) AAS
>>686
686(1): デフォルトの名無しさん [] 2024/04/15(月) 17:51:51.96 ID:lxkYY0z4(1/2) AAS
集合論もゲーデルもコンビネーター理論も入門レベルは理解したい
と思い続けて10年w
Lisp本ではないが論理学の問題集みたいな一般向け書To Mock a Mockingbirdの後半がみっちりコンビネータ論理に充てられててオススメ
手計算させて解法と答えも章末に載ってて取っ付きやすい入門

そのままdefunしてアプリケーティブに動かしたり、簡約パーサも数個の基底コンビネータの書き換え規則をcondで振るだけの自明な10行
かなり遊べるおもちゃ
786: デフォルトの名無しさん [] 2025/07/13(日) 05:20:47.26 ID:5bgAV9JM(1/5) AAS
ぶっちゃけ「まだ(制御構造相当へと)最適化されていないlambdaもしかるべく最適化されます」であかんの?
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.058s