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