Lisp Scheme Part41 (809ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
199: デフォルトの名無しさん [sage] 2020/04/29(水) 23:11:18.94 ID:ALOjMFFX >>193 "from the first elements to the last"は最初の要素から最後の要素へだから当然ながらin orderの意味を含む もしも、上の表現を使ってin orderを保証しないことを意図する言語仕様があったら、 その言語仕様を書いた人間が英語（というよりも人間の使う言葉）の常識を知らないと言うべきレベルの代物 procの適用にin orderを保証したくないのならば"from the first elements to the last"などではなく、例えば “(map) Applies proc to every elements of the lsts exactly once”とでも書くべき というか、そもそもR5RSでのmapに関する表現をそのまま使えば良い >>194 なるほど、インターリーヴを起こしてはならない、ということですね 良い反例ですね、了解しました 確かにそれだと並列処理という話は排除されますね http://mevius.5ch.net/test/read.cgi/tech/1531587928/199
201: デフォルトの名無しさん [sage] 2020/04/30(木) 02:18:30.11 ID:7t452aCV >>199 > "from the first elements to the last"は最初の要素から最後の要素へだから当然ながらin orderの意味を含む この説明は説明になってなかったですね ちゃんと書くと、前置詞fromとtoとを同時に使う場合、前者は動詞が表す行為の始点を、後者は終点を表す つまり > "from the first elements to the last" という表現は先頭の要素たちがprocをapplyするという行為は、その行為の始点が先頭要素で終点が末尾の要素となる経路から成るということ そうであるので、途中の要素に関しては193が心配している通り順序通り(in order)とは確かに書いていないけれど、 少なくとも最初に適用されるのは先頭要素たちで最後に適用されるのは最終要素だということは上の引用した英語句から確かだということ applyを行う最初と最後はそれぞれ先頭と末尾でなければならないのに途中はランダムでも可というのは不自然すぎる （なぜ最初と最後だけは変更を許さず先頭と末尾に確定させるのか？、ランダムを許すならば最初・最後も含め全部がランダム可にするのが自然） ということだ もし最初および最後だけはそれぞれ先頭および最後だけに限定し、それ以外の途中の順番だけは規定したくない、という極めて不自然な仕様にしたいならば 誤解させないように、「但し、最初・最後以外の途中の順番は自由で規定しない」という趣旨の語句を挟む必要がある http://mevius.5ch.net/test/read.cgi/tech/1531587928/201
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.035s