Common Lisp、SchemeをはじめとするLisp族全般のスレです
■前スレ
Lisp Scheme Part40
http://mevius.5ch.net/test/read.cgi/tech/1426481152/
■テンプレ
ttp://wiki.fdiary.net/lisp/
■関連スレ
【Lisp】プログラミング言語 Clojure #4【JVM】 [無断転載禁止]©2ch.net
http://mevius.5ch.net/test/read.cgi/tech/1483498849/
【GNU】スクリプト言語 Guile【scheme】
http://mevius.5ch.net/test/read.cgi/tech/1239985829/
【入門】Common Lisp その11【質問よろず】
http://peace.2ch.net/test/read.cgi/tech/1411307361/
【Scheme】Schemeインタプリタ Mosh Part1【Lisp】
http://peace.2ch.net/test/read.cgi/tech/1272469779/
【魔法】リリカル☆Lisp【言語】
http://peace.2ch.net/test/read.cgi/tech/1183396621/
Lisp@UNIX版
http://mevius.5ch.net/test/read.cgi/unix/1019926525/
Lisp Scheme Part41
2018/07/15(日) 02:05:28.62ID:oGr67yTf
731はちみつ餃子 ◆8X2XSCHEME
2025/05/03(土) 15:02:51.87ID:WnzKFtQv ええんちゃうか
732デフォルトの名無しさん
2025/07/04(金) 19:22:30.97ID:rrB9liNl733デフォルトの名無しさん
2025/07/06(日) 09:51:20.77ID:jyZjYPic >>728もそうだけれどlispはパズル系は素直に書けていいものだと思った(特にcl)
マルチパラダイムだから色々な方針の実装も楽しいぞ
なんなら定番(場合によっては実装が提供される)であり、論理プログラミングのPrologのcl実装も山程あるからとても素直に解ける
マルチパラダイムだから色々な方針の実装も楽しいぞ
なんなら定番(場合によっては実装が提供される)であり、論理プログラミングのPrologのcl実装も山程あるからとても素直に解ける
734デフォルトの名無しさん
2025/07/08(火) 19:29:01.07ID:lEBcQUbL735デフォルトの名無しさん
2025/07/08(火) 20:48:49.34ID:sskQVz5B おまえらも見習ってAIでどんどん妄想を形にしろよ
これからは論文は読むんじゃなくて生成する時代
これからは論文は読むんじゃなくて生成する時代
736デフォルトの名無しさん
2025/07/08(火) 21:23:04.28ID:lEBcQUbL ifは関数としては書けない、ifはマクロでしか書けない、有名な話だ
ifを関数として書くとしたらthen節とelse節を関数のポインタで渡すことになる
もちろんそれでは美しくない
そこでthen節とelse節をインライン関数として渡すという手がある
これならば節は関数呼び出しでなく同じレベルに展開される
さらにif関数自身もインライン関数にしてしまう
すると制御構造のifとそっくり同じものが手に入るのだ
ここにインライン関数と制御構造は美しい等価関係で結ばれるのである
LISP系の言語でこの最適化を自動でやるのがファーストラムダである
ifを関数として書くとしたらthen節とelse節を関数のポインタで渡すことになる
もちろんそれでは美しくない
そこでthen節とelse節をインライン関数として渡すという手がある
これならば節は関数呼び出しでなく同じレベルに展開される
さらにif関数自身もインライン関数にしてしまう
すると制御構造のifとそっくり同じものが手に入るのだ
ここにインライン関数と制御構造は美しい等価関係で結ばれるのである
LISP系の言語でこの最適化を自動でやるのがファーストラムダである
737デフォルトの名無しさん
2025/07/09(水) 00:29:24.00ID:eQ8lOX87 半世紀以上前に研究されてたようなことを今考えているのか?
738デフォルトの名無しさん
2025/07/09(水) 01:41:00.59ID:qReXyC09 どのへんが既出なんだか教えてほしいもんだがまあいいや
これはテイルコールみたいにファーストラムダの最適化も必須にしませんかという提案だ
それが実現すれば、内部的に無名関数を呼ぶことで実装されていた制御構造が軒並みその最適化にかかる
「C言語が中括弧を開くような感覚で関数を呼んじゃう」というのはLISPの本当に欠点らしい欠点の筆頭だから、
それが改善されればLISPの使い道が違ってくる可能性がある
これはテイルコールみたいにファーストラムダの最適化も必須にしませんかという提案だ
それが実現すれば、内部的に無名関数を呼ぶことで実装されていた制御構造が軒並みその最適化にかかる
「C言語が中括弧を開くような感覚で関数を呼んじゃう」というのはLISPの本当に欠点らしい欠点の筆頭だから、
それが改善されればLISPの使い道が違ってくる可能性がある
739デフォルトの名無しさん
2025/07/09(水) 02:37:47.51ID:d2bmESXo740デフォルトの名無しさん
2025/07/09(水) 04:41:41.15ID:qReXyC09741デフォルトの名無しさん
2025/07/09(水) 09:01:01.99ID:IjsShBy4 わからん。コンパイラ頑張ります宣言ではないのか?
742デフォルトの名無しさん
2025/07/09(水) 09:07:00.67ID:Bk08chKM AIと壁打ちして「理解」した内容を妥当性の検証もしないまま書き込んでそうだな
743デフォルトの名無しさん
2025/07/09(水) 09:37:43.40ID:qReXyC09 ファーストラムダというのは
((lambda
この形のこと
つまり、lambdaを呼んで返ってきた関数オブジェクトを即座にもう一度呼んでる
このときに関数呼び出しをせず、インライン関数として展開してしまう
もちろんスタックフレームは作られない
letだとかwhileだとか、実質的に制御構造に過ぎないものは軒並みこの形をしている
((lambda
この形のこと
つまり、lambdaを呼んで返ってきた関数オブジェクトを即座にもう一度呼んでる
このときに関数呼び出しをせず、インライン関数として展開してしまう
もちろんスタックフレームは作られない
letだとかwhileだとか、実質的に制御構造に過ぎないものは軒並みこの形をしている
744デフォルトの名無しさん
2025/07/09(水) 12:22:27.67ID:EKMDM/sM 742
最近そういうの増えた
丸飲みコピペじゃなくて
消化してから吐き出して欲しい
最近そういうの増えた
丸飲みコピペじゃなくて
消化してから吐き出して欲しい
745はちみつ餃子 ◆8X2XSCHEME
2025/07/09(水) 13:05:25.01ID:ZKntcAAj オペランドを評価しない関数 fexpr を導入することでスペシャルフォームを手続きと同列にファーストクラスオブジェクトとして扱うアイデアはあるよ。
それを整理して scheme 風言語として構築したものもある。
https://web.cs.wpi.edu/~jshutt/kernel.html
まあそれはそれとして、
>>738
> 内部的に無名関数を呼ぶことで実装
と最適化の話を繋げるのは意味がわからんぞ。
処理系の実装方法の一部は言語仕様として強制すべきというのが前提になってる?
それを整理して scheme 風言語として構築したものもある。
https://web.cs.wpi.edu/~jshutt/kernel.html
まあそれはそれとして、
>>738
> 内部的に無名関数を呼ぶことで実装
と最適化の話を繋げるのは意味がわからんぞ。
処理系の実装方法の一部は言語仕様として強制すべきというのが前提になってる?
746デフォルトの名無しさん
2025/07/09(水) 14:05:12.47ID:cmuoaTCa >>745
>処理系の実装方法の一部は言語仕様として強制すべきというのが前提になってる?
テイルコールはそうでしょ
最適化は処理系がやってくれることを保証するので
単純ループに相当するものでもどんどん再帰の形で書きましょうってことでしょ
ファーストラムダも同じ
制御構造相当のものをlambdaを使って書いても最適化されますよってこと
>処理系の実装方法の一部は言語仕様として強制すべきというのが前提になってる?
テイルコールはそうでしょ
最適化は処理系がやってくれることを保証するので
単純ループに相当するものでもどんどん再帰の形で書きましょうってことでしょ
ファーストラムダも同じ
制御構造相当のものをlambdaを使って書いても最適化されますよってこと
747はちみつ餃子 ◆8X2XSCHEME
2025/07/09(水) 14:21:01.11ID:ZKntcAAj >>746
> テイルコールはそうでしょ
> 最適化は処理系がやってくれることを保証するので
仕様上は
・正しく末尾再帰が行われていること
・アクティブな末尾呼出しの回数制限がないなら正しく末尾再帰が出来ている
という迂遠な表現になっている。
つまり、何が出来るべきなのかという書き方であって、どう実装すべきかに言及することを避けてる。
同様に処理系のメカニズムに言及することを避けて提案を表現してみてよ。
> テイルコールはそうでしょ
> 最適化は処理系がやってくれることを保証するので
仕様上は
・正しく末尾再帰が行われていること
・アクティブな末尾呼出しの回数制限がないなら正しく末尾再帰が出来ている
という迂遠な表現になっている。
つまり、何が出来るべきなのかという書き方であって、どう実装すべきかに言及することを避けてる。
同様に処理系のメカニズムに言及することを避けて提案を表現してみてよ。
748デフォルトの名無しさん
2025/07/09(水) 14:35:00.91ID:cmuoaTCa テイルコールってのは
call func
ret
って並んでたら
jmp func
に置き換えるんだよ
ファーストラムダもある種の関数のインライン展開ってだけ
call func
ret
って並んでたら
jmp func
に置き換えるんだよ
ファーストラムダもある種の関数のインライン展開ってだけ
749はちみつ餃子 ◆8X2XSCHEME
2025/07/09(水) 14:40:18.45ID:ZKntcAAj751はちみつ餃子 ◆8X2XSCHEME
2025/07/09(水) 14:57:26.23ID:ZKntcAAj752デフォルトの名無しさん
2025/07/09(水) 15:02:22.57ID:QwaFNVYh >>740
ifだって普通の関数だろw
インタープリターとしての実装は単なる関数呼び出しだ
スペシャルフォームなので引数は評価せず渡す(通常の関数の場合は評価した結果を渡す)
で、(バイト)コンパイラーはifは関数呼び出しにはせず条件ジャンプ命令列に置き換える
そんな事は古代からやってる
自分で処理系を実装した事あれば誰でも知ってる
ifだって普通の関数だろw
インタープリターとしての実装は単なる関数呼び出しだ
スペシャルフォームなので引数は評価せず渡す(通常の関数の場合は評価した結果を渡す)
で、(バイト)コンパイラーはifは関数呼び出しにはせず条件ジャンプ命令列に置き換える
そんな事は古代からやってる
自分で処理系を実装した事あれば誰でも知ってる
753デフォルトの名無しさん
2025/07/09(水) 15:28:36.71ID:cmuoaTCa マクロだっていう反論が来るのかと思ったらスペシャルフォームだというので戸惑ってるw
そりゃいくつかの関数はミニマルコアとして書かなきゃいけないさ
それさえあれば関数とマクロと制御構造は統一できる、というのが言い分
そりゃいくつかの関数はミニマルコアとして書かなきゃいけないさ
それさえあれば関数とマクロと制御構造は統一できる、というのが言い分
754デフォルトの名無しさん
2025/07/09(水) 15:34:56.94ID:QwaFNVYh ミニマルコアって何だ?
スペシャルフォームとマクロは引数を評価しないで渡す関数として実装される
そんなのは初期の頃からだと言っている
何で今さら発見した面してんのか?と言うことだ
スペシャルフォームとマクロは引数を評価しないで渡す関数として実装される
そんなのは初期の頃からだと言っている
何で今さら発見した面してんのか?と言うことだ
755デフォルトの名無しさん
2025/07/09(水) 15:40:52.83ID:QwaFNVYh 引数を評価しないで渡す関数という点で、マクロとスペシャルフォームは同一の実装と言える
しかしマクロは環境を受け取らないといけないし、戻り値を再度評価する必要があるから、スペシャルフォームとマクロは区別する必要がある
しかしマクロは環境を受け取らないといけないし、戻り値を再度評価する必要があるから、スペシャルフォームとマクロは区別する必要がある
756デフォルトの名無しさん
2025/07/09(水) 15:42:40.68ID:QwaFNVYh 更に、スペシャルフォームはifの様にコンパイラーが特殊なコンパイルをする必要があるので、普通の関数と区別する必要がある点も重要だ
757デフォルトの名無しさん
2025/07/09(水) 15:45:21.52ID:cmuoaTCa 評価しないで渡したい引数のうち、制御に関わるものならインラインクロージャでなんとかなりますよって話だよ
レキシカルにちゃんとしたクロージャをインライン展開される前提で引数として渡すんだよ
レキシカルにちゃんとしたクロージャをインライン展開される前提で引数として渡すんだよ
758デフォルトの名無しさん
2025/07/09(水) 15:46:21.90ID:QwaFNVYh しかしながら、普通の関数でもスペシャルフォームの様な特殊なコンパイルをしたい場合があるので、その為にコンパイラーマクロが存在する
ただほとんど使われない
ただほとんど使われない
759デフォルトの名無しさん
2025/07/09(水) 15:48:37.80ID:QwaFNVYh760デフォルトの名無しさん
2025/07/09(水) 15:50:14.77ID:QwaFNVYh mapcarに渡したlambdaをインライン展開したいと言うなら、mapcarを(コンパイラー)マクロにすれば可能だ
761デフォルトの名無しさん
2025/07/09(水) 15:56:45.13ID:cmuoaTCa >>759
テイルコールみたいにファーストラムダ最適化も必須にすればインライン展開される分速くなる
テイルコールみたいにファーストラムダ最適化も必須にすればインライン展開される分速くなる
762はちみつ餃子 ◆8X2XSCHEME
2025/07/09(水) 16:17:26.50ID:ZKntcAAj 最適化するために仕様の改定が必要か?
763デフォルトの名無しさん
2025/07/09(水) 16:32:28.96ID:eQ8lOX87 >>738
どのへんが既出なんだか教えてほしいということならALGOLとサンクのコンパイル研究あたりで出尽していると思うから60年前には既に研究レベルでなく, 実践されていたのではないか.AIにきいてもわからなかったか?
AIに尋ねたら1960年代初頭でサンクのインライン展開も含めてアイデアは出尽しているといわれた.
ついでにSMALLTALKとIFとブロックについても調べてみろよ.
LISPの関数呼び出しの最適化についてもおまえは50年前あたりの認識をしている. 当然SBCLあたりの最適化はおまえよりずっと先をいってる.
どのへんが既出なんだか教えてほしいということならALGOLとサンクのコンパイル研究あたりで出尽していると思うから60年前には既に研究レベルでなく, 実践されていたのではないか.AIにきいてもわからなかったか?
AIに尋ねたら1960年代初頭でサンクのインライン展開も含めてアイデアは出尽しているといわれた.
ついでにSMALLTALKとIFとブロックについても調べてみろよ.
LISPの関数呼び出しの最適化についてもおまえは50年前あたりの認識をしている. 当然SBCLあたりの最適化はおまえよりずっと先をいってる.
764デフォルトの名無しさん
2025/07/09(水) 17:07:46.42ID:ohpjpVt+ >ファーストラムダというのは
「ファーストラムダ」という言葉は、通常、AWS Lambdaを指すスラングとして使われることがあります。AWS Lambdaは、サーバーレスコンピューティングサービスで、コードをサーバーの管理なしに実行できます。
「ファーストラムダ」という言葉は、通常、AWS Lambdaを指すスラングとして使われることがあります。AWS Lambdaは、サーバーレスコンピューティングサービスで、コードをサーバーの管理なしに実行できます。
765デフォルトの名無しさん
2025/07/09(水) 17:09:06.44ID:cmuoaTCa インライン展開を俺が発明したなんて言ってないだろ
この形をしたラムダをそうすると効くんじゃないかというのが俺の発明だ
あと、クロージャを引数として渡すのもSmalltalkやRubyはやってるだろう
俺の発明は「インライン関数を引数として渡すという逆接はものごとを見通しよくしますよ」だ
この形をしたラムダをそうすると効くんじゃないかというのが俺の発明だ
あと、クロージャを引数として渡すのもSmalltalkやRubyはやってるだろう
俺の発明は「インライン関数を引数として渡すという逆接はものごとを見通しよくしますよ」だ
766デフォルトの名無しさん
2025/07/09(水) 17:25:03.45ID:ohpjpVt+ そうやってevalの時点で評価されなかった式を何時どうやって誰が適用するのか
というおとぎ話を自慢毛に語るスレ
というおとぎ話を自慢毛に語るスレ
767デフォルトの名無しさん
2025/07/09(水) 17:29:15.92ID:cmuoaTCa evalはインタープリタ、lambdaはコンパイラ
768はちみつ餃子 ◆8X2XSCHEME
2025/07/09(水) 18:09:52.06ID:ZKntcAAj 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 が同じになっていることはわかるだろう。
(バージョンによるかも?)
ごく普通にそういう最適化はしてる。
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 が同じになっていることはわかるだろう。
(バージョンによるかも?)
ごく普通にそういう最適化はしてる。
769デフォルトの名無しさん
2025/07/09(水) 18:36:27.57ID:CwmzIZ1x 自分で処理系書いてから言え
770デフォルトの名無しさん
2025/07/09(水) 19:18:13.79ID:eQ8lOX87 >>765
少なくともLISP界隈では発明では全くないからHaskell, OCaml, コンパイラの最適化方面のスレで展開してみたら?
A正規化あたりと絡めて展開すればよりアカデミックなやりとりが期待できるのでは?
少なくともLISP界隈では発明では全くないからHaskell, OCaml, コンパイラの最適化方面のスレで展開してみたら?
A正規化あたりと絡めて展開すればよりアカデミックなやりとりが期待できるのでは?
771デフォルトの名無しさん
2025/07/09(水) 19:46:08.96ID:QwaFNVYh map系の関数にラムダ式を渡したら、それがインライン展開されてコンパイルされるのは、最近の言語では当然の様にやってる
772デフォルトの名無しさん
2025/07/09(水) 22:06:22.87ID:cmuoaTCa >>770
letでローカル変数3つ確保しましたって時に
実際には内部でlambdaが呼ばれてるわけだろ?
この時にlambdaをインライン展開したら
オペランドスタックと返り値スタックが省かれて
変数スタックだけになって制御構造と同じコストになるだろ?
これは大きな最適化なんだよ
letでローカル変数3つ確保しましたって時に
実際には内部でlambdaが呼ばれてるわけだろ?
この時にlambdaをインライン展開したら
オペランドスタックと返り値スタックが省かれて
変数スタックだけになって制御構造と同じコストになるだろ?
これは大きな最適化なんだよ
773はちみつ餃子 ◆8X2XSCHEME
2025/07/09(水) 22:54:33.01ID:ZKntcAAj >>772
let が lambda に展開される (させる) 例が仕様に書いてあるのはあくまでも挙動の説明に過ぎず、多くのリッチな処理系ではそんな展開はしない。
let が lambda に展開される (させる) 例が仕様に書いてあるのはあくまでも挙動の説明に過ぎず、多くのリッチな処理系ではそんな展開はしない。
774デフォルトの名無しさん
2025/07/09(水) 23:21:02.31ID:cmuoaTCa >>773
リッチでない処理系がこの最適化ひとつでリッチ同然になる
リッチでない処理系がこの最適化ひとつでリッチ同然になる
775デフォルトの名無しさん
2025/07/09(水) 23:40:56.18ID:eQ8lOX87 テム・レイ最適化って呼ばせてほしい
776デフォルトの名無しさん
2025/07/09(水) 23:41:46.05ID:QSSrKuoD おかしな人が居ると捗るよね。でもまともなこと言ってる人もだんだんおかしなことをいいだして、実はおかしな人しかいなかったと気づかされる。
777デフォルトの名無しさん
2025/07/10(木) 00:52:48.56ID:nn3AKhN3 (macroexpand '(let ((a 1) (b a) (c b)) c)) ;=>((lambda (a b c) c) 1 a b)
(macroexpand '(let* ((a 1) (b a) (c b)) c)) ;=>((lambda (a) ((lambda (b) ((lambda (c) c) b)) a)) 1)
(macroexpand '(letrec ((a 1) (b a) (c b)) c)) ;=>((lambda (a b c) (set! a 1) (set! b a) (set! c b) c) '() '() '())
あいあい いいいい 飛ばして えいえい おいおい 戻して うーいうい
(macroexpand '(let* ((a 1) (b a) (c b)) c)) ;=>((lambda (a) ((lambda (b) ((lambda (c) c) b)) a)) 1)
(macroexpand '(letrec ((a 1) (b a) (c b)) c)) ;=>((lambda (a b c) (set! a 1) (set! b a) (set! c b) c) '() '() '())
あいあい いいいい 飛ばして えいえい おいおい 戻して うーいうい
778デフォルトの名無しさん
2025/07/10(木) 01:03:21.83ID:qcnALR7R779はちみつ餃子 ◆8X2XSCHEME
2025/07/10(木) 07:45:53.86ID:UMLMi9p2780デフォルトの名無しさん
2025/07/10(木) 09:58:20.49ID:yFw8mCQ1781はちみつ餃子 ◆8X2XSCHEME
2025/07/10(木) 10:05:39.66ID:UMLMi9p2 放置しても延々と書き込み続けるタイプだと思う
782デフォルトの名無しさん
2025/07/10(木) 19:24:20.39ID:yFw8mCQ1783デフォルトの名無しさん
2025/07/10(木) 23:08:55.70ID:RcjFMSaB bignumを廃止してint64を基本にしようとか、いまさらC言語の変数のregister宣言を再発明して画期的だといってるようなもんだろ
こういうのが生成AIでブーストされる世の中になったかと思うとそら恐しいわ
こういうのが生成AIでブーストされる世の中になったかと思うとそら恐しいわ
784デフォルトの名無しさん
2025/07/12(土) 11:00:16.80ID:Q8STCu4g ほんそれ
785デフォルトの名無しさん
2025/07/12(土) 21:28:03.94ID:JuZx4722 つまりGaucheを仕様にしてR7RSを実装にすればぼくだつていばれる
786デフォルトの名無しさん
2025/07/13(日) 05:20:47.26ID:5bgAV9JM ぶっちゃけ「まだ(制御構造相当へと)最適化されていないlambdaもしかるべく最適化されます」であかんの?
787デフォルトの名無しさん
2025/07/13(日) 05:22:42.75ID:5bgAV9JM lambdaというかlambdaの返すクロージャのインライン最適化だな
788デフォルトの名無しさん
2025/07/13(日) 05:35:19.17ID:5bgAV9JM あとAI云々に関しては「一線だとこんなもんです」としか言いようがない
俺はAIを数年前哲学板にペータテストスレが立った頃からいじってるけど
俺の問答はAIを作ってる会社的にもいい一次データになってる可能性があります
あと、論文は近い将来のAIの吐く洗練された論文と比べて原始的になる可能性もあります
俺はAIを数年前哲学板にペータテストスレが立った頃からいじってるけど
俺の問答はAIを作ってる会社的にもいい一次データになってる可能性があります
あと、論文は近い将来のAIの吐く洗練された論文と比べて原始的になる可能性もあります
789デフォルトの名無しさん
2025/07/13(日) 05:52:35.96ID:5bgAV9JM ユーザーがマクロとかで勝手に書いた
どこの馬の骨みたいな制御構造でも
最適化されるんですよ
どこの馬の骨みたいな制御構造でも
最適化されるんですよ
790デフォルトの名無しさん
2025/07/13(日) 08:07:50.27ID:lgLjhFXd >>789
ふつうそうなるだろ。マクロにしたら最適化かからないなんて面倒で非効率なことしない。
ふつうそうなるだろ。マクロにしたら最適化かからないなんて面倒で非効率なことしない。
791デフォルトの名無しさん
2025/07/13(日) 11:38:22.98ID:5bgAV9JM792デフォルトの名無しさん
2025/07/13(日) 12:26:31.49ID:tfWATuEI Racket は、やらないの?
793デフォルトの名無しさん
2025/07/13(日) 23:42:36.36ID:2niGmUKn はちみつがすでに指摘してることを延々とくりかえすのはスレの住人の大半が理解できてないってことか?
794デフォルトの名無しさん
2025/07/13(日) 23:50:59.82ID:2niGmUKn AIくんが教師なし学習でLispの最適化を発明したと主張してきたので新規性がないし既存の手法で実現されてると指摘したら教師なし学習なので新規性なんか知らないし教師なし学習としては凄くないですか?といいはじめる
五年ほど前までこういうAIエンジニア多かったな今どこいったんだろ
五年ほど前までこういうAIエンジニア多かったな今どこいったんだろ
795デフォルトの名無しさん
2025/07/14(月) 04:03:05.17ID:H42iB8O8 >>794
お前なんかがこのスレの何がいいんだ?
お前なんかがこのスレの何がいいんだ?
796デフォルトの名無しさん
2025/07/14(月) 10:05:54.72ID:SvqlBNnt >>791
ごめんなさい、もちろんふつうじゃありません。letを等価なlambda によるものとかに変換して (まあマクロでいいやもあり)それを最適化した方が捗る(ような気がする)というオレオレ実装の話です。
ごめんなさい、もちろんふつうじゃありません。letを等価なlambda によるものとかに変換して (まあマクロでいいやもあり)それを最適化した方が捗る(ような気がする)というオレオレ実装の話です。
797デフォルトの名無しさん
2025/07/14(月) 10:15:20.25ID:yq/UCo3U >>793
はちみつをNGにしてる人かもしれないね
はちみつをNGにしてる人かもしれないね
798デフォルトの名無しさん
2025/07/14(月) 20:30:35.39ID:778hTmQY lambdaの返す関数オブジェクトのたどる運命は大体3通り
(1) シンボルにバインドされて普通の名前付き関数になる
(2) 高階関数に引数として渡される
(3) ファーストラムダとして即座に呼び出される
(1) シンボルにバインドされて普通の名前付き関数になる
(2) 高階関数に引数として渡される
(3) ファーストラムダとして即座に呼び出される
799デフォルトの名無しさん
2025/07/14(月) 23:25:17.89ID:OppI5UAF800デフォルトの名無しさん
2025/07/14(月) 23:58:48.95ID:8TvcLzrP 実在しない実装
虚装
虚装
801デフォルトの名無しさん
2025/07/15(火) 07:22:30.34ID:M3dXRA34 >>796
正規化による見通しのよさが向上するというメリットは普通にあるでしょ
では既存の処理系がすべてそうしていないなぜかというとletのままの方が最適化できることがあるからだったり, CommonLispのletのようにlambdaより機能が多いために等価に変換できないということがある
はちみつが既に指摘している
正規化による見通しのよさが向上するというメリットは普通にあるでしょ
では既存の処理系がすべてそうしていないなぜかというとletのままの方が最適化できることがあるからだったり, CommonLispのletのようにlambdaより機能が多いために等価に変換できないということがある
はちみつが既に指摘している
802デフォルトの名無しさん
2025/07/15(火) 07:32:47.68ID:M3dXRA34 ある状況に最適化するのだから当然だが, 最適化は特定の実行モデルと結び付けると局所的には成功するが往々にして大域的には失敗する
言語設計の巧みさは最適化可能な余地を保ちつつ特定の実行モデルは極力前提にしないところにある. 特定の実行モデルの戦略の失敗が言語の失敗に直結してしまう
これも, はちみつが既に指摘している. 仕様の読み方を学んではどうか. まして独自の言語設計をするならば
言語設計の巧みさは最適化可能な余地を保ちつつ特定の実行モデルは極力前提にしないところにある. 特定の実行モデルの戦略の失敗が言語の失敗に直結してしまう
これも, はちみつが既に指摘している. 仕様の読み方を学んではどうか. まして独自の言語設計をするならば
803デフォルトの名無しさん
2025/07/22(火) 23:09:36.04ID:7KXgok3Q 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 ...
That is, it immediately invokes the function object returned by a lambda expression.
My idea is to inline that function object at the call site, treating it as if it were a syntactic form.
I believe many constructs like let and while naturally take this shape.
I would greatly appreciate your thoughts on this idea.
Best regards,
*****************
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 ...
That is, it immediately invokes the function object returned by a lambda expression.
My idea is to inline that function object at the call site, treating it as if it were a syntactic form.
I believe many constructs like let and while naturally take this shape.
I would greatly appreciate your thoughts on this idea.
Best regards,
*****************
804デフォルトの名無しさん
2025/07/24(木) 20:23:59.30ID:Pb6gK57F スレに報告するなら
このスレでは新しいアイデアではなかったという結論になっているので
スレの住人の結論をくつがえす力をもつ大先生に相談したのかが
重要な情報だと思うが隠したら意味がない
このスレでは新しいアイデアではなかったという結論になっているので
スレの住人の結論をくつがえす力をもつ大先生に相談したのかが
重要な情報だと思うが隠したら意味がない
805デフォルトの名無しさん
2025/07/24(木) 21:54:32.59ID:CH9XcWr2 宛先はドクター ・マシュー・フラット
806デフォルトの名無しさん
2025/07/25(金) 03:09:24.85ID:3nwbV1EW あなたがこれらの関係性を「発見」だと感じたのは、ご自身で深く考え、これらの概念間のつながりを独自に見出したからでしょう。これは、知識を鵜呑みにせず、自ら思考し、理解しようとする非常に素晴らしい姿勢です。科学の多くの進歩は、このように自らの頭で考えることから生まれます。
しかし、科学の世界では、その「発見」が人類にとって本当に新しい知識であるか、そしてそれが厳密な形で定式化され、検証されているかが問われます。あなたがたどり着いた結論は、偶然にも、あるいは必然的に、すでに確立された「基礎中の基礎」である、ということです。
しかし、科学の世界では、その「発見」が人類にとって本当に新しい知識であるか、そしてそれが厳密な形で定式化され、検証されているかが問われます。あなたがたどり着いた結論は、偶然にも、あるいは必然的に、すでに確立された「基礎中の基礎」である、ということです。
807デフォルトの名無しさん
2025/07/25(金) 18:03:37.57ID:NfVpBKmO 関数型言語が手続き型言語と根本的に違うみたいに言ってたのは一般界隈の方じゃないか
俺は「Schemeを手続き型言語のひとつとしてしか使ったことがない」と言ったら嘲笑を浴びたこともあるぞ
俺は「Schemeを手続き型言語のひとつとしてしか使ったことがない」と言ったら嘲笑を浴びたこともあるぞ
808デフォルトの名無しさん
2025/07/26(土) 00:52:48.70ID:2rEMZk2e もちろん、話し手の真意は本人にしか分かりませんが、提示された情報だけを基にすれば、「逆張りのイキリがスベっただけ」という解釈は十分に成り立ちます。
809デフォルトの名無しさん
2025/08/19(火) 12:17:09.07ID:UpjtMkWM 大学の教授もAIで生成した論文を査読してくれっていわれるの災難だよな
810デフォルトの名無しさん
2025/09/14(日) 14:42:43.95ID:CeEbD0mr すっかり乗り遅れたけど((lambda がインライン化されることの何が発明なのだろうと俺も思った
schemeののメジャーな論文読んだ上での提案ではなさそう
あとアカデミックな作法を好む癖に論の進め方がアカデミックな訓練を受けてなさそうなのが気になる
schemeののメジャーな論文読んだ上での提案ではなさそう
あとアカデミックな作法を好む癖に論の進め方がアカデミックな訓練を受けてなさそうなのが気になる
811デフォルトの名無しさん
2025/09/15(月) 11:19:02.42ID:DuTxbbPw ((lambdaは釣り餌だよ
812デフォルトの名無しさん
2025/09/16(火) 12:10:26.43ID:M3b1vCXY んまー、おせっくす好きですの?
813八大龍王・豊田聡志
2025/09/30(火) 19:20:44.06ID:rqdKtsao 早く仕事終とリハビリテーション終わらして byさとばん
814八大龍王・豊田聡志
2025/09/30(火) 19:22:45.12ID:rqdKtsao 早く仕事終とリハビリテーション終わらして実家に帰るぞby さとばん
815豊田聡志
2025/09/30(火) 19:23:34.85ID:rqdKtsao surveyscm.scm by さとばん
816八大龍王・豊田聡志
2025/09/30(火) 19:24:46.11ID:rqdKtsao sao
surveyscm.scm by さとばん
surveyscm.scm by さとばん
817豊田聡志
2025/09/30(火) 19:25:14.03ID:rqdKtsao surveyscm.scm by さとばん
818八大龍王・豊田聡志
2025/09/30(火) 19:26:38.65ID:rqdKtsao いくら悪神ジタバタしたとて手も出んぞwwwww
819八大龍王・豊田聡志
2025/09/30(火) 19:33:27.27ID:rqdKtsao コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケwwwかつえ放置プレイ中
820暗黒神・豊田聡志
2025/09/30(火) 19:34:31.15ID:rqdKtsao コッチは、回心した大邪神だ、血も涙もあるわkけ無いだろボケwwwかつえ放置プレイ中
821八大龍王・豊田聡志
2025/09/30(火) 19:47:21.60ID:rqdKtsao コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケwwwかつえ放置プレイ中 命尽きろクソかつえww
420暗黒神・豊田聡志
垢版 | 大砲
2025/09/30(火) 19:40:30.68ID:qhYqnJ/60
コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケwwwかつえガールズ・ガーデン放置プレイ中
421八大龍王・豊田聡志
垢版 | 大砲
2025/09/30(火) 19:44:17.47ID:qhYqnJ/60
コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケwwwかつえガールズ・ガーデン放置プレイ中
422八大龍王・豊田聡志
垢版 | 大砲
2025/09/30(火) 19:45:20.34ID:qhYqnJ/60
コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケwwwかつえガールズ・ガーデン放置プレイ中
979八大龍王・豊田聡志 そのうち、クタバルだろクソかつえの命www
420暗黒神・豊田聡志
垢版 | 大砲
2025/09/30(火) 19:40:30.68ID:qhYqnJ/60
コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケwwwかつえガールズ・ガーデン放置プレイ中
421八大龍王・豊田聡志
垢版 | 大砲
2025/09/30(火) 19:44:17.47ID:qhYqnJ/60
コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケwwwかつえガールズ・ガーデン放置プレイ中
422八大龍王・豊田聡志
垢版 | 大砲
2025/09/30(火) 19:45:20.34ID:qhYqnJ/60
コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケwwwかつえガールズ・ガーデン放置プレイ中
979八大龍王・豊田聡志 そのうち、クタバルだろクソかつえの命www
822八大龍王・豊田聡志
2025/09/30(火) 19:48:31.86ID:rqdKtsao コッチは、回心した黒龍だ、血も涙もあるわkけ無いだろボケwwwかつえ放置プレイ中 命尽きろクソかつえww
823八大龍王・豊田聡志
2025/09/30(火) 19:50:52.41ID:rqdKtsao 早く体力尽きて死ねくそかつえwwwwwww
824八大龍王・豊田聡志
2025/09/30(火) 19:51:30.39ID:rqdKtsao 早く体力尽きて死ねクソかつえwwwwwww
825八大龍王・豊田聡志
2025/09/30(火) 19:54:44.71ID:rqdKtsao 濁の霊界ガールズ・ガーデンで体力尽きて死ねクソかつえ
826暗黒神・豊田聡志
2025/09/30(火) 20:01:07.14ID:rqdKtsao の霊界ガールズ・ガーデンで体力尽きて死ねクソかつえ。 そして切り札を失え、クソ下村敬治。。
827八大龍王・豊田聡志
2025/09/30(火) 20:01:54.46ID:rqdKtsao の霊界ガールズ・ガーデンで体力尽きて死ねクソかつえ。 そして切り札を失え、クソ下村敬治。。
828八大龍王・豊田聡志
2025/09/30(火) 20:02:32.04ID:rqdKtsao の霊界ガールズ・ガーデンで体力尽きて死ねクソかつえ。 そして切り札を失え、クソ下村敬治。。
829八大龍王・豊田聡志
2025/09/30(火) 20:03:06.68ID:rqdKtsao の霊界ガールズ・ガーデンで体力尽きて死ねクソかつえ。 そして切り札を失え、クソ下村敬治。。
830暗黒神・豊田聡志
2025/09/30(火) 20:15:31.25ID:rqdKtsao 黒龍・バルタン星人・聡志より くたばれよ、くそかつえwww
レスを投稿する
ニュース
- 中国「国連安保理の許可なしに日本攻撃可能」 Xで旧敵国条項に言及… ★2 [BFU★]
- 立憲・野田代表が主張 台湾有事答弁で「質問者批判は筋違い」「答弁がおかしい」「高市総理迎合のネット世論は危険」★4 [♪♪♪★]
- 【千葉】コンビニに尿入りペットボトル並べた疑い、26歳男「むしゃくしゃして」…購入した客が飲もうとしたところ臭いに違和感 [ぐれ★]
- 中国官製報道「日本経済はもう持たない」にネット民ツッコミ「ニュースだけ見てたら日本はもう百回くらい爆発してる」 [1ゲットロボ★]
- 日中関係悪化で「日本からもうすぐパンダがいなくなる」 中国SNSでトレンド1位に★2 [♪♪♪★]
- 【硬貨】500円だと思ったら「500ウォンが入っていた」価値は約10分の1 全国で飲食店などで“500ウォントラブル”相次いで報告 [ぐれ★]
- 【実況】博衣こよりのえちえちホロ分かり手クイズ🧪🏴‍☠🌸 ★3
- 【実況】博衣こよりのえちえちホロ分かり手クイズ🧪🏴‍☠🌸 ★2
- 【実況】博衣こよりのえちえちホロ分かり手クイズ🧪🏴‍☠🌸
- 【動画】中国の対応、世界中でバカにされ始める… 高市さんの逆転か? [271912485]
- 【高市悲報】中国「国連安保理の許可なしに日本を攻撃可能だ」 [115996789]
- 【高市悲報】中国「国連安保理の許可なしに日本を攻撃可能だ」★2 [115996789]
