大人の勉強は「夢の中」が主戦場。寝ながらマクロを書くといい【Lisp雑談】#120
Summary
TLDRこの動画スクリプトでは、プログラミング言語Lispの学習体験とその魅力について語られています。Lispの入門サイト「魔法言語リリカルリスプ」を紹介し、Lispの関数型プログラミングの難しさにも触れながら、プログラミングの楽しさと創造性を強調しています。また、Lispの柔軟性や表現力に感銘を受け、言語自体を操作できる点に興味を示唆します。最後に、Lispの学習コミュニティでの交流や、Lispを使った創作活動の楽しさを共有しています。
Takeaways
- 😀 スクリプトは、プログラミング言語 Lisp について語り、特にその入門の難しさと学習方法に焦点を当てています。
- 🎓 '魔法言語リリカルLisp' というサイトが紹介されており、Lisp 入門に役立つとされています。
- 📚 言語の学習は理論的な知識だけでなく、実践的なコードの書き方とエラーの解決が重要だと強調されています。
- 🤔 スクリプトでは、理解と実践の間には差があり、自分で問題を生み出すことの重要性が語られています。
- 🕵️ 学習過程での自己確認の欠如と、知識を身に付けるためには定期的な復習の必要性が触れられています。
- 🌐 Lisp 言語の柔軟性と表現力、特にそのリスト処理能力について説明されています。
- 🎨 スクリプトでは、Lisp 言語を他のプログラミング言語と比較し、その独自性と強みを強調しています。
- 📘 参考書の重要性に言及され、特に 'Land of Lisp' という本の重厚さと難しさが説明されています。
- 🤓 スクリプトの主体は、Lisp 言語の学習者であり、その学習体験やコミュニティとの交流を通じて得た知見を共有しています。
- 🎇 Lisp 言語の文化的な側面も触れられており、コミュニティ内で流布しているジョークや略語が紹介されています。
- 🔮 最後に、Lisp 言語の学習を通じて得られる洞察や、より深い理解を目指す意欲がスクリプト全体にわたって繰り返されています。
Q & A
リスプ言語はどのくらい初心者に適していると思いますか?
-リスプ言語は非常に柔軟で強力な機能があるため、初心者には多少難しいと感じるかもしれないです。しかし、その柔軟性ゆえに、少しずつ学びながら進むことができると言えます。
魔法言語リリカルリスプとはどのようなサイトですか?
-魔法言語リリカルリスプは、リスプ言語を学ぶための入門サイトで、初心者にも理解しやすい内容で説明されています。
ランドオブリスプの本はどのような内容ですか?
-ランドオブリスプの本は関数型プログラミングを扱うもので、難易度は小学生向けではなく、大人でも楽しめる内容となっています。
リスプ言語を学ぶ際に、コードを動かすことはどのくらい重要ですか?
-リスプ言語を学ぶ際には、コードを実際に動かすことが非常に重要で、理解を深める上で不可欠なステップです。
リスプ言語の「自己参照的」という性質とは何を指しますか?
-リスプ言語の自己参照的性質とは、リスプ言語自体をリストとして扱うことができるという点です。これにより、言語自体を操作することが可能になります。
リスプ言語を学ぶ際に、夢中になるほどになれるのは良いことですか?
-はい、夢中になることは学習効率を高める上で非常に良いことです。しかし、過度に没頭しすぎると健康に悪影響を及ぼすことがあるため、バランスを保つことが大切です。
リスプ言語の「怪物本」とは何を指していますか?
-「怪物本」とはリスプ言語に関する本のことを指しており、その内容が非常に深く、多面的な知識を必要とするため、一般的に難易度が高いとされています。
リスプ言語のインタープリターはどのようなもので、なぜ有名ですか?
-リスプ言語のインタープリターは、その言語自体で書かれているものが多く、自己参照的であるため有名です。これはリスプ言語の強みであり、学習者にとっては興味深い特徴です。
形式論入門の本はどれくらいの難易度があると感じますか?
-形式論入門の本は、内容によって異なりますが、一般的には高難易度とされます。しかし、初心者向けのガイドが豊富に提供されているため、徐々に理解を深めることができるでしょう。
リスプ言語を学ぶ際に、他の言語との違いは何ですか?
-リスプ言語はリストを基本的なデータ構造としており、自己参照的であるという点で他の言語と大きく異なります。また、高度な関数型プログラミングを容易に行うことができる点も特徴です。
リスプ言語を学ぶ際に、どのくらいの時間を割くべきですか?
-リスプ言語を学ぶ際には、個人の学習速度や目標によって異なりますが、継続的に時間を割いて実践的に学ぶことが重要です。本やチュートリアルを通じて徐々にスキルを向上させていくことが推奨されます。
Outlines
📚 リスプ学習の難しさと「魔法言語リリカルリスプ」の紹介
プログラミング言語 Lisp の学習は始めが難しく、理解するためにはソースコードを動かすことが重要だと語られています。また、Lisp における関数型プログラミングの難易度についても触れられ、「魔法言語リリカルリスプ」というサイト名が紹介され、リスプの入門に役立つと期待されています。
🎓 学びの過程と夢での学習の重要性
学問や技術を学ぶ過程で、自分で生み出すことの重要性が強調されています。また、夢の中での学習の重要性が語られ、具体的なエピソードを通じて、夢の中でのリスパの学習体験が共有されています。
🎮 リスプを使ったゲーム開発のアイデア
リスプ言語を用いたゲーム開発のアイデアが提案され、ゲームの設定やマップ作成について語られています。また、怪物本の紹介や著者がイラストレーターであることが触れられ、怪物本の面白さや独自性についても説明されています。
🤔 リスプの柔軟性と自己参照的特徴
リスプ言語の柔軟性と自己参照的特徴が議論され、他のプログラミング言語と比較して、リスプが持つ独自の魅力について考察されています。また、リスプのインタープリターがリスプ自体で書かれているという奇妙な性質についても触れられています。
📘 形式論入門書の紹介と学びの難しさ
形式論の入門書に関する話がされています。本の難しさと、読むことで得られる知識、理解の難しさについて語られています。また、本の内容をより理解するためのアプローチ方法が提案されています。
🧐 プログラミング用語の混乱と理解
プログラミング学習における用語の混乱や曖昧さについて触れられ、具体的な用語の使い分けやその重要性について解説されています。また、用語の混乱を避けるためのアドバイスや、基礎概念の理解の重要性が強調されています。
🤝 共同学習の提案と学問の基礎
共同学習の提案や学問の基礎となる知識について語られています。集合論や論理学の重要性について議論され、学問を深めるためには基礎概念の理解が必要であることが強調されています。また、新しい企画の可能性についても触れられています。
🎉 新企画の発表とリスプのコミュニティへの感謝の気持ち
新しい企画の発表やリスプのコミュニティに対する感謝の気持ちが語られています。また、参考文献や参考サイトの紹介、そしてリスプのコミュニティの活動についての報告がされています。
Mindmap
Keywords
💡プログラミング言語
💡リスプ
💡関数型プログラミング
💡ランドオブリスプ
💡形式論
💡インタープリター
💡集合論
💡夢の中でプログラミング
💡技術ブログ
💡輪読会
Highlights
プログラミング言語Lispの学習は初心者にとっつきにくいと思われる部分がある。
「魔法言語リリカルLisp」という入門サイトが初心者にも理解しやすくまとめられている。
Lispの関数型プログラミングについて「ランド・オブ・リスプ」という本が紹介されており、小学生向けではない難易度である。
「ランド・オブ・リスプ」は500ページ弱の内容があり、ソースコードを動かしながら学ぶ必要がある。
Lispの学習は理解を深めるために手を動かすことが重要で、筆者が自身もコードを書いて学習した。
学習過程で理解が深まると、以前読んだ内容を再読し予測しながら学べるという効果がある。
大人になってからも勉強は重要で、知識の強度を上げるために時間を使う必要がある。
Lispの「怪物本」という本が紹介され、面白く学べるという特徴がある。
「怪物本」は著者が自分でイラストを描いたことで有名で、Lispを柔軟に扱うことができる。
Lispは自分でインタープリターを書くことができる言語で、自己参照的であることが特徴。
Lispの「リスパ」は言語自体をリストとして扱うことができるという特徴がある。
Lispの学習は他のプログラミング言語と同様に、基礎概念を理解することが重要。
「形式論入門」という本が紹介され、形式理論の基本的な4つのルールを学ぶことができる。
形式理論の学習は難しく見えるが、基礎概念を理解することで扱いやすくなる。
Lispの「インタープリタ」を自分で書くことで、言語の理解を深めることができる。
Lispの「スペシャル変数」という概念が登場し、グローバル変数と呼ばれることがある。
Lispの「ニル」という概念が説明され、何も値を持たない特殊な値であることが明かされる。
Lispの「自己参照的」性質が他のプログラミング言語と比較され、柔軟性があることが強調される。
Lispの「リスパ」の多さについて考察され、実際には他言語と比べて多さはそうでもないことが示される。
Lispの「リスパ」は他の言語と比べて特別な点がなく、言語間の比較が議論される。
Lispの「自己参照的」性質を利用した「ランド・オブ・リスプ」の紹介とその学習方法の説明。
Lispの「リスパ」の多さを超えた話題として、言語学の基礎概念である「集合論」の重要性が語られる。
「集合論」の学習はLispを含むプログラミング言語の理解に役立つとされている。
「形式論入門」の紹介と、その本の読み方や特徴についての解説。
「形式論入門」の難しさと、どのように読み進めるかのアドバイスが提供される。
Lispの「自己参照的」性質を利用した学習方法の紹介とその効果の説明。
Lispの「リスパ」の多さを超えた話題として、言語学の基礎概念の理解の重要性が強調される。
Transcripts
[音楽]
プログラミング言語リスプの話を前回全
前回もしてきたんですけどちょっと勉強し
始めがとっつきにくいなって人結構いると
思うんですよねすごいねとっつきやすそう
なね入門サイト見つけたんすよサイト名が
ですね魔法言語リリカルリスプこれです
ふざけてるなふざけてるなということで
本日はちょっとリスプの勉強してたらあの
周りのリスパとかいろんな情報を教えて
くれたんでまこういうコネタちょっと
面白いなこれみたいなやつを集めてきたん
でそういうの適当に喋りつつまみさんが
ここまで聞いて思ったことがなんかあっ
たらガンガン聞いていこうていう雑談
っぽい回をやろうと思いますはいじゃ先に
聞きますけどランドオブリスプとかもう1
個初めてのリスプ関数型プログラミング
でしたっけ金本にしたやつですねこれは
小学者向きの難易度ではないんですか
えっとですね
ええ微妙ですああそうなんだ多分ランド
オブリスプの方をゼからやるのは結構
楽しいうんうんと思うんですがただ
ちょっといいすか600ページとか500
ページぐらいあるね500ページ弱ですね
はいこれ0からやるのは結構楽しいと思う
んですがあの大変ですていうのもソース
コードを動かしながらじゃないととても
理解できないうんうん内容になってる感じ
だだそうだから俺これ最初読んでたのよ
130ページぐらい読むだけ読んで何にも
わからんてなってわかるそれめっちゃ
分かる
わそうだもん結局もツリーかか読み物とし
て味わってダなんそ最初僕だから生生文法
会をゆり言語枠ラジオでやった時って釣り
1個も書かずに読んだ内容だけで喋った
ですよでも書くだけで適に理解できるから
うん囲ってなりそうなんですよやっぱ手
動かさないと身についていかないから年末
年始なんてもうノートを横に置いてノと
ペン横に置いてそうそうそうえっとこう
なってってやりましたからねすげええいね
うんでもやんないとダメなんだなて思い
そう結局で動かさないとダメだなと思って
ですね僕はちゃんとこの中に出てくるもの
1個1個ソスコー書いてですうん動かし
エラーを出しエラーを解し自分なりに
ちょっと工夫入れたりなんかしてねちょ
改良してみようみたいなこともやってやっ
ていった結果ですね無事にこの本13
ぐらい終わりましたうんあのこの本無事に
13ぐらいはやり終わりまし40時間
ぐらいね1/3しか終わりませんでした
うんえでもさちょっと前の話に戻るけどさ
学校の授業を受けてるとさうんなんで演習
問題解かなきゃいけないんだよって分かっ
たよて思ったんだけど違ったあジでそう
分かってねえのよかってないなんか分かっ
た気になってるけど自分で生み出せない
から絶対それそうだからそうなんだね読ん
で書いてあることが理解できることと自分
が1から作り出せることって全然違うから
だから授業で話聞いた後に演習問題溶かさ
れるあの時間マジで大
正しいあ今になって高校生みたいなこと
気づきますね生成文法の勉強やっぱね読ん
でるだけじゃダメですわあれあの僕それさ
友達が言ってたんだけどこいついい表現
するなと思ったの大人になってからうん
知識強度が低いって言っててうんうん俺
大学入手の時に世界史やらなかったせいで
世界史の強度未だに低いんだよねって言っ
てていい表現と思って俺もそうなのようん
世界史の本結構ちょこちょこ読んでさ大人
になってからちょっと知った気になってる
んだけどさとっさに言われた時全く出てこ
ないのよなんとか何世みたいな
グレゴリウス8生って言われた時にうん
それ何の人だっけアナ事件みたいになるん
ですよこれ受験してたら多分さっと出てく
んだよねということで強っていう表現
ぴったりだなと思ってなんとなく知ってる
かどうかっていう状態と自分のものとして
完全に使いこなせてるかって状態全然別だ
よねそうでだから受験勉強とか義務供給で
やらなかったら大量の時間を化するしか
ないんですよね強度を上げるには生成文法
は僕は大量の時間を一定程度化したので
ある程度の強度はできたと思うんですけど
昼って他のジャンルに関しては全然ない
からうんうん結局そうなんだよね時間使う
しかないんだよなだからさ俺最近さ昔読ん
だ本の読書目も整理し直してるんだけど
はいはいそれやってるとさマジで半年前に
読んだ本なのに何1つ覚えてないのうん
うんこのフレーズしびれるわって書いて
あるんだけど文脈切り離してそのフレーズ
が書いてあるから何にもしびれないなて
なってうんあるあるめっちゃある何にも
響かないだね今の僕にでも全部忘れてんだ
なと思って結局大人になってからの勉強
って全部それだから全然身についてないの
うんそう強度高めだからやっぱ節生文法の
時もそうでしたけどやっぱ集中的にうん
読むこととあとなんか生生文法の時に関し
て言えば1冊読んでその内容が分かった後
に2冊目読む時に先に出てくる内容を予測
しながら読むとかするとだいぶ強度上がっ
ていアウトプットだよねやっぱだから自分
から出そうって気持ちでやらないとだです
これはすごいね先祖返りしましたねいやで
もやっぱ働きながら勉強するって大変だな
と思いましたね投できないからねそんなに
タの時間をそうねだから昨晩形式議論の本
とかも寝る前に読んで寝ながら半数する
ことによって定着度高めるみたいなあでも
めっちゃ
めっちゃからあの寝る前に慌ててちょっと
勉強して寝ながら考えよそうすげえわかる
俺も全くして最近あやっぱりめっちゃマ
わかるわかるこれこれこれあそうそれで
言うとさ今回そのリスプ書いててあのゆゲ
ゴラジオサポーターコミュニティの中で
スレット立てて僕ずっとやってたんです
けどそれにずっと付きっきりで教えてくれ
た方が言ってたのが文脈としては僕が初日
勉強したんすよでその方に色々教わり
ながら初日勉強して翌日の昼ぐらいにさあ
今日もやるぞって言って書き始めて前日と
全く同じミスしてんすようんうんそれ書い
た後にああしまった寝て起きたらリスプの
心全部忘れてらっていうことを独り言で
書いたんすよしその方から夢の中でマロを
書かないとダメですよて帰ってきてあそう
いうもんなんだリスパーってあの俺今朝
起きた瞬間に心理地っていう単語が出てき
たんで多分大丈夫だと思いますあちゃんと
夢の中で書いてますねそう堀本さんに
例えばうんはいとは言いづらいけど実際は
はい水野さんはむっつりスケベですかとか
聞かれた時にうんうーん心理士で言ったら
1ですねって言えばごまかせそうだって
いうの朝起きて思いついたんであしょもね
しょうもねボケ朝一で思いついてますね暇
だねあん
だまでも素晴らしいねみさんは寝ながら
やってますねうんあの生生文法けだから寝
ながらツリー書いてましたよやっぱり
すごいね一応えい最低限ねやっぱそれ
ぐらいしないと結局さ俺のさライバルと
いうかさ大学院に行ってる人とかはさその
俺が仕事してる時間さうんゼミとかさうん
勉強して読書会とかでさなんか1節ずつさ
うんみんなで訳してリドとかしてるわけ
じゃんそれに勝とうと思ったらやっぱり夢
で釣りかかない
と勝てんからあなるほど秘策大学人生に
勝つための秘策彼らは結局日中でやってる
でしょ俺は夢の中でやるからそうお前死ぬ
のそんなことしてたら寝ろよ
ちゃんとノンレブ睡眠なくなるよそんな
ことしてたら僕昨の話で言うとあの新体性
認知科学っていうまあの心理学の1
ジャンルの本を読んでたら面白すぎてうん
時半にもうさすに寝よって言ったのに全然
寝つけなくてうんて言ってalex今何時
って聞いたらあの4時半ですて言われて2
時間寝れなかったあすごいねでもう睡眠
時間を侵食するぐらい夢中になってるわけ
ですねすごいじゃないいいことなのか
わからんけどまいいんじゃない勉強に夢中
になれててねうんうんそれに似てるか
わかんないんだけどさこないだ僕炎上
父さんの小説フ作家のね作のエお父さんの
あの文字っていうはいはい有名な作品です
よねこれあの文字というで倒しただんだん
その本文とルビーがりしていってルビーが
勝手に喋り出すみたいなそういう文字うん
わいのカーですよね文字の川ね文字という
ものを遊び倒した実験的小説群だと思うん
ですけどこの文字か寝る前に読んでたらさ
文字を突き詰めるやつ読んだ直後に寝た
せいで僕頭の中で漢字の変形がもう次々
降ってきてうんうんすごいね寝苦しくなっ
ちゃってうんうんうんこんなややこしい
小説は寝る前に読まない方がいいと思って
やめたんすよ読むのはいさんずに夢の中で
やってるんですねそうすね夢の中で寝る前
僕考え事しないって言ったけど嘘ですね
やっぱに外炎的理論とかのこと考えてます
からや考えてねあすごいね自分の人生の
こととか考えずにあそれどうでもいいです
どうでもいいことない意味とは何かのが
大事なんで大丈夫ですはいあいいねでもみ
さんなかなか仕上がってきてますねそうす
ねはい全然リスプの話してねえやすいませ
んそだから参考書の話に戻すとさはいまだ
からこのランドオブリスプとか多分
ちょっとずつ書きながらやっていくのに
いい本なんだけど重厚なんでそうですね
重たいし
全然終わんねけどま前回もったんですけど
これちょっとずつやろうかなと思ってて一
冊完結ならこれがいいかなみたいな感じか
なみたいな感じじゃないこれねだから調べ
たら結構名所すっげえ有名な本でポール
グレアムの会喋った時にさあの普通この
オライリーボて表紙になんかいろんな動物
書いてあってリスのやつとかカウのやつと
かさ蛇のやつとかって言われるんだけど
これ何っていう話したじゃんこの謎の生物
目が5つある謎生物ですねはいえどうやら
ですね後から調べたらですねこの本怪物本
って言われてるらしく
て
おもろ表示に怪物が書いてある怪物本とし
て有名みたいな感じでねみたいな感じで
怪物本やったわって言われるやつらしくて
とっつきやすくとっつきやすく漫画が
いっぱい書かれてるんであったねうんだ
からその辺はね楽しくやれてて僕はやれた
とこまでは楽しくやれましたねかぶりは
真面目ですかいや結構ね遊んでるあそうな
んだほらこう遊んでるでしょ
ん何これこの差し遊んでるよね非常な
ボタルこれさごめごめんねごめんねほと
ごめんねここまるまる1ぺ使意味あった
これ差しでしょちっちゃくなんでこれ
でかくあの大丈夫です1ページ丸ごと非常
なギャング団土ボタルの使が必要ですこれ
はすごく大事ですそんなサブとかどうでも
いいですよねだって土ボタルのディテール
やっぱれた方がねテンション上がるから
すごい大事ですすごいなおいこの通りワン
プスを見つけ出し金と車を取り返すのは
かなり多な仕事があなたはワンスを
引き受けるにるエイリアになれるだろうか
そう思ったらこのゲームを書いてワンスポ
借り出そう何言ってんのふざけてるよね
リスプエイリアンいやそうなんですこれな
からゲームを作るっていう手でずっとやっ
てるからちゃんとそんあだからなんかこ
退屈の小高性とかじゃなくてそうそうそう
そうこんなギャングがいてこういうやつを
探さなきゃいけないという設定にした時に
街のマップを描いてみようみたいな感じで
あの遊びをかなり入れて書いてるんで
なるほど見た目よりはだいぶじゃ怪物本
面白い感じなんださすが怪物本なだけある
あの著者がね結構イラストレーターとして
も有名な人で自分でこの怪物書いてる
らしいんですよねリスパケ
イラストレーターそうですそうですへだ
からリスプインタープリターのことをこの
妙なプニプニした生物って言って
インタープリターを生物に例えてくれて
このぷにぷにはこういう時困るんだみたい
な感じですごく柔らかく書いてくれてるん
で書きはじゃあね読みやすそうですねうん
ということでこれやりたい人を1冊
がっちりやったら楽しい気がするのとあと
僕は未だにサポーターコミュニティでこれ
をやってる様子を発信し続けてるんであの
一緒に勉強したら楽しいかもしれません
よろしければぜひサポミほ入っていただい
て一緒にやるといいかなと思これ聞いて
リスプやろうと思った人はね同士を見つけ
られるかもしれないですねうんリスプに
ついて調べててちょっと面白かったんだ
けど台本に組み込めなかった話がやっぱね
格好だらけゆえに起きてる現象っってのが
いっぱいあってこれは前回も言ったね語彙
が発達しているうんふかこと国家っていう
謎の語彙が閉じかこのこと国家っていう
習慣がある他の言語では言わないんだよね
言わないっすいや言わないわかんない僕が
知る限りはあんまり言ってるの見たこと
ないうんだけどサポーターコミュニティの
中でたらリスパの方から国家が1つ足り
ないですて当たり前のように言われるから
あめちゃくちゃ一般語意というか日常語意
として使ってるんだなっていうの思いまし
たねはいであとねリスプは何の略かって
言った時にロッツオブイーティング
スーパーフルスペレン過剰でイライラさ
せる大量の格好の略であるいうジョークも
よく流通しているうんんですよねだから野
するのにリスポを野するのにみんなこう
やってかっこいじりをするっていうのが
定番になってましてうんうんこれにね反論
したいぞって言って戦った人いるんですよ
これはあの技術ブログ書いてる人でリスパ
格好が多いのか実際に調べてみたっていう
記事がありましてこれ概要欄にリンク貼っ
てくんですけどまこういうのよくある
じゃんイメージでみんな語ってるけど実際
調べてみたらそうでもないぜていうこと
よくあるじゃないですかうんでももう1行
目からかこ使っちゃってるから絶対多いと
思うけどリスのそうですねだからこの技術
ブログの著者あの狙いとしてはいやほら
調べてみたら思ったほど多くなかった
でしょとだからみんなリスプ書きましょう
よて結論にしよううんって記書き始めてん
ですよえ調べた結果ですね圧倒的に多かっ
た意外性がないそうだと思ったよ俺皆さん
リスパかこが多いって思ってるでしょ思っ
てるでしょいや調べてみたんすよかこが
多い言語ランキングはいめちゃくちゃ調べ
てみたらですねえ上位5位ほど丸ごと
リスプ方言が全部閉めれましたリスプ
グループがもうそうな言ってんじゃんそう
だってな関数のあの最初の命令のどころ
からかこ書いてから1多あのこれだからさ
俺面白いなと思ってこのブログ読んで俺た
てさみんなにこう思われてるけど調べてみ
たら実は違ったっていう形式の本を
めちゃくちゃ読んでるじゃんで
めちゃくちゃ面白いこれ違ったんだていつ
もびっくりさせられてるんだけどさ多分
それの背後にはさそれって1000個の
うち1個じゃん多分999個は本当にそう
かなと思って調べてみたら本当にそうでし
たいう空振りが多分いっぱいあると思う
絶対そうだよなで俺ら面白いやつだけ見
てるけどあのあ空振りのちゃんとあるなっ
ていうそしてその空振りの事例ってのは
論文化したり書籍化したりしないから同じ
こと調べたやつが出てくるよねあれね
悲しいねもしかしたら効果をああてか先人
でもやってる人いたんだみたいななる
でしょうねだから日の目を浴びない人たち
の静かな戦いがあってちょっとこれ泣けて
くるしえいなっていうのちょっと思ったん
でなんかね研究者がねちょっと誰かとか
覚えてないんだけどある実験をしたら予想
と全然違う結果になってしまって仮説の
検証ができませんでしたも論文所がいじゃ
っうんいやマジでそうだよねいましたね
ダメでしたっていうの大事だもんなそう
そうそうそうそうでも究極さ小学者からし
たらさこんなこと調べたいと思って実験を
したらこんなミスをしてデータが取れませ
んでしたも知りたいもんね本知りたいね
知りたいねだからそれをさめっちゃ書くの
うまい研究者とかだったらさ自分の失敗団
として本に落とし込んでるじゃんでもそれ
できてないじゃんほとんどの人はそれを
コミカルに書く技術って研究論になんか
絶対ねしないでしょうからねだから
もったいないっすよね人類のがちょっと
一部表に
思うんでこういう技術ブログなんかはね
そういうのいっぱいあって楽しいすね調べ
てみましたが違いましたうんうんあと本編
に入れようと思ったんだけどうまく入ん
なかったからやめたやつでちょっとだけ
本編でも触れたのがさリスプのすごいと
ころて言語自体を操れるんですよふ言語
自体を操作することができる言語えだから
なんだよねリストとして全て扱ってるから
そうそうそうそうはいこれホモアイコニッ
クって言らしいんですけどロズ造成使って
いるデータとコードが同い形をしているて
いう特徴があるおかげで自分自身をいじる
みたいなことが結構できるはんこの特徴
何かに似てないのかなと思って現実世界に
例えようと思っ自分自身を出させられる
そうそうそうそうみたいないい例えないの
かなと思ってあれこれ考えてたら多分ね
リスプは全部レゴの基本パーツで組み立て
てるものなんですようんうんで他の
プログラミング言語ってあの特殊パーツ
あんじゃんあの大砲を打つやつとかさ電気
で動くなんとかみたいなやつとか結構はい
あると思うんだけどあと人間のパーツうん
うんとかあると思うんだけどあれ使っ
ちゃってるのが他のプログラミング言語な
んだよねうんうん人間パーツ使っちゃうと
さスケールしないじゃんもうスケールし
ない3倍の大きさにしようって思った時に
人間パーツがボトルネックになってでき
なくなるよはい人間パーツでかくしたいと
思っても人がすっごいちっちゃくなっ
ちゃうからそうそうそう自分で作ったもの
じゃないから人間パーツだけはだから他の
もの山とかは全部大きくできるんだけど
ああなるほどねこいつ邪魔やなっていうと
が多分発生するじゃないねわそうこの人間
ちっなみたいなうんうんでもそれ特殊
パーツ使ってるからの弱点であって全て
あのレゴの基本パーツだけでさ全てを
組み立てて人も組み立てるぞってなって
たらそのまんま3倍にできますよねうん
うんっていうのがまリスプの素晴らしい
ところなんだろうなっていうの思いました
ねはいはいはいうんあのそれはイメージし
やすいですねうんなんか聞いてて思ったの
はそのリスプっていうのは言語でもあり
その言語自体を全てリストとして考えてる
わけだよねなんか聞いてて思ったのあの
フラクタルのさうんうんえっとなんだっ
たっけあのこうコ曲線だっけそうそうあれ
とかってまさにその図自体が全体でもあり
みたいななんかそういうものを思い出した
んですけどうんうんうんうん隠れリスパ
隠れリスパよあんたやっぱ書いてるねやっ
てるあ書いても書いてリスプやってるやつ
の発だよねいやいやいやいやそれまさに
その通りでインタープリタそのプログラム
のソースコードを解釈して翻訳する装置
っていうのがあってそれは普通別はい言語
で書くんですようんうんつまりpyonの
インタープリターをCで書くみたいなもの
が基本なんだけどうん外から定義する定義
というかリスプのインタープリター最も
有名なものはリスプで書かれてるんですよ
ふんリスプを解釈するためのものがもう
リスプで書かれているというこの矛盾
なんかさそれさうん外側に根拠がないこと
になるからさその正しさをどうやって証明
するのかよくわかんないその疑問俺も当然
持つわけ準備する段階でうん号設置問題と
かやっぱ知ってるとさえなるじゃ不思議だ
なと思うじゃんでもそれちゃんとあの
リスプ1.5っていう有名な論文があって
そんな論あ海の親のジョンマッカーシーが
書いていてリスプ自身でこのようにリスプ
は定義できるって書いてあってそれがも
すごく美しいうんうんうんも最も美しい
プログラミング言語の基盤として非常に
有名な構成でも語り継がれる素晴らしい
論文なんでえそれ読めばわかりますはいあ
じゃ違う違う違う違う違う違う違う違う
違う違うじゃんそれを読めば分かります今
の疑問の回答は全てそ書てありますうんコ
内に教えてくれよそれをああそれ読み
始めて2ページで挫折した話
す基礎知識が足りなかった全然何言ってか
わかんねえやと思ってあの僕は挫折したん
ですけどあ不思議ですよねその自己言及的
というかリスプが正しいのはリスプで書か
れているからだって言ってる感じですよね
そうそうそうそうだからそれうまくいか
ないんじゃねっていう気がするんだけど
うまくいってるらしいんすよねうんえ
詳しいことはリスプ1.5のリンクを概要
欄に貼っておきますんで皆さんこちらを
読んでいただければチェックしてくれよな
僕が今読んでるこの形式未論入門っていう
本はいはいちょっとま見てもらうと分かる
分かるんですけど硬そうすよねこの表紙も
形式論入門ドンて書いてあるだけでま半も
も開拓者っていうね言語系の本がよく出て
いるあもうやばいわ目次の段階でやばい
もんねなんて書いてあります第7章数量子
上昇かこクオンティフェロン
そうなっちゃいますよねだから僕結構警戒
してたんですねこいべだろやばそってで
ただ結構数多くの人にその形式未論勉強し
たいんですけどって言とこの本進められる
とで前書きでちょっと僕期待高まったん
ですよほ形式理論の入門書はえ両書が数々
出版されているが和書による入門書は思い
の他少ないと日本語の方は少ないとはいで
何を隠そう必者自身が学生時代形式議論の
入門所の南海さんに寝をあげていた1人で
あるとおおなんかいいぞいいぞ入門とは
簡単を意味しないということ悟ったのは
その時であったとというこの時の絶望感が
本書を執筆した強い同期となっているって
言ってるんですよなんかあれ俺目線かもっ
てなってうん面白いじゃんいいじゃんで
勝利を確信したのはねうん勝利を確信とか
あるんだはい5ページ目定だいぶ早い段階
だはいアメリカン大学院で形式見のやろう
と思うと教科書として採用されるうんのは
ハイムアクラッツ1998っていうまこの
本になりよく出てくる僕も名聞たことある
んけどはいだけどこれやっぱり本だと読ま
なきゃばないけないのだけれどもどうも
独学では手が出ない本として経されている
傾向があるよう者もよく形式論を勉強し
たいけど何かいいョありませんかねと相談
を受けた時によくこの本を進めることが
あるすると概ねうんその本を知ってるんだ
けどという困った顔をされることが多いと
しかしほ実はハイム&クラッツ1998の
本で覚えるべきルールは実質4つしかない
たった4つのルールだけを駆使して多様な
説明するという試みなのだへえなので本書
では主にその4つのルールの使い方に集し
イロ研究の論文に対するアレルギーを防ぐ
ことを目指すことにするうんめっちゃいい
じゃんアレルギー防いでくれんでしょ
ありがたすぎるじゃんからこの本のすごい
ところはハイムアンドクラッツーって
難しいよねわかるっていう俺の気持ちに
寄り添ってでも大丈夫ちょっとだけだから
覚えなきゃいけないの親しみあるねて言っ
て書いてくれてんですよ形式意味論最高
じゃないですか形式論ニそうだこの本今ん
とこ読んでてもそんなにま確かに難しく
見える部分もあるけどわかんなくはない
書き方になってておいいねそのこういうの
ありがたいんですよねだからそのありいね
はいはいここ難しいよね分かるわかる
わかるでも大丈夫だからって言ってくれる
と頑張ろって気になるけどこれはそこまで
はなってないですよね多分ねここのつき
でしょみたいな感じじゃないよね多分ね
ちょっと不親切かもしれないですね思った
のがやっぱねリスプから入るべきじゃない
んだなプログラミンググってっていうのは
めっちゃ思ってはいはい結構ね多分水野
さんだったら困るなっていう記述があって
うんここでグラフというツールを使おうと
うんうんグラフBSはオープンソースで
ウェブサイトから入手できるので
インストールしてみてくれソの名前です
そうですでじゃあもうまずはこれ使って
グラフを作り始めてみようって
インストールの手引きが書いてくれてなく
てはい具体的にこれどうしたらいいのかっ
ていう話が全く出てないのでこれ水野さん
だと困ると思いますねうんグラフビズって
調べて1番上に出てウェブサイトポチって
押していやパス通したりとかしないといけ
ないからさパスコンソール上で実行できる
ようにしなきゃいけないとかがあるからあ
ねそうそれのね手引き書いてくれない
パソコン入門書にはちょっとやそうなん
ですよあだからパソコン入門と
プログラミング言語をある程度自分でこう
やったことない人は厳しいかもしれない
ですねうんはははああそれで言うとこの
景色身の入門は生成文法のことちょっと
語った方がいいかもっていうのはあるかも
しれないですね当たり前のようにXバ理論
の受刑図が出てきちゃうのでそれは
ちょっと弱いですからそういうのもコミで
結局リスプはラテン語だって言ってたの
すごいいい表現だなと思ってボゴ1個ない
ときついぞていうああそうかもね確かにい
しれないなというのをめちゃくちゃ思い
ましたねえもう1個だけさ俺が感動した
とこ行っていいいよ客中で出てくるやつ
そのまま読み上げるんだけどうんま形式未
論ってその意味を関数みたいにね扱うよと
はいはいいう話が出てくるんですけどうん
関数に馴染みのない人には関数を表現する
用語に混乱することがある関数と箱と
捉える時入れれるものをAとして出てくる
ものをbとするその時ある関数にAを
入れるとBが出てくるということをある
関数は入力としてAを取り出力としてBを
返すという言い方をすることが多いとうん
親じゃていうこの表現は覚えておこうって
書いてあってうん親切こういうのがね
ありがたいのないなるほどねこのなんとか
を取ってなんとかを返すとかいきなり言わ
れると怖えから慣れておこうと言われると
慣れまっていう気になってありがとう
ございまてなるざいなるそうあるそういう
基礎の基礎教えてくれよみたいななんで
それ教えてくれんの知らんよその表現
みたいああるある用語の混乱とかをね最小
にしてくれる本素晴らしいですよねあの
プログラミングうん言語もさ多いんよその
手のやつ別名が多すぎて困るみたいなAの
ことをbとも呼ぶやつそうリスプやってて
困ったのはスペシャル変数っていう概念出
てきてスペシャル変数聞いたことないなと
思って知らんの出てきたスペシャル変数
って言ったらサポーターコミュニティで
すぐまグローバル変数だと思っていただい
ていいですって言われてあグローバル変数
って書いてじゃあとなりましたねさっきも
さリストがさリスプにおけるリストとさ別
の言語のリリストが違うパソにけるリスト
とニュアンス違うんじゃないかないや俺
パイソンの言語使用に自信がないけど
パイソンのリストはね結構ね配列をマスク
するために割と使っているというか
ラッパークラスみたいなイメージだと思う
んですよねニルもあるよねニルも最初さニ
るって何って思って見てあぬるのこと
かってなるのこれあるあるですよねそんな
ぬるぬるニルニルなんかうるさいなこれ
コンピューターサイエンス学び始めたやつ
あるあるでぬるって概念があるんだけどそ
要はなんでもないっていう値0はさ0を
さしちゃうじゃないですかでも0すらさし
てない何もいしていないよっていうことを
言いたい時にぬるっていうのを使うの
Nullうんこれの表記売りひどくて塗る
の場合もにるの場合もあるしうんニルの
場合はNLって書く場合もあるしnil
って書く場合もあるんですよなんでこれ
こんなにいっぱいあるのかな
コンピューターサイエンス学び始めて1年
目の時に思ったし今も思ってますこれなん
でだろうね知らねえよ歴史的詳しい方い
たらねうんなんか気づいたら慣れちゃうね
そういうやつって諸学者の時の疑問ってさ
調べそなってるやついっぱいあるよな分
めっちゃあるよそれはすげえあもう通り
すぎちゃって疑問に思わなくなっちゃっ
たっていうもったいない損失いっぱいあ
ますああそこ気にするんだってだ俺その
堀本さんに生生文法を紹介した時に文の
ことをSって書いてたのに堀さんがあ守護
のとこにSって書いてて守護のSじゃない
のって言った確かにそうだなて思ったこと
なかった初心者の時に通過しちゃうともう
一生疑問に思わないからねそうのあります
ねそうなんかこの形式見の入門でも出て
くるのがうん関数の入力となる値は
アーギュメント引数というが言語枠では
同士における高構造などアーギュメントコ
と翻訳してることが多いみたいなこれ
難しいねえ形式意味論ってでも言語学の一
ジャンルって言っていいそうです言って
いいんでしょでも言語学全体で言った時の
アーギュメントとえ形式意味論の中での
アーギュメントの意味が違うってことよね
難しいそれ用語の混乱なそれやばいなそれ
勘弁してほしいなだから訳せもいいんです
ね引数か効果っていう風に分ければいいん
ですけどそううこういうことが起きたり
するなんでそのアーギュメントに両方てん
だろうってのよくわかんないですけどあの
だから用語の混乱っってさあるよね俺これ
実はいつかやろうと思ってはいゆ
コンピューター科学ラジオの台本に貯め
てるんですけど別名何回シリーズうんはい
ていうのがあってさっき言ったやつ
グローバル変数の用語揺れひどくて
ダイナミック変数とも言うしスペシャル
変数とも言うふでグローバル変数のつに
なる概念がローカル変数なんだけどこの
ローカル変数のことをレキシカル
クロージャと言ったりレキシカル変数と
言ったりする用語の混乱やばくない
難しいな言語学だそこまでAのことを何と
も呼ぶし何とも呼ぶはあんまない気がする
役が揺れる場合はあるけどでも技術用語ね
これねニュアンスが全部微妙に違うんだよ
ねこういう時にこういうだろうなみたいな
のがあるんすよだからねオブジェクトと
インスタンスとかもそうでうんま全然違う
意味っぽいけどね大同じものを指すんだ
けどオブジェクトの方がより抽象的な概念
でオブジェクトを実態化させるさせたもの
とかは割とインスタンスて呼ばれることが
多いはいただ人によっては全部オブジェク
トって呼んでるみたいなああそういうやつ
ねこういう語のこんなあるんすよあるそ人
によってはこれのことまでこれって呼ぶ
あるわえなんだろうなそうこの調子はこれ
全部オブジェクトインスタンス化した後の
やつのこともオブジェクトって呼んでるな
みたいな時よくあるんですよ言語枠も
ムードとモダリティをね結構人によって
刺す対象が違うみたいありますよそれあ
こういうね用語の混乱フェスティバルやり
ましょうか今度混乱フェスティバルある
辛いんよあれ小学者はあこれ面白いこれ皆
さんよければお便りとかで送って
いただけるとありがたいす概要欄にお便り
フォームありますこういうのでね混乱した
よって話シェアすると楽しくみんなで共感
してさしかも学びになるじゃん今後やる人
が混乱しなくなるから本格人とかももしか
したらねそれでね親切になるかもしれない
しねまそんな感じでリスプシリーズ全3回
やってまいりましてま大体喋りたいこと
喋り終わりましたうんでこれやっぱさ
改めてやって思うのは水野さんが今やっ
てる関心領域と俺がやってる関心領域
めっちゃ逆サイドから掘り進めてて
トンネル繋そうな予感がそうですねするな
と思うんですけど僕でもこの関数型
プログラミングやる上でやっぱね避で通れ
ないなって思うのが集合とかの理解なんす
よ片理論とかもやっぱやりたいからこの辺
の理解をしっかり掘っていきたいなと思っ
てるんですけど水野さん次なんかやりたい
こととかありますはいその形式ミのこと
理解したいと思った時にいろんな先生に話
を聞くんですけどそこでそのうん口を揃え
て言われるのは集合論の理解が必要だよっ
ていう一緒じゃんことです一じゃので
ちょっと僕は実は合の書籍をちょっと集め
て俺今やりたいのカントールなんですけど
あそうですよカトールって言われました
あの川原茂先生にご飯食べながら景色見の
やんなきゃいけないなって思ってるんです
よね言ったらそうすねそうすると
カントールが必要ですねってやりましたよ
あれじゃあカントール俺らやった方がいい
んじゃない読会2人とカントール輪読会
やりますいいっすよいやまちょ現状って
よりは俺は結構入門書みたいな手元にその
初めての集合論みたいななんブバックか
うんかなものは買ったのでまそれを読んで
おこうかなとは思いますけどうんいいっす
ね僕もねそっちの方から語論会いつかやり
たいなってずっと言い続けてるんだけど
それが全くやる気になれないんだけどこれ
いい機会かもしれないですねはいお互いで
勉強すればねなんかさゆけ500ラジオ
すっごい始まった直後にさお互い古典的な
読みたいと思ってる名をさお互いうぜ
みたい話て結局ったあそうそうそうそう
まさにそんな話たと思うんですけど集合論
だったらこうお互いに役にも立つ
そして何より心強いじゃないですか俺これ
わかんねえけどわかるって言って分かっ
たらありがたいじゃないですかそうそうだ
ねだから一緒にやったら面白いかもしれ
ないねこれいいなゆ言語学ラジオゆ
コンピューター学ラジオ初の輪読企画やっ
たら面白いすねその流れで俺論理学もやり
たいす本当はうんもう
酒そうなるとみさんやっぱブール台数とか
も出てきてさどんどんコンピューターに接
していきますよ数もかブール数もね論理学
ですから
あれかる論理学ちょっとだけねああ
ちょっとだけやりましたね僕戸山克久先生
の論理学を作るっていう名所があるんです
よでかい教科書があって戸山和久先生って
あの論文の教室っていう本が多分1番有名
だと思うんですけどチおじさんなんですよ
あそうなんだチケまくりチケおじさんその
論理学なのにチケ教科書書い
てる馬鹿でかいんですけどそのでもなんか
本人もその楽しく学べて勝つ体型的な論理
学の入門書日本にはないので書いたみたい
こと言ってえ僕長屋大学のその言語学ケス
に行った時に陰性の先輩にそのなんか
面白い本ありますかて聞いた時にあの水野
君はこの論理学を作るをまず読んだ方が
いいよって言われてでけと思ってそうね
読まなかったんですけど買ったので将来的
には集合終わったらそっちも行った方が
言語の理解に役立つかと思ってちょっと
そんなことを考えていますかね暑いですね
じゃ今度さこの春一緒にインプット奴隷
合宿行こうぜつって温泉旅館取ったじゃん
こいあこでやりましょうはいオッケーす
集合とかの勉強をするお互い読んでで
こんな感じだったよっていう話をお互い
プレゼンしてとかまどこが面白いと感じた
かとかどこが面白くないと感じたかとか
喋るっっていういいよいいねこれ楽しいぞ
あそしたらじゃあ1本ずつ取ってお互い
素材お互いのチャンネルにこう分け合う
みたいな感じであのコラボっぽくさこうさ
うん同日公開みたい初のゆラジオゆ
コンピューター学ラジオコラボ見てるやつ
全部一緒なのにチャンネル登録ギクラジの
が多いからなどうしようかなちょっとお金
を払って続てコンピューター学ラジオから
夢のコラボ複雑だなあでもちょっと面白い
すねそれもねできるかもしれないわけ
わかんなくなりそうだけどどっちで何喋っ
てんだっけあじゃあこの企画ちょっとやり
ましょう今度温泉旅館で一緒に集合学ぶ会
やるんでま皆さん視点だと3ヶ月後とかに
多分公開され始めると思いますので気長に
お待ちいただけると幸でございます足
引っ張んなよ腹立つわ
こいつわかんないからねどうなるねどっち
かだけがめちゃくちゃ理解できる可能性
ありますそうですよねあの僕すごい数学
できるキャラみたいにしてるけど堀さんや
多分点低いですからねあそうでしょうね俺
ス3Cやってるからそれ有利だ俺行列
できるからそうやこれ有利だぞよし形台数
俺の方ができるこれ大学でやってないもん
大数やってないからああありがたいこれだ
から行列もできないし形台数やっぱ多分出
てくるからマジこれいいぞチャンス演算で
線形台数出てくるからやばいそれやばいな
僕の方がまだマ集合に出てくんのそれ出て
くるでしょ集合って結局さ行列にして演算
しようってなるでしょ多分そうなんだ
わかんないさ俺てとかドモルガンの法則と
かそういうそれから大数とつげなきゃいけ
なくなるから大数とつげたら多分形大数に
なるんじゃないかなあじゃ強烈弁しなきゃ
いけないわけわかんない周辺分野によるん
じゃないどこに進むかうんもだから多分
イブみたいなもんだからそれをどこに進化
させるかみたある気がしますねまだから
集合論って多分あれなんだよねその
いろんな学問やる上での礎みたいな感じな
知らんけど知らんけどうんえ憶測で語る
集合の本質ですねはいまということで
そんな新企画も楽しみにしていただきつつ
ですねま面白かった方は引き続き
チャンネル登録高評価感想のコメントなど
いただけると励みになりますあと導入で
使った魔法言語リリカルリスプのフォロー
するの完全に忘れたんですけどあのこう
いう面白サイトもリスパの皆さん作ってる
シレが分かる人だぞっていう感じのことを
言いたかっただけで僕は一切やってないん
ですけどこれもなんかね対話形式で魔法
少女っぽい人たち対話形式でリスプがうん
ベル面白サイトらしいんでそのサイトも
リスプで書かれているじゃない多分
ちょっと知らないですけどおそらくリスプ
のインタープリターすらリスプで書かれて
んだからこのサイトだってリスプで書かれ
てるでしょうようんうんということでこの
辺のね参考文献とかもまた概要欄に貼っ
とこうと思いますので興味ある方ご参照
いただければ幸いですはいなんかval
ブックスが全ての参考文献仕入れとくんで
全部うちで売ってくださいって言ってるん
ですけどうんなんかこのランドオブリスプ
バリボックスに仕入れさせるの申し訳ない
いっすね確かに何売るかわかんないですよ
ね売れるかな1かバチか5000ぐらい
入れとか1かか殺レベルそれ重犯しちゃっ
てるそれ怪物本5000分これはね何年で
履けるかなバリーブックス経営陣涙の決断
これやっていただきましょうぐです
3800円ですま意外と頑張ってる方です
よねじゃあ6000行きましょうか
3800円意外と安かったんでなんで深
かけんすかまちょっとあ行爆かし入れてて
もらうと思いますんで概要欄のバリ
ブックスリンから是非お買い求めください
あだったらこのね形式議論入もしれてもあ
それも行きましょう8000分行き
ましょうこれ2900円ですからはい全然
あじゃあ1万分きます
29029万じゃ
ない傾くて会社軽いノりで2900シ
まずいですね十分ぐらい入れといて
もらおうと思いますでさ一勉強したぜひま
僕公開されてるこ多分読み終わってると
思いますけどはいということで引き続き
valブックスから参考文献お買い求め
いただけますありがとうございます以上
今回も応しましょうありがとうございまし
たありがとうございまし
た
[音楽]
で
5.0 / 5 (0 votes)