【検証】40時間Lispを勉強したら信者になれる?【Lisp1】#118
Summary
TLDRこの動画スクリプトでは、リスプ(Lisp)というプログラミング言語の特異性と魅力について熱く語られています。40時間をかけてリスプを学び、その言語の美しさと数学的側面、さらには自然言語的特徴について探求した結果を紹介します。リスプの表記方法や関数と引数の扱いについて、他の言語との違いを意識し、自然言語との違いや類似点を考察。最終的にはリスプへの取り組みが自然言語理解に新たな視点を提供したことを感じ、リスプ信者になるかどうかの答えも示すという興味深い内容です。
Takeaways
- 😀 40時間勉強してリスプ信者になれるか検証
- 📚 リスプの概要とポールグレアムの影響
- 🖥️ リスプはリストプロセッサー(List Processor)から来ている
- 💡 リスプは他の言語と違い、かっこが多く、順番が独特
- ⚙️ リスプの記法は最初気持ち悪いが、慣れると美しい
- 👨🏫 リスプのコミュニティは初心者に対して親切
- 📈 リスプは数学的でシンプルな言語
- 🔍 他のプログラミング言語は自然言語的な特徴を持つ
- 🧠 リスプの学習を通じて自然言語の特徴も理解できる
- 🎓 次回はリスプの自然言語的でない部分について話す予定
Q & A
リスプ言語はどのようなプログラミング言語ですか?
-リスプ言語はリストを処理するための機能を重視したプログラミング言語で、リストプロセッサーから名付けられました。他のプログラミング言語と異なる点は、非常にシンプルかつパワフルな構文を持つことです。
リスプ言語を40時間勉強することで何が変わりましたか?
-40時間の勉強により、リスプ言語の基本的な構文や考え方が理解でき、中二レベルの理解を達成しました。ただし、まだ初心者であり、より深い理解を求める必要があります。
リスプ言語のコミュニティはどのような状況ですか?
-リスプ言語のコミュニティは熱狂的な信者たちが多く存在し、2000人ほどいますが、その中でも特に熱心な信者は少数で、他のプログラミング言語と比べると熱量が非常に高いと感じられます。
リスプ言語の学習過程で何を感じましたか?
-リスプ言語の学習過程では、最初はとっつきにくかったものの、徐々にその美しさと強力な機能に魅了されました。また、リスプ言語のコミュニティの熱狂的な信者たちから多くのサポートを受けました。
リスプ言語の表記方法についてどう思いましたか?
-リスプ言語の表記方法は最初は気持ち悪く見えたが、学習を進めることによってその美しさと数学的な側面に気づき、リスプ言語の表記方法への理解が深まりました。
リスプ言語の「神の言語」という表現はどうして生まれましたか?
-リスプ言語は他のプログラミング言語と比べて非常にシンプルでパワフルであるため、神の言語と称されることがあります。この表現はリスプ言語の美しさと強力な機能を示唆しています。
リスプ言語の学習を通じて得られた最大の気づきは何ですか?
-リスプ言語の学習を通じて、プログラミング言語は自然言語的であることが気づかされました。また、リスプ言語は数学的な側面を持ち、自然言語的である他の言語と比べて特徴的です。
リスプ言語の表記法と数学の表記法の違いは何ですか?
-リスプ言語の表記法は数学の表記法と異なり、関数と引数の順番が逆であることが特徴です。数学では3+5のように書くのに対し、リスプ言語では+35のように書きます。
リスプ言語を学ぶことで得られた自然言語への理解とは何ですか?
-リスプ言語を学ぶことで、自然言語は人間にとって扱いやすい形であることが理解できました。また、リスプ言語は自然言語的でない側面を持っており、プログラミング言語における自然言語的要素と非自然言語的要素の比較が可能になりました。
リスプ言語の学習を通じて、他のプログラミング言語との違いは何を感じましたか?
-リスプ言語を学ぶことで、他のプログラミング言語は自然言語的であると感じる一方で、リスプ言語は数学的であり、自然言語的でない側面を持っていることを認識しました。
リスプ言語の学習を通じて、自然言語とプログラミング言語の関係についてどう考えていますか?
-リスプ言語の学習を通じて、自然言語とプログラミング言語はどちらも人間にとって扱いやすい形を追求していると感じました。ただし、リスプ言語は数学的な美しさとシンプルさを重視しており、自然言語的である他の言語と異なる特徴を持っています。
Outlines
😀 リスプ言語の学習体験とその文化
リスプ言語について学ぶことで、プログラミング言語の異なる文化を体験し、リスプ信者になるかどうか検証する趣旨の紹介。リスプ言語は伝説の投資家ポール・グレアムによって支持され、その学習には40時間を費やし、初心者レベルで理解を深める。リスプ言語のコミュニティには熱狂的な信者が多く、言語の難しさと信者の熱意のギャップが話題に。
😉 リスプ言語の特徴と学習の難しさ
リスプ言語はリストプロセッサーから派生し、リストの処理能力が主要特性。学習者はリスプの独特な表記法とポーランド記法に戸惑う。リスプは他のプログラミング言語と比べると自然言語的でなく、数学的な側面を強調している。作者はリスプ言語を神の言語と呼称し、その美しさとパワフルさに惹かれる。
😌 リスプ言語のルールの少なさと自然言語的表記の議論
リスプ言語はルールが少なく、統一感のある構造を持つ。しかし、自然言語的表記法との違いが議論の的となっている。特に、算術の表記法における3+5と+35の違いが、自然言語的であるかどうかについて考察され、リスプ言語の表記法は自然言語的ではないと主張している。
🤔 リスプ言語の自然言語的性と数学的性の比較
リスプ言語を他のプログラミング言語と比較し、自然言語的性と数学的性について考察。リスプ言語は数学的であり、他の言語は自然言語的であると感じた。しかし、リスプ言語の自然言語的性と美しさの議論は複雑で、自然言語的であることが美しさの指標とは限らないと主張。
😓 リスプ言語の学習過程と自然言語理解への影響
リスプ言語を学ぶことで自然言語の理解に影響を受けた。リスプ言語の学習は自然言語学と形式論の知識を組み合わせることで理解しやすくなる。自然言語学の専門用語や概念が説明され、リスプ言語の美しさと自然言語学の関連性について考察されている。
😲 リスプ言語の表記法と自然言語の関係性
リスプ言語の表記法が自然言語の習慣に反する点を指摘。特に、算術の表記法における3+5と+35の違いが、自然言語での習慣と異なっていることが強調されている。リスプ言語は数学的な側面を重視し、自然言語的であることが美しさと関係あると主張している。
🙂 リスプ言語を通じて得た自然言語への洞察
リスプ言語を学ぶことで得られた自然言語への洞察を紹介。リスプ言語は自然言語的でなく、数学的な側面を強調しているが、他のプログラミング言語と比較することで自然言語の特徴を理解した。リスプ言語の学習は自然言語学の理解に役立つと感じ、次回の番組で更にその内容を深める予定である。
😁 リスプ言語の学習成果と今後の展望
リスプ言語の学習成果と、リスプ信者になるかどうかの検証結果を示す。リスプ言語を学ぶことで自然言語学への興味が高まり、プログラミング言語と自然言語の関係について深く考えられた。次回の番組では、リスプ言語の自然言語的性と美しさについて更に議論し、リスプ言語の学習体験の最終的な結論を発表する。
Mindmap
Keywords
💡リスプ
💡保罗・グレアム
💡プログラミング言語
💡自然言語的
💡リストプロセッサー
💡ポーランド記法
💡インタープリター
💡関数
💡引数
💡自然言語
Highlights
リスプ言語の学習に40時間を費やし、その影響について語っている。
ポール・グレアムの影響でリスプ言語に興味を持ち、学習を開始した。
リスプ言語は他のプログラミング言語と大きく異なるとされている。
リスプ言語の熱狂的な信者たちが存在するが、一般にはあまり理解されていない。
リスプ言語を学ぶことで、プログラミングの考え方が変わるかもしれない。
リスプ言語はリストを処理するものであり、リストプロセッサーから名が付いており、リストの処理が主要な機能である。
リスプ言語は「神の言語」と呼ばれ、人間がデザインしたものではなく、発見したもののような存在だという考え方がある。
リスプ言語の学習コミュニティは活発で、熱狂的な信者たちが多く存在する。
リスプ言語の記法は独特で、他の言語と比べてカッコの使い方が頻繁である。
リスプ言語はポーランド記法を使用しており、数学的な記法とは異なる。
リスプ言語の学習は難しく、初心者はエラーを繰り返すことがある。
リスプ言語の学習者がコミュニティからサポートを受け、暖かく迎えられる傾向がある。
リスプ言語は数学的であると同時に、自然言語的であるという二面性を持つ。
リスプ言語の学習を通じて、自然言語とプログラミング言語の類似性と違いについて考えることができる。
リスプ言語の学習は、プログラミング言語の美しさや自然言語的性に対する理解を深める効果がある。
リスプ言語の学習は、自然言語学とプログラミング言語の間の関係を探求する意義を持つ。
リスプ言語の学習体験を通じて、プログラミング言語に対する新たな視点が得られる。
リスプ言語の学習は、自然言語の理解を深めるだけでなく、プログラミング言語の美しさに対する認識も変える可能性がある。
Transcripts
[音楽]
大検証人は40時間勉強したらリスプ信者
になれるのか
おおということで本日はリスプという
プログラミング言語の話をしたいと思い
ます40時間結構やりましたね結構頑張っ
て勉強しましたねはいはい実はだいぶ前に
あったあのポールグレアムの回の中でね
予告してたんですけどグレアムがリスプ
信者なんですよねそうですねあのポール
グレアムという伝説の投資家がこのリスプ
というプログラミング言語常にいめていて
俺もやりたいって思ったんでこれ勉強する
ことにしますと宣言しましてですね宣言
通りちゃんとソースコードも書きうん実際
に自分で動かしながら40時間ほどかけて
リスプを学んでみましたうんはいまなんで
英語で言うと中二レベルぐらいなんとなく
終わったかなみたいな初歩の初歩はなんと
なくわかったるみたいなみたいなね感じに
やっとなりましただからまだまだ初心者な
んですけどまちょっとだけリスプのリノ字
ぐらいちょっとだけ分かったかなって感じ
なのでまそこまで行って果たして僕も信者
になれているのかみたいなの本日検証企画
としてやりたいなと思いますはいはいあれ
だよね確かリスプって他のコンピューター
言語プログラミング言語とだいぶ違うん
ですよねそうですねあのおっしゃる通りで
書いたことないプログラマーからは
とっつきにくい変な言語とめちゃくちゃ
思われがちうんうんなんですよねでも熱狂
的な信者も獲得しているだからこれどう
やら内側の人間だけめちゃくちゃ
盛り上がっていて外側にはそれ漏れ聞こえ
てきてるだけであんまみんなピンと来て
ないみたいなあのめちゃくちゃ悪い例えを
するとカルト宗教ねああ悪い例えだなんで
言ったんだろうじゃあこれ言うとねリスプ
やってる人が危険進数を持ってるみたいに
聞こえちゃうからねうんなんでじゃ例え
だろね不思議ですよねそういうわけでは
全くないんですけどあのほらあの分かり
やすそうね重視するとちょっと状況として
は状況としては似てるだけよあの実体とし
ては似てないけどそんなに流つつけるなら
もうないから切れ味が例えの状況としては
似てるだけで実態は全く反映してない例え
だということをここで言いそいておきます
けどカと宗教に似てます状況としてはね
長えUFが長いなま今回僕ゆ言語ガラジ
サポーターコミュニティ今ありがたいこと
2000人ぐらいいますけどそこの中で
やってたらやっぱりですね信者的な人が数
人いらっしゃいましてあ数人しかいないん
だそうねあの熱狂的な人っていうのは
やっぱ数人ちょっと俺もやってたよみたい
な人は30人ぐいたかみああすごいねなん
だけど熱狂的にめちゃくちゃやってますっ
ていう人は何人かしかいなくてそれってゆ
言語学ラジオのサポーターコミュニティの
中で考えたら例えばpyonができる
pyonがめっちゃ好きっていう人の比率
と比べたら1ぐらいなんですかああ多分
1/5とかじゃないですかあそうなんだだ
から5人に1人pyonが好きっていう人
の人数の1/5ぐらいの規模感のファン
コミニティになったねあの熱量は500倍
ぐらいありましたパイソン熱狂シ者みたい
な人いないそれがねこのリスプシリーズ
最後にやろうと思ってたんだけどやっぱね
リスプってもはやアイデンティティになっ
てるっぽくてへえ他の言語だとあんまり
ない特徴がさTwitterの
プロフィールとかにリスパて書いてるああ
だからパイソナーとか書そうパイソナーっ
て書く人は全然いないわけでわかんない
ですけどじゃマッチングアプリにもリスプ
コミュニティとかあんのかなわかんない
けどあるんじゃないですかあるんじゃない
リスくないみみたいなねそうですよコン
みたいなあんのかなじゃあ多分そうですよ
えマクロも書けない人とは付き合いません
私っていう人が結構いっぱいいると思い
ますねなるほど本当かなまていうことで
あの僕もそのリスプの勉強スレットを立て
てずっと実況中継みたいしてたんすようん
したらねなんかわかんないけどすっごい
手取り足取り教えてくれる人いてえあ
リスパの方って優しいんですかそうあのね
やっぱ熱狂的な人だから嬉しいんでしょう
ね初心者が頑張ってるの見るのはいはいだ
からうん何々って何々なのかなって俺勉強
ログのつもりで独り言で別に質問の形で
書いてないんだけどこれなんかエラー出
てるけどこういうことなのかなって言っ
たらなんか8行ぐらいの解説が帰ってくる
1分後ぐらいに解説しましょうてそうそれ
はなんとかで仕様的にはなんとかだから
こうなんですよって言われてへえって
めっちゃなってなるほどすごいやっぱ熱量
あるなっていうの改めて思いましたねうん
うん今俺の中で島村先生がイメージされ
ましたねやっぱうんラジオの監修の生生
文法っていうねま難しい理論やってる先生
とかも理論に惚れているのでうん僕がうん
なんか難しいからわかんないやっていう
すごいそのあんまり良くない学習姿勢でも
優しく手取教えてくるんですよねうんうん
うんあのそんな感じでしたなんか一般的な
イメージとしてはさ難しいものやってる人
ってさうん気難しそうだよねそうな
イメージあるじゃないうんじゃないんじゃ
ないへえやっぱやかにねこんな時期あった
なみたいなあのねだからね俺がなんか
ミスっててあここまたエラー吐いたよって
言ったら私もそれ最初にめっちゃやりまし
たってみんな言ってて優あとねもっと絶望
的なコメントではそれ書き始めてから3年
ぐらいは同じミスし続け
ますそんなにへえなったりしましたねはい
はいまだから話戻すと内側では熱狂的な人
がいっぱいいるんだけど外側にはあんまり
漏れ聞こえてこないこの状態はやっぱ潜入
してみないと正確なジャッジできない
だろうということでええ僕も自分の身を
投じてやってみたっていうのが今回の趣旨
になりますはいなんかジャーナリズムぽい
ですねそうすねあのいつもはねソース
コード書いてありするのめんどくさいから
なんとなく表層だけなぞって終わってる
ことが多いんですけど今回やっぱちゃんと
潜入したという形になりますねはい僕が
リスプ信者になったのかっていう検証の
結果を一旦置いといてまず超簡単なリスプ
の概要を喋らせてくださいうんはいリス
プって言葉どっから来てるか分かります
想像もつかないですねなんかの頭文字これ
リストプロセッサーから来てるらしくて
リストを処理するもうんていう名なんです
けどなんか僕これ最初見た時なんか
とっつきづらいなやっぱて思ったんすよね
うんうんなんかリストを処理するもの
みたいなさ無感想ですなんかね重んなさそ
っていうなんかよくあるんですけどねこの
プログラミング言語の命名だと1個の特徴
とか代表的な機能を1個取ってきて言語の
名前にするみたいなまこれリストっていう
のかだからリストの結構主要な機能の1つ
なんでまそっから出てきてると思うんです
けどリストなんか僕も習った気がしますよ
堀さんに多分パイソンとかのねあのリスト
ねまあ
うんえそのリストとこのリストはうんま
必ずて言ましたけど必ずしも一致しない
けどま大筋一緒と言っていいでしょういい
でしょういいと思いますそうそうそうそう
いうやつね他の言語でも出てきますね
データ構造を考えてるとねまそのリストを
処理するものっていうリストプロセッサー
から来てるよとまだから命名とかちょっと
とっつきづらいなと思ってリストの別名と
か調べてたんです
けどうん結構いろんなね表現があって
リスプを形する表現うんうん具体的にはね
神の言語っていうのがったりしますね
だいぶ肩入れしちゃってないかあれあのね
他のプログラミング言語はみんな人間が
デザインしたものはい発明したものですね
つまりねでもリスプだけは最初から存在し
ていて人類はそれを発見したに過ぎない
って言われたりしますねうーんあれですよ
ねウキペディアだと公平性を書いた技術
ってなるやつですねよくあるような注釈
つけられるやつねいやポールグレアムも
そんなこと言ってるんですよリスプの期限
っていうエ書いててはいうん誰か考えた
やろリスプはマッカーシーがデザインした
ものというよりは発見したものという方が
近いって彼も同じこと言っててやっぱね
これは自然界に元々あったものあったもの
ですねうんって言われてたりして僕最初は
ねオーバーな表現するわと思ったんすけど
まやってみたらねやっぱねそうですね最も
シンプルかつパワフルにプログラミング
言語を作ろうと思うとおのずとここに
行きつくなって感じがしてますだいぶ入れ
しちゃってないさんだいぶしてないすよ
公平成の書いた術してないすよいやいや
フラットににそうだなて思っただけで
フラットに見た時にそうだと思ったんです
フラットに見たらねもう本当に最も
シンプルかつパワフルにプログラミング
言語を作ろうと思うとずと行きつくのが
これだあって神の言語ですねこれ
スポンサーリスプあ違う違う1ももらって
ないですようんだからやっぱ発明したと
いうよりは発見したに近いそういう言語
ですねこれはね似たやつでさ整数は神が
作ったてあるよね他は人間が作った
クロネッカーの名言とされるやつですけど
ありますよねすぐ神が作ったするね俺ね似
たやつとあれあるよ似たやつ多すぎない似
すぎじゃないえっとね世界は神が作った
オランダはオランダ人が作っそジョーク
これジョーク知ってるえ知らない知らない
これ結構有名なやつでそオランダだけはさ
あの干拓で作られてるじゃはいはいだから
国土をほとんど頑張って水車で作ってる
からオランダだけは神作ってねえなって
いうことでこれオランダのガイドブックの
最初とかにたまに書いてあるジらしいです
オランダイオランダイへえこういうの言い
たくなるのかもしれないですね確かにねま
だから言うたら他のプロラ語は全オランダ
ですよね人が作ってるからリスプは神が
作ってるから拓ねそうそうそうだから
プログラミング言語の世界に対応させると
オランダに全部あのパイソンとかC言語と
かフラン全部入っててオランダ以外が
リスプていうあの一の勢力あの最大ハト
みたいな全盛のモンゴル帝国みたいなのを
想してもらといいと思います例えて何がし
たかったですか
そんわからないだったかもしれないましょ
まそんな神の言語リスプなんですけどこれ
ね書き始めて5分でねやっぱ異様さに気が
つくんですよみんな大きく2つ諸学者が
もう書き始めた瞬間に分かる異様さが
大きく2つありまして1つ目ひたすら
かっこが多いはいうんめちゃくちゃかっこ
が出てくるんですよねはいはいで2つ目が
順番が独特うんそれ前言ってましたよね
これもちょっとねポールグラムの書て言っ
たんですけどなんか覚えてますなんかあの
逆なのか順かわからんけどポーランド基本
になってるみたいあ素晴しいありがとござ
ますそう3+5って書くんじゃなく
てて書きますよて言った時に水野さん逆
ポーランド法みたいなやつ前言って言って
ましたよねてあそうそうそんな感じって
言ったんですけどコメント欄でそれ準
ポーランド法ですよってめちゃくちゃ直さ
れてあごめんなさいあポーランド法だった
かちょそこの区別わかんないからさ俺そう
ですね35+って書くのが多分逆
ポーランド記法でああプラスとか最後に
来るんだねそうそうそうそう+35は準
ポーランド法なんだけどそれもねコメント
欄でみんなに言われてましたねあ
ポーランド法もより逆の方がになっちゃっ
たからもう逆で言われちゃうんだなって
いう悲しいやつおに見てください2択だっ
たんす2択外しましたねはいちなみにあの
少し前のいる言語枠ラジオで愛知県の三河
とわりを分かったわてのがどこだろうって
話なった時にね僕あの基礎3のどこかだっ
たはずだとうん川長川側どれだって3択
だったんですけど3択を外して正解境川
全然関係ないからでしたていうことがあり
ましたひどかったねあれね択どれか自ない
けどか側で酒にしてるはずなんすよて言っ
た後にで全然違いました境川で境川って何
その名前しかもめちゃくちゃ覚えやすいの
にね境になってるから境ありましたから
全然気にしなくて大丈夫ですよそういう
ミスよくありますま話戻しますとこの2つ
かっこまみれっていうのと順番が変って
いうこの2つがあるんだけど1つ目のかこ
まみれがちょっと強敵なんでこれ後に譲っ
て2つ目順番が独特この話今日は扱いたい
と思いますラン基本になってるよそうです
ねこれねあのビフォーアフター形式で僕の
思いを紹介するとちょうどいいんじゃない
かなと思いまして何を基準にしたビフォー
リスプを勉強するビフォー前とリスプを
勉強した後でこの順番基本についてどう
思ってるかちょっとやりますねうんはい
まずビフォーうんうわ気持ち悪いうん3+
5だろ常識的に考えて小学校でそうなった
じゃんそううんって思ってましたえ例えば
ですけど3+5+8ってなったらどうなる
の+358ってなんのえっとねプラ
358ですねあ全部それで多数になるんだ
ね3と5と8をうんまでも見にくいけどな
まだからそう小学者というかやる前は
いやいやいや小学校で習ったやつとちゃう
やん見づらいやんて思ってましたうん40
時間勉強したアフターどうなったかうん
いやいや3+5って算数か
よいやどう考えても足35でしょどう考え
て
も気持ち悪いこいつもリスプシ者やいや
まだわかんないですよ検証企画ですから
確定いやいや違う違う違まだわかんないよ
ああについてそういう感覚を持ち始めたて
言ってだけだけで35は算数かよそんな
算数え小学校引きずってる人かよて思未だ
に小学生かってうん未だに小学校引きずっ
てんのって思いますちょっとそれ捨てた方
がいいんじゃないそううん他の関数観察し
たら絶対タス35にしたくなるけどね
そんなことはないですけどねっていう変化
がありましたねはいはい結局さ俺も聞いて
て分かったよリスプの本質うんうん一思い
じゃないね全然ねああいいかもしれないね
あのさプラ35とかだとさ人は35と見
間違うからうんだからでかこも多かったら
人間大体3と4の違いとかパッと見た時
捉えられないからうんそうが3個あるのか
4個あるのかとよくわかんないよだから
全然人思いじゃないうんあのね結構合って
ます結構あってますその通りだと思う結構
あってますね結構合ってるんですけどまあ
その家性の低さがどこに来てるのかって
いうとやっぱさっきのね神の言語っていう
とこに繋がってきますからねその数学的に
最もシンプルでパワフルなものっていうの
を考えていくとその家性の必につがるんだ
よないうことを考えるとまそこもね十分
納得できる範囲だなと思いますね占領朝墓
朝墓ですねちょっとまだ何も考えていない
人小学校引きずってる小学校の算数
引きずってる人だなって思いますこいつ
腹立つ
わまていうことでねま僕がリスプ信者に
なったかどうかまだわからないですけど
確定したって
もういやあのねこのタス35っていう記法
を最初気持ち悪く見えたんだけどさいいの
よこれうん何がいいのかって言うとねあの
リスプって例外がないのよほう例外を全く
作らないように作られている統一化された
ごく少数のルールの上に成り立っている
うんうんですよねそれ他の言語もそうじゃ
ないのいやこれがね俺そう思ってたの自然
言語に比べたらプログラミング言語って
めちゃくちゃルール少ないから綺麗に作ら
れてるなって思ってたんですけどリスプ
やったら汚いなって思うようになりました
ねパイソンとか見てそうパイソンとか見て
たねえなこの記なんでフブこの設計にした
んだろうなでちなみにゆ言語学ラジオの
公式サイトのソースコードってどうですか
あもう論外です論外あれはねジャマ
スクリプトで書かれてますけどねていうか
タイプスクリプトで書かれてますけどねま
その辺もねや性的な片付け使ってるのも
どうかなって思いますしいやなんと言って
もやっぱ言語設計が美しくないですね
いろんな格好出てきますよだってあいつら
小学校も中学校も大格も使えますよ
めちゃくちゃ汚いねとっても汚い考えられ
ないですね書いた誰もう僕
です当然僕
です当然ね当然僕ですはいはいまちょっと
今のは言いすぎかなと思うんですけど
タイプスクリプトもは綺麗だと思うんです
がやっぱリスプとかに比べると例外が非常
に多いなというかはいうんうんなんかね
ルール多い他の言語全部って思うのが
リスプやってみてのルールが多いんだ所感
ですねそうす他の言語は全部ルールが多い
リスプは少ないふていう印象でしてリスプ
のインタープリターつまり書いてある行動
をそう翻訳して解釈する解釈するものって
コののケースだけモーラすればもう原始的
なもの書けるらしいんですよねこケースっ
ていうのは何ルールってことコののルール
しか使ってないはあっていうのが原始的な
もうリスプはいはいはいらしくて他の
プログラミング言語もっと全然多いうん
多分何百とかのルールに支えられてるから
かなり少ないうんえ具体的にルールどんな
のかあるかちょっとイメージがわかねえわ
えっと例えばですねC言語ってやつで言う
とうん4繰り返しやつねはいも繰返すって
やつ4が来て小括中括っていう順番になる
んだけどこの小括弧の中身で扱う
パラメーターを色々定義してで中括弧の中
で具体的にどんな処理をするかっていうの
を書くんですよねうんうんははあはていう
取り決めがなされてるんだけどこれなんか
汚いですね4用のルールを用意しちゃっ
てるから4ってのが来た時は例外的にこう
いう処理をするよはいていうのを定義し
ちゃってるからよくなくてうんもこれは
綺麗に整理した方がいいですね
どうするんすかなんかが来た時はその後ろ
のものを取りますみたいなルールにして
そこに偶然4が来てるだけいう風にした方
がいいですねはいはいこうするとルール
減らせますなるほどそれでそんないっぱい
減らせるもんなんだこれねめちゃくちゃ
減らしてあってびっくりしたふリスプと他
の言語ま少なくとも僕が今までにやった
ことのある他のたくさんの言語とだと全く
違うね桁がなるほどっていう話で水野さん
割と理解しちゃった感じありますけど
伝わってるかなリスナーにえでも俺の理解
があってるかわかんない僕最近ちょっと
あの形式見してるからあはいはいはい
引き手としてだいぶ特殊なやつ呼んじゃっ
た入力があってねその後に出力を返すあ
そうそうそうそうそうあってますあって
ます形式意味論ってかなりプログラミング
言語だねじゃ多分そうじゃないそうじゃ
ないかそん感じますこの会大丈夫
かいやそうなのでもプログラミングいだ
から多分堀さんの言関数型っていうのが僕
分かってないけど形式ミの知識と
足し合わせると多分なん
あ
処しのをできそうそうそうそうそうさすが
分かってるねプログラミング言語全くやっ
たことないやつとは思えないすごいね
スルトさがそうだよねでだ法文ってのも
同じように何かのインプットに対してこう
いう処理を返すっていう風な形で定義して
おけば簡単に言うとインプットを左に書い
てアウトプット右に書くみたいな形で記述
ができるそうそうそうそうり
よあこれ面白いなみさんいつも今まで機械
音痴かよお前何もわからんやんって言って
たのに急にできるねそっちね数学よりです
から大丈夫ですよはいさすがですねいやで
もこれ本当に隣接分野なんだろうなって
思ってるのがさそうだね俺俺も今だから
形式論勉強してるせいで堀本さんとこう
なんだ同じ側でトンネルをこう掘っていっ
て結構ギリギリまでた感じ同じことを逆
サイドから掘ってる感じありますラカス
もうちょっと出てくるし僕あもう
めちゃくちゃじゃあリスプに相性良くなっ
てます
わねそうなのかもしれないですねてか
そもそも俺形式論が何なのかよくわかって
ないけどあごめんなさい言語学の中にま
意味論っていう海分類があってその意論の
中にも色々な意味論があるんですね認知
意味論とかあ語意意味論とか色あるんです
けどえ意味を引き出す理屈みたいな話です
かそうですね意味をどう捉えるかていう
ことに関するそうジャンルでまこれ哲学と
も接近するんですけどまその中でも形式
ミノってのはより数学とか論理学とか集合
論とかこういったものの知識を応用して
意味について考えてるジャンルですね
なるほどなるほどまあなんか難しそうだ
けどね難しそうですよねれも形式議論の
その本を読んでてえそうなのめちゃくちゃ
シンプルやんけ前提がって思ったことが
あってうんあシンプルなんだ意外とそう
それがねえっとね形式理論が定める世の中
の実在物なんか難しそうだけどすでにまま
い世の中に実在物ってのがそうあってま
意味っていうのはその実在物と対応付ける
例えばこれの時はオッケーですよとかこれ
の時はわか違いますよとかっていうのの
対応付けだとま定義しているんですけど
なんかその世の中の実うんタイプていうの
は2種類しかないんだていう前提に立っ
てるらしくあ分かった分かった実態がある
リンゴみたいなものと概念友情みたいな
ああえっとねの2つだ違いますねあ違い
ますか1個あってるその全車のリンゴの方
あってますねはあはは実際あるものねそう
すね実際あるものというかちょ厳密の語
わかんないけど集合ですね1つのタイプは
うんりばリゴっていうのに対して世界中に
あるリゴを全部書き集めてこればそれは
りんごをささせるかその中どうんがリゴな
わけですよねそういう風にまとめて扱える
あなるほど集合ものから1個体を取り出す
とかまあの全体さしてもいいんですけど
そういう集合で定義できるものってのがま
1つ目のタイプまいいタイプと呼ばれるん
ですけどなるほどじゃあ2つ目のタイプは
あれか固有のもの水の大みたいなものかあ
えっとねもうちょっとねすな広くてえっと
ねもう1個はねうん心理地ですねえそうな
のえ世の中のもって集合と心理地に
分かれるのえさ実物新あ新新理地新議地
じゃなくて新理ですねいじゃじゃあ俺知ら
んわその日本語あでもね多分新義義か進化
だから真義って訳してもいいかもしんない
この本では多分じゃじゃあ新議ですよそう
だから1か0かはいはいはいなねブリア
ンってことですね何ブーリアンですよね
そんな平行いてないです行いたじゃないの
よブーリアンいやあのブールさんんって
いう人がさブールダイスっていうの作って
さその進化義家論理を数学っぽく扱える
ようにした人だからその人にちんでん審議
地のことブーリアンって呼びますよはい
はいうんまちょっとこの方に書いてないの
でそうすごいな断絶がこれプログラミング
やったことある人なら一発なんですけどね
すごいねあまだちょっと30ページぐらい
しか読んでないですけどお互いにトンネル
掘り合ってるのに噛み合ってないすね
なかなかそうそうですねただとにかくその
形式議論がその世界にはどんなものがある
んですかっていう風に聞かれたらうんうん
個体のタイプか新議のタイプかの2つだけ
だとでこれ以外のものは世界には実うん在
しないていうそういう前提に立って意味に
ついて考えてるらしくマジで集合化審議
地家だけしかないごめよジでちょっとまだ
俺30ページなのでこっからま色々拡張的
な概念出てくるらしいんですけどなんか
前提としてはこの2つを元にそれを合成し
てどんどんどんどん様々なことを扱うって
いうアプローチらしくてへあなんか面白
そうだめっちゃリスプっぽいじゃん多分だ
からリスプももっとガチで勉強したら40
時間と言わず300時間ぐらい勉強したら
かなり形式論になる
そんな気がねなんかね聞いててねだから
入ってくるんすよ今の話へえあそうかだ
からかなんか水野さんもっと引っかかって
くれよて思ったけどやたら聞き分けよかっ
たもそういうわけなんですねそうすね
ちょうど俺昨日読んなところでだからその
引数っていう外も出てきたからあ引数も
わかんのアーギュメントもわかるそそう
ただ言語枠だたアーギュメントはこのこと
をさすんでそややこしくてアーギュメント
いう名前にしてほしくないんですけどで
もう引数の概念も一応出てきてなるほど
なるほど形式論の話にするとやたらなんか
う何々を取って何を返すみたいな言い方と
かをするから何この言い方とか思ってたん
ですけどあ関数の話だったんだねみたいな
こととかねそういうこととかを昨日
ちょうど知ったばかりだったんでタイム
リスリスプもまさにそういうことですよ
なんかを取ってなんかを返す関数として
全部考えたらいいよねみたいなイメージて
かまもうちょっとこの後あるんですけど
みたいなイメージなんで教えて教えて早く
教えてあれ意外な展開みさんがリスプ信者
になったこの言語は神ですあのね他の言が
ゴミ予想してないことになったていうか
違う困るのあの普通の人間と神の言語だて
言ってるやつの構図にしないといけない
から2人とも神の言語ですて言い出し
ちゃったら成立しなくが足りないねまだ
うんここまで行きなさいあそうかまだ俺
もっと帰依した方がいいす40時間だだめ
ですもっと行きなさいお前0時間
だろめちゃくちゃ脱線したんで話戻します
とリスプはルールがめっちゃ少ないていう
話をしましたうんそうですねその中で今
関数みたいな話になって脱線したわけです
ねでねここでね大きい気づきリスプやら
ないと気づかなかった大きい気づきがあっ
て他のあらゆるプログラミング言語も全部
共通でさ基本的にプログラミング言語って
関数の名前プラス引数うんていう形で書く
んですよねえ僕の台本だと水野さんはこの
用語がピント来ないと思うのでって書いて
あるんですけど奇跡的に昨日勉強したせい
でピント来ちゃうようになっあれでもごめ
引数の定義ちょっともう1回確認していい
ですか引数ってんですかイメージは対象
っていう感じですかねあだからそうこれ
言い換えようと思ってて関数と引数って
要するに処理と対象だと思ってくれば良い
うんうん対象ってのはえっと処理する対象
相手だから足でうと5+3するから足さ
れる対象って5と3じゃんうんはいで足が
処理の名前じゃんはいなるほどなるほど
じゃあえっと引数が5と3ってことこと
ですえ関数足すと引数が5と3っていう
イメージでいいと思いますはいはいでこれ
は基本的に全てのプログラミング言語で
関数がまずあってその後に引数を書くって
いう順番になってるんですようんええだ
から4がまず関数そうすねまごめん
ちょっと4はねややこしいから他のやつに
したくて前さあの水野さんがさ機械初めて
のプログラミンググっていう動画で
pyon書いてもらったじゃないですか
あれん時にハローを出力する時どう書いた
か覚えてるあプリント書こダブル
クオテーションハローうんあすげえ細かこ
じはいですかねはいそうですプリントハ
ローって書いたじゃんあれもまさに一緒で
処理がまずあってその後に対象が書いて
あるわけようんうんプリントする印刷する
出力するっていうのがまず書いてあって
その後に出力したい対象が書いてあった
じゃんだからこの順番になってるよねうん
はいはいっていうことを考えるとさ3+5
だけ例外じゃないああだから引数の1個目
があって真ん中に関数があって次にまた
引数が来るっていう混戦しそうそうですね
なんか変だよね他のやつと規則違わないっ
てはいはいはいなるじゃないですかはい
はいだプリントなんとかとは全然見た目が
違うよねってことねはいそうそうでだから
大体の言語ではこれ例外としてこうこの
足し算の時はなるほどうん別っていう扱い
にしてるんだけどはいはい変じゃないそれ
確かにね足35にすべきじゃない他のやつ
に全部に合わせてか35足すかどっちか
いずれにせよだから引き数と処理は分けて
書いた方がです統一感があるでプリントの
場合は前に来るんだからプラスを先に書方
が然だろうそういうことそういうことてか
あの全部のもの関数プリントと一緒なん
ですよ処理がまずあって対象がその後に来
るってなってるんだから多数もやっぱ前で
あるべきですね1番最初であるべきラン法
であるべきだとということですねなのに
なんか知らんけど3+5は3+5なんすよ
他のプログラミング言語ではうんこれ多分
知らんよ歴史的経そんなに知らんけど多分
小学校の算数に合わせてるんだと思うんす
よああはいはいそやって習ったからみんな
そっちの方が覚えやすいし書きやすいじゃ
ああ待ってだから確かにうんMODとかも
そうだもんねMODて書いてその後にかこ
でえっとなんかその余りを出したい数字か
ねMOD括97とかそんな書き方だったよ
ね確かあれあああれでも結局MODもさ悪
数は頭に来ないか83MOD4みたいに
書くよねあれあそうだっけごめん俺ね通っ
てあんまり通ってないから俺も自信
なくなっちゃったMOD表記そっかでも悪
数があるかそうそう悪数の後にもイメージ
もその書き方になってないのか7=4かこ
MOD3そうですね7合同4かこMOD3
あそっかそ感じだからちょっと違うかな
えっとあれはシグマはシグマはシグマは
なんかき方やしいでもねシグマはその内側
にタスとか入ってる可能性があるからかえ
ちょっと散らかすのやめていただいてあれ
はあのさなんだガウス記号みたいなかった
なんかさなかさせるえっとねだっ
切り上げるやつみたいなやつあの産地に
するやつでしょえそうあれってなんかさ頭
になんかだけ置くみたいな感じじゃなかっ
たっけガウス記号って絶対地号みたいな
感じで書くよねえっとあれど挟むっけ
ガウス記号っていや俺もね入試で出てきて
ね大格好で挟むだねあ挟むんだあじゃあ
なんかあれだね数学全般的に書き方それに
習ってないのか僕の知ってる限りのそう
処理みそうですあまり頭にこれっていうの
あんまりないかもねあんまりないかもそう
ま紙の上でさやってく分には別にいいと
思うんですけどプログラミング言語に直し
た時に他のもの全部この順番になってる
から処理プラス対象っていう形になってる
から足しさんだけそうなってのおかしい
じゃんうんうん汚いじゃんなるほどでも小
学校の3数で習ったからみんなそれが
分かりやすいからっていう理由で他の
プログラミング言語もみんな3+5維持し
てるふそこに屈しなかったのがリスプなん
すよその謎の同調圧力にくさずより美しい
体型を保っているのがリスプであってだ
から最初はねやる前は僕このリスプの表記
方法気持ち悪いな+3ごてって思ってたん
ですけど違うんすよおかしいのは世界の方
なんですよ3+5が正しいって思われてる
世界の方が間違っていてリスプの方が世界
の真実なんすよリスプ信者の方ですいや
違います違いますわかんないですよまだ
わかんないですまだわかんないこの後
決まりますから検ですからわかんないです
けどねもう決まってましたよね今あてこと
思いましたよねまあまあだからいや僕は
ただ世界の真実に気づいたよって話をし
てるだけでリスプがどうって話してない
ですからなるほどなるほど
俺リスプやってて1番思ったことがリスプ
以外のプログラミング言語ってめっちゃ
自然言語的だなって思ったのふー言語学
やってる人からすると全部非自然言語と
いうか語な思い僕もそう思ってたのよ
めちゃくちゃそんなプログラミング言語
なんて形式言語言語のめちゃくちゃ水
だろって思ってたんだけどいやリスプが
やっぱ極端で一番その自然言語的じゃない
はい数学的な言語でそれに比べると他の
やつめっちゃ自然言語的だなって思うよう
になったそれは今の3+5の話と一緒です
よ本当はタス35って書いた方が美しいん
だけどみんなが分かりやすいからという
理由で3+5が選択されているって
めっちゃ自然言語的じゃないうん確かにね
美しさよりみんなにピンときやすいかで
決まる監で決まったってことよねことです
ねこれ実はポーグの回でさ紹介した格言が
あってさリスプは数学的な言語で他の言語
はうんなんて言うたか覚えてますなんすか
でも退避するんだったらこう人間的とかさ
そういう感じじゃないうんえっとね工学的
な言語学的グアは言ってましたねその
コンピューターからスタートしてるから
はいリスプはコンピューターから自由な
数学からスタートしてるから他のものと
執事が違うんだよって言ってたなでもね俺
これ違うんじゃないかなと思って違うって
いうかまあまああのそれも1つの見方なん
だろうけど僕の1番の印象はリスプは数学
的な言語でそれ以外は自然言語的な言語
うんはあなんじゃないかなって思いました
ねえ40時間しか勉強してない僕がポール
グレアムにはかっています今さあグレアム
さん見てますかこちらこちらお便りホーム
こちらです見てる今生にも40時間のやつ
が行ってますタルフムここです日本語
わかんねえからあいつ大丈夫
ね日本語わかんねんだバレ
ねまていうのもね学的にに設計した言語
うんプログラミング言語を高額から
考えようとしたとしてもやっぱり足53
みたいな順番になるんですよはあはあそれ
はコンピューターに読ませやすい形って
それだからああなるほどねまちょいちょい
出てきてるあのコンピューターが究極的に
読む形に近いアセンブリー言語みたいな
ところのレベルだと全部3+5も+35に
翻訳されてるんですよあそうなんだうんて
考えると最初からさ足35って書くように
した方がいいじゃんうんうんだから
エンジニアリングの視点工学的な視点で
言ってもやっぱり足3になるんですよ
なるほど3+5になってる理由って数学で
もなければ工学でもなくやっぱり自然言語
なんですよねなるほど人間の監修っぽい
理由でそうなってるっていうのを1番今回
思ったことなるほどねまでもなから大元を
遡るとそれ学校教育の時とかに3+5で
習うわけじゃんでそれはその35に見
間違えないようにする工夫なわけじゃん
うんうん多分そうだろうねやっぱだから
一思いじゃ
ないままおっしゃる通りだと思いますね
なっていう人間が書く手書きするとしたら
結構しんどいねタス35ねかこ何個も4
連続とか6連続とかするのとかもそうだし
おっしゃる通りですねそうだから自然言語
的な言語だなとも思ったしまグレアムの
言葉を借りて工学的な言語だと考えるん
だったら工学の中でも機械よりの高額じゃ
なくて人間よりの高額ヒューマン
インターフェイスみたいなユーザー
インターフェイスみたいな人間よりの部分
もあるんですよね高額がカバーしてる
ところてえだってあれだよねプラ35って
書く時って半角スペースとかいれるって
ことでしょ半角スペースだもんね遠から見
たらあるううかわかんないですねそうだ
から手書きはかなりきついねきついね
手書きなんか絶対無理だよね三角スペース
かどうか絶対わかんないうんそうだから
やっぱ人間よりに考えたらこっちになるよ
ねっていう理由で3+5は選択されてる
感じがしますねそう思ったらさ神が作っ
たって言えなくねっていう気もするけどね
ああえいや違うでしょそんなさ人がさ認知
しにくいようなさ世界設計に神がするって
考えられますうんいやいやだって神はさ
人間に苦難を与える存在だからさ
全ては試練だから神が与えたあじゃ半角
スペースそうそうそう半角スペース読み
にくいのは神が与えた試練だからそれを
突破しないとか個が6個か7個かわかん
ないのとかもそうですよそれは神が与えた
苦難だから我々にじゃリスプ書いてて
エラーを吐いた時とかもうんだから神が
苦難を与えてくれたんだなって感謝してる
ことによって最後の審判でやっぱ救われ
ますよね我々はあそうなの最後の審判待ち
の言語だからリスプはえそうなんそうそう
そうえそうなんえそうじゃないですすい
ません間違いました
そんなわけないびっくりしたなんで最後の
審判待ちの
言語ま前その美しいかどうかって話とさ
人間が扱いやすいかどうかて話は別の話だ
からそれはあんまり関係ないんじゃないか
なと僕は思いますねうんいやでも人が扱い
やすい形が美しく見えるはずですけどね
うんまそれはちょっとね美しさの論争に
なりますねあそれはわかんないは何か
みたいなビトは何かわかんない大丈夫です
はいちょっとこの話踏み込んじゃうとね
わけわかんなくなるんでちょっとスルーさ
せていただいてまいずれにいはかなり自然
言語的だなっていうの1番思ったことです
ねそして今回その結果ですね僕はリスプを
やって理解したぞとうんそれは自然言語の
特徴を理解した気がするぞって思ったんす
よ言語枠の話ちゃのプログラミング言語を
やった結果自然言語の特徴ってもしかして
これじゃねっていうことを思ったあ皮肉な
もんですね自然言語を勉強しないしてない
のにうんプログラミング言語の中の自然
言語よりっぽいやつとそうでもないやつを
比較した結果あれ自然こうじゃねって思っ
たあるあるそういうことていう気づきが
あるのでありますよプログラミング言語
から自然言語を学ぶ次回はそういう
シリーズをやりたいと思います教えて
くださいまだからつまり次回はゆ言語学
ラジオになり
ますそうですねこれはねかなりクロス
オーバーするところだなと思だから言語枠
音痴とド級の機械音痴による番組ってこと
ですよねそうするとそうですね悲惨ですね
誰も何も正しいコンパスを持たないえ最後
の審判待ちのラジオでそこで救われるの
しか専門家の方により最後の審判待ち
ましょうそれはあとね次回予告をもう
ちょっと簡単にしときますとあのねリスプ
の自然言語っぽくないところに僕は翻弄さ
れましてですね最初の10時間勉強してる
間リスプ許すマジて思ってましたマジ
ぶち切れてました全リスプにはねそう
ぶち切れ要素がいっぱいあって10時間
我慢よくできましたね10時間切れながら
我慢しましたねへえそしたらその後に
ああっていう気づきがあったっていう話に
なるのでちょっと僕のカタルシスを次回
共有したいなというはいになりますので皆
さん是非次回も見ていただければと思い
ますはいそれからね次回の最後には僕が
リスプ信者になったかどうかという答えも
出ますので皆さんこれどっちかなって今
ワクワしてるところだと思いますどっちか
その答えをねぜひ見届けていただければね
もう見届けましたもうどっちかわかんない
ですけどねリスプという神の言語について
熱く次回を語らせていただこうと思います
のでどうぞよろしくお願いします以上今回
も応しましょうありがとうございました
ありがとうございまし
[音楽]
た
[音楽]
お
5.0 / 5 (0 votes)