Lisp Scheme Part41 (856ﾚｽ)
上下前次1-新
673(1): 2024/04/15(月)06:50 ID:DfbFoW6K(1) AAS
>>671
>ただし最速言語Fortranを半分程度使うNumpyにも優位性はある
>gccはじめ同じILにコンパイルされても配列多様コードでにおいてCより数倍は速い
この部分、Fortranで配列多用したらCより数倍速い的な意見なのかな？
1ミリも分からんので、詳細求む
674(1): 2024/04/15(月)11:04 ID:SeS0dYr5(1) AAS
>>671
言語/処理系で有意な差はないと言ってるのに、Cより数倍も速いって、矛盾してるぞw
675: 2024/04/15(月)11:32 ID:dChAXctC(1) AAS
>>674
何の根拠も無く「数倍は速い」なんて言い出さないから
>>673に対する>>671の回答には期待しているw
676(1): 2024/04/15(月)11:39 ID:L/ePcET8(1/2) AAS
中間言語が同じならコーディングの瑕疵は人間工学的な問題
Cは宣言が貧弱でin/out、純粋関数、エイリアスの有無は推論頼りだから失敗すれば死ぬ
ただ最近はrestrict宣言付けて回るなら重なるか推論不能な配列のエイリアス有無も指定可、難解だけど
一方で参照渡しのFortranはtaraiベンチで推論失敗すればデリファレンス地獄で死ぬわけだけど、これ解消する宣言あったっけ？
むしろ宣言無しのナイーブなコーディングなら数倍どころでは済まんよ
ランタイムの重いclは比類なき宣言の豊富さで静的言語にまで迫ろうと頑張ってるわけで
677: 2024/04/15(月)11:50 ID:L/ePcET8(2/2) AAS
パフォーマンス志向でarrayとdeclareまみれのclはlispっぽさが失われるのがつらい
何でも出来るのだと前向きに考えてゆきたい…
678: 2024/04/15(月)11:53 ID:xx2br7bI(1) AAS
>>671,676
話逸らさんで良いから
Fortranの「配列多様コードでにおいてCより数倍は速い」コードを出してw
679: 2024/04/15(月)13:00 ID:h9iqzVMR(1/2) AAS
ゆる「コンピュータ科学」ラジオなので、集合論でもいいだろｗ
マウントしないと気が済まんのか
680: 2024/04/15(月)13:15 ID:WhsyARtf(1/2) AAS
どのレスがマウントに見えたのか知らんけど
集合論なんてAppendixか記号一覧でサラッと確認して本題を進めるのに
集合論のブルーバックスを読んでシッタカウンチクを語る方がマウントに近い行為だと思うけどw
まさか公理的集合論とその形式的手法をガッツリやるのかな
681: 2024/04/15(月)13:20 ID:WhsyARtf(2/2) AAS
そんな訳ないかw
単純に集合論とか圏論は逃げ
(研究者じゃない限り)コンピュータ科学は実践を伴ってナンボの世界なわけで
そこのレベル低そうな人にウンチク唱えられても何か可哀そうで娯楽にすらならん
682: 2024/04/15(月)13:42 ID:h9iqzVMR(2/2) AAS
痛い人だｗ
683: 2024/04/15(月)15:03 ID:AVuQkQ2W(1) AAS
痛レス追加w
プログラミングにおいては、学問的基礎はそこそこにしてドンドン先に進んだもん勝ちなのよね
学習の初期段階から集合論(動画内ではタイプ理論も)に油売ってたら(逃げを通り越して)脱落かと
ユーチューバーが視聴数稼ぎの為に手を出してるのを差し引かないとね、初学者が真似したら破滅
みんな母国語を話せるでしょ？言語学なんて知らなくてもw
684: 2024/04/15(月)15:11 ID:oyztWlKb(1) AAS
逆に数学ちゃんとやらないからLispでつまづいてイライラするんだろうな
そういう奴は20年後も進歩してないと思う（俺のことだが）
685: 2024/04/15(月)17:04 ID:BU/Fumer(1) AAS
でもまぁ左は慶応情報工学、右は数学が得意と言ってるし集合論は楽しみではあるな(他意は無い)
686(1): 2024/04/15(月)17:51 ID:lxkYY0z4(1/2) AAS
集合論もゲーデルもコンビネーター理論も入門レベルは理解したい
と思い続けて10年w
687: 2024/04/15(月)17:53 ID:lxkYY0z4(2/2) AAS
そんなことよりCentOS8入れてみたらGuileもEmacsも入ってなくてブチ切れそうなんだけど
688: 2024/04/15(月)19:17 ID:pFNJA2no(1) AAS
Lispは母語じゃないからなぁ
689(1): 2024/04/16(火)08:49 ID:Fr3sHPgG(1) AAS
>>686
Lisp本ではないが論理学の問題集みたいな一般向け書To Mock a Mockingbirdの後半がみっちりコンビネータ論理に充てられててオススメ
手計算させて解法と答えも章末に載ってて取っ付きやすい入門
そのままdefunしてアプリケーティブに動かしたり、簡約パーサも数個の基底コンビネータの書き換え規則をcondで振るだけの自明な10行
かなり遊べるおもちゃ
690(1): 2024/04/16(火)11:41 ID:AOP5eUEV(1/3) AAS
>>689
ありがとう
ものまね鳥、積読になってる😅
691: 2024/04/16(火)12:46 ID:9OjD0OW8(1) AAS
右の人、集合論を勉強すると見せかけてゲーデルエッシャーバッハを持って来ると期待してるw
692: 2024/04/16(火)13:18 ID:AOP5eUEV(2/3) AAS
左「やっぱりあなたLispやってますよね？」
693(1): 2024/04/16(火)13:59 ID:HsOietmi(1) AAS
>>690
まじかー𓃠
愛読しろにゃ
694: 2024/04/16(火)16:09 ID:AOP5eUEV(3/3) AAS
>>693
す、するにゃ汗
695: 2024/04/18(木)15:57 ID:L09lN/Y8(1/3) AAS
>>652
acl2.lispもたぶん参考にしてるかもだけど
On LispにもANSI CLにも載ってないのを集めた utx.lispってのもあるよ
念の為
696(1): 2024/04/18(木)15:59 ID:L09lN/Y8(2/3) AAS
探してみた、一番下にリンクある
外部ﾘﾝｸ[html]:web.cecs.pdx.edu
他にもなにやら面白そうなコードが色々
697: 2024/04/18(木)16:12 ID:L09lN/Y8(3/3) AAS
>>670
性能は知らんけど丁度>>696にニューラルネットのコードがあったよ、とコメントしておく
NEURAL NETWORKS.
PERCEPTR.CL Perceptron.
BACKPROP.CL Backpropagating Neural Net.
書かれたのが30年前で特に最適化してない短いお手本コードだけど、今時のAI向け言語とどの程度性能に差が出るだろう？ちょっと興味ある
他言語も得意で暇な人ベンチしてくれないかな（）
698: 2024/04/24(水)12:34 ID:6vxo/5Gl(1) AAS
Gauche 0.9.15
外部ﾘﾝｸ[html]:practical-scheme.net
699: 2024/04/24(水)19:33 ID:zTq4mcuG(1) AAS
お前がやるんだよ
700: 2024/04/29(月)00:40 ID:kyEsQUSW(1) AAS
Lisp系の本あるある
Amazonで検索してレビューを見ると、kaizenのしょうもないレビューが付いている
701: 2024/04/29(月)03:32 ID:xgq67JZI(1) AAS
(())なーんだ
702: 2024/04/29(月)20:53 ID:gOSsFAyk(1) AAS
閲覧者にとってどうでもよすぎることしか書かないゴミレビュアーなんだよなkaizen
「読んでませんが」「一行もかけてませんが」「どういうものかわかりませんが」
けれど、「昔のAI業界知ってます」というね
片っ端から違反報告したろか
上下前次1-新書関写板覧索設栞歴
あと 154 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.010s