KZ
item
Негізгі бет
Трендинг
Журнал
Ұнаған бейнелер
Ең жақсы KZitem
Фильм және анимация
Автокөліктер мен көлік құралдары
Музыка
Үй жануарлары мен аңдар
Спорт
Ойындар
Комедия
Ойын-сауық
Тәжірибелік нұсқаулар және стиль
Ғылым және технология
Кіру
Тіркелу
Кіру
Тіркелу
Негізгі бет
Трендинг
Журнал
Ұнаған бейнелер
Ең жақсы KZitem
Фильм және анимация
Автокөліктер мен көлік құралдары
Музыка
Үй жануарлары мен аңдар
Спорт
Ойындар
Комедия
Ойын-сауық
Тәжірибелік нұсқаулар және стиль
Ғылым және технология
Негізгі бет
【検証】40時間Lispを勉強したら信者になれる?【Lisp1】
Күн бұрын
【検証】40時間Lispを勉強したら信者になれる?【Lisp1】
Рет қаралды
95,881
ゆるコンピュータ科学ラジオ
1
1
Жүктеу
Пікірлер: 281
@yurucom
6 ай бұрын
【参考文献】 ◯Land of Lisp www.valuebooks.jp/bp/VS0036813874 ◯はじめてのLisp関数型プログラミング www.valuebooks.jp/bp/VS0003745575 ◯◯ポール・グレアム『Lispの起源』有志による日本語訳 masatoi.hateblo.jp/entry/20151210/1449948614 【サポーターコミュニティへの加入はこちらから!】 yurugengo.com/support 【おたよりフォーム】 forms.gle/BLEZpLcdEPmoZTH4A ※皆様からの楽しいおたよりをお待ちしています!
@chaiple
6 ай бұрын
数学寄り:より正確に簡潔に書くことを目的として、厳密性を追求する 工学寄り:人間が扱いやすくなることを目的として、可読性を追求する ということか
@fujimarudesu
6 ай бұрын
そんな気がしますね〜 工学は人間の実用のための学問で例外的ルールが多いのもそっくりだと思いました 数学より理学のほうが表現的に良いのではなんて思ったり
@tenrai3065
6 ай бұрын
熱狂的な信者はね意識してるかは別として沼にはめてくるんです。だから親切だし丁寧だしフレンドリーなんです。
@クアントロ大尉
6 ай бұрын
コメント欄がLispの合理性を力説する人が多くてびっくり! 素晴らしい言語なんですね! 僕はC++勉強するのでここで!それじゃ!
@nysnysnysnys
6 ай бұрын
rustやろうぜ
@しさみさん
6 ай бұрын
明らかにヤバいやつから逃げるムーブ
@2balbore397
5 ай бұрын
笑
@fruitkiwi-dev
6 ай бұрын
他の言語だと 1 + 2 * 3 って書いた時に処理順が実は処理系依存になったりする、もちろん常識的にわかるけど Lispの場合だと (+ 1 (* 2 3)) という記載となり処理順に曖昧さがない そして四則演算の記号も処理系が勝手に処理することがなくなるため関数名等のシンボルにハイフン(-)が使えたりする ハイフン(-) は一番の敵で、引き算だったりマイナス値として扱わないといけなかったりするのでかなり面倒
@魚人サバ
6 ай бұрын
すげぇ!そういうことか! プログラミング言語やったことないが、凄さは分かった!
@0x07d1
19 күн бұрын
アンサイクロペディアのLISPのページめっちゃ好き
@oboro307
6 ай бұрын
+ 3 5は、plus(3 , 5)の省略記法だと考えたら超わかりやすい、というかそもそもPython書いてるときもKotlin書いてるときも頭の中ではずっとそう思ってた
@かなだのたなか
6 ай бұрын
Cとかで演算子オーバーロードをやると、演算子も引数をとるただの関数なんだっていう意識が芽生えたなー
@nthdthdyjsehsnw4ethwbt
6 ай бұрын
それ聞いてて自分も思ったwC#だと自作クラスの四則演算をoperatorのオーバーロードで定義しなおせるし、+ 3 5の方が超自然
@hukihamu
6 ай бұрын
Kotlinだと中置記法を作れる`infix fun`があるのは目鱗だった`3.plus(5)`= `3 plus 5` 人間としてはinfixの形式のほうが読みやすいからなー
@Seiya_laugh
6 ай бұрын
ExcelのSUM関数なんかはまさにその書き方ですね SUM関数の場合、値そのものよりセル番号やセル範囲を引数にすることの方が多いですが
@pomeranodon
6 ай бұрын
指数対数を習うときの難しさの原因は語順だと思ってます - や÷なら前に来てたはずの数が、logや√の後に来るんですよね こんなに演算間で語順が統一されてないのに、なんで理系の人がこれを許せるんだろうとずっと思ってました
@gg_p8879
5 ай бұрын
沼への道は親切でできている
@あまた-i3n
6 ай бұрын
Lispは(というかS式とマクロは)、実用的なプログラミング言語では隠蔽されている本質をダイレクトに見せてくれるので、初心者には一度Lispに触れてほしい(実用しろとは言わない)
@kitassh
6 ай бұрын
別分野から同じ話に近づいていく様がめちゃめちゃおもしろいですね。 真理値の話をして、booleanが通じないところとかおもしろかったです。
@kitassh
6 ай бұрын
トキヒロさんも呼んでほしい😂
@鉄人-x8b
6 ай бұрын
正直、Lispのとっつきづらさは概念の難しさもありますが、Lisperの人たちの「Lispは神の言語」的な冗談なのか本気なのかよくわからないことを言ってる感じのコミュニティの雰囲気が怖くて近づきたくないってのも感じてしまいます
@Chesterjg-yt8ub
6 ай бұрын
水野さんが頑なに、プログラミング言語の事をコンピュータ言語と言おうとするの好きです
@こね-i3g
6 ай бұрын
そろばんの読上算は、最初に「加えて」とか「引いては」とかで演算の種類提示して、その後は「〇円也、〇円也…」で数字を羅列して行くらしいので、Lisp的かつ自然言語的な計算方法ですね。
@ヒトガタ芝刈機
6 ай бұрын
ポールグレアム「Hei! Mr.Horimoto!」 堀元「ちょっとわからないですねぇ」 ポールグレアム「ネビッチ4」
@bombipap2687
6 ай бұрын
Lispのキモは四則演算の表記法がどうこうではなく、コードとデータが同じ構造であるため自然な形で自己言及ができるところにあると思います。
@nanoriKYDO
6 ай бұрын
水野さんが「神が作ったものなら美しいはず」のところで、量子論について「神はサイコロを振らない」と言ったアインシュタインがオーバーラップしました
@純銀-g5x
6 ай бұрын
今日初めてゆる学徒カフェにお邪魔します!
@merida2590
6 ай бұрын
楽しんできてね😊
@kikyo6472
6 ай бұрын
お、いいなあ 行ってらっしゃい
@純銀-g5x
6 ай бұрын
せっかくなので相席でお喋りしました!超楽しかったです!!
@merida2590
6 ай бұрын
楽しまれたようで何よりです👍
@wadoooon
6 ай бұрын
プログラミング言語は機械と人間を橋渡しするための手段なので、人間への優しさを忘れてしまったら本末転倒なんだよなー、とか思いつつ、次回を楽しみにしてます。
@Fnak202
6 ай бұрын
C++ の場合、演算子も [クラスのインスタンス]->[メンバ関数]->[引数] という記法に基づいていて 「3+5」は(概念的にですが)以下の様に解釈されるようです。 ①3 を初期値としたインスタンスの作成 ②そのインスタンスのメンバ関数「+」に引数 5 を渡す ③メンバ関数「+」は、自身に 5 を足した値を戻り値として返す 演算子をオーバーロードしてみると、この概念が分かるようになりますが、ややこしいことには変わりないです。 Z80 アセンブラの「SUB s」(アキュムレータの値から s を引いてアキュムレータに入れる)の命令文に似ていると思えば、分かりやすい?
@ぺさぺさ
6 ай бұрын
言語学とコンピュータ科学の間というとやはり自然言語処理の回を見てみたいです😃
@tsuwaroi
6 ай бұрын
形式意味論:全ては集合か真理値である Lisp:全てはアトムかコンスセルである
@graph23
6 ай бұрын
「3+5」、日本語だと「3と5を足す」で、云わば「3 5 +」だから、日本語には逆ポーランド記法は相性がいいと思う。 (2*(3+5) 、2に 3と5を足したものを掛ける → 2 3 5 + * ) (”逆”の逆で、言ってみれば、正の)ポーランド記法は日本語で考えると(むしろ)”逆”に感じるのかもしれない。
@quux-
6 ай бұрын
「3に5を足す」や「add 3 to 5」が自然言語的であって、3+5のような infix notation が自然言語的というのは感覚的に違和感がありますね。
@graph23
6 ай бұрын
@@quux- 確かに"自然言語的”と言ってしまうのは違和感。なんだろうなぁ…ただ、「3 足す 5」と言い、「3+5」と表記するのにも慣れている自分もいる…、 ”日常的”、”慣れ親しんだ学校算数的” でもある…^^;
@ΚατταΚοσμου
6 ай бұрын
冪乗もpower(2,10)と書いたりしますし、その延長でadd(3,5)があると見れば、表記揺れで+ 3 5があっても自然な気してきますね〜
@reinejy
6 ай бұрын
+3 5 って書き方は確かに一見わかりづらいけど ExcelのSUM関数みたいなもんと思えば入ってきやすいですね
@knu2112
6 ай бұрын
n個の整数を足すぞ、ってときに、 ns=[1,2,3,4]; ns.reduce((x,y)=>x+y, 0) みたいに書いてから、「いやいや + が複数引数取れよ」って思っちゃいますよね(?)
@pico-pong105
6 ай бұрын
Pythonはオランダ人が作った...
@kaz-jn7ro
6 ай бұрын
dijkstraはオランダ人なので、コンピュータサイエンスはオランダ人が作ったと言っても過言
@おれの名は
6 ай бұрын
コンピュータサイエンスは蘭学だったのか
@MINNMINNMI
2 ай бұрын
過言ではあるのか…
@MAS256_konbu
6 ай бұрын
プログラミング言語の形式的意味論入門っていう本があったきがします
@xkkd-zs7oe
6 ай бұрын
Lispの方言の一つである、Schemeの言語仕様書には形式的意味論による定義が載っていたような。
@mudaso-heavy-user
6 ай бұрын
楽しみに待ってました
@tsuyuki007
6 ай бұрын
ぼくも!
@tsicsafjapan9371
6 ай бұрын
たのまち
@鬮Nあ
6 ай бұрын
26:53 数学だと f(x) 、sin x とか最大公約数もgcd(84,32) = 4 みたいにプログラミングの関数っぽい書き方になっていますよ~
@wa-i
6 ай бұрын
Lispはやったことないけど、S式信者だし、逆ポーランド記法信者です Lispもやってみたくなりました
@山田太郎-t3j
6 ай бұрын
S式ってLISP発祥だと思ってたんですけど、LISP以外でS式って出てくるんですか?
@mos399
6 ай бұрын
31:42 「コンピュータは旧約聖書の神に似ている 規則は多く慈悲はない」 ーJoseph Campbellー
@立風tachikaz
6 ай бұрын
8:06 日本も埋め立てをし過ぎたせいで「世界は神が作ったが、日本は日本人が作った」って言われてました
@ukkieMFCelenElf
6 ай бұрын
日本は埋立どころか、河川はほとんど「サイボーグ」状態で、「森林」も「野生動物」もかなりの比率で「家畜化」されてますよね。一番大きいのは、人間の「自己家畜化率」の進展度合いが「最先端」なところ。※個人の感想を念みます。
@hogemaru8869
Ай бұрын
処理→引数の順番であるべきと聞いても尚+3,5は変だろーと思っていたんですが、ExcelでSUM関数が同じ書き方であるにも関わらず、当たり前に使えていることに思い当たりました。はからずもLispの一端に触れていたんですね。
@kanametatsuya
6 ай бұрын
16:34 形式意味論を勉強してる人にLispの話をするものすごく稀有な状態笑
@miner1227
6 ай бұрын
真理値と集合の2つしかない、というのは数学基礎論(公理的集合論)の立場と同じですね。 数学で扱うあらゆるモノは(写像や関係みたいなモノも)集合として構成可能であるという立場です。
@sattoman
6 ай бұрын
日本語は分かち書きをしないので、引数列をスペース区切りで記述するのに違和感を覚えやすいなって思います 中置記法はオブジェクト指向的な書き方だなとも思ったりします:1 + 2 - 3 = (1).add(2).sub(3)
@kazuhisamatsumoto9383
6 ай бұрын
Scala では 1.+(2).+(3) と書けますよ。
@早川眠人
6 ай бұрын
是非Forthを40時間学んで下さい。逆ポーランド記法が如何に自然なのかが分かる。 動詞が最後に来るのは日本人にとって優しいのでは? LISPだと、括弧から閉じ括弧までを切り出して、最初を関数その余を引数とする様に構文解析しなければいけない。 Forthだと、リテラル(数字・文字列)はスタックに積む、名前(ワード)だと関数として実行する。この規則だけでいい。パラメータをスタックからどれだけ使うかはワード(関数)に依存するので、構文解析の感知するところでない。
@reinejy
6 ай бұрын
確かに逆ポーランド記法は日本語に直すと理解しやすいと学んだなぁ 3 4 + で3と4を足すと言う日本語文法になるみたいな
@essauouo5251
6 ай бұрын
FORTHを触るとカッコの有り難みを感じますね。 自動でインデントをつければ良いのかも知れないけど
@genj2557
6 ай бұрын
@@essauouo5251 FORTH を学ぶとカッコが要らない有り難さを感じますw (馴染みのない方のために:カッコはコメントで、主にスタック操作の仕様を書くために使われます)
@wooden-nut27
6 ай бұрын
去年HSP3という言語のプログラムコンテストで、文字列で四則演算をするモジュールを作ったのですが、関数型言語もLispも全く知らない状態で作ったのがadd(p1,p2)のような記述でした。 四則演算も比較も関数で全て定義しましたが、何も知らない身ながら結局内部的な作りやすさも使い勝手も関数が最強なのだと思いました。
@ZooM200805
6 ай бұрын
昔はアセンブリ言語でプログラムを作ってたことを考えれば、プログラミング言語が自然言語寄りになっているのは当然ですね。人間が理解しやすいものを目指して作られたのが今のプログラミング言語ですから。生成AIにコードを書かせるというのはその究極の到達点かもしれません。 Lispはその流れの外というか、アセンブリ言語の記法を受け継いだような感じ・・・?
@5_ha5i3
6 ай бұрын
8:50 実際にPythonはオランダ人が作ってますね
@ken_to_delicat
6 ай бұрын
1:50 実態を反映しない例えはこの番組のお家芸なので歓迎です❗️
@sabak7390
6 ай бұрын
Booleanの訳は真偽値でもいいと思うけど、教科書的には真理値かと思います。 真理値表とはいうけど、真偽値表とはあまり言わない。
@totto2727
6 ай бұрын
演算子というルール自体特殊、というのはHaskellなどからも読み取れますねー 関数にカッコつけると演算子にできる、逆に演算子にカッコつけると関数にできたり
@ぼふぃ
6 ай бұрын
Haskellなら関数名をバッククォートで囲めば中置記法として使えるから過激派も安心
@chimieal3757
6 ай бұрын
4:56 「潜入して見ないと...」プログラミング言語は大丈夫ですが、宗教ではやらないでください。島田裕巳先生の二の舞になります。
@diegof4083
6 ай бұрын
3 + 5は自分のメンタルモデルでは、+関数の引数が中置されてるのではなく、3のメソッドaddに引数5を渡すことの特殊な書き方なんだなと気づきました
@Ayato-s2r
5 ай бұрын
ML系言語を触るとまた違う感想がでてきそう
@ba-el2wl
6 ай бұрын
あからさまな信者なのに信仰をはぐらかそうとするのコントのフォーマットとして優秀すぎる
@ysdytk
6 ай бұрын
17:15 「処理を返す」から、高階関数の話が始まると思っちゃいました。まだでしたね。 でもLispの話ならば避けて通れないと思いますので、次回以降が楽しみです。
@シルバ-v4o
6 ай бұрын
Lisp初学者はまずevalを作るのあるあるですね 言語設計がシンプルだからできること
@zudah228
6 ай бұрын
そうなんだよ! int や String とかは、演算子を「わざわざ用意」してくれてるんだよ!!! 俺もLispやったほうがいいのか…?
@ologn8939
6 ай бұрын
真偽値より真理値の方が情報系だけどなれてるな 論理回路とか
@haine102
6 ай бұрын
相変わらず、米欄が本体
@術中hack
6 ай бұрын
関数と引数は、動詞と目的語でいいんじゃないかな
@256yayo
6 ай бұрын
nim言語というプログラミング言語では UFCS( f(a, b) と a.f(b) を同じ意味を持つ別表記とする ) があったり `+`(1, 2) と 1 + 2 を同一視することができたり など 論理的な美しさ と 利便性 をうまく両立させているなと感じます。
@paalon3303
4 ай бұрын
前置記法も中置記法もそれぞれのメリットがあるので両方使えるのが一番人間寄りですよね。Nim は流行りそうなのに流行ってなくて残念です。😅
@iotatoi
6 ай бұрын
演算子オーバーロードできる言語は"5+3"の5をオブジェクトとして 5.plus(3) とメソッドチェーンぽく解釈されている印象です
@masahase0117
6 ай бұрын
本筋には全く関係ないくらい非常に細かいこと言うと、C言語のforで()の後に来るのは文であって、{}がよく来るのは複数の文を単一の文と同じ扱いにする複文を表す記号だからってだけ。forで繰り返す内容が単一の文で表せるなら{}は要らない。
@hipopo_tamagawa
6 ай бұрын
集合と真偽値だけとかそんなわけ、とか思ったけど、よくよく考えると大抵のプログラミング言語の「型」もそうなっているように思えた。 「整数」っていう集合の中に 0 とか 1 とか 2 とか 256 っていうのがあって、「文字」っていう集合の中に 'a' とか 'Z' とか 'あ' がある、みたいな。 ユーザー定義する型やクラスも複数の要素からなる集合なわけだし。 形式意味論面白そう。
@spike2.tracker
6 ай бұрын
急に2人の分野がシナジーし始めてコレを聴きたかったんよって粋に入りましたね。 でも「ブーリアン」「へぇ~」はちゃんと拾ってよとも思ったw
@白梅みさと
6 ай бұрын
31:23 理科のテストで「三 容女 某」に見えて☓になった子いた。手書きスペース難しい問題漢字編。
@霊夢儲
6 ай бұрын
文字を 横→木黄 みたいに横倍角相当に書く友人がいた。同類だ。
@gnwf47
6 ай бұрын
溶媒をそんな書き方するの?と思ったけど、確かに部首と旁の間と文字間のバランス感覚が弱い人もいるんでしょうね。でも、不正解にした先生は厳しいなぁ
@nobuoimamoto4185
6 ай бұрын
アセンブラは、操作(ニーモニック;関数とか機能に相当)の次にレジスタ(パラメータ)や番地(ジャンプ先ラベル)の順番で統一ですよね。例えば ADD X Y 戻り値(ALUの結果)の格納レジスタが固定で特殊だけど。
@magical_hippopotamus
6 ай бұрын
Lispは未経験なのですが、昔読んだアルゴリズムとデータ構造の本で扱っていたSchemeならそこそこ触っていました。 シンプルでいいですよね。 今時の言語でコードを書いているとき、たまにもどかしくなるときあります(笑)
@equi_nokusu
6 ай бұрын
lispはvso語順と言うと水野さんにはわかりやすいかと
@TANAKA_YASUHIRO
6 ай бұрын
33:01 あれ?中盤で「Lisp以外は自然言語的」って言ってたのに「Lispは自然言語」って逆のこと言ってますね😮
@アイスクリーム-p6k
6 ай бұрын
処理は入力と出力に還元できるということに自力で気づくのに、学部で4年、社会人になってから2年プログラムを書いてようやく気づきました
@Anliy-i1n
6 ай бұрын
むしろ 小学校の足し算をLISPに合わせて + 3 5 と表記すべき。
@Anliy-i1n
6 ай бұрын
(過言である)
@highjumptaka
6 ай бұрын
数学の数式の記述ルールが「数学的」ではなくて「工学的」というのがおもしろいですね。 数学の数式がポーランド記法なら、演算子の優先順位は不要で、括弧による優先順位の切り替えも不要になってルールがすっきりしますね。(括弧が増えて読みにくくはなりますが) オブジェクト指向言語で組み込み演算子のオーバーロードを知った時、数学の演算子と関数の呼び出しルールの違いが美しくないなぁと思っていました。
@shachah_svaahaa
6 ай бұрын
ゆる言語学ラジオの形式意味論シリーズ待ってます! (あるいは言語哲学シリーズでも可)
@人生パラドックス
6 ай бұрын
概念も、オブジェクトだよ。 今この世の中は、オブジェクトだらけ。
@kazuhisamatsumoto9383
6 ай бұрын
足し算の‘+’は二項演算なので、引数は2であるべき思います。(+ 1 2 3)ではなくて(+ (+ 1 2) 3)とあるべきではありませんか?別の言語では(+) 1 2 3はエラーになり、(+) ((+) 1 2) 3 は計算するというものも有ります。Lispの構文が悪いという意味ではなくて(+ 1 2 3)に対する水野さんの質問に肯定した直後に小学校で習った’+’を例に出した説明と食い違っている気がして違和感を感じました。とはいえ今回も面白く拝見させて頂きました。
@yakushima1
3 ай бұрын
Lispでの「+」は演算子でありません。単なる関数名ですよ。(関数を持ったアトム) つまり、二項とかは関係ありません。
@kazuhisamatsumoto9383
3 ай бұрын
@@yakushima1 リプライありがとうございます。やっと突っ込みが入りましたね。Lisp の + は haskell の foldl1 (+) と等価と認識していますが、動画中に学校で習う足し算と比較した上で、関数としての挙動を肯定されていたので、混乱を避けるためにもう一言説明が有った方が良いなと思ってのコメントでした。 先日、ゆる学徒ハウス別館に「プログラミングの穢れ」という動画が配信され、とても共感が持てる内容で楽しめましたのでお勧めです。同チャネルで Lisp 関連を取り上げたものの 3 回目に当たるものだと思います。
@toby-ou4fe
6 ай бұрын
次回も目玉を増やして楽しみにしています
@霊夢儲
6 ай бұрын
22:15 ま さ か の て ん か い !!
@qohelet9091
6 ай бұрын
思わぬご馳走を与えられて喜ぶ水野さんと戸惑う堀元さんww
@yuichinishiyama3338
6 ай бұрын
ゆる言語ラジオのどこかの回で言っていた 飲み会で監修者の先生にプログラミング言語について問われて困った話に繋がるような気がして 次回期待してます
@pureflower292
6 ай бұрын
水野さんすごい… 形式的意味論はプログラミング言語にも密接に関わってきますよね 僕はよくわからないですが
@pureflower292
6 ай бұрын
文法が少ないということは、scheme寄りですかね
@kkaratei
Ай бұрын
ポーランド記法は自然言語(動詞+目的語)。逆ポーランド記法はスタックマシン。1+2=は算盤。算盤は最初に置いた数に次の数を作用させる。電卓の場合は逆ポーランドが論理的に最適。ポーランドは関数fxで統一。どれにも合理性は有る。
@Ethereal-Wind
6 ай бұрын
逆・逆ポーランド法のことを正ポーランド法っていう派閥もあるんですね!
@たき-u2w
6 ай бұрын
この文脈で読むと逆に先頭に書くはずの関数を2番目に持ってくるのがUFCSですね
@sirius8203
6 ай бұрын
Lispの「+ 3 5」は,関数や引数のくだりも含めてExcelの「=sum(3,5)」に通ずるものを感じた.
@shachah_svaahaa
6 ай бұрын
22:00 過去の嶋村先生と福田先生のゲスト回でも嶋村先生がいってましたよね。
@ゆーり-f9c
4 ай бұрын
集合の全体は集合として扱えない(ことくらいお二人はご存じの可能性高そう)けど本大丈夫そうっすか
@c-yan8096
5 ай бұрын
Forth を少しかじってもらって感想を聞きたいですね. Forth は 3 5 + です
@sutekiiyou
6 ай бұрын
「Lisp信者の方?」「まだ分からない」 答えをむりやりねじ伏せてて吹く
@tambaren
6 ай бұрын
27:00 数学にも演算子→引数をとるもの多くありますね 三角関数 対数関数 exp ライプニッツ記法の微分 一般的な関数f(x)とかの記法も それらも内側から処理していく(右から処理していく)のも LISPに似ています
@stackam786
5 ай бұрын
32:57 「Lispは自然言語的」って言ってますけど、「Lispは数学的」もしくは「Lispは非自然言語的」では?
@TarisukeAriki
5 ай бұрын
Land on Lispが参考文献の最初にあげられているので、このLISPはCOMMONLISPですかね。Schemeなら分かった気になるのに40時間も必要ないような気もしなくもなくもない。
@あまた-i3n
6 ай бұрын
「Lispすげー!」って言ってる初学者を見ると、「俺にもあんな頃があったな〜」と生暖かい気持ちになります
@rabutlilriddle1904
6 ай бұрын
11:21 「3 + 5 + 8」 が「+(3 5 8)」になるのですか?「+(3 +(5 8))」等ではなく? それは数学的にはどのように定義(解釈)されるのだろう・・・? 後者なら例えば「+:R2 -> R; +(x y):=x+y」みたいな感じだと思うのですが、 前者(引数の数(次元)が任意)だと、数学的には、めんどくさい(きれいじゃない)定義になりそう。。。 まあ、見た目の問題だけといえばそうなのですが。
@user-nn7nh1jl2c
6 ай бұрын
lispわかんないですが+という記号がsum関数として解釈されてるかも それなら+ 3 5の場合の処理も変わらないので拡張として便利かと
@rabutlilriddle1904
5 ай бұрын
@user-nn7nh1jl2c そうですね。便利さ、という観点ではその通りだと思います。 ただ、数学的な美しさ、と言われるとどうか、という話ですね。 ざっとは以下のような定義になるかと思うのですが (+だと見にくいのでfにしています)、 突然出てくるnとか気持ち悪くないですかね…? for ∀n ∈ N f:R^n -> R: f(r1,r2,...,rn) := r1 + r2 + ... + rn まあ、他にも書き方はいろいろあるとは思うのですが。
@marknvr
6 ай бұрын
Resoniteっていうメタバースが敷居高そうと思われがちでユーザー少もないけど 中にいる人は熱狂的なユーザーが多くて、初心者さんとかがくるとみんなが手取り足取り教えてくれる感じがLispに似てると思った
@masuo64
6 ай бұрын
少数のファンコミュティ―はどこもそうなんでしょうね。 人工言語アルカみたいになることだけは避けたい。
@jolnon
6 ай бұрын
なるほど、ということは次のゆるコンピュータ科学ラジオでは形式意味論をやるってことかw
@ba-el2wl
6 ай бұрын
13:23音韻論の音韻規則と制約の話を思い出した あれも最少まで突き詰めると宗教化しそう
@tsicsafjapan9371
6 ай бұрын
次回は生成AI堀元が信仰を告白する回ですね!
@NGC6514
6 ай бұрын
小学校では「3に5をたす」で逆ポーランド記法
@tsuwaroi
6 ай бұрын
Lispも有理数や複素数では中置記法を採用してるのだから、あまり中置記法をクサしすぎないほうが良いのでは
@yakushima1
3 ай бұрын
そういう意味では、CommonLispってかなり汚いですよね。実用的にして結果ってのは理解してるし、嫌いでもないけど。
@vonneumann6161
6 ай бұрын
26:53 大学の厳密な数学では定義の部分ではLispと同じ書き方がされますよ 例えば、足し算の定義の部分で、 (x,y) を引数として、z を返す関数を考えて、それの略記として z = x + y と書く みたいな感じです この動画でいう自然言語的な書き方はあくまでも略記という扱いです
@KimioKASHIWAZAKI
11 күн бұрын
状態遷移がシンプルで構文解釈機が作りやすい。これって自然言語に当てはめるとどうなるのかな。たとえば冠詞は解釈を助けている?
@yuukostar3129
6 ай бұрын
面白いですね~ Lispってスタックと相性がいいような気がします。
@kumasan1969
2 күн бұрын
3+ 5 + 8 はポーランド記法だと + 3 + 5 8 (こっちが素直?) + + 3 5 8 + 演算子がふたつスタックに入ってこないと2回加算が走らない。 これも学校の課題で実装させられた。
@舘津手斗
6 ай бұрын
めっちゃ待ってた
@ba-el2wl
6 ай бұрын
ルールを最小化したいなら四則演算記号を使ったポーランド記法なんか廃止して関数だけにしろってマックのJKが言ってた
@matsuri66
6 ай бұрын
ちょっと神回みがあります
Пікірлер: 281