Lisp Scheme Part41

**デフォルトの名無しさん** · 2018/07/15(日) 02:05:28.62

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/

**デフォルトの名無しさん** · 2023/02/11(土) 19:10:46.38

オレオレSchemeでMineSweeper
ソースがSchemeで書かれている
ttp://ujip.ninja-web.net/schemeonjs/minesweeper.html

**デフォルトの名無しさん** · 2023/02/11(土) 20:04:34.26

だからなんやねん
つか何年前から来たの？ってレベルの話だろ

**デフォルトの名無しさん** · 2023/02/15(水) 12:56:30.42

目くじら立てることかよ

**デフォルトの名無しさん** · 2023/03/05(日) 13:42:32.16

オンラインでuLisp動かしてみようかとTinkerCADのArduonoUnoにソースコード流し込んでみたけどさすがに5000行は許してもらえないみたいだな。

**デフォルトの名無しさん** · 2023/04/24(月) 08:39:19.08

最適化されたCLは最適化されていないCよりは速い
昔Common LispでCより速いHTTPパーサを書いたとか言ってたのを見かけた
コードを見るとnodejsのCで書かれたHTTPパーサをパクったみたいな感じなのに
比較対象はなぜかどっかの個人がCで書いたHTTPパーサだった
その個人が晒してたソースのMakefileはデフォルトでは最適化なし
なぜ比較する前にCの方を最適化することを思いつかなかったのだろうか
というかなんでnodjsの方と比較しなかったんだ？
誰か理由わかります？

**デフォルトの名無しさん** · 2023/04/24(月) 08:46:06.25

なぞなぞかな

**デフォルトの名無しさん** · 2023/04/25(火) 20:39:53.26

おじいちゃんそろそろマクロを飲む時間ですよ

**デフォルトの名無しさん** · 2023/05/24(水) 21:31:48.49

氏のイキリ芸でしょ

**デフォルトの名無しさん** · 2023/06/20(火) 13:38:32.61

scheme処理系作ったりSICPで悟り開いたりしたけど今の使い方は実質電卓
スペース区切りの値そのまま貼り付けられて便利なんよなー

**デフォルトの名無しさん** · 2023/08/18(金) 02:03:46.68

John Cowan 氏が R7RS-large の議長の座を降りることを表明した模様。
これからの体制については現時点は決まっていない。

**デフォルトの名無しさん** · 2023/08/19(土) 10:24:26.69

実質機能しない規格なんて不要
主要処理系の実態調査して
ANSI Common Schemeを策定すべき

**デフォルトの名無しさん** · 2023/08/19(土) 20:44:33.82

実用的で無い言語にANSI規格とか要らないだろ

それより、Type Script 普通に良い言語だぞ、
あれ実質的に型付きのlispだわ

**デフォルトの名無しさん** · 2023/08/20(日) 18:08:19.00

「Type Scriptはlisp」発言頂きましたー

**デフォルトの名無しさん** · 2023/08/20(日) 18:21:02.18

JavaScriptがそもそもschemeだし。

**デフォルトの名無しさん** · 2023/08/20(日) 21:24:26.60

>>615
設計者の「そうしたかった」という発言が拡大解釈されたもので、
インタビューをちゃんと読むと「そうできなかった」ということも言ってる。

**デフォルトの名無しさん** · 2023/08/28(月) 22:32:35.76

How to Design Programs, Second Edition
https://htdp.org/2023-8-14/Book/index.html

新版出てた

**デフォルトの名無しさん** · 2023/09/03(日) 20:41:45.72

Chez Scheme の 9.6.2 が五日前にリリースされていた。

**はちみつ餃子** ◆8X2XSCHEME · 2023/10/04(水) 15:56:06.86

Gauche 0.9.13 のリリース候補が出た。
問題ありそうな部分や要望があるなら今のうちに出しとくといいよ。

https://sourceforge.net/p/gauche/mailman/message/41039777/

**デフォルトの名無しさん** · 2023/10/06(金) 07:52:06.47

Gauche1.0.0 !! 早く来てくれーーー!!!

**デフォルトの名無しさん** · 2023/10/06(金) 23:46:32.54

Gaucheの目的が何なのか知らんけど
それが達成されるまで1.0にならんのだろうな

**はちみつ餃子** ◆8X2XSCHEME · 2023/10/07(土) 09:12:48.49

Gauche のバージョンナンバーの予定はここにかいてある。
http://practical-scheme.net/gauche/devinfo-j.html
具体的な基準ではないので(ユーザーの意見を聞きつつ)開発者が納得する完成度になればメジャーバージョンもあがるってことだろ。

**デフォルトの名無しさん** · 2023/10/07(土) 15:21:49.73

「Gauche 1.0」って文字列の違和感がすごい

**デフォルトの名無しさん** · 2023/10/07(土) 23:47:40.08

要望ね。schemeは処理系としては構造が簡単だから適当に作ってもそこそこ良い具合に出来上がるだろうが、
問題はその後で、処理系の方向性を決める必要がある。処理系作るってことは目標が既に設定されている場合もあるが、
他人に使って欲しいのであるなら例えばpythonライブラリ流用できるとか.NETでGUIアプリ簡単に作れますとかwebだとか生成AIで何かいけるとかそんなのだね
俺がGaucheの名前を知りながら長年ほぼ触ったことないのはその辺りが原因だよ

**はちみつ餃子** ◆8X2XSCHEME · 2023/10/08(日) 01:14:49.29

Gauche の目標設定はトップに書かれている。
http://practical-scheme.net/gauche/index-j.html
要するにスクリプト言語として常識的に必用とされる機能を盛り込んで日常業務に使える Scheme 処理系を目指すってことだ。
英語の「日常会話程度」が専門的な会話より難易度が高いなどといわれることもあるように「普通に使える」ってのは何か特徴的な売り文句があるより大変だったりもする。

Gauche は作者自身が業務で使ってるわけだから特化するより万能寄りのデザインなんだろう。

個人的には日本語テキストを不自由なく扱えるのがありがたいね。開発が始まったきっかけも stk で日本語を扱えなかったかららしいし、そこらへんは力が入ってると思う。

**デフォルトの名無しさん** · 2023/10/08(日) 12:59:35.92

schemeを好きで使ってるやつって俺含めて既に自分の処理系は持ってると思うのだが、
自分の欲しい機能を満たせばそれ以上求めないし、その成果を踏み台に次のステップへ階段を上がるだろう
階段を上った末、他人に使わせる場面に出くわす事は良くある事で、その時それはschemeではなくなってた方が良いかもしれない
新人「えーなにこの括弧だらけ…今のトレンド？か、かっこいいですねワラワラワラ(辞めよ…)」
業務で使ったら他人を辞めさせる能力については万能になれるか

**はちみつ餃子** ◆8X2XSCHEME · 2023/10/13(金) 02:28:23.22

Gauche 0.9.13 がリリースされたやで

**デフォルトの名無しさん** · 2023/10/13(金) 12:37:28.90

次のリリースはついに1.0だと>Gauche
お祝いしなきゃ

**はちみつ餃子** ◆8X2XSCHEME · 2023/10/13(金) 15:24:17.01

expecting ってのがどのくらいの確信なのか感覚的にわからないのだけど
一応の既定路線くらいには考えていいんかな？

**デフォルトの名無しさん** · 2023/10/13(金) 19:25:12.51

しらんがな
どうせ本人もここ見てるだろうが質問あるなら直接本人に聞けよ
答え難いだろうが

**はちみつ餃子** ◆8X2XSCHEME · 2024/01/25(木) 17:23:17.38

諸事情で Gauche 0.9.14 が出ることになってリリース候補が来たよ。
https://sourceforge.net/p/gauche/mailman/message/58728292/

**はちみつ餃子** ◆8X2XSCHEME · 2024/02/07(水) 15:30:34.72

Chez Scheme 10.0.0 リリースきた
https://github.com/cisco/ChezScheme/releases/tag/v10.0.0

サポートするアーキテクチャが増えたってのと、
そこにポータブルな仮想マシンも追加されたというのが
かなり大きい変更点らしい。

**デフォルトの名無しさん** · 2024/02/12(月) 11:47:40.17

GuileとGaucheって、VMインタープリタ、Cプログラムとの連携・拡張、オブジェクト指向あり、もともとR5RS。
フリーソフトウエアやライセンスという点以外は、言語・実装の方向性としては似ているように思いました。
Gaucheが、BSDライセンス版Guileのような感じがしたのですが、みなさんどう思いますか？

**デフォルトの名無しさん** · 2024/02/12(月) 21:51:49.83

ガイル？

**デフォルトの名無しさん** · 2024/02/14(水) 00:54:24.29

>>634
まじか？>>1のスレにAAあるから見てこいよ

**デフォルトの名無しさん** · 2024/02/14(水) 01:07:02.25

ガイルがいる

**はちみつ餃子** ◆8X2XSCHEME · 2024/02/15(木) 01:35:34.01

Sagittarius 0.9.11 も来たよ～～～。
https://bitbucket.org/ktakashi/sagittarius-scheme/wiki/Release%20Note%200.9.11

Sagittarius は暗号通信系に強いね。
作者はオランダの銀行システムに関与する技術者だそうなのでその経験が活かされてるんだろう。

**デフォルトの名無しさん** · 2024/04/08(月) 00:42:38.05

【検証】40時間Lispを勉強したら信者になれる？【Lisp1】
https://youtu.be/V2GM9lR-Di0
Lispの勉強をしたら『葬送のフリーレン』と同じカタルシスが待っていた。【Lisp2】
https://youtu.be/JvsSt_ksKiw

**デフォルトの名無しさん** · 2024/04/08(月) 00:43:02.37

面白かったのでｗ

**デフォルトの名無しさん** · 2024/04/08(月) 02:59:37.49

神の言語からschemeを経て生まれたjavascriptは人間にとってはちょうどいいバランスだったわけだな

**デフォルトの名無しさん** · 2024/04/08(月) 19:16:08.79

>>638
めっちゃ面白かったw

**デフォルトの名無しさん** · 2024/04/11(木) 10:36:33.17

それの前にポールグレアムいじり回が3回あって
それで「Lispがそんなにすごいなら」ってことで40時間勉強したというわけだねｗ

**デフォルトの名無しさん** · 2024/04/11(木) 23:22:35.79

ポールグレって本職の人じゃなかったんだな
すごい熱量な感じなのに

**デフォルトの名無しさん** · 2024/04/12(金) 00:31:32.72

MIT卒でLispで儲けたあと、ベンチャーキャピタルになった元本職かな

**デフォルトの名無しさん** · 2024/04/12(金) 11:49:20.24

エッセイストだと思うけどマとしては通販サイトとか作ってたんだっけ
ただ小さな関数やマクロutilが集まったonlisp.lispは準標準関数的な感じで愛用してます

**デフォルトの名無しさん** · 2024/04/12(金) 12:38:02.80

そもそもハッカーであるかにガンガンプロダクト作る的な意味での本職マか否かは関係ないと思うのです
cl&schemeの根幹や文書化のみならずC, Java, Fortran委員まで勤めた皆のSteele先生だって何作ったか寡聞にして知らんくらいだし
最近ではC,AWK,Goのバイブル+作法本で鳴らしたKernighan御大も隠居してエッセイストやってる

言語本+エッセイで良い書き物できるのがハッカーの十分条件だと思うね、pgrahamも余裕で該当

**デフォルトの名無しさん** · 2024/04/12(金) 12:45:09.54

K御大にはUnixという特大のプロダクトが

**デフォルトの名無しさん** · 2024/04/12(金) 13:27:33.28

プリンストンで教授やってるみたい

**デフォルトの名無しさん** · 2024/04/12(金) 14:17:26.15

おれはlispはスゴイ神の言語とかくっさいワナビ主張は大嫌いだけど、lispはハッカー言語という主張には賛同したい

名だたるスーパーハッカーの共通部分を探してみると、それはシンタックス/セマンティクスに対する深い理解、すなわち言語デザイン能力なんだよな
まあlispの専売特許でなくML系やHaskellもそうだけど、つまりDSLの書きやすさね
別に言語内完結に拘らずともlex/yaccでも処理系手書きでもいいが、言語内で完結したいなら好ましい

挙げられてるPaul GrahamやG.L.Steeleのような簡潔で一貫性のある手続きインターフェイスや構文の設計(言語デザインのみならず、むしろ日常の構造化プログラミングにより通ずる)には、それを自然言語に起こしながら深く考え推敲する経験が必須だろう

これがハッカーの必要条件だと思う(>>646の十分条件に対して)

**デフォルトの名無しさん** · 2024/04/12(金) 15:01:50.67

>>648
もう80才超えてるし、教鞭執れてるかは怪しいね…
最近プログラム書いてねえなあ、とかウェブで言ってたし
代わりに最近のエッセイ本はマ/CSというより一般人向けっぽいので食指動かず
Understanding the Digital WorldシリーズとかDefending Yourself in a World of Too Many Numbersとかそんな題の書いてる

ソフトウェア作法、プログラミング書法、プログラミング作法の現場で戦うプログラマーの為の三部作は素晴らしい、言語に縛られない(あえて題材は様々な言語)し、lispにも通ずる普遍的な知恵袋だよ

スレチなのでそろそろこの辺で

**デフォルトの名無しさん** · 2024/04/12(金) 15:05:17.85

>>646
Steele先生はlisperの毛嫌いするC系言語/Algolishな言語も無数にデザインしているという皮肉！

**645** · 2024/04/12(金) 15:53:49.12

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かよってくらいヤバいのが欠点

**デフォルトの名無しさん** · 2024/04/12(金) 23:54:00.88

文章下手糞すぎて読む気も起きない
これって神の言語に慣れすぎて言語障害になった例かよってくらいヤバいのが>>652の欠点

**デフォルトの名無しさん** · 2024/04/13(土) 18:14:03.11

ストールマンがガンになったらしい
長髪も髭も落としてしまって別人みたいになってる

**デフォルトの名無しさん** · 2024/04/13(土) 18:24:37.81

効いてる効いてる

**デフォルトの名無しさん** · 2024/04/13(土) 19:21:54.91

何が？

**デフォルトの名無しさん** · 2024/04/13(土) 22:51:10.37

昔MSの偉い人がGNUはガンだとか言ってたな
ついに自覚させたか

**デフォルトの名無しさん** · 2024/04/13(土) 23:32:28.78

>>655
お前は脳にガンを抱えてるなw

**デフォルトの名無しさん** · 2024/04/14(日) 12:56:54.81

ゆる学徒ハウス別館
現役Lisperが語る！　Lispはオーパーツで人類には早すぎた【電脳史学】
https://youtu.be/tLZ8J9tGVEs

**デフォルトの名無しさん** · 2024/04/14(日) 13:37:09.89

ゆるコンピュータ科学ラジオ
大人の勉強は「夢の中」が主戦場。寝ながらマクロを書くといい【Lisp雑談】
https://youtu.be/Lbt_CCQKWFA

**デフォルトの名無しさん** · 2024/04/14(日) 14:04:02.38

コーシー噴いたｗ

**デフォルトの名無しさん** · 2024/04/14(日) 15:00:30.77

>>660は娯楽コンテンツとしては面白い

でもLispは良いとして集合論を勉強しようとしてるのにはやれやれだな
Haskellで圏論とかAIで代数幾何に夢見たりするのと似てる
結局広く浅くでウンチク欲を満たすに留めて、実践から逃げたいのだろうな
実践は壁だらけだから

**デフォルトの名無しさん** · 2024/04/14(日) 17:27:06.49

Lispとは別に2人で集合論やって
Lispは一冊何か挟んでからPAIP読んでほしい
番組のネタ的に

**デフォルトの名無しさん** · 2024/04/14(日) 21:34:02.26

その人らはLispに大した拘りはないし
今更検索でまともに引っかからない古代のPAIPなんてやる意味を見出せないだろ
AI関連ならTranslatorからChatGPTブレイクに至るまででも話題にしたらいい

**デフォルトの名無しさん** · 2024/04/14(日) 21:56:43.27

そうかなあ、論理プログラミングとか自然言語解析とか右側の人大興奮じゃないの

**デフォルトの名無しさん** · 2024/04/15(月) 01:53:38.60

>>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に載ってるやつ
本を薄くするために徹底的に再帰で書かれてるからまあ性能は察せ()
再帰で分かりやすいコードだから叩き台にもオススメ

**デフォルトの名無しさん** · 2024/04/15(月) 02:00:08.14

あれはsymbolic pattern matchなのでregexと比べるのは良い例出なかったごめん
まあexplodeしてしまえばもうキャラクタベースだ
確かGrahamの>>652にあるシンボルをバラすやつ、まあ3行くらいで書ける小品だけど

explodeってネーミングがクールで覚えてたわ

**デフォルトの名無しさん** · 2024/04/15(月) 02:27:22.10

>>665
そうそう、PCと自分のスキルで実践出来る分野なのに(最低限の真似事すら)やってないのがお察しか
右の人が予めPC音痴だと予防線張ってるのは自走力低めだと自己分析出来てるのかも

まぁ実践(この場合はプログラミング)で玉砕しちゃったら、しょんぼりするか歯切れ悪くて
面白くなくなるタイプだからチャンネル的には今のままで良いのかも

左の人は画面キャプチャしながらライブコーディングするスタイルを何処かで見せないと説得力に乏しい

左右どちらも含蓄なく浅はかに見えてしまうので、その道の専門家をお呼びするスタイルにして欲しい
C#のufcpp的な人が(声とコード画面だけでも)出演したら(最低限の真似事なら)実践する人が増えると思う

**デフォルトの名無しさん** · 2024/04/15(月) 02:48:11.62

>>665,668
うむ、若かりし頃はマルコフやProlog/SQLモドキとかやってた、なるべく決定論的なのが個人的な好み
トレースを分析しても理解の困難なモノは、決して知的探究心を満たしてはくれないのだ

流行りの文章生成もマルコフならトレーサビリティは完全なのが良い

**デフォルトの名無しさん** · 2024/04/15(月) 03:14:20.11

古いAIのバイブルPAIPすら恥ずかしながら未読の身ですが…
lispもデータドリブンなNN系はむしろ苦手とは思わない

NN系がマスメディアでもバズり出した頃にウィキペディア見たら、Pythonのサンプルコードが載ってたので
そのままCPython/Numpyとclで書いてみたら、ベンチはsbclぶっちぎりだったよ
もちろん個々の処理がバックのcライブラリより速いなんて言わない
同レベルのコーダが同ロジックで翻訳すればの話

その差はclの無駄に細かいarray/vectorコンストラクタ引数の設計
具体的にはR/W抑えるビュー相当の:displaced-*と:fill-pointer、配列の動的リサイズ指定の:adjustable引数ね
Numpyのndarrayはこの辺が裏で自動でやるのでコーダの裁量がない

まあNumpyでプラグマ/フラグ駆使してその辺のお節介挙動を切れば普通に負けるかも
あくまで並コーダが素直に書く限りの話

**デフォルトの名無しさん** · 2024/04/15(月) 03:45:37.49

Cバックエンドで配列のviewをサポートしてるなら究極的には言語/処理系ではアルゴリズム瑕疵が無い限り有意な差はないよ
ただし最速言語Fortranを半分程度使うNumpyにも優位性はある
gccはじめ同じILにコンパイルされても配列多様コードでにおいてCより数倍は速い

ただしNumpyは書き方に細心の注意をしないとユーザの預かり知らぬ所で勝手にディープコピーする大きな罠も
そうした不透明性が嫌い

明示できるCLのFortran実装を待ち望む

**デフォルトの名無しさん** · 2024/04/15(月) 03:58:24.79

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

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

**デフォルトの名無しさん** · 2024/04/15(月) 06:50:07.08

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

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

**デフォルトの名無しさん** · 2024/04/15(月) 11:04:34.92

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

**デフォルトの名無しさん** · 2024/04/15(月) 11:32:59.07

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

**デフォルトの名無しさん** · 2024/04/15(月) 11:39:03.37

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

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

**デフォルトの名無しさん** · 2024/04/15(月) 11:50:11.63

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

**デフォルトの名無しさん** · 2024/04/15(月) 11:53:02.96

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

**デフォルトの名無しさん** · 2024/04/15(月) 13:00:49.14

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

**デフォルトの名無しさん** · 2024/04/15(月) 13:15:54.71

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

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

**デフォルトの名無しさん** · 2024/04/15(月) 13:20:30.61

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

**デフォルトの名無しさん** · 2024/04/15(月) 13:42:47.75

痛い人だｗ

**デフォルトの名無しさん** · 2024/04/15(月) 15:03:16.41

痛レス追加w

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

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

**デフォルトの名無しさん** · 2024/04/15(月) 15:11:29.44

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

**デフォルトの名無しさん** · 2024/04/15(月) 17:04:25.48

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

**デフォルトの名無しさん** · 2024/04/15(月) 17:51:51.96

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

**デフォルトの名無しさん** · 2024/04/15(月) 17:53:00.51

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

**デフォルトの名無しさん** · 2024/04/15(月) 19:17:47.96

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

**デフォルトの名無しさん** · 2024/04/16(火) 08:49:18.26

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

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

**デフォルトの名無しさん** · 2024/04/16(火) 11:41:44.03

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

**デフォルトの名無しさん** · 2024/04/16(火) 12:46:54.23

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

**デフォルトの名無しさん** · 2024/04/16(火) 13:18:37.46

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

**デフォルトの名無しさん** · 2024/04/16(火) 13:59:54.08

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

**デフォルトの名無しさん** · 2024/04/16(火) 16:09:54.43

>>693
す、するにゃ汗

**デフォルトの名無しさん** · 2024/04/18(木) 15:57:15.08

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

念の為

**デフォルトの名無しさん** · 2024/04/18(木) 15:59:42.84

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

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

**デフォルトの名無しさん** · 2024/04/18(木) 16:12:02.72

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

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

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

**デフォルトの名無しさん** · 2024/04/24(水) 12:34:02.33

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

**デフォルトの名無しさん** · 2024/04/24(水) 19:33:42.07

お前がやるんだよ

**デフォルトの名無しさん** · 2024/04/29(月) 00:40:58.99

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

**デフォルトの名無しさん** · 2024/04/29(月) 03:32:03.71

(())なーんだ

**デフォルトの名無しさん** · 2024/04/29(月) 20:53:10.33

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