Lisp Scheme Part41 (855ﾚｽ)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
651: デフォルトの名無しさん [sage] 2024/04/12(金) 15:05:17.85 ID:dUdcEEpo >>646 Steele先生はlisperの毛嫌いするC系言語/Algolishな言語も無数にデザインしているという皮肉！ http://mevius.5ch.net/test/read.cgi/tech/1531587928/651
652: 645 [sage] 2024/04/12(金) 15:53:49.12 ID:OhyEPSVL lispの話をしよう onlisp.lispのようなオレオレutil(s).lisp/scmから引用し過ぎるのはあまり宜しくない？ macroはコンパイル順の関係で引く方が問題起きにくいけど 名前がdescriptiveなのは前提として too generalであれば初見の人に読みにくいのではと思うこの頃 一方でspecificであるかぎり、手続きを分かつ働きすら無い関数抽象も読み易い: carにget-operator、cdrにget-operandsなど単なるリネームでも重用する これらはpackage内にレキシカルな意味で近傍に置くべきよね？(使い捨てならflet/labels、共用ならdefun) より一般的な小物をコーディングを楽にする為だけに引くならば、lisp書きなら定義も大体覚えてるだろう有名な小物util集(alexandria、sfri)に依存した同梱するのも(ライセンスが許しても)憚られる… このスレやSO等見ても必読書なOn Lispは知名度あるだろうから、onlisp.lisp由来のものは初見で読めてコンパクトでバランス取れた妥協点だと思って使ってるんだけど (ライセンスや再帰志向で性能難アリなので、手習いがてら書き直したクローン版、念の為) なおonlisp.lispは手続き名がいにしえのlispかよってくらいヤバいのが欠点 http://mevius.5ch.net/test/read.cgi/tech/1531587928/652
653: デフォルトの名無しさん [sage] 2024/04/12(金) 23:54:00.88 ID:/A9qFmr2 文章下手糞すぎて読む気も起きない これって神の言語に慣れすぎて言語障害になった例かよってくらいヤバいのが>>652の欠点 http://mevius.5ch.net/test/read.cgi/tech/1531587928/653
654: デフォルトの名無しさん [] 2024/04/13(土) 18:14:03.11 ID:JilIuOKd ストールマンがガンになったらしい 長髪も髭も落としてしまって別人みたいになってる http://mevius.5ch.net/test/read.cgi/tech/1531587928/654
655: デフォルトの名無しさん [sage] 2024/04/13(土) 18:24:37.81 ID:OrtqC7Lq 効いてる効いてる http://mevius.5ch.net/test/read.cgi/tech/1531587928/655
656: デフォルトの名無しさん [] 2024/04/13(土) 19:21:54.91 ID:JilIuOKd 何が？ http://mevius.5ch.net/test/read.cgi/tech/1531587928/656
657: デフォルトの名無しさん [sage] 2024/04/13(土) 22:51:10.37 ID:Vi4F3OXr 昔MSの偉い人がGNUはガンだとか言ってたな ついに自覚させたか http://mevius.5ch.net/test/read.cgi/tech/1531587928/657
658: デフォルトの名無しさん [sage] 2024/04/13(土) 23:32:28.78 ID:c7UXCLXT >>655 お前は脳にガンを抱えてるなw http://mevius.5ch.net/test/read.cgi/tech/1531587928/658
659: デフォルトの名無しさん [] 2024/04/14(日) 12:56:54.81 ID:JRHy27WB ゆる学徒ハウス別館 現役Lisperが語る！ Lispはオーパーツで人類には早すぎた【電脳史学】 https://youtu.be/tLZ8J9tGVEs http://mevius.5ch.net/test/read.cgi/tech/1531587928/659
660: デフォルトの名無しさん [] 2024/04/14(日) 13:37:09.89 ID:JRHy27WB ゆるコンピュータ科学ラジオ 大人の勉強は「夢の中」が主戦場。寝ながらマクロを書くといい【Lisp雑談】 https://youtu.be/Lbt_CCQKWFA http://mevius.5ch.net/test/read.cgi/tech/1531587928/660
661: デフォルトの名無しさん [] 2024/04/14(日) 14:04:02.38 ID:JRHy27WB コーシー噴いたｗ http://mevius.5ch.net/test/read.cgi/tech/1531587928/661
662: デフォルトの名無しさん [sage] 2024/04/14(日) 15:00:30.77 ID:XsKNoxHh >>660は娯楽コンテンツとしては面白い でもLispは良いとして集合論を勉強しようとしてるのにはやれやれだな Haskellで圏論とかAIで代数幾何に夢見たりするのと似てる 結局広く浅くでウンチク欲を満たすに留めて、実践から逃げたいのだろうな 実践は壁だらけだから http://mevius.5ch.net/test/read.cgi/tech/1531587928/662
663: デフォルトの名無しさん [] 2024/04/14(日) 17:27:06.49 ID:ezgj98lZ Lispとは別に2人で集合論やって Lispは一冊何か挟んでからPAIP読んでほしい 番組のネタ的に http://mevius.5ch.net/test/read.cgi/tech/1531587928/663
664: デフォルトの名無しさん [sage] 2024/04/14(日) 21:34:02.26 ID:p4Nf2jzu その人らはLispに大した拘りはないし 今更検索でまともに引っかからない古代のPAIPなんてやる意味を見出せないだろ AI関連ならTranslatorからChatGPTブレイクに至るまででも話題にしたらいい http://mevius.5ch.net/test/read.cgi/tech/1531587928/664
665: デフォルトの名無しさん [] 2024/04/14(日) 21:56:43.27 ID:JRHy27WB そうかなあ、論理プログラミングとか自然言語解析とか右側の人大興奮じゃないの http://mevius.5ch.net/test/read.cgi/tech/1531587928/665
666: デフォルトの名無しさん [sage] 2024/04/15(月) 01:53:38.60 ID:YG3lrvG/ >>649 MLやregexエンジン積んでパターンマッチ機構を言語ビルトインにしても特にアドバンテージなんて無いと思うけどな 50行のコードでcl-ppcre(perl相当)とも機能面では十分戦えるわけで or/and，named-capture/backref、lookahead/behind-assertion、predication、filter、context-sensitiveなreplace等ね 超古典な"LISP" Winston, Paul Horn, 2nd edのchap.17に載ってるやつ 本を薄くするために徹底的に再帰で書かれてるからまあ性能は察せ() 再帰で分かりやすいコードだから叩き台にもオススメ http://mevius.5ch.net/test/read.cgi/tech/1531587928/666
667: デフォルトの名無しさん [sage] 2024/04/15(月) 02:00:08.14 ID:YG3lrvG/ あれはsymbolic pattern matchなのでregexと比べるのは良い例出なかったごめん まあexplodeしてしまえばもうキャラクタベースだ 確かGrahamの>>652にあるシンボルをバラすやつ、まあ3行くらいで書ける小品だけど explodeってネーミングがクールで覚えてたわ http://mevius.5ch.net/test/read.cgi/tech/1531587928/667
668: デフォルトの名無しさん [sage] 2024/04/15(月) 02:27:22.10 ID:wPU2Kemh >>665 そうそう、PCと自分のスキルで実践出来る分野なのに(最低限の真似事すら)やってないのがお察しか 右の人が予めPC音痴だと予防線張ってるのは自走力低めだと自己分析出来てるのかも まぁ実践(この場合はプログラミング)で玉砕しちゃったら、しょんぼりするか歯切れ悪くて 面白くなくなるタイプだからチャンネル的には今のままで良いのかも 左の人は画面キャプチャしながらライブコーディングするスタイルを何処かで見せないと説得力に乏しい 左右どちらも含蓄なく浅はかに見えてしまうので、その道の専門家をお呼びするスタイルにして欲しい C#のufcpp的な人が(声とコード画面だけでも)出演したら(最低限の真似事なら)実践する人が増えると思う http://mevius.5ch.net/test/read.cgi/tech/1531587928/668
669: デフォルトの名無しさん [sage] 2024/04/15(月) 02:48:11.62 ID:YG3lrvG/ >>665,668 うむ、若かりし頃はマルコフやProlog/SQLモドキとかやってた、なるべく決定論的なのが個人的な好み トレースを分析しても理解の困難なモノは、決して知的探究心を満たしてはくれないのだ 流行りの文章生成もマルコフならトレーサビリティは完全なのが良い http://mevius.5ch.net/test/read.cgi/tech/1531587928/669
670: デフォルトの名無しさん [sage] 2024/04/15(月) 03:14:20.11 ID:YG3lrvG/ 古いAIのバイブルPAIPすら恥ずかしながら未読の身ですが… lispもデータドリブンなNN系はむしろ苦手とは思わない NN系がマスメディアでもバズり出した頃にウィキペディア見たら、Pythonのサンプルコードが載ってたので そのままCPython/Numpyとclで書いてみたら、ベンチはsbclぶっちぎりだったよ もちろん個々の処理がバックのcライブラリより速いなんて言わない 同レベルのコーダが同ロジックで翻訳すればの話 その差はclの無駄に細かいarray/vectorコンストラクタ引数の設計 具体的にはR/W抑えるビュー相当の:displaced-*と:fill-pointer、配列の動的リサイズ指定の:adjustable引数ね Numpyのndarrayはこの辺が裏で自動でやるのでコーダの裁量がない まあNumpyでプラグマ/フラグ駆使してその辺のお節介挙動を切れば普通に負けるかも あくまで並コーダが素直に書く限りの話 http://mevius.5ch.net/test/read.cgi/tech/1531587928/670
671: デフォルトの名無しさん [sage] 2024/04/15(月) 03:45:37.49 ID:KXqIDgH/ Cバックエンドで配列のviewをサポートしてるなら究極的には言語/処理系ではアルゴリズム瑕疵が無い限り有意な差はないよ ただし最速言語Fortranを半分程度使うNumpyにも優位性はある gccはじめ同じILにコンパイルされても配列多様コードでにおいてCより数倍は速い ただしNumpyは書き方に細心の注意をしないとユーザの預かり知らぬ所で勝手にディープコピーする大きな罠も そうした不透明性が嫌い 明示できるCLのFortran実装を待ち望む http://mevius.5ch.net/test/read.cgi/tech/1531587928/671
672: デフォルトの名無しさん [sage] 2024/04/15(月) 03:58:24.79 ID:TPgVCyAO >>671 clの明示性といえば、:rehash-size :rehash-threshold等で個々のハッシュテーブルまでチューンできるのがいいね 配列なんかよりハッシュテーブルの方がリハッシュコストが遥かに高い 動的言語のリハッシュは知る限り全部処理系任せか、サポートしていてもインタプリタのコマンドラインオプションで一律にしか変えられない http://mevius.5ch.net/test/read.cgi/tech/1531587928/672
673: デフォルトの名無しさん [sage] 2024/04/15(月) 06:50:07.08 ID:DfbFoW6K >>671 >ただし最速言語Fortranを半分程度使うNumpyにも優位性はある >gccはじめ同じILにコンパイルされても配列多様コードでにおいてCより数倍は速い この部分、Fortranで配列多用したらCより数倍速い的な意見なのかな？ 1ミリも分からんので、詳細求む http://mevius.5ch.net/test/read.cgi/tech/1531587928/673
674: デフォルトの名無しさん [sage] 2024/04/15(月) 11:04:34.92 ID:SeS0dYr5 >>671 言語/処理系で有意な差はないと言ってるのに、Cより数倍も速いって、矛盾してるぞw http://mevius.5ch.net/test/read.cgi/tech/1531587928/674
675: デフォルトの名無しさん [sage] 2024/04/15(月) 11:32:59.07 ID:dChAXctC >>674 何の根拠も無く「数倍は速い」なんて言い出さないから >>673に対する>>671の回答には期待しているw http://mevius.5ch.net/test/read.cgi/tech/1531587928/675
676: デフォルトの名無しさん [sage] 2024/04/15(月) 11:39:03.37 ID:L/ePcET8 中間言語が同じならコーディングの瑕疵は人間工学的な問題 Cは宣言が貧弱でin/out、純粋関数、エイリアスの有無は推論頼りだから失敗すれば死ぬ ただ最近はrestrict宣言付けて回るなら重なるか推論不能な配列のエイリアス有無も指定可、難解だけど 一方で参照渡しのFortranはtaraiベンチで推論失敗すればデリファレンス地獄で死ぬわけだけど、これ解消する宣言あったっけ？ むしろ宣言無しのナイーブなコーディングなら数倍どころでは済まんよ ランタイムの重いclは比類なき宣言の豊富さで静的言語にまで迫ろうと頑張ってるわけで http://mevius.5ch.net/test/read.cgi/tech/1531587928/676
677: デフォルトの名無しさん [sage] 2024/04/15(月) 11:50:11.63 ID:L/ePcET8 パフォーマンス志向でarrayとdeclareまみれのclはlispっぽさが失われるのがつらい 何でも出来るのだと前向きに考えてゆきたい… http://mevius.5ch.net/test/read.cgi/tech/1531587928/677
678: デフォルトの名無しさん [sage] 2024/04/15(月) 11:53:02.96 ID:xx2br7bI >>671,676 話逸らさんで良いから Fortranの「配列多様コードでにおいてCより数倍は速い」コードを出してw http://mevius.5ch.net/test/read.cgi/tech/1531587928/678
679: デフォルトの名無しさん [] 2024/04/15(月) 13:00:49.14 ID:h9iqzVMR ゆる「コンピュータ科学」ラジオなので、集合論でもいいだろｗ マウントしないと気が済まんのか http://mevius.5ch.net/test/read.cgi/tech/1531587928/679
680: デフォルトの名無しさん [sage] 2024/04/15(月) 13:15:54.71 ID:WhsyARtf どのレスがマウントに見えたのか知らんけど 集合論なんてAppendixか記号一覧でサラッと確認して本題を進めるのに 集合論のブルーバックスを読んでシッタカウンチクを語る方がマウントに近い行為だと思うけどw まさか公理的集合論とその形式的手法をガッツリやるのかな http://mevius.5ch.net/test/read.cgi/tech/1531587928/680
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 175 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.019s