Lisp Scheme Part41

1 ：デフォルトの名無しさん：2018/07/15(日) 02:05:28.62 ID:oGr67yTf.net

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/

677 ：デフォルトの名無しさん：2024/04/15(月) 03:58:24.79 ID:TPgVCyAO.net

>>676
clの明示性といえば、:rehash-size :rehash-threshold等で個々のハッシュテーブルまでチューンできるのがいいね
配列なんかよりハッシュテーブルの方がリハッシュコストが遥かに高い

動的言語のリハッシュは知る限り全部処理系任せか、サポートしていてもインタプリタのコマンドラインオプションで一律にしか変えられない

678 ：デフォルトの名無しさん：2024/04/15(月) 06:50:07.08 ID:DfbFoW6K.net

>>676
>ただし最速言語Fortranを半分程度使うNumpyにも優位性はある
>gccはじめ同じILにコンパイルされても配列多様コードでにおいてCより数倍は速い

この部分、Fortranで配列多用したらCより数倍速い的な意見なのかな？
1ミリも分からんので、詳細求む

679 ：デフォルトの名無しさん：2024/04/15(月) 11:04:34.92 ID:SeS0dYr5.net

>>676
言語/処理系で有意な差はないと言ってるのに、Cより数倍も速いって、矛盾してるぞw

680 ：デフォルトの名無しさん：2024/04/15(月) 11:32:59.07 ID:dChAXctC.net

>>679
何の根拠も無く「数倍は速い」なんて言い出さないから
>>678に対する>>676の回答には期待しているw

681 ：デフォルトの名無しさん：2024/04/15(月) 11:39:03.37 ID:L/ePcET8.net

中間言語が同じならコーディングの瑕疵は人間工学的な問題
Cは宣言が貧弱でin/out、純粋関数、エイリアスの有無は推論頼りだから失敗すれば死ぬ
ただ最近はrestrict宣言付けて回るなら重なるか推論不能な配列のエイリアス有無も指定可、難解だけど
一方で参照渡しのFortranはtaraiベンチで推論失敗すればデリファレンス地獄で死ぬわけだけど、これ解消する宣言あったっけ？

むしろ宣言無しのナイーブなコーディングなら数倍どころでは済まんよ
ランタイムの重いclは比類なき宣言の豊富さで静的言語にまで迫ろうと頑張ってるわけで

682 ：デフォルトの名無しさん：2024/04/15(月) 11:50:11.63 ID:L/ePcET8.net

パフォーマンス志向でarrayとdeclareまみれのclはlispっぽさが失われるのがつらい
何でも出来るのだと前向きに考えてゆきたい…

683 ：デフォルトの名無しさん：2024/04/15(月) 11:53:02.96 ID:xx2br7bI.net

>>676,681
話逸らさんで良いから
Fortranの「配列多様コードでにおいてCより数倍は速い」コードを出してw

684 ：デフォルトの名無しさん：2024/04/15(月) 13:00:49.14 ID:h9iqzVMR.net

ゆる「コンピュータ科学」ラジオなので、集合論でもいいだろｗ
マウントしないと気が済まんのか

685 ：デフォルトの名無しさん：2024/04/15(月) 13:15:54.71 ID:WhsyARtf.net

どのレスがマウントに見えたのか知らんけど
集合論なんてAppendixか記号一覧でサラッと確認して本題を進めるのに
集合論のブルーバックスを読んでシッタカウンチクを語る方がマウントに近い行為だと思うけどw

まさか公理的集合論とその形式的手法をガッツリやるのかな

686 ：デフォルトの名無しさん：2024/04/15(月) 13:20:30.61 ID:WhsyARtf.net

そんな訳ないかw
単純に集合論とか圏論は逃げ
(研究者じゃない限り)コンピュータ科学は実践を伴ってナンボの世界なわけで
そこのレベル低そうな人にウンチク唱えられても何か可哀そうで娯楽にすらならん

687 ：デフォルトの名無しさん：2024/04/15(月) 13:42:47.75 ID:h9iqzVMR.net

痛い人だｗ

688 ：デフォルトの名無しさん：2024/04/15(月) 15:03:16.41 ID:AVuQkQ2W.net

痛レス追加w

プログラミングにおいては、学問的基礎はそこそこにしてドンドン先に進んだもん勝ちなのよね
学習の初期段階から集合論(動画内ではタイプ理論も)に油売ってたら(逃げを通り越して)脱落かと
ユーチューバーが視聴数稼ぎの為に手を出してるのを差し引かないとね、初学者が真似したら破滅

みんな母国語を話せるでしょ？言語学なんて知らなくてもw

689 ：デフォルトの名無しさん：2024/04/15(月) 15:11:29.44 ID:oyztWlKb.net

逆に数学ちゃんとやらないからLispでつまづいてイライラするんだろうな
そういう奴は20年後も進歩してないと思う（俺のことだが）

690 ：デフォルトの名無しさん：2024/04/15(月) 17:04:25.48 ID:BU/Fumer.net

でもまぁ左は慶応情報工学、右は数学が得意と言ってるし集合論は楽しみではあるな(他意は無い)

691 ：デフォルトの名無しさん：2024/04/15(月) 17:51:51.96 ID:lxkYY0z4.net

集合論もゲーデルもコンビネーター理論も入門レベルは理解したい
と思い続けて10年w

692 ：デフォルトの名無しさん：2024/04/15(月) 17:53:00.51 ID:lxkYY0z4.net

そんなことよりCentOS8入れてみたらGuileもEmacsも入ってなくてブチ切れそうなんだけど

693 ：デフォルトの名無しさん：2024/04/15(月) 19:17:47.96 ID:pFNJA2no.net

Lispは母語じゃないからなぁ

694 ：デフォルトの名無しさん：2024/04/16(火) 08:49:18.26 ID:Fr3sHPgG.net

>>691
Lisp本ではないが論理学の問題集みたいな一般向け書To Mock a Mockingbirdの後半がみっちりコンビネータ論理に充てられててオススメ
手計算させて解法と答えも章末に載ってて取っ付きやすい入門

そのままdefunしてアプリケーティブに動かしたり、簡約パーサも数個の基底コンビネータの書き換え規則をcondで振るだけの自明な10行
かなり遊べるおもちゃ

695 ：デフォルトの名無しさん：2024/04/16(火) 11:41:44.03 ID:AOP5eUEV.net

>>694
ありがとう
ものまね鳥、積読になってる😅

696 ：デフォルトの名無しさん：2024/04/16(火) 12:46:54.23 ID:9OjD0OW8.net

右の人、集合論を勉強すると見せかけてゲーデルエッシャーバッハを持って来ると期待してるw

697 ：デフォルトの名無しさん：2024/04/16(火) 13:18:37.46 ID:AOP5eUEV.net

左「やっぱりあなたLispやってますよね？」

698 ：デフォルトの名無しさん：2024/04/16(火) 13:59:54.08 ID:HsOietmi.net

>>695
まじかー𓃠
愛読しろにゃ

699 ：デフォルトの名無しさん：2024/04/16(火) 16:09:54.43 ID:AOP5eUEV.net

>>698
す、するにゃ汗

700 ：デフォルトの名無しさん：2024/04/18(木) 15:57:15.08 ID:L09lN/Y8.net

>>657
acl2.lispもたぶん参考にしてるかもだけど
On LispにもANSI CLにも載ってないのを集めた utx.lispってのもあるよ

念の為

701 ：デフォルトの名無しさん：2024/04/18(木) 15:59:42.84 ID:L09lN/Y8.net

探してみた、一番下にリンクある
http://web.cecs.pdx.edu/~mperkows/CLASS_ROBOTICS/lisp-source.html

他にもなにやら面白そうなコードが色々

702 ：デフォルトの名無しさん：2024/04/18(木) 16:12:02.72 ID:L09lN/Y8.net

>>675
性能は知らんけど丁度>>701にニューラルネットのコードがあったよ、とコメントしておく
NEURAL NETWORKS.
PERCEPTR.CL Perceptron.
BACKPROP.CL Backpropagating Neural Net.

書かれたのが30年前で特に最適化してない短いお手本コードだけど、今時のAI向け言語とどの程度性能に差が出るだろう？ちょっと興味ある

他言語も得意で暇な人ベンチしてくれないかな（）

703 ：デフォルトの名無しさん：2024/04/24(水) 12:34:02.33 ID:6vxo/5Gl.net

Gauche 0.9.15
https://practical-scheme.net/gauche/download-j.html

704 ：デフォルトの名無しさん：2024/04/24(水) 19:33:42.07 ID:zTq4mcuG.net

お前がやるんだよ

705 ：デフォルトの名無しさん：2024/04/29(月) 00:40:58.99 ID:kyEsQUSW.net

Lisp系の本あるある
Amazonで検索してレビューを見ると、kaizenのしょうもないレビューが付いている

706 ：デフォルトの名無しさん：2024/04/29(月) 03:32:03.71 ID:xgq67JZI.net

(())なーんだ

707 ：デフォルトの名無しさん：2024/04/29(月) 20:53:10.33 ID:gOSsFAyk.net

閲覧者にとってどうでもよすぎることしか書かないゴミレビュアーなんだよなkaizen
「読んでませんが」「一行もかけてませんが」「どういうものかわかりませんが」
けれど、「昔のAI業界知ってます」というね
片っ端から違反報告したろか

708 ：882：2024/07/14(日) 23:11:15.21 ID:gZEsSzzj.net

いつの間にやら5ch CLスレが無くなってて書き先がないのでここに書いちゃう。

3年前、 5ch CL スレで出てた話題 ( https://itest.5ch.net/mevius/test/read.cgi/tech/1411307361/925-933 )を見てたらClozure CLのバグを発見して、 Clozure CL に Pull Request 出した者です。 ( https://github.com/Clozure/ccl/pull/362 )
結局あれからずっと放置されてたんですが、昨日になって急にコメントされました。
曰く、「最近になって報告された Issue を直すためにやって変更により、この問題は直ったんじゃないかと思う。」「この３年前の PR を見とけばよかった。」とのこと。

いや本当に見て貰いたかったよ・・と思いつつお礼のコメントしておきました。5chのLisp関連スレを Clozure CL のどっかに刻めるかなと思ったけど中途半端に終わってしまった。すまんね。

709 ：デフォルトの名無しさん：2024/07/21(日) 16:52:31.51 ID:jbuO3Kr/.net

> あれからずっと放置


Clozureはバグ修正どころか存続の危機という状況だった(今も？)のでやむなし

710 ：デフォルトの名無しさん：2024/07/26(金) 19:56:51.72 ID:nvGW+kC/.net

このスレを開くような変態野郎には関係ないがLisp自体も言ってしまえば存続の危機だけどね
Lisperが勝手にライバル視していたXMLも結局Web界隈では嫌われてるし
嫌われデータ表現で嫌われデータを操作するLispが嫌われるなんて当然の帰着といっても過言ではないでしょうな

711 ：デフォルトの名無しさん：2024/07/26(金) 20:54:02.96 ID:753D+xJi.net

>>710は変態野郎ということだな

712 ：デフォルトの名無しさん：2024/07/26(金) 21:57:46.50 ID:nvGW+kC/.net

煽られて即レス返すような真性変態野郎には及ばないがな…
まあ雑談しようや
恐らくタグ付きデータ表現を最初期に意識してたであろうLispを世に放ったJ.McCarthyは原初変態ってところか
ところで詳細は知らんが当時で言うAIと今の実用？AIは目的は似ていても手法が全く違う気がするんだが
やはりこの世界はスピードこそがパワーなのか？と2度目の悟りを迎えたLisperは多いんじゃないの？
スピードの前にはもはやLispとか関係無いじゃね？とか今はそういう感じ

713 ：デフォルトの名無しさん：2024/07/26(金) 23:35:12.89 ID:753D+xJi.net

>煽られて即レス返すような真性変態野郎

ID:nvGW+kC/ のことだな

714 ：はちみつ餃子 ◆8X2XSCHEME ：2024/07/26(金) 23:38:45.14 ID:e6dQA2Nw.net

>>712
文意を読み取れない。
なにか前提の説明が欠けているんじゃないかと思う。

715 ：デフォルトの名無しさん：2024/07/29(月) 20:42:01.60 ID:Js4zJSVe.net

webasmのS式に活路を見出そう

716 ：デフォルトの名無しさん：2024/07/30(火) 09:51:17.53 ID:huM5CJOj.net

標準規格から30年経過して改訂もなしのCommon Lispは存続の危機とかいうのも超越してしまったように思える
sbclもquicklispも細々とやっていくだろう

717 ：デフォルトの名無しさん：2024/07/30(火) 18:26:26.48 ID:dglkx4t5.net

最も変態なのがマシン語
最も変態から遠いのがLisp
平均がマシン語寄りなのでLispが変態に見られてしまうが
安心しろ、それは認知の歪みだ

718 ：デフォルトの名無しさん：2024/07/30(火) 19:37:30.88 ID:otClTmf/.net

コードとデータが同じ形式でデータと同じようにコードを操作できる特性は変態と呼ぶに値する
脳神経モデルのAIが主流の間は出番ないけど遺伝子モデルのAIが主流になれば復活しそう
一時期流行った進化的アルゴリズムとか最近聞かないけど息してるのかね

719 ：デフォルトの名無しさん：2024/08/01(木) 04:59:08.81 ID:yRZ8k2zI.net

勉強しろよ、おっさん

720 ：デフォルトの名無しさん：2024/08/01(木) 07:17:05.17 ID:7xtdgUzE.net

car, cdr, mapcar, cadr etc. まあこの辺は慣れで覚えられた
でも mapc, mapcon, mapcan ... この辺は無理
廃れつつあるのの当然だね

721 ：デフォルトの名無しさん：2024/08/01(木) 14:39:20.28 ID:yRZ8k2zI.net

コード書かないコンピュータ雑学博士みたいなおっさんが活躍できたのは情報が少ない時代だったからで誰でも好きな言語でOSS活動できるような現代には無用の存在なんだよな

722 ：デフォルトの名無しさん：2024/08/07(水) 15:13:02.20 ID:PbgGNmzh.net

>>708

CL スレ無くなってなかったよ
https://itest.5ch.net/mevius/test/read.cgi/tech/1624937701/

723 ：デフォルトの名無しさん：2024/08/09(金) 22:25:05.47 ID:/Y8diPS9.net

それでもLispの悟りを味わうためだけにでも勉強する価値はあるってレイモンズが言ってた

724 ：デフォルトの名無しさん：2024/08/10(土) 20:00:37.82 ID:8fMXoMNz.net

ここの住人のように書籍を先生にひとりでLisp書いてる還暦手前の人間には信じられないかもしれないが, common lispにはコミュニティが存在する. これが2024年のCommon Lispサーベイだ.
https://news.ycombinator.com/item?id=41206465
なお, racketもアンケートを実施中だ.

725 ：デフォルトの名無しさん：2024/08/11(日) 08:19:43.51 ID:Ra0/0/oh.net

この手で一番知りたいアンケート回答者の年齢について何も言及がない時点でお察し

726 ：デフォルトの名無しさん：2024/08/12(月) 00:13:23.88 ID:6GU4Ob6x.net

お察しのところもうしわけないが, プログラミング言語コミュニティのサーベイでユーザーの年齢層集計してるとこどこもないっしょ.