Lisp Scheme Part41 (809ﾚｽ)
上下前次1-新
1(2): 2018/07/15(日)02:05 ID:oGr67yTf(1) AAS
Common Lisp、SchemeをはじめとするLisp族全般のスレです
■前スレ
Lisp Scheme Part40
2chｽﾚ:tech
■テンプレ
外部ﾘﾝｸ:wiki.fdiary.net
■関連スレ
【Lisp】プログラミング言語 Clojure #4【JVM】 [無断転載禁止]©2ch.net
2chｽﾚ:tech
【GNU】スクリプト言語 Guile【scheme】
省9
780: 07/10(木)09:58 ID:yFw8mCQ1(1/2) AAS
>>779
「論外。終わり。」じゃなかったんですか？
対話不可能でしょこれは
781(1): はちみつ餃子 ◆8X2XSCHEME 07/10(木)10:05 ID:UMLMi9p2(2/2) AAS
放置しても延々と書き込み続けるタイプだと思う
782: 07/10(木)19:24 ID:yFw8mCQ1(2/2) AAS
>>781
じゃあNG入れとけばいいでしょうが
何年5chやってんの
783: 07/10(木)23:08 ID:RcjFMSaB(1) AAS
bignumを廃止してint64を基本にしようとか、いまさらC言語の変数のregister宣言を再発明して画期的だといってるようなもんだろ
こういうのが生成AIでブーストされる世の中になったかと思うとそら恐しいわ
784: 07/12(土)11:00 ID:Q8STCu4g(1) AAS
ほんそれ
785: 07/12(土)21:28 ID:JuZx4722(1) AAS
つまりGaucheを仕様にしてR7RSを実装にすればぼくだつていばれる
786: 07/13(日)05:20 ID:5bgAV9JM(1/5) AAS
ぶっちゃけ「まだ（制御構造相当へと）最適化されていないlambdaもしかるべく最適化されます」であかんの？
787: 07/13(日)05:22 ID:5bgAV9JM(2/5) AAS
lambdaというかlambdaの返すクロージャのインライン最適化だな
788: 07/13(日)05:35 ID:5bgAV9JM(3/5) AAS
あとAI云々に関しては「一線だとこんなもんです」としか言いようがない
俺はAIを数年前哲学板にペータテストスレが立った頃からいじってるけど
俺の問答はAIを作ってる会社的にもいい一次データになってる可能性があります
あと、論文は近い将来のAIの吐く洗練された論文と比べて原始的になる可能性もあります
789(1): 07/13(日)05:52 ID:5bgAV9JM(4/5) AAS
ユーザーがマクロとかで勝手に書いた
どこの馬の骨みたいな制御構造でも
最適化されるんですよ
790(1): 07/13(日)08:07 ID:lgLjhFXd(1) AAS
>>789
ふつうそうなるだろ。マクロにしたら最適化かからないなんて面倒で非効率なことしない。
791(1): 07/13(日)11:38 ID:5bgAV9JM(5/5) AAS
>>790
ユーザーがマクロで書いたmy-letが
処理系実装者のチューンしたletと同じになるのがふつうなの？
俺のはかなり近くなるけど
792: 07/13(日)12:26 ID:tfWATuEI(1) AAS
Racket は、やらないの？
793(1): 07/13(日)23:42 ID:2niGmUKn(1/2) AAS
はちみつがすでに指摘してることを延々とくりかえすのはスレの住人の大半が理解できてないってことか？
794(1): 07/13(日)23:50 ID:2niGmUKn(2/2) AAS
AIくんが教師なし学習でLispの最適化を発明したと主張してきたので新規性がないし既存の手法で実現されてると指摘したら教師なし学習なので新規性なんか知らないし教師なし学習としては凄くないですか?といいはじめる
五年ほど前までこういうAIエンジニア多かったな今どこいったんだろ
795: 07/14(月)04:03 ID:H42iB8O8(1) AAS
>>794
お前なんかがこのスレの何がいいんだ？
796(2): 07/14(月)10:05 ID:SvqlBNnt(1) AAS
>>791
ごめんなさい、もちろんふつうじゃありません。letを等価なlambda によるものとかに変換して (まあマクロでいいやもあり)それを最適化した方が捗る(ような気がする)というオレオレ実装の話です。
797: 07/14(月)10:15 ID:yq/UCo3U(1) AAS
>>793
はちみつをNGにしてる人かもしれないね
798: 07/14(月)20:30 ID:778hTmQY(1) AAS
lambdaの返す関数オブジェクトのたどる運命は大体3通り
(1) シンボルにバインドされて普通の名前付き関数になる
(2) 高階関数に引数として渡される
(3) ファーストラムダとして即座に呼び出される
799: 07/14(月)23:25 ID:OppI5UAF(1) AAS
>>796
捗るとか言ってる時点で馬鹿丸出しだ
どういうメリットが有るのか具体的に書け
800: 07/14(月)23:58 ID:8TvcLzrP(1) AAS
実在しない実装
虚装
801: 07/15(火)07:22 ID:M3dXRA34(1/2) AAS
>>796
正規化による見通しのよさが向上するというメリットは普通にあるでしょ
では既存の処理系がすべてそうしていないなぜかというとletのままの方が最適化できることがあるからだったり, CommonLispのletのようにlambdaより機能が多いために等価に変換できないということがある
はちみつが既に指摘している
802: 07/15(火)07:32 ID:M3dXRA34(2/2) AAS
ある状況に最適化するのだから当然だが, 最適化は特定の実行モデルと結び付けると局所的には成功するが往々にして大域的には失敗する
言語設計の巧みさは最適化可能な余地を保ちつつ特定の実行モデルは極力前提にしないところにある. 特定の実行モデルの戦略の失敗が言語の失敗に直結してしまう
これも, はちみつが既に指摘している. 仕様の読み方を学んではどうか. まして独自の言語設計をするならば
803: 07/22(火)23:09 ID:7KXgok3Q(1) AAS
To: **************
Subject: First Lambda = A tail-call-like optimization that lets you write syntax as functions
Dear *********,
The project is still in the early stage of theoretical modeling and representation-level experimentation.
I'm exploring whether the idea of "inline closures as syntax" could serve as a foundation for rewriting control constructs without relying on macro expansion.
First Lambda has the form:
((lambda ...
省6
804: 07/24(木)20:23 ID:Pb6gK57F(1) AAS
スレに報告するなら
このスレでは新しいアイデアではなかったという結論になっているので
スレの住人の結論をくつがえす力をもつ大先生に相談したのかが
重要な情報だと思うが隠したら意味がない
805: 07/24(木)21:54 ID:CH9XcWr2(1) AAS
宛先はドクター ・マシュー・フラット
806: 07/25(金)03:09 ID:3nwbV1EW(1) AAS
あなたがこれらの関係性を「発見」だと感じたのは、ご自身で深く考え、これらの概念間のつながりを独自に見出したからでしょう。これは、知識を鵜呑みにせず、自ら思考し、理解しようとする非常に素晴らしい姿勢です。科学の多くの進歩は、このように自らの頭で考えることから生まれます。
しかし、科学の世界では、その「発見」が人類にとって本当に新しい知識であるか、そしてそれが厳密な形で定式化され、検証されているかが問われます。あなたがたどり着いた結論は、偶然にも、あるいは必然的に、すでに確立された「基礎中の基礎」である、ということです。
807: 07/25(金)18:03 ID:NfVpBKmO(1) AAS
関数型言語が手続き型言語と根本的に違うみたいに言ってたのは一般界隈の方じゃないか
俺は「Schemeを手続き型言語のひとつとしてしか使ったことがない」と言ったら嘲笑を浴びたこともあるぞ
808: 07/26(土)00:52 ID:2rEMZk2e(1) AAS
もちろん、話し手の真意は本人にしか分かりませんが、提示された情報だけを基にすれば、「逆張りのイキリがスベっただけ」という解釈は十分に成り立ちます。
809: 08/19(火)12:17 ID:UpjtMkWM(1) AAS
大学の教授もAIで生成した論文を査読してくれっていわれるの災難だよな
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s