【検証】40時間Lispを勉強したら信者になれる?【Lisp1】#118

ゆるコンピュータ科学ラジオ全まとめ(順番通り)
30 Mar 202435:12

Summary

TLDRこの動画スクリプトでは、リスプ(Lisp)というプログラミング言語の特異性と魅力について熱く語られています。40時間をかけてリスプを学び、その言語の美しさと数学的側面、さらには自然言語的特徴について探求した結果を紹介します。リスプの表記方法や関数と引数の扱いについて、他の言語との違いを意識し、自然言語との違いや類似点を考察。最終的にはリスプへの取り組みが自然言語理解に新たな視点を提供したことを感じ、リスプ信者になるかどうかの答えも示すという興味深い内容です。

Takeaways

  • 😀 40時間勉強してリスプ信者になれるか検証
  • 📚 リスプの概要とポールグレアムの影響
  • 🖥️ リスプはリストプロセッサー(List Processor)から来ている
  • 💡 リスプは他の言語と違い、かっこが多く、順番が独特
  • ⚙️ リスプの記法は最初気持ち悪いが、慣れると美しい
  • 👨‍🏫 リスプのコミュニティは初心者に対して親切
  • 📈 リスプは数学的でシンプルな言語
  • 🔍 他のプログラミング言語は自然言語的な特徴を持つ
  • 🧠 リスプの学習を通じて自然言語の特徴も理解できる
  • 🎓 次回はリスプの自然言語的でない部分について話す予定

Q & A

  • リスプ言語はどのようなプログラミング言語ですか?

    -リスプ言語はリストを処理するための機能を重視したプログラミング言語で、リストプロセッサーから名付けられました。他のプログラミング言語と異なる点は、非常にシンプルかつパワフルな構文を持つことです。

  • リスプ言語を40時間勉強することで何が変わりましたか?

    -40時間の勉強により、リスプ言語の基本的な構文や考え方が理解でき、中二レベルの理解を達成しました。ただし、まだ初心者であり、より深い理解を求める必要があります。

  • リスプ言語のコミュニティはどのような状況ですか?

    -リスプ言語のコミュニティは熱狂的な信者たちが多く存在し、2000人ほどいますが、その中でも特に熱心な信者は少数で、他のプログラミング言語と比べると熱量が非常に高いと感じられます。

  • リスプ言語の学習過程で何を感じましたか?

    -リスプ言語の学習過程では、最初はとっつきにくかったものの、徐々にその美しさと強力な機能に魅了されました。また、リスプ言語のコミュニティの熱狂的な信者たちから多くのサポートを受けました。

  • リスプ言語の表記方法についてどう思いましたか?

    -リスプ言語の表記方法は最初は気持ち悪く見えたが、学習を進めることによってその美しさと数学的な側面に気づき、リスプ言語の表記方法への理解が深まりました。

  • リスプ言語の「神の言語」という表現はどうして生まれましたか?

    -リスプ言語は他のプログラミング言語と比べて非常にシンプルでパワフルであるため、神の言語と称されることがあります。この表現はリスプ言語の美しさと強力な機能を示唆しています。

  • リスプ言語の学習を通じて得られた最大の気づきは何ですか?

    -リスプ言語の学習を通じて、プログラミング言語は自然言語的であることが気づかされました。また、リスプ言語は数学的な側面を持ち、自然言語的である他の言語と比べて特徴的です。

  • リスプ言語の表記法と数学の表記法の違いは何ですか?

    -リスプ言語の表記法は数学の表記法と異なり、関数と引数の順番が逆であることが特徴です。数学では3+5のように書くのに対し、リスプ言語では+35のように書きます。

  • リスプ言語を学ぶことで得られた自然言語への理解とは何ですか?

    -リスプ言語を学ぶことで、自然言語は人間にとって扱いやすい形であることが理解できました。また、リスプ言語は自然言語的でない側面を持っており、プログラミング言語における自然言語的要素と非自然言語的要素の比較が可能になりました。

  • リスプ言語の学習を通じて、他のプログラミング言語との違いは何を感じましたか?

    -リスプ言語を学ぶことで、他のプログラミング言語は自然言語的であると感じる一方で、リスプ言語は数学的であり、自然言語的でない側面を持っていることを認識しました。

  • リスプ言語の学習を通じて、自然言語とプログラミング言語の関係についてどう考えていますか?

    -リスプ言語の学習を通じて、自然言語とプログラミング言語はどちらも人間にとって扱いやすい形を追求していると感じました。ただし、リスプ言語は数学的な美しさとシンプルさを重視しており、自然言語的である他の言語と異なる特徴を持っています。

Outlines

00:00

😀 リスプ言語の学習体験とその文化

リスプ言語について学ぶことで、プログラミング言語の異なる文化を体験し、リスプ信者になるかどうか検証する趣旨の紹介。リスプ言語は伝説の投資家ポール・グレアムによって支持され、その学習には40時間を費やし、初心者レベルで理解を深める。リスプ言語のコミュニティには熱狂的な信者が多く、言語の難しさと信者の熱意のギャップが話題に。

05:01

😉 リスプ言語の特徴と学習の難しさ

リスプ言語はリストプロセッサーから派生し、リストの処理能力が主要特性。学習者はリスプの独特な表記法とポーランド記法に戸惑う。リスプは他のプログラミング言語と比べると自然言語的でなく、数学的な側面を強調している。作者はリスプ言語を神の言語と呼称し、その美しさとパワフルさに惹かれる。

10:02

😌 リスプ言語のルールの少なさと自然言語的表記の議論

リスプ言語はルールが少なく、統一感のある構造を持つ。しかし、自然言語的表記法との違いが議論の的となっている。特に、算術の表記法における3+5と+35の違いが、自然言語的であるかどうかについて考察され、リスプ言語の表記法は自然言語的ではないと主張している。

15:04

🤔 リスプ言語の自然言語的性と数学的性の比較

リスプ言語を他のプログラミング言語と比較し、自然言語的性と数学的性について考察。リスプ言語は数学的であり、他の言語は自然言語的であると感じた。しかし、リスプ言語の自然言語的性と美しさの議論は複雑で、自然言語的であることが美しさの指標とは限らないと主張。

20:04

😓 リスプ言語の学習過程と自然言語理解への影響

リスプ言語を学ぶことで自然言語の理解に影響を受けた。リスプ言語の学習は自然言語学と形式論の知識を組み合わせることで理解しやすくなる。自然言語学の専門用語や概念が説明され、リスプ言語の美しさと自然言語学の関連性について考察されている。

25:07

😲 リスプ言語の表記法と自然言語の関係性

リスプ言語の表記法が自然言語の習慣に反する点を指摘。特に、算術の表記法における3+5と+35の違いが、自然言語での習慣と異なっていることが強調されている。リスプ言語は数学的な側面を重視し、自然言語的であることが美しさと関係あると主張している。

30:07

🙂 リスプ言語を通じて得た自然言語への洞察

リスプ言語を学ぶことで得られた自然言語への洞察を紹介。リスプ言語は自然言語的でなく、数学的な側面を強調しているが、他のプログラミング言語と比較することで自然言語の特徴を理解した。リスプ言語の学習は自然言語学の理解に役立つと感じ、次回の番組で更にその内容を深める予定である。

😁 リスプ言語の学習成果と今後の展望

リスプ言語の学習成果と、リスプ信者になるかどうかの検証結果を示す。リスプ言語を学ぶことで自然言語学への興味が高まり、プログラミング言語と自然言語の関係について深く考えられた。次回の番組では、リスプ言語の自然言語的性と美しさについて更に議論し、リスプ言語の学習体験の最終的な結論を発表する。

Mindmap

Keywords

💡リスプ

リスプは、このビデオの中心となるプログラミング言語です。保罗・グレアムによって作られたとされているこの言語は、非常に簡潔で数学的であり、リストを処理することが特徴です。ビデオではリスプの学習経験やその特徴について議論されており、リスプの美しさや自然言語的でない側面についても触れられています。

💡保罗・グレアム

保罗・グレアムは著名な投資家であり、リスプ言語の創始者でもあります。ビデオでは彼がリスプを「神の言語」と呼ぶことから、その言語に対する尊敬と信仰の念が示されています。また、リスプの学習に40時間を費やしたというエピソードからも、彼の影響力の大きさが伺えます。

💡プログラミング言語

プログラミング言語は、コンピュータに命令を与すための形式言語です。ビデオではリスプがその一種であり、他のプログラミング言語と比較して自然言語的でないという点を強調しています。また、リスプの学習体験を通じて、プログラミング言語の美しさや特徴について考察されています。

💡自然言語的

自然言語的とは、人間が自然と話すかのようにプログラムを書けることを指します。ビデオではリスプが数学的であり、自然言語的でないという点をいくつかの場面で強調しており、プログラミング言語の自然言語的性についても議論されています。

💡リストプロセッサー

リストプロセッサーは、リストを処理するためのプログラミング言語の機能です。リスプはそのような機能を持つ言語であり、ビデオではリストを処理する機能がリスプの名の由来であり、その重要性について説明されています。

💡ポーランド記法

ポーランド記法は、数学やコンピュータサイエンスで使用される記法で、関数とその引数を表す方法です。ビデオではリスプにおける表記方法と、それがポーランド記法に似ていることが触れられています。

💡インタープリター

インタープリターは、プログラミング言語のコードを実行するプログラムです。ビデオではリスプのインタープリターについて触れており、その簡素なルールの上で成り立っている点について説明されています。

💡関数

関数は、プログラミングにおいて特定のタスクを実行するコードの塊です。ビデオではリスプにおける関数の書き方と、それが他のプログラミング言語と異なる点について議論されています。

💡引数

引数は、関数に渡すデータを指します。ビデオではリスプでの引数の扱いと、それが他の言語と異なる点について触れられています。特に、足し算の例を通じて引数と関数の関係について説明されています。

💡自然言語

自然言語とは、人間が日常会話で使用する言語のことです。ビデオではリスプの自然言語的性と、プログラミング言語が自然言語にどのように影響されるかについて考察しています。

Highlights

リスプ言語の学習に40時間を費やし、その影響について語っている。

ポール・グレアムの影響でリスプ言語に興味を持ち、学習を開始した。

リスプ言語は他のプログラミング言語と大きく異なるとされている。

リスプ言語の熱狂的な信者たちが存在するが、一般にはあまり理解されていない。

リスプ言語を学ぶことで、プログラミングの考え方が変わるかもしれない。

リスプ言語はリストを処理するものであり、リストプロセッサーから名が付いており、リストの処理が主要な機能である。

リスプ言語は「神の言語」と呼ばれ、人間がデザインしたものではなく、発見したもののような存在だという考え方がある。

リスプ言語の学習コミュニティは活発で、熱狂的な信者たちが多く存在する。

リスプ言語の記法は独特で、他の言語と比べてカッコの使い方が頻繁である。

リスプ言語はポーランド記法を使用しており、数学的な記法とは異なる。

リスプ言語の学習は難しく、初心者はエラーを繰り返すことがある。

リスプ言語の学習者がコミュニティからサポートを受け、暖かく迎えられる傾向がある。

リスプ言語は数学的であると同時に、自然言語的であるという二面性を持つ。

リスプ言語の学習を通じて、自然言語とプログラミング言語の類似性と違いについて考えることができる。

リスプ言語の学習は、プログラミング言語の美しさや自然言語的性に対する理解を深める効果がある。

リスプ言語の学習は、自然言語学とプログラミング言語の間の関係を探求する意義を持つ。

リスプ言語の学習体験を通じて、プログラミング言語に対する新たな視点が得られる。

リスプ言語の学習は、自然言語の理解を深めるだけでなく、プログラミング言語の美しさに対する認識も変える可能性がある。

Transcripts

play00:01

[音楽]

play00:05

大検証人は40時間勉強したらリスプ信者

play00:08

になれるのか

play00:11

おおということで本日はリスプという

play00:14

プログラミング言語の話をしたいと思い

play00:16

ます40時間結構やりましたね結構頑張っ

play00:18

て勉強しましたねはいはい実はだいぶ前に

play00:20

あったあのポールグレアムの回の中でね

play00:22

予告してたんですけどグレアムがリスプ

play00:24

信者なんですよねそうですねあのポール

play00:26

グレアムという伝説の投資家がこのリスプ

play00:28

というプログラミング言語常にいめていて

play00:30

俺もやりたいって思ったんでこれ勉強する

play00:33

ことにしますと宣言しましてですね宣言

play00:35

通りちゃんとソースコードも書きうん実際

play00:38

に自分で動かしながら40時間ほどかけて

play00:40

リスプを学んでみましたうんはいまなんで

play00:42

英語で言うと中二レベルぐらいなんとなく

play00:44

終わったかなみたいな初歩の初歩はなんと

play00:47

なくわかったるみたいなみたいなね感じに

play00:49

やっとなりましただからまだまだ初心者な

play00:51

んですけどまちょっとだけリスプのリノ字

play00:53

ぐらいちょっとだけ分かったかなって感じ

play00:55

なのでまそこまで行って果たして僕も信者

play00:58

になれているのかみたいなの本日検証企画

play01:00

としてやりたいなと思いますはいはいあれ

play01:02

だよね確かリスプって他のコンピューター

play01:04

言語プログラミング言語とだいぶ違うん

play01:06

ですよねそうですねあのおっしゃる通りで

play01:09

書いたことないプログラマーからは

play01:11

とっつきにくい変な言語とめちゃくちゃ

play01:12

思われがちうんうんなんですよねでも熱狂

play01:16

的な信者も獲得しているだからこれどう

play01:18

やら内側の人間だけめちゃくちゃ

play01:21

盛り上がっていて外側にはそれ漏れ聞こえ

play01:23

てきてるだけであんまみんなピンと来て

play01:25

ないみたいなあのめちゃくちゃ悪い例えを

play01:28

するとカルト宗教ねああ悪い例えだなんで

play01:32

言ったんだろうじゃあこれ言うとねリスプ

play01:34

やってる人が危険進数を持ってるみたいに

play01:36

聞こえちゃうからねうんなんでじゃ例え

play01:37

だろね不思議ですよねそういうわけでは

play01:39

全くないんですけどあのほらあの分かり

play01:41

やすそうね重視するとちょっと状況として

play01:44

は状況としては似てるだけよあの実体とし

play01:46

ては似てないけどそんなに流つつけるなら

play01:48

もうないから切れ味が例えの状況としては

play01:52

似てるだけで実態は全く反映してない例え

play01:55

だということをここで言いそいておきます

play01:56

けどカと宗教に似てます状況としてはね

play02:00

長えUFが長いなま今回僕ゆ言語ガラジ

play02:05

サポーターコミュニティ今ありがたいこと

play02:07

2000人ぐらいいますけどそこの中で

play02:09

やってたらやっぱりですね信者的な人が数

play02:11

人いらっしゃいましてあ数人しかいないん

play02:13

だそうねあの熱狂的な人っていうのは

play02:14

やっぱ数人ちょっと俺もやってたよみたい

play02:17

な人は30人ぐいたかみああすごいねなん

play02:20

だけど熱狂的にめちゃくちゃやってますっ

play02:22

ていう人は何人かしかいなくてそれってゆ

play02:24

言語学ラジオのサポーターコミュニティの

play02:27

中で考えたら例えばpyonができる

play02:31

pyonがめっちゃ好きっていう人の比率

play02:32

と比べたら1ぐらいなんですかああ多分

play02:35

1/5とかじゃないですかあそうなんだだ

play02:37

から5人に1人pyonが好きっていう人

play02:40

の人数の1/5ぐらいの規模感のファン

play02:43

コミニティになったねあの熱量は500倍

play02:46

ぐらいありましたパイソン熱狂シ者みたい

play02:48

な人いないそれがねこのリスプシリーズ

play02:51

最後にやろうと思ってたんだけどやっぱね

play02:53

リスプってもはやアイデンティティになっ

play02:54

てるっぽくてへえ他の言語だとあんまり

play02:57

ない特徴がさTwitterの

play02:59

プロフィールとかにリスパて書いてるああ

play03:02

だからパイソナーとか書そうパイソナーっ

play03:04

て書く人は全然いないわけでわかんない

play03:06

ですけどじゃマッチングアプリにもリスプ

play03:08

コミュニティとかあんのかなわかんない

play03:10

けどあるんじゃないですかあるんじゃない

play03:12

リスくないみみたいなねそうですよコン

play03:15

みたいなあんのかなじゃあ多分そうですよ

play03:18

えマクロも書けない人とは付き合いません

play03:19

私っていう人が結構いっぱいいると思い

play03:21

ますねなるほど本当かなまていうことで

play03:24

あの僕もそのリスプの勉強スレットを立て

play03:26

てずっと実況中継みたいしてたんすようん

play03:28

したらねなんかわかんないけどすっごい

play03:31

手取り足取り教えてくれる人いてえあ

play03:33

リスパの方って優しいんですかそうあのね

play03:36

やっぱ熱狂的な人だから嬉しいんでしょう

play03:38

ね初心者が頑張ってるの見るのはいはいだ

play03:41

からうん何々って何々なのかなって俺勉強

play03:44

ログのつもりで独り言で別に質問の形で

play03:46

書いてないんだけどこれなんかエラー出

play03:48

てるけどこういうことなのかなって言っ

play03:49

たらなんか8行ぐらいの解説が帰ってくる

play03:52

1分後ぐらいに解説しましょうてそうそれ

play03:54

はなんとかで仕様的にはなんとかだから

play03:56

こうなんですよって言われてへえって

play03:57

めっちゃなってなるほどすごいやっぱ熱量

play04:00

あるなっていうの改めて思いましたねうん

play04:01

うん今俺の中で島村先生がイメージされ

play04:03

ましたねやっぱうんラジオの監修の生生

play04:07

文法っていうねま難しい理論やってる先生

play04:09

とかも理論に惚れているのでうん僕がうん

play04:13

なんか難しいからわかんないやっていう

play04:15

すごいそのあんまり良くない学習姿勢でも

play04:18

優しく手取教えてくるんですよねうんうん

play04:19

うんあのそんな感じでしたなんか一般的な

play04:21

イメージとしてはさ難しいものやってる人

play04:23

ってさうん気難しそうだよねそうな

play04:25

イメージあるじゃないうんじゃないんじゃ

play04:27

ないへえやっぱやかにねこんな時期あった

play04:30

なみたいなあのねだからね俺がなんか

play04:33

ミスっててあここまたエラー吐いたよって

play04:35

言ったら私もそれ最初にめっちゃやりまし

play04:37

たってみんな言ってて優あとねもっと絶望

play04:40

的なコメントではそれ書き始めてから3年

play04:42

ぐらいは同じミスし続け

play04:44

ますそんなにへえなったりしましたねはい

play04:48

はいまだから話戻すと内側では熱狂的な人

play04:52

がいっぱいいるんだけど外側にはあんまり

play04:53

漏れ聞こえてこないこの状態はやっぱ潜入

play04:56

してみないと正確なジャッジできない

play04:58

だろうということでええ僕も自分の身を

play05:00

投じてやってみたっていうのが今回の趣旨

play05:02

になりますはいなんかジャーナリズムぽい

play05:04

ですねそうすねあのいつもはねソース

play05:07

コード書いてありするのめんどくさいから

play05:08

なんとなく表層だけなぞって終わってる

play05:11

ことが多いんですけど今回やっぱちゃんと

play05:12

潜入したという形になりますねはい僕が

play05:15

リスプ信者になったのかっていう検証の

play05:17

結果を一旦置いといてまず超簡単なリスプ

play05:19

の概要を喋らせてくださいうんはいリス

play05:22

プって言葉どっから来てるか分かります

play05:24

想像もつかないですねなんかの頭文字これ

play05:26

リストプロセッサーから来てるらしくて

play05:30

リストを処理するもうんていう名なんです

play05:33

けどなんか僕これ最初見た時なんか

play05:35

とっつきづらいなやっぱて思ったんすよね

play05:38

うんうんなんかリストを処理するもの

play05:40

みたいなさ無感想ですなんかね重んなさそ

play05:42

っていうなんかよくあるんですけどねこの

play05:45

プログラミング言語の命名だと1個の特徴

play05:48

とか代表的な機能を1個取ってきて言語の

play05:50

名前にするみたいなまこれリストっていう

play05:52

のかだからリストの結構主要な機能の1つ

play05:54

なんでまそっから出てきてると思うんです

play05:55

けどリストなんか僕も習った気がしますよ

play05:58

堀さんに多分パイソンとかのねあのリスト

play06:01

ねまあ

play06:02

うんえそのリストとこのリストはうんま

play06:06

必ずて言ましたけど必ずしも一致しない

play06:08

けどま大筋一緒と言っていいでしょういい

play06:11

でしょういいと思いますそうそうそうそう

play06:13

いうやつね他の言語でも出てきますね

play06:15

データ構造を考えてるとねまそのリストを

play06:17

処理するものっていうリストプロセッサー

play06:18

から来てるよとまだから命名とかちょっと

play06:21

とっつきづらいなと思ってリストの別名と

play06:23

か調べてたんです

play06:24

けどうん結構いろんなね表現があって

play06:27

リスプを形する表現うんうん具体的にはね

play06:30

神の言語っていうのがったりしますね

play06:33

だいぶ肩入れしちゃってないかあれあのね

play06:36

他のプログラミング言語はみんな人間が

play06:38

デザインしたものはい発明したものですね

play06:41

つまりねでもリスプだけは最初から存在し

play06:44

ていて人類はそれを発見したに過ぎない

play06:46

って言われたりしますねうーんあれですよ

play06:49

ねウキペディアだと公平性を書いた技術

play06:51

ってなるやつですねよくあるような注釈

play06:53

つけられるやつねいやポールグレアムも

play06:55

そんなこと言ってるんですよリスプの期限

play06:57

っていうエ書いててはいうん誰か考えた

play06:59

やろリスプはマッカーシーがデザインした

play07:01

ものというよりは発見したものという方が

play07:04

近いって彼も同じこと言っててやっぱね

play07:06

これは自然界に元々あったものあったもの

play07:09

ですねうんって言われてたりして僕最初は

play07:12

ねオーバーな表現するわと思ったんすけど

play07:15

まやってみたらねやっぱねそうですね最も

play07:18

シンプルかつパワフルにプログラミング

play07:20

言語を作ろうと思うとおのずとここに

play07:22

行きつくなって感じがしてますだいぶ入れ

play07:24

しちゃってないさんだいぶしてないすよ

play07:26

公平成の書いた術してないすよいやいや

play07:28

フラットににそうだなて思っただけで

play07:30

フラットに見た時にそうだと思ったんです

play07:32

フラットに見たらねもう本当に最も

play07:34

シンプルかつパワフルにプログラミング

play07:35

言語を作ろうと思うとずと行きつくのが

play07:38

これだあって神の言語ですねこれ

play07:40

スポンサーリスプあ違う違う1ももらって

play07:42

ないですようんだからやっぱ発明したと

play07:44

いうよりは発見したに近いそういう言語

play07:46

ですねこれはね似たやつでさ整数は神が

play07:49

作ったてあるよね他は人間が作った

play07:52

クロネッカーの名言とされるやつですけど

play07:55

ありますよねすぐ神が作ったするね俺ね似

play07:59

たやつとあれあるよ似たやつ多すぎない似

play08:02

すぎじゃないえっとね世界は神が作った

play08:06

オランダはオランダ人が作っそジョーク

play08:09

これジョーク知ってるえ知らない知らない

play08:11

これ結構有名なやつでそオランダだけはさ

play08:13

あの干拓で作られてるじゃはいはいだから

play08:15

国土をほとんど頑張って水車で作ってる

play08:17

からオランダだけは神作ってねえなって

play08:19

いうことでこれオランダのガイドブックの

play08:21

最初とかにたまに書いてあるジらしいです

play08:23

オランダイオランダイへえこういうの言い

play08:26

たくなるのかもしれないですね確かにねま

play08:27

だから言うたら他のプロラ語は全オランダ

play08:31

ですよね人が作ってるからリスプは神が

play08:34

作ってるから拓ねそうそうそうだから

play08:36

プログラミング言語の世界に対応させると

play08:39

オランダに全部あのパイソンとかC言語と

play08:42

かフラン全部入っててオランダ以外が

play08:44

リスプていうあの一の勢力あの最大ハト

play08:48

みたいな全盛のモンゴル帝国みたいなのを

play08:50

想してもらといいと思います例えて何がし

play08:52

たかったですか

play08:54

そんわからないだったかもしれないましょ

play08:59

まそんな神の言語リスプなんですけどこれ

play09:02

ね書き始めて5分でねやっぱ異様さに気が

play09:05

つくんですよみんな大きく2つ諸学者が

play09:08

もう書き始めた瞬間に分かる異様さが

play09:10

大きく2つありまして1つ目ひたすら

play09:13

かっこが多いはいうんめちゃくちゃかっこ

play09:16

が出てくるんですよねはいはいで2つ目が

play09:19

順番が独特うんそれ前言ってましたよね

play09:22

これもちょっとねポールグラムの書て言っ

play09:23

たんですけどなんか覚えてますなんかあの

play09:25

逆なのか順かわからんけどポーランド基本

play09:27

になってるみたいあ素晴しいありがとござ

play09:29

ますそう3+5って書くんじゃなく

play09:32

てて書きますよて言った時に水野さん逆

play09:35

ポーランド法みたいなやつ前言って言って

play09:37

ましたよねてあそうそうそんな感じって

play09:39

言ったんですけどコメント欄でそれ準

play09:40

ポーランド法ですよってめちゃくちゃ直さ

play09:42

れてあごめんなさいあポーランド法だった

play09:44

かちょそこの区別わかんないからさ俺そう

play09:47

ですね35+って書くのが多分逆

play09:49

ポーランド記法でああプラスとか最後に

play09:50

来るんだねそうそうそうそう+35は準

play09:53

ポーランド法なんだけどそれもねコメント

play09:55

欄でみんなに言われてましたねあ

play09:57

ポーランド法もより逆の方がになっちゃっ

play09:59

たからもう逆で言われちゃうんだなって

play10:02

いう悲しいやつおに見てください2択だっ

play10:05

たんす2択外しましたねはいちなみにあの

play10:07

少し前のいる言語枠ラジオで愛知県の三河

play10:11

とわりを分かったわてのがどこだろうって

play10:13

話なった時にね僕あの基礎3のどこかだっ

play10:16

たはずだとうん川長川側どれだって3択

play10:20

だったんですけど3択を外して正解境川

play10:23

全然関係ないからでしたていうことがあり

play10:25

ましたひどかったねあれね択どれか自ない

play10:28

けどか側で酒にしてるはずなんすよて言っ

play10:31

た後にで全然違いました境川で境川って何

play10:36

その名前しかもめちゃくちゃ覚えやすいの

play10:38

にね境になってるから境ありましたから

play10:40

全然気にしなくて大丈夫ですよそういう

play10:41

ミスよくありますま話戻しますとこの2つ

play10:44

かっこまみれっていうのと順番が変って

play10:46

いうこの2つがあるんだけど1つ目のかこ

play10:48

まみれがちょっと強敵なんでこれ後に譲っ

play10:51

て2つ目順番が独特この話今日は扱いたい

play10:54

と思いますラン基本になってるよそうです

play10:56

ねこれねあのビフォーアフター形式で僕の

play10:59

思いを紹介するとちょうどいいんじゃない

play11:01

かなと思いまして何を基準にしたビフォー

play11:03

リスプを勉強するビフォー前とリスプを

play11:06

勉強した後でこの順番基本についてどう

play11:09

思ってるかちょっとやりますねうんはい

play11:11

まずビフォーうんうわ気持ち悪いうん3+

play11:15

5だろ常識的に考えて小学校でそうなった

play11:18

じゃんそううんって思ってましたえ例えば

play11:20

ですけど3+5+8ってなったらどうなる

play11:22

の+358ってなんのえっとねプラ

play11:26

358ですねあ全部それで多数になるんだ

play11:30

ね3と5と8をうんまでも見にくいけどな

play11:33

まだからそう小学者というかやる前は

play11:35

いやいやいや小学校で習ったやつとちゃう

play11:37

やん見づらいやんて思ってましたうん40

play11:39

時間勉強したアフターどうなったかうん

play11:41

いやいや3+5って算数か

play11:45

よいやどう考えても足35でしょどう考え

play11:50

play11:50

も気持ち悪いこいつもリスプシ者やいや

play11:54

まだわかんないですよ検証企画ですから

play11:56

確定いやいや違う違う違まだわかんないよ

play11:59

ああについてそういう感覚を持ち始めたて

play12:01

言ってだけだけで35は算数かよそんな

play12:05

算数え小学校引きずってる人かよて思未だ

play12:09

に小学生かってうん未だに小学校引きずっ

play12:11

てんのって思いますちょっとそれ捨てた方

play12:13

がいいんじゃないそううん他の関数観察し

play12:16

たら絶対タス35にしたくなるけどね

play12:19

そんなことはないですけどねっていう変化

play12:22

がありましたねはいはい結局さ俺も聞いて

play12:25

て分かったよリスプの本質うんうん一思い

play12:28

じゃないね全然ねああいいかもしれないね

play12:31

あのさプラ35とかだとさ人は35と見

play12:34

間違うからうんだからでかこも多かったら

play12:38

人間大体3と4の違いとかパッと見た時

play12:41

捉えられないからうんそうが3個あるのか

play12:42

4個あるのかとよくわかんないよだから

play12:44

全然人思いじゃないうんあのね結構合って

play12:47

ます結構あってますその通りだと思う結構

play12:51

あってますね結構合ってるんですけどまあ

play12:53

その家性の低さがどこに来てるのかって

play12:55

いうとやっぱさっきのね神の言語っていう

play12:57

とこに繋がってきますからねその数学的に

play12:59

最もシンプルでパワフルなものっていうの

play13:01

を考えていくとその家性の必につがるんだ

play13:03

よないうことを考えるとまそこもね十分

play13:06

納得できる範囲だなと思いますね占領朝墓

play13:08

朝墓ですねちょっとまだ何も考えていない

play13:11

人小学校引きずってる小学校の算数

play13:13

引きずってる人だなって思いますこいつ

play13:15

腹立つ

play13:17

わまていうことでねま僕がリスプ信者に

play13:20

なったかどうかまだわからないですけど

play13:21

確定したって

play13:23

もういやあのねこのタス35っていう記法

play13:26

を最初気持ち悪く見えたんだけどさいいの

play13:28

よこれうん何がいいのかって言うとねあの

play13:32

リスプって例外がないのよほう例外を全く

play13:36

作らないように作られている統一化された

play13:39

ごく少数のルールの上に成り立っている

play13:41

うんうんですよねそれ他の言語もそうじゃ

play13:43

ないのいやこれがね俺そう思ってたの自然

play13:47

言語に比べたらプログラミング言語って

play13:48

めちゃくちゃルール少ないから綺麗に作ら

play13:51

れてるなって思ってたんですけどリスプ

play13:54

やったら汚いなって思うようになりました

play13:56

ねパイソンとか見てそうパイソンとか見て

play13:59

たねえなこの記なんでフブこの設計にした

play14:03

んだろうなでちなみにゆ言語学ラジオの

play14:05

公式サイトのソースコードってどうですか

play14:07

あもう論外です論外あれはねジャマ

play14:10

スクリプトで書かれてますけどねていうか

play14:12

タイプスクリプトで書かれてますけどねま

play14:14

その辺もねや性的な片付け使ってるのも

play14:16

どうかなって思いますしいやなんと言って

play14:18

もやっぱ言語設計が美しくないですね

play14:20

いろんな格好出てきますよだってあいつら

play14:21

小学校も中学校も大格も使えますよ

play14:23

めちゃくちゃ汚いねとっても汚い考えられ

play14:27

ないですね書いた誰もう僕

play14:29

です当然僕

play14:32

です当然ね当然僕ですはいはいまちょっと

play14:35

今のは言いすぎかなと思うんですけど

play14:37

タイプスクリプトもは綺麗だと思うんです

play14:39

がやっぱリスプとかに比べると例外が非常

play14:42

に多いなというかはいうんうんなんかね

play14:44

ルール多い他の言語全部って思うのが

play14:46

リスプやってみてのルールが多いんだ所感

play14:49

ですねそうす他の言語は全部ルールが多い

play14:51

リスプは少ないふていう印象でしてリスプ

play14:55

のインタープリターつまり書いてある行動

play14:57

をそう翻訳して解釈する解釈するものって

play15:01

コののケースだけモーラすればもう原始的

play15:03

なもの書けるらしいんですよねこケースっ

play15:05

ていうのは何ルールってことコののルール

play15:08

しか使ってないはあっていうのが原始的な

play15:11

もうリスプはいはいはいらしくて他の

play15:13

プログラミング言語もっと全然多いうん

play15:16

多分何百とかのルールに支えられてるから

play15:19

かなり少ないうんえ具体的にルールどんな

play15:21

のかあるかちょっとイメージがわかねえわ

play15:23

えっと例えばですねC言語ってやつで言う

play15:25

とうん4繰り返しやつねはいも繰返すって

play15:29

やつ4が来て小括中括っていう順番になる

play15:34

んだけどこの小括弧の中身で扱う

play15:37

パラメーターを色々定義してで中括弧の中

play15:40

で具体的にどんな処理をするかっていうの

play15:42

を書くんですよねうんうんははあはていう

play15:44

取り決めがなされてるんだけどこれなんか

play15:47

汚いですね4用のルールを用意しちゃっ

play15:50

てるから4ってのが来た時は例外的にこう

play15:53

いう処理をするよはいていうのを定義し

play15:55

ちゃってるからよくなくてうんもこれは

play15:57

綺麗に整理した方がいいですね

play15:59

どうするんすかなんかが来た時はその後ろ

play16:02

のものを取りますみたいなルールにして

play16:05

そこに偶然4が来てるだけいう風にした方

play16:08

がいいですねはいはいこうするとルール

play16:09

減らせますなるほどそれでそんないっぱい

play16:11

減らせるもんなんだこれねめちゃくちゃ

play16:13

減らしてあってびっくりしたふリスプと他

play16:16

の言語ま少なくとも僕が今までにやった

play16:18

ことのある他のたくさんの言語とだと全く

play16:21

違うね桁がなるほどっていう話で水野さん

play16:24

割と理解しちゃった感じありますけど

play16:26

伝わってるかなリスナーにえでも俺の理解

play16:29

があってるかわかんない僕最近ちょっと

play16:30

あの形式見してるからあはいはいはい

play16:34

引き手としてだいぶ特殊なやつ呼んじゃっ

play16:35

た入力があってねその後に出力を返すあ

play16:39

そうそうそうそうそうあってますあって

play16:41

ます形式意味論ってかなりプログラミング

play16:43

言語だねじゃ多分そうじゃないそうじゃ

play16:46

ないかそん感じますこの会大丈夫

play16:48

かいやそうなのでもプログラミングいだ

play16:51

から多分堀さんの言関数型っていうのが僕

play16:54

分かってないけど形式ミの知識と

play16:57

足し合わせると多分なん

play16:59

play17:00

処しのをできそうそうそうそうそうさすが

play17:05

分かってるねプログラミング言語全くやっ

play17:08

たことないやつとは思えないすごいね

play17:10

スルトさがそうだよねでだ法文ってのも

play17:13

同じように何かのインプットに対してこう

play17:15

いう処理を返すっていう風な形で定義して

play17:17

おけば簡単に言うとインプットを左に書い

play17:21

てアウトプット右に書くみたいな形で記述

play17:23

ができるそうそうそうそうり

play17:26

よあこれ面白いなみさんいつも今まで機械

play17:30

音痴かよお前何もわからんやんって言って

play17:32

たのに急にできるねそっちね数学よりです

play17:34

から大丈夫ですよはいさすがですねいやで

play17:37

もこれ本当に隣接分野なんだろうなって

play17:38

思ってるのがさそうだね俺俺も今だから

play17:40

形式論勉強してるせいで堀本さんとこう

play17:43

なんだ同じ側でトンネルをこう掘っていっ

play17:45

て結構ギリギリまでた感じ同じことを逆

play17:48

サイドから掘ってる感じありますラカス

play17:50

もうちょっと出てくるし僕あもう

play17:51

めちゃくちゃじゃあリスプに相性良くなっ

play17:53

てます

play17:55

わねそうなのかもしれないですねてか

play17:57

そもそも俺形式論が何なのかよくわかって

play18:00

ないけどあごめんなさい言語学の中にま

play18:01

意味論っていう海分類があってその意論の

play18:04

中にも色々な意味論があるんですね認知

play18:06

意味論とかあ語意意味論とか色あるんです

play18:10

けどえ意味を引き出す理屈みたいな話です

play18:12

かそうですね意味をどう捉えるかていう

play18:15

ことに関するそうジャンルでまこれ哲学と

play18:17

も接近するんですけどまその中でも形式

play18:19

ミノってのはより数学とか論理学とか集合

play18:23

論とかこういったものの知識を応用して

play18:25

意味について考えてるジャンルですね

play18:27

なるほどなるほどまあなんか難しそうだ

play18:28

けどね難しそうですよねれも形式議論の

play18:31

その本を読んでてえそうなのめちゃくちゃ

play18:33

シンプルやんけ前提がって思ったことが

play18:35

あってうんあシンプルなんだ意外とそう

play18:37

それがねえっとね形式理論が定める世の中

play18:40

の実在物なんか難しそうだけどすでにまま

play18:44

い世の中に実在物ってのがそうあってま

play18:47

意味っていうのはその実在物と対応付ける

play18:50

例えばこれの時はオッケーですよとかこれ

play18:51

の時はわか違いますよとかっていうのの

play18:53

対応付けだとま定義しているんですけど

play18:56

なんかその世の中の実うんタイプていうの

play18:59

は2種類しかないんだていう前提に立っ

play19:03

てるらしくあ分かった分かった実態がある

play19:05

リンゴみたいなものと概念友情みたいな

play19:08

ああえっとねの2つだ違いますねあ違い

play19:11

ますか1個あってるその全車のリンゴの方

play19:13

あってますねはあはは実際あるものねそう

play19:15

すね実際あるものというかちょ厳密の語

play19:18

わかんないけど集合ですね1つのタイプは

play19:20

うんりばリゴっていうのに対して世界中に

play19:24

あるリゴを全部書き集めてこればそれは

play19:26

りんごをささせるかその中どうんがリゴな

play19:29

わけですよねそういう風にまとめて扱える

play19:31

あなるほど集合ものから1個体を取り出す

play19:35

とかまあの全体さしてもいいんですけど

play19:37

そういう集合で定義できるものってのがま

play19:39

1つ目のタイプまいいタイプと呼ばれるん

play19:41

ですけどなるほどじゃあ2つ目のタイプは

play19:42

あれか固有のもの水の大みたいなものかあ

play19:45

えっとねもうちょっとねすな広くてえっと

play19:49

ねもう1個はねうん心理地ですねえそうな

play19:53

のえ世の中のもって集合と心理地に

play19:56

分かれるのえさ実物新あ新新理地新議地

play20:02

じゃなくて新理ですねいじゃじゃあ俺知ら

play20:04

んわその日本語あでもね多分新義義か進化

play20:08

だから真義って訳してもいいかもしんない

play20:10

この本では多分じゃじゃあ新議ですよそう

play20:12

だから1か0かはいはいはいなねブリア

play20:14

ンってことですね何ブーリアンですよね

play20:16

そんな平行いてないです行いたじゃないの

play20:19

よブーリアンいやあのブールさんんって

play20:21

いう人がさブールダイスっていうの作って

play20:23

さその進化義家論理を数学っぽく扱える

play20:26

ようにした人だからその人にちんでん審議

play20:28

地のことブーリアンって呼びますよはい

play20:30

はいうんまちょっとこの方に書いてないの

play20:33

でそうすごいな断絶がこれプログラミング

play20:36

やったことある人なら一発なんですけどね

play20:38

すごいねあまだちょっと30ページぐらい

play20:40

しか読んでないですけどお互いにトンネル

play20:41

掘り合ってるのに噛み合ってないすね

play20:43

なかなかそうそうですねただとにかくその

play20:46

形式議論がその世界にはどんなものがある

play20:49

んですかっていう風に聞かれたらうんうん

play20:52

個体のタイプか新議のタイプかの2つだけ

play20:56

だとでこれ以外のものは世界には実うん在

play20:58

しないていうそういう前提に立って意味に

play21:01

ついて考えてるらしくマジで集合化審議

play21:04

地家だけしかないごめよジでちょっとまだ

play21:07

俺30ページなのでこっからま色々拡張的

play21:10

な概念出てくるらしいんですけどなんか

play21:12

前提としてはこの2つを元にそれを合成し

play21:15

てどんどんどんどん様々なことを扱うって

play21:17

いうアプローチらしくてへあなんか面白

play21:19

そうだめっちゃリスプっぽいじゃん多分だ

play21:22

からリスプももっとガチで勉強したら40

play21:25

時間と言わず300時間ぐらい勉強したら

play21:27

かなり形式論になる

play21:29

そんな気がねなんかね聞いててねだから

play21:31

入ってくるんすよ今の話へえあそうかだ

play21:33

からかなんか水野さんもっと引っかかって

play21:35

くれよて思ったけどやたら聞き分けよかっ

play21:37

たもそういうわけなんですねそうすね

play21:39

ちょうど俺昨日読んなところでだからその

play21:41

引数っていう外も出てきたからあ引数も

play21:43

わかんのアーギュメントもわかるそそう

play21:45

ただ言語枠だたアーギュメントはこのこと

play21:47

をさすんでそややこしくてアーギュメント

play21:49

いう名前にしてほしくないんですけどで

play21:51

もう引数の概念も一応出てきてなるほど

play21:53

なるほど形式論の話にするとやたらなんか

play21:57

う何々を取って何を返すみたいな言い方と

play21:59

かをするから何この言い方とか思ってたん

play22:01

ですけどあ関数の話だったんだねみたいな

play22:03

こととかねそういうこととかを昨日

play22:05

ちょうど知ったばかりだったんでタイム

play22:06

リスリスプもまさにそういうことですよ

play22:09

なんかを取ってなんかを返す関数として

play22:11

全部考えたらいいよねみたいなイメージて

play22:13

かまもうちょっとこの後あるんですけど

play22:15

みたいなイメージなんで教えて教えて早く

play22:18

教えてあれ意外な展開みさんがリスプ信者

play22:21

になったこの言語は神ですあのね他の言が

play22:25

ゴミ予想してないことになったていうか

play22:27

違う困るのあの普通の人間と神の言語だて

play22:30

言ってるやつの構図にしないといけない

play22:32

から2人とも神の言語ですて言い出し

play22:33

ちゃったら成立しなくが足りないねまだ

play22:36

うんここまで行きなさいあそうかまだ俺

play22:38

もっと帰依した方がいいす40時間だだめ

play22:40

ですもっと行きなさいお前0時間

play22:43

だろめちゃくちゃ脱線したんで話戻します

play22:45

とリスプはルールがめっちゃ少ないていう

play22:48

話をしましたうんそうですねその中で今

play22:50

関数みたいな話になって脱線したわけです

play22:51

ねでねここでね大きい気づきリスプやら

play22:55

ないと気づかなかった大きい気づきがあっ

play22:57

て他のあらゆるプログラミング言語も全部

play23:00

共通でさ基本的にプログラミング言語って

play23:03

関数の名前プラス引数うんていう形で書く

play23:07

んですよねえ僕の台本だと水野さんはこの

play23:09

用語がピント来ないと思うのでって書いて

play23:11

あるんですけど奇跡的に昨日勉強したせい

play23:13

でピント来ちゃうようになっあれでもごめ

play23:14

引数の定義ちょっともう1回確認していい

play23:16

ですか引数ってんですかイメージは対象

play23:18

っていう感じですかねあだからそうこれ

play23:20

言い換えようと思ってて関数と引数って

play23:21

要するに処理と対象だと思ってくれば良い

play23:24

うんうん対象ってのはえっと処理する対象

play23:26

相手だから足でうと5+3するから足さ

play23:30

れる対象って5と3じゃんうんはいで足が

play23:33

処理の名前じゃんはいなるほどなるほど

play23:35

じゃあえっと引数が5と3ってことこと

play23:36

ですえ関数足すと引数が5と3っていう

play23:41

イメージでいいと思いますはいはいでこれ

play23:43

は基本的に全てのプログラミング言語で

play23:46

関数がまずあってその後に引数を書くって

play23:49

いう順番になってるんですようんええだ

play23:51

から4がまず関数そうすねまごめん

play23:54

ちょっと4はねややこしいから他のやつに

play23:56

したくて前さあの水野さんがさ機械初めて

play23:58

のプログラミンググっていう動画で

play24:01

pyon書いてもらったじゃないですか

play24:02

あれん時にハローを出力する時どう書いた

play24:05

か覚えてるあプリント書こダブル

play24:07

クオテーションハローうんあすげえ細かこ

play24:09

じはいですかねはいそうですプリントハ

play24:12

ローって書いたじゃんあれもまさに一緒で

play24:14

処理がまずあってその後に対象が書いて

play24:17

あるわけようんうんプリントする印刷する

play24:19

出力するっていうのがまず書いてあって

play24:21

その後に出力したい対象が書いてあった

play24:23

じゃんだからこの順番になってるよねうん

play24:25

はいはいっていうことを考えるとさ3+5

play24:29

だけ例外じゃないああだから引数の1個目

play24:32

があって真ん中に関数があって次にまた

play24:35

引数が来るっていう混戦しそうそうですね

play24:38

なんか変だよね他のやつと規則違わないっ

play24:40

てはいはいはいなるじゃないですかはい

play24:43

はいだプリントなんとかとは全然見た目が

play24:45

違うよねってことねはいそうそうでだから

play24:46

大体の言語ではこれ例外としてこうこの

play24:49

足し算の時はなるほどうん別っていう扱い

play24:53

にしてるんだけどはいはい変じゃないそれ

play24:55

確かにね足35にすべきじゃない他のやつ

play24:59

に全部に合わせてか35足すかどっちか

play25:01

いずれにせよだから引き数と処理は分けて

play25:04

書いた方がです統一感があるでプリントの

play25:06

場合は前に来るんだからプラスを先に書方

play25:09

が然だろうそういうことそういうことてか

play25:11

あの全部のもの関数プリントと一緒なん

play25:13

ですよ処理がまずあって対象がその後に来

play25:16

るってなってるんだから多数もやっぱ前で

play25:18

あるべきですね1番最初であるべきラン法

play25:21

であるべきだとということですねなのに

play25:23

なんか知らんけど3+5は3+5なんすよ

play25:25

他のプログラミング言語ではうんこれ多分

play25:28

知らんよ歴史的経そんなに知らんけど多分

play25:31

小学校の算数に合わせてるんだと思うんす

play25:33

よああはいはいそやって習ったからみんな

play25:36

そっちの方が覚えやすいし書きやすいじゃ

play25:38

ああ待ってだから確かにうんMODとかも

play25:40

そうだもんねMODて書いてその後にかこ

play25:44

でえっとなんかその余りを出したい数字か

play25:47

ねMOD括97とかそんな書き方だったよ

play25:49

ね確かあれあああれでも結局MODもさ悪

play25:53

数は頭に来ないか83MOD4みたいに

play25:56

書くよねあれあそうだっけごめん俺ね通っ

play25:58

てあんまり通ってないから俺も自信

play26:00

なくなっちゃったMOD表記そっかでも悪

play26:02

数があるかそうそう悪数の後にもイメージ

play26:07

もその書き方になってないのか7=4かこ

play26:10

MOD3そうですね7合同4かこMOD3

play26:13

あそっかそ感じだからちょっと違うかな

play26:16

えっとあれはシグマはシグマはシグマは

play26:20

なんかき方やしいでもねシグマはその内側

play26:22

にタスとか入ってる可能性があるからかえ

play26:25

ちょっと散らかすのやめていただいてあれ

play26:27

はあのさなんだガウス記号みたいなかった

play26:30

なんかさなかさせるえっとねだっ

play26:33

切り上げるやつみたいなやつあの産地に

play26:36

するやつでしょえそうあれってなんかさ頭

play26:39

になんかだけ置くみたいな感じじゃなかっ

play26:40

たっけガウス記号って絶対地号みたいな

play26:43

感じで書くよねえっとあれど挟むっけ

play26:46

ガウス記号っていや俺もね入試で出てきて

play26:48

ね大格好で挟むだねあ挟むんだあじゃあ

play26:51

なんかあれだね数学全般的に書き方それに

play26:54

習ってないのか僕の知ってる限りのそう

play26:58

処理みそうですあまり頭にこれっていうの

play27:03

あんまりないかもねあんまりないかもそう

play27:05

ま紙の上でさやってく分には別にいいと

play27:07

思うんですけどプログラミング言語に直し

play27:10

た時に他のもの全部この順番になってる

play27:12

から処理プラス対象っていう形になってる

play27:15

から足しさんだけそうなってのおかしい

play27:17

じゃんうんうん汚いじゃんなるほどでも小

play27:20

学校の3数で習ったからみんなそれが

play27:21

分かりやすいからっていう理由で他の

play27:23

プログラミング言語もみんな3+5維持し

play27:25

てるふそこに屈しなかったのがリスプなん

play27:28

すよその謎の同調圧力にくさずより美しい

play27:33

体型を保っているのがリスプであってだ

play27:36

から最初はねやる前は僕このリスプの表記

play27:39

方法気持ち悪いな+3ごてって思ってたん

play27:41

ですけど違うんすよおかしいのは世界の方

play27:44

なんですよ3+5が正しいって思われてる

play27:47

世界の方が間違っていてリスプの方が世界

play27:50

の真実なんすよリスプ信者の方ですいや

play27:52

違います違いますわかんないですよまだ

play27:53

わかんないですまだわかんないこの後

play27:55

決まりますから検ですからわかんないです

play27:58

けどねもう決まってましたよね今あてこと

play28:01

思いましたよねまあまあだからいや僕は

play28:03

ただ世界の真実に気づいたよって話をし

play28:04

てるだけでリスプがどうって話してない

play28:06

ですからなるほどなるほど

play28:08

俺リスプやってて1番思ったことがリスプ

play28:12

以外のプログラミング言語ってめっちゃ

play28:14

自然言語的だなって思ったのふー言語学

play28:18

やってる人からすると全部非自然言語と

play28:21

いうか語な思い僕もそう思ってたのよ

play28:24

めちゃくちゃそんなプログラミング言語

play28:26

なんて形式言語言語のめちゃくちゃ水

play28:30

だろって思ってたんだけどいやリスプが

play28:32

やっぱ極端で一番その自然言語的じゃない

play28:35

はい数学的な言語でそれに比べると他の

play28:38

やつめっちゃ自然言語的だなって思うよう

play28:40

になったそれは今の3+5の話と一緒です

play28:42

よ本当はタス35って書いた方が美しいん

play28:45

だけどみんなが分かりやすいからという

play28:47

理由で3+5が選択されているって

play28:50

めっちゃ自然言語的じゃないうん確かにね

play28:52

美しさよりみんなにピンときやすいかで

play28:54

決まる監で決まったってことよねことです

play28:56

ねこれ実はポーグの回でさ紹介した格言が

play29:00

あってさリスプは数学的な言語で他の言語

play29:03

はうんなんて言うたか覚えてますなんすか

play29:06

でも退避するんだったらこう人間的とかさ

play29:09

そういう感じじゃないうんえっとね工学的

play29:11

な言語学的グアは言ってましたねその

play29:13

コンピューターからスタートしてるから

play29:15

はいリスプはコンピューターから自由な

play29:17

数学からスタートしてるから他のものと

play29:19

執事が違うんだよって言ってたなでもね俺

play29:22

これ違うんじゃないかなと思って違うって

play29:24

いうかまあまああのそれも1つの見方なん

play29:26

だろうけど僕の1番の印象はリスプは数学

play29:30

的な言語でそれ以外は自然言語的な言語

play29:33

うんはあなんじゃないかなって思いました

play29:35

ねえ40時間しか勉強してない僕がポール

play29:38

グレアムにはかっています今さあグレアム

play29:41

さん見てますかこちらこちらお便りホーム

play29:43

こちらです見てる今生にも40時間のやつ

play29:47

が行ってますタルフムここです日本語

play29:48

わかんねえからあいつ大丈夫

play29:50

ね日本語わかんねんだバレ

play29:54

ねまていうのもね学的にに設計した言語

play29:59

うんプログラミング言語を高額から

play30:01

考えようとしたとしてもやっぱり足53

play30:05

みたいな順番になるんですよはあはあそれ

play30:07

はコンピューターに読ませやすい形って

play30:09

それだからああなるほどねまちょいちょい

play30:11

出てきてるあのコンピューターが究極的に

play30:13

読む形に近いアセンブリー言語みたいな

play30:15

ところのレベルだと全部3+5も+35に

play30:19

翻訳されてるんですよあそうなんだうんて

play30:20

考えると最初からさ足35って書くように

play30:23

した方がいいじゃんうんうんだから

play30:24

エンジニアリングの視点工学的な視点で

play30:26

言ってもやっぱり足3になるんですよ

play30:28

なるほど3+5になってる理由って数学で

play30:31

もなければ工学でもなくやっぱり自然言語

play30:34

なんですよねなるほど人間の監修っぽい

play30:36

理由でそうなってるっていうのを1番今回

play30:38

思ったことなるほどねまでもなから大元を

play30:40

遡るとそれ学校教育の時とかに3+5で

play30:43

習うわけじゃんでそれはその35に見

play30:45

間違えないようにする工夫なわけじゃん

play30:47

うんうん多分そうだろうねやっぱだから

play30:49

一思いじゃ

play30:50

ないままおっしゃる通りだと思いますね

play30:53

なっていう人間が書く手書きするとしたら

play30:56

結構しんどいねタス35ねかこ何個も4

play30:59

連続とか6連続とかするのとかもそうだし

play31:01

おっしゃる通りですねそうだから自然言語

play31:03

的な言語だなとも思ったしまグレアムの

play31:06

言葉を借りて工学的な言語だと考えるん

play31:08

だったら工学の中でも機械よりの高額じゃ

play31:11

なくて人間よりの高額ヒューマン

play31:14

インターフェイスみたいなユーザー

play31:15

インターフェイスみたいな人間よりの部分

play31:18

もあるんですよね高額がカバーしてる

play31:19

ところてえだってあれだよねプラ35って

play31:22

書く時って半角スペースとかいれるって

play31:23

ことでしょ半角スペースだもんね遠から見

play31:26

たらあるううかわかんないですねそうだ

play31:28

から手書きはかなりきついねきついね

play31:30

手書きなんか絶対無理だよね三角スペース

play31:32

かどうか絶対わかんないうんそうだから

play31:35

やっぱ人間よりに考えたらこっちになるよ

play31:37

ねっていう理由で3+5は選択されてる

play31:39

感じがしますねそう思ったらさ神が作っ

play31:43

たって言えなくねっていう気もするけどね

play31:44

ああえいや違うでしょそんなさ人がさ認知

play31:50

しにくいようなさ世界設計に神がするって

play31:53

考えられますうんいやいやだって神はさ

play31:55

人間に苦難を与える存在だからさ

play31:58

全ては試練だから神が与えたあじゃ半角

play32:00

スペースそうそうそう半角スペース読み

play32:02

にくいのは神が与えた試練だからそれを

play32:05

突破しないとか個が6個か7個かわかん

play32:07

ないのとかもそうですよそれは神が与えた

play32:08

苦難だから我々にじゃリスプ書いてて

play32:11

エラーを吐いた時とかもうんだから神が

play32:13

苦難を与えてくれたんだなって感謝してる

play32:15

ことによって最後の審判でやっぱ救われ

play32:17

ますよね我々はあそうなの最後の審判待ち

play32:20

の言語だからリスプはえそうなんそうそう

play32:23

そうえそうなんえそうじゃないですすい

play32:26

ません間違いました

play32:28

そんなわけないびっくりしたなんで最後の

play32:30

審判待ちの

play32:32

言語ま前その美しいかどうかって話とさ

play32:35

人間が扱いやすいかどうかて話は別の話だ

play32:38

からそれはあんまり関係ないんじゃないか

play32:39

なと僕は思いますねうんいやでも人が扱い

play32:41

やすい形が美しく見えるはずですけどね

play32:44

うんまそれはちょっとね美しさの論争に

play32:47

なりますねあそれはわかんないは何か

play32:49

みたいなビトは何かわかんない大丈夫です

play32:52

はいちょっとこの話踏み込んじゃうとね

play32:54

わけわかんなくなるんでちょっとスルーさ

play32:56

せていただいてまいずれにいはかなり自然

play32:58

言語的だなっていうの1番思ったことです

play33:00

ねそして今回その結果ですね僕はリスプを

play33:05

やって理解したぞとうんそれは自然言語の

play33:09

特徴を理解した気がするぞって思ったんす

play33:11

よ言語枠の話ちゃのプログラミング言語を

play33:13

やった結果自然言語の特徴ってもしかして

play33:16

これじゃねっていうことを思ったあ皮肉な

play33:19

もんですね自然言語を勉強しないしてない

play33:22

のにうんプログラミング言語の中の自然

play33:24

言語よりっぽいやつとそうでもないやつを

play33:26

比較した結果あれ自然こうじゃねって思っ

play33:28

たあるあるそういうことていう気づきが

play33:30

あるのでありますよプログラミング言語

play33:32

から自然言語を学ぶ次回はそういう

play33:35

シリーズをやりたいと思います教えて

play33:37

くださいまだからつまり次回はゆ言語学

play33:39

ラジオになり

play33:41

ますそうですねこれはねかなりクロス

play33:43

オーバーするところだなと思だから言語枠

play33:45

音痴とド級の機械音痴による番組ってこと

play33:47

ですよねそうするとそうですね悲惨ですね

play33:50

誰も何も正しいコンパスを持たないえ最後

play33:54

の審判待ちのラジオでそこで救われるの

play33:57

しか専門家の方により最後の審判待ち

play33:59

ましょうそれはあとね次回予告をもう

play34:01

ちょっと簡単にしときますとあのねリスプ

play34:03

の自然言語っぽくないところに僕は翻弄さ

play34:05

れましてですね最初の10時間勉強してる

play34:08

間リスプ許すマジて思ってましたマジ

play34:11

ぶち切れてました全リスプにはねそう

play34:14

ぶち切れ要素がいっぱいあって10時間

play34:17

我慢よくできましたね10時間切れながら

play34:18

我慢しましたねへえそしたらその後に

play34:21

ああっていう気づきがあったっていう話に

play34:24

なるのでちょっと僕のカタルシスを次回

play34:25

共有したいなというはいになりますので皆

play34:28

さん是非次回も見ていただければと思い

play34:29

ますはいそれからね次回の最後には僕が

play34:32

リスプ信者になったかどうかという答えも

play34:34

出ますので皆さんこれどっちかなって今

play34:36

ワクワしてるところだと思いますどっちか

play34:38

その答えをねぜひ見届けていただければね

play34:40

もう見届けましたもうどっちかわかんない

play34:42

ですけどねリスプという神の言語について

play34:44

熱く次回を語らせていただこうと思います

play34:46

のでどうぞよろしくお願いします以上今回

play34:48

も応しましょうありがとうございました

play34:49

ありがとうございまし

play34:52

[音楽]

play34:56

play34:59

[音楽]

play35:11

Rate This

5.0 / 5 (0 votes)

Related Tags
リスプ言語プログラミング学習体験言語探求コード初心者信者自然言語数学的コンピューター
Do you need a summary in English?