Lisp Scheme Part41 (855ﾚｽ)
上下前次1-新
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業界知ってます」というね
片っ端から違反報告したろか
703(1): 882 2024/07/14(日)23:11 ID:gZEsSzzj(1) AAS
いつの間にやら5ch CLスレが無くなってて書き先がないのでここに書いちゃう。
3年前、 5ch CL スレで出てた話題 ( 2chｽﾚ:tech )を見てたらClozure CLのバグを発見して、 Clozure CL に Pull Request 出した者です。 ( 外部ﾘﾝｸ:github.com )
結局あれからずっと放置されてたんですが、昨日になって急にコメントされました。
曰く、「最近になって報告された Issue を直すためにやって変更により、この問題は直ったんじゃないかと思う。」「この３年前の PR を見とけばよかった。」とのこと。
いや本当に見て貰いたかったよ・・と思いつつお礼のコメントしておきました。5chのLisp関連スレを Clozure CL のどっかに刻めるかなと思ったけど中途半端に終わってしまった。すまんね。
704: 2024/07/21(日)16:52 ID:jbuO3Kr/(1) AAS
> あれからずっと放置
Clozureはバグ修正どころか存続の危機という状況だった(今も？)のでやむなし
705(1): 2024/07/26(金)19:56 ID:nvGW+kC/(1/2) AAS
このスレを開くような変態野郎には関係ないがLisp自体も言ってしまえば存続の危機だけどね
Lisperが勝手にライバル視していたXMLも結局Web界隈では嫌われてるし
嫌われデータ表現で嫌われデータを操作するLispが嫌われるなんて当然の帰着といっても過言ではないでしょうな
706: 2024/07/26(金)20:54 ID:753D+xJi(1/2) AAS
>>705は変態野郎ということだな
707(1): 2024/07/26(金)21:57 ID:nvGW+kC/(2/2) AAS
煽られて即レス返すような真性変態野郎には及ばないがな…
まあ雑談しようや
恐らくタグ付きデータ表現を最初期に意識してたであろうLispを世に放ったJ.McCarthyは原初変態ってところか
ところで詳細は知らんが当時で言うAIと今の実用？AIは目的は似ていても手法が全く違う気がするんだが
やはりこの世界はスピードこそがパワーなのか？と2度目の悟りを迎えたLisperは多いんじゃないの？
スピードの前にはもはやLispとか関係無いじゃね？とか今はそういう感じ
708: 2024/07/26(金)23:35 ID:753D+xJi(2/2) AAS
>煽られて即レス返すような真性変態野郎
ID:nvGW+kC/ のことだな
上下前次1-新書関写板覧索設栞歴
あと 147 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.018s