Lispの勉強をしたら『葬送のフリーレン』と同じカタルシスが待っていた。【Lisp2】

Рет қаралды 70,414

Күн бұрын

「Lisp」シリーズの第2回。「小カッコに隠された美しい統一理論とは？」「世にも珍しいLisp母語話者が生まれた」「Lispを通して見る自然言語」など、Lispが持つ統一理論の美しさについて話しました。
【目次】
0:00 このプログラミング言語がすごい！
0:43 統一理論こそが美しい
12:50 Lispの統一理論「リストを作る」
28:34 Lispを通して見る自然言語
41:45 検証結果：Lispが大好きになる
【参考文献】
◯Land of Lisp
www.valuebooks.jp/bp/VS003681...
◯はじめてのLisp関数型プログラミング
www.valuebooks.jp/bp/VS000374...
◯葉桜の季節に君を想うということ
amzn.to/43Krv64
◯葬送のフリーレン（1）
amzn.to/43JqjA1
◯括弧への異常な愛情または私は如何にして心配するのを止めてCommon Lispを愛するようになったか
www.slideshare.net/m2ym/commo...
※「Lispは手段ではなく目的」という主張はここから。
【サポーターコミュニティへの加入はこちらから！】
yurugengo.com/support
【親チャンネル：ゆる言語学ラジオ】
/ @yurugengo
【実店舗プロジェクト：ゆる学徒カフェ】
/ @yurugakuto
【おたよりフォーム】
forms.gle/BLEZpLcdEPmoZTH4A
※皆様からの楽しいおたよりをお待ちしています！
【お仕事依頼はこちら！】
info@pedantic.jp
【堀元見プロフィール】
慶應義塾大学理工学部卒。専門は情報工学。WEBにコンテンツを作り散らかすことで生計を立てている。現在の主な収入源は「アカデミックに人の悪口を書くnote有料マガジン」。
Twitter→ / kenhori2
noteマガジン→note.com/kenhori2/m/m125fc452...
個人KZbin→ / @kenhorimoto
【水野太貴プロフィール】
名古屋大学文学部卒。専門は言語学。
某大手出版社で編集者として勤務。言語学の知識が本業に活きてるかと思いきや、そうでもない。
Twitter→ / yuru_mizuno
【姉妹チャンネル】
◯ゆる音楽学ラジオ( / @yuruongaku )
◯ゆる民俗学ラジオ ( / @yuruminzoku )
◯ゆる天文学ラジオ ( / @yurutenmon )
◯ゆる書道学ラジオ ( / @yurushodo )
◯ゆる生態学ラジオ ( / @yuruseitai )
◯ゆる哲学ラジオ ( / @yurutetsugaku )
#Lisp #ゆるコンピュータ科学_Lisp

Пікірлер: 324

@yurucom 3 ай бұрын

【参考文献】 ◯Land of Lisp www.valuebooks.jp/bp/VS0036813874 ◯はじめてのLisp関数型プログラミング www.valuebooks.jp/bp/VS0003745575 ◯葉桜の季節に君を想うということ amzn.to/43Krv64 ◯葬送のフリーレン（1） amzn.to/43JqjA1 ◯括弧への異常な愛情または私は如何にして心配するのを止めてCommon Lispを愛するようになったか www.slideshare.net/m2ym/common-lisp-9838434 ※「Lispは手段ではなく目的」という主張はここから。【サポーターコミュニティへの加入はこちらから！】 yurugengo.com/support 【おたよりフォーム】 forms.gle/BLEZpLcdEPmoZTH4A ※皆様からの楽しいおたよりをお待ちしています！

@sion3697 3 ай бұрын

「そうそう」のホリーケン

@flowerflower1154 3 ай бұрын

これすき

@HitYoutube 3 ай бұрын

「私は1000年以上Lispを勉強してきたLisperだ！」

@ebangelist2 3 ай бұрын

茄子、茶化せ。

@立風tachikaz 3 ай бұрын

@@ebangelist2ミズノ、コッカ増やせ

@Plasma_Cluster 3 ай бұрын

「…人間のあごは短いってわかっていたのに、なんでもっと茶化そうと思わなかったんだろう…」

@h.n.7422 3 ай бұрын

4:38 親切な処理系「おかしいじょ。カッコが足りてないじょ。」

@HitYoutube 3 ай бұрын

「堀元！IDE環境を使うのじゃ！」　byジェダイ

@Summer_Kun 3 ай бұрын

幼少期水野や。やはりLispを聴いて育っていたのか。

@user-wh3vg8wy2e 3 ай бұрын

サムネの威力が神っぽいなに次ぐ破壊力

@Uzmk_6g 3 ай бұрын

ニコニコ動画に投稿したら「サムネバイバイ」のタグが付きそう

@user-gc7gf9ql5p 3 ай бұрын

（楽しみに（た（ます（いる（待つ（私　この番組））））））

@nobreads_456 24 күн бұрын

(was (i (forward (look (ing (this radio)))))) (think (i (wrong (this letters)))) (learn (ed (do (not (i (Lisp))))))

@melemele5555 3 ай бұрын

40:28 「認知機能」に引きずられて「にんちき」って言っちゃうホリーレン氏かわいい

@mudaso-heavy-user 3 ай бұрын

楽しみに待ってましたじょ

@Pepe-dn4od 3 ай бұрын

奇遇ですね、僕もです。じょ🍢

@popeyeolive-vj1qg 3 ай бұрын

太貴少年おるやん

@tsicsafjapan9371 3 ай бұрын

たにょまち

@user-kx8ez5uf4v 3 ай бұрын

あれ、おかしいじょ。髪がないじょ。

@tsuyuki007 3 ай бұрын

ぼくもだじょ！

@kaz-jn7ro 3 ай бұрын

楽しみにしていたLisp回、ブラウザ更新したら面長のホリーレンが飛び込んできてやられた

@gorigorigorillaletitgo 3 ай бұрын

サムネ見て、俗に言う汚い系のMADかなと思って避けようとしたけど、リスプって見えたら正気に戻ってゆるコンだと理解できたので、リスプってやっぱ凄いなと思った。

@230Zec_gnhsafe 3 ай бұрын

例のアレ扱いされるゆるコン…

@masuo64 3 ай бұрын

あぁ？ホイホイチャーハン？

@yuutyuubu 3 ай бұрын

22:11

@dbdarkness3447 3 ай бұрын

大陸中の魔法使いがこぞってLispを研究した。今では関数型言語と呼ばれているよ

@schnya336 3 ай бұрын

「基本ルールは少なくして、単語にルールを持たせる」って、トレーディングカードゲームのようにも聞こえた

@metmen48 3 ай бұрын

？？？「土地は山です😊」(断言)

@user-db8lt9rs9q 3 ай бұрын

「カードが違います」は正しい主張だった？

@necessitywastedthoughts7338 3 ай бұрын

原初のTCG、マジック・ザ・ギャザリングのルールの黄金律の一つ「カードはルールに勝つ」ですね！

@user-od3uo5zh1k 3 ай бұрын

雑コラに見えて意外と調整してそうなサムネ面白すぎる

@user-vu2mh3dl3n 3 ай бұрын

Lisp神話によって(確固たる国家)が生まれた

@yee5320 3 ай бұрын

上手すぎて草

@huRi_sUn 3 ай бұрын

強すぎるサムネに吸われるように、いつの間にか動画を開いていた

@mm-oc5rf 3 ай бұрын

ゆるコンピュータ科学たまに普通にサムネがきもい回があるのも好きポイント

@shuusaku765 3 ай бұрын

「英語はどんどんLispに寄っている？」って聞いた時、中国語母語話者の私はそう思い浮かべました。「中国語の語順は重要ですが、ほかの文法（英語、日本語のような名詞変化、動詞）も少ないし、「名詞」を「動詞」として捉えるまさに必殺技の「轉品」も使うこともができます。中国語の意味を伝える効率も高いですし...」そう考えると中国語、特に文言は英語よりLispに近い言語かも🤔

@3atks 3 ай бұрын

個人的に、漢文は語順で決まる。文脈でわかる名詞は省略してよい。という超高認知付加言語だと認識しています。動詞の場所にあれば名詞だろうが動詞、助詞の場所にあれば名詞だろうが助詞(「耳」はその発音から「のみ」の意味)扱いのかなりLisperな言語かと。近代では形容節を明示する「的」とか、時勢(アスペクトのほうかも)を表す「了」を使うなど、Lisp離れも起きているとか。聞きかじりなので詳しい人いたら教えて下さい。

@gakuton3803 3 ай бұрын

この番組がいつか「ガチLispラジオ」にならんことを

@doridoriization 3 ай бұрын

隠れLisper水野、隠れチョムスキアン堀元が大きな山の両側からそれぞれが穴を掘り進め、無事に開通し出会えたかのような動画(堀元氏視点)

@yy9596 3 ай бұрын

サムネでしばきたくなったのは初めてです。

@absant2913 3 ай бұрын

これみて、Lispいいなって思ったHaskellerです。関数型同士でもずいぶん思想が違うなぁ

@Summer_Kun 3 ай бұрын

ホリラ「私は10年以上プログラミングをやってきた大プログラマーだ」グレーアム「お前の前にいるのは30年以上Lispを書いてきたLisperだ」ズンﾝ゛ｷ゛ﾓ゛ﾁ゛ｨ゛ｨ゛ｨ゛

@hirattip 3 ай бұрын

カッコに関する語彙が発達してるってとこめっちゃおもろいな

@heiya3 3 ай бұрын

サムネで笑顔にする魔法

@junji9782 3 ай бұрын

Lisp使いが人間を理解する番組である

@melemele5555 3 ай бұрын

36:52 これだとloveの引数に長さが2でないリストが入った場合の意味づけが曖昧になってしまうので、loveを主語と目的語の2引数をとる関数とした(love John Mary)で良い気がします。

@Mr-Naganegi 28 күн бұрын

家族愛とかなら love(家族構成員リスト) が使えるってことですか？（※私はLojbanに思考が引きずられています）

@phono2 3 ай бұрын

sicpでプログラムをおぼえたおじさんは若者がlispを語るのを楽しく聞かせてもらいました。久しぶりに倉庫からlispの本を引っ張り出してきました。やっぱりlispは良い。

@taturou 3 ай бұрын

同じくです（私は日本語版第二版から入ったゆとり世代ですが）。最近はSICPの教科書がpythonになったと聞きましたが、lisp(scheme)無しでどうやってあの真髄を伝えるんだろ？と思ってます。

@ysdytk 3 ай бұрын

魔術本、懐かしいです👍

@necessitywastedthoughts7338 3 ай бұрын

言語学とコンピュータ科学　お二方のそれぞれ好きな分野を喋ってただけなのに、たびたび合流地点が出現するの大好きです

@jelly-fish-dead 3 ай бұрын

嶋村先生の生成文法回めちゃくちゃ頑張って聴いたから、今回の話は本当に気持ちよかった。興奮した。

@taturou 3 ай бұрын

隠れLisperとしては水野さんが「束縛」と発したときにキター！となったです。そして、統一原理原理主義の堀元さんはschemeに入門すると良いです。

@user-zd6pk3fc5q 3 ай бұрын

LISP回待ってました！ありがとうございます

@nsushiyama 3 ай бұрын

なんだこれは、たまげたなぁ・・・

@agu11000 3 ай бұрын

Lispにすごい興味が湧いてきたものの、1番最初に本格的に学ぶプログラム言語がLispでいいのか？という思いもある

@gnwf47 3 ай бұрын

普段はポッドキャスト勢のため「（葬送の）フリーレンと…」を「フリーレント」と聴き間違えて、フリーハゲという堀元さんが葬りたいかもしれないコンテンツを想起

@user-oc6yd4vy6z 3 ай бұрын

タイトルと言えば「推しの子」なのよ

@user-ce5iy3xu3c 3 ай бұрын

サムネ強いww

@ucchaso 3 ай бұрын

2回でも十分にカタルシス感じました。コード書いていて、微妙に感じていた違和感を言語化してくれて、回収された感覚。

@flat1701 3 ай бұрын

トレードオフのくだりで、新城カズマ(作家・架空言語設計家)の小説の中で「ルールが極端に少ない言語では様々単語が長大化する」のような記述があったのを思い出した(細部はあいまい)

@user-hf9yo2ly2t 3 ай бұрын

CPU の、「CISC vs RISC」みたいな。

@kanametatsuya 2 ай бұрын

この動画きっかけでフリーレンみたんだけど、とんでもなく面白くてびっくりした出会わせてくれてありがとう、ホリーケン

@user-te6kw7zn7w 3 ай бұрын

相撲取りが食べ物のことをちゃんこと呼ぶんではなくて、相撲取りの食べ物のことをちゃんこと呼ぶんですよね

@sabak7390 3 ай бұрын

人間のために導入されているプログラミング文法で一番有名なのは、 C言語ではarray[i]は*(array+i)のシンタックスシュガーだということかな？ルール数を最小化するなら全部ポインタ記法に統一すればいいわけですね。クリシェだと思いますが、*(array+i)と*(i+array)は同値なので、 array[i]はi[array]とも書けますね。

@kaz-jn7ro 3 ай бұрын

Lispのコード自体もリストだから、List ProcessorであるLispでLispを作るというのは極めて自然な発想で実際情報系だと学部でLisp on Lisp作りますね (最近はSICPが廃れたのでLisp自体やらないかもしれませんが)

@akinaka7543 3 ай бұрын

16:24 たしかLispの「リスト」って「順番」も含んでた気がする。そゆ意味で水野さんの「語順」が要るという意見は凄く正鵠を射ていて、そしてそれは実現済みだ、ということなんだろうなあ。(そいや他の言語でもリストと呼ぶものは順番つきであることが多い気がする)

@daisuke1761 3 ай бұрын

言語学、特に統語論と意味論を大学で学んで、その後プログラミング言語を趣味で勉強し始めたときに、めちゃくちゃ物分かりがよかったのも、私が隠れLisperだったからなんですね。それにしても私の予想通り、水野さんがプログラミング言語と親和性良いの見てて笑いました笑

@user-nc6gi2it6j 3 ай бұрын

先日初めてゆる学徒カフェに行った時に、堀元さんに「プログラマーの弟が三上文法に興味を持っていた」と話しましたが、この動画で「プログラムと言語学は親和性がある」という独自仮説に根拠を得た気がしました。

@gensho7120 3 ай бұрын

時間と空間のトレードオフ・・・黄昏世代の私には最高の学びだった。ゆるコンピュータ科学ラジオとゆる言語学ラジオの壮大な伏線回収が成立した回ですね。

@Sho-yu2424 3 ай бұрын

神っぽいな以来の衝撃的な雑コラコスプレサムネｗ逆に癖になってきたな…

@kanametatsuya 3 ай бұрын

今回すごい面白かったなー！お二人の興味が重なって、めっちゃ盛り上がってた生成文法とも繋がってくるのカタルシスすぎたそれはそうとして、サムネふざけすぎ笑

@f17500bin 3 ай бұрын

いつか話していた、「科学者は神を信じ始める」につながりそう

@user-uz5km9rl3z 2 ай бұрын

エディタが括弧の対応とかインデントを全部自動で処理してくれるやつを親切な誰かがブログとかで紹介してくれてそう

@paalon3303 Ай бұрын

Vim でも VS Code でもありますよ

@user-xb3oi5jo4x 3 ай бұрын

サムネの破壊力強すぎて思わず開いちゃった笑

@user-fc7im2eu6o 3 ай бұрын

癖強すぎいい😅

@mm-oc5rf 3 ай бұрын

Lisp回おもしろすぎてLispやりたくなってきたのミーハーすぎて悔しい！オフイベントでLisp入門講座やってくれーーー

@Jun_Ts 3 ай бұрын

I thinkをなおすくだりで、受験生の時の英語読解を思い出しました難解な英文を和訳するためにバラバラにして並べ直していました

@user-zn9yk3qv2g 3 ай бұрын

面長だから頭身バグっとるやん

@Basic_Income 3 ай бұрын

サムネ雑コラすぎて笑った

@hydadesign2490 3 ай бұрын

伝聞形式の会話だと、かっこの中身を声色を変えてわかりやすくしたりしますね。あと、漢字おぽえるのがペナルティしかないと思っていた時期もあったけど、漢字のほうが認識速度は段違いで早いからトレードオフですね。

@user-bm8jz1dc5l 3 ай бұрын

Lispが手段ではなくて目的って、わかるーーー(^^) 楽しいですもん！

@saketaro4246 3 ай бұрын

昼から中華料理店で呑みながら聞いてたら、フリーレンのEDながれてきた。これも運命　12時53分

@masatoi0 3 ай бұрын

Lispのコードは機械にとって扱いやすい形なので、コード変換で構文を拡張できるだけじゃなくて、エディタのサポートも受けやすいんですよね。だからオートインデントの形だけを見ていて括弧の対応とかは見なくなるし、括弧単位での編集操作ができるから書くのも楽になってきます。逆にエディタがないと読めないし書けない・・・

@SS-by3nb 3 ай бұрын

サムネの吸引力がすごい

@user-bv4py7uf5s 3 ай бұрын

30:20 日本語もひらがなで基本的には記述できるけど漢字を含まない100文字と漢字入り100文字なら認知負荷もかなり違いそう

@motosuranjin 3 ай бұрын

こうした関数型を見ると、カプセル化が如何に強力かが再確認できる。Lispはとても面白そうだけれど、自分にはまだ早そうだ。

@user-bi1yi6wv9u 3 ай бұрын

22:10　急に鉄さん出てきてｳﾞｫｰﾃﾂｻｰﾝになった

@user-kc9fc7sy9x 3 ай бұрын

キモいMADあるなぁ思ったらゆるコンだった

@tama5353 3 ай бұрын

ポールグレアムが何者か全くわからないままこの人の本を読んでいた勢力なのでLISP回はとても好き

@user-bv9yy2yr9p 3 ай бұрын

最近素数を暗記するために、10以上の素数は一の位に1379しか要素を持たないから16進数に置き直して30:A=(1010)=31,37みたいに圧縮できるな〜って思ったけど解凍がめんどくさくて時間と空間のトレードオフを感じた

@dnnb-st Ай бұрын

これってつまりどういうことですか？ 31,37という素数を覚えるために30:Aというコードを覚えると言った発想ですか？変換方法がよくわからないです。

@user-bv9yy2yr9p Ай бұрын

@@dnnb-st 10nに対してそれぞれ、1379の存在するか否かを16進数に割り振れるという感じです素数を最初から列挙する場合は20の次に30が来るのは当然なので30:Aなどとしなくても、F5AE....と列挙していけばせいぜいn桁の16進数で10nまでの素数が覚えられます

@dnnb-st Ай бұрын

@@user-bv9yy2yr9p長い質問の返信を書いてる途中で文章の意味が分かりました。 10nに対して1,3,7,9と4ビットを対応させ、素数がある部分に1を立てるという話なんですね。面白いです。 n=2なら21は非素数、23は素数、27は非素数、29は素数であるため20〜29までの素数達は(0101)₂=(5)₁₆ n=3なら31は素数、33は非素数、37は素数、39は非素数のため1010=A n=4なら41と43と47が素数、49が非素数のため1110=E って事ですね！ n=1もやっておくと11,13,17,19が全て素数なので1111=F。 10〜19の16進数、20〜29の16進数、30〜39の16進数、40〜49の16進数、...と並べるとF5AE...となって、これを覚えれば1/4の記憶容量で素数を覚えられる...が、16進数と10進数の変換は息をするように出来なければならない...という話ですね。ただ私は解凍が苦ではないのでこの方法は割と効率が良いように思えます。とはいえ10台から初めてF5AE...とするのは今覚えているビットが先頭から何番目なのか分からなくなりそうなので30台に対しA、みたいに30とAは一緒に覚える方法のが良さそうです。ありがとうございます。

@VTFLab 22 күн бұрын

水野さんLisp学んだら直ぐにマスターできそうｗ

@user-3fju4x5sm1 3 ай бұрын

Lispやってみたいな

@user-cu5vw1qc1d 3 ай бұрын

11:00から先を聞きたいので勉強着手しました

@user-tv7yg2ze4t 3 ай бұрын

Lispではコードと抽象構文木（AST：Abstract Syntax Tree）が一致しているという認識でした。

@goodpooqer 3 ай бұрын

22:11 ゾルトラーク

@flowerflower1154 3 ай бұрын

アウラ、 def L = LifeExpectancyYear int Aura (int L) {return L = 0; }

@junichiinaba2154 3 ай бұрын

語順が大事とか、助詞が大事とか、結局同じだと思うんです。とくにプログラミングの観点も混ざっていれば、ますますこういう気がします。例えば、 love(var1, var2) という関数が必ず「var1がvar2を愛す」という結果を得ることは、最初からそういう"助詞"が式に埋まってあるんだと思います。ただ、var1,var2の順番は人には大事なことですが、コンピューターにはそうでもありません。たとえlove(var2,var1)になっても、プログラミングの世界では「var2がvar1を愛す」という結果を得るはずです。　(決して「var2 をvar1 が愛す」得られません。) こう解釈すれば、逆に日本語っぽくありませんか? それに、逆ポーランド式記法になおせば、さらに似ているではないか? (ジョン,メアリー)愛す ((((メアリー,ジョン)愛す)される,て)いる,(る)pop)た (あっているかどうか自信がない) * 因みに、日本語と逆ポーランド記法の相似性を言っている先生もいますが、名前までは覚えていませんので...。ゆる言語学ラジオもほかの番組や本とかも、日本語はあまり語順が大事ではないと言っているんですが。この描述は私的には不完全だと思います。助詞は重要だが、日本人も一定の順で話していますし。それに、この順番を守らないと、理解できないとは言えないが、理解の速度(効率?)が落ちます。どれだけ落ちるかよく言えませんが、機会があればこういう研究をやりたいです。が、その前にもっと日本語の勉強をしないとっていう自覚がありますけど。

@0kw636 3 ай бұрын

逆に人間に寄り添った設計に振り切って、格助詞で構造を定めるプログラミング言語とかあるんだろうか

@user-uf6xz4yu9o 3 ай бұрын

Gpt

@user-nh9wp6zk2g 3 ай бұрын

元々シンプルで、自分で言語処理系拡張できるんか！えぐっ！世界を構築できる、、、

@muha7698 4 күн бұрын

コッカって言い方便利。流行らせたい

@highjumptaka 3 ай бұрын

神の言語なのに普及していないし、将来も普及しなさそうな理由がよくわかる神回でした。人間の手に余る使いづらい言語だったんですね😢

@user-fs1vj7tw5e 3 ай бұрын

どうでもいいことだけど閉じカッコのことコッカっていう下り、texのコマンドの名称設定でおんなじことやってて親近感湧いた

@user-hf9yo2ly2t 3 ай бұрын

unix の shell script も、「if」が「fi」で終わるし（笑）

@minami_alinko 27 күн бұрын

@@user-hf9yo2ly2t Ｃシェル系「」

@uzen.seal.2501 3 ай бұрын

ハーモニー読んた時のような視聴体験 38:29

@user-cz5xy3iv4j 3 ай бұрын

受験のとき、文章題で think だの that だのが出てくると示す範囲を () でくくって分かりやすくしてたのを思い出した。

@maruisouken 3 ай бұрын

37:07 Lispだと開き括弧のすぐうしろは動詞という決まりなので、quote無しで第1引数に名詞をもってくるとエラーになりそうです。I think that John says that Ken lovesa her. は (think I (say John (love Ken her))) でしょうかねぇ。