大人の勉強は「夢の中」が主戦場。寝ながらマクロを書くといい【Lisp雑談】#120 ゆるコンピュータ科学ラジオ

「Lisp」の撮り終わり雑談回。「ライバルに勝つための秘策"夢の中で勉強"」「Lispはレゴの基本パーツしか使っていない」「言語学とコンピュータの接点は論理学」など、大人になってから気づいた勉強の大変さについて話しました。



【目次】

0:00 夢のようなLisp勉強用サイト

0:24 大人になって実感する演習問題

6:08 ライバルに勝つための秘策「夢の中で」

11:06 Lispの重要な特徴「カッコ多すぎ」

14:36 自分で自分を操れることは美しい

18:30 堅そうだけど親切な著者に感謝

27:43 Lispと形式意味論の究極の接点



【参考文献】

◯Land of Lisp

⁠⁠https://www.valuebooks.jp/bp/VS0036813874⁠⁠



◯はじめてのLisp関数型プログラミング

⁠⁠https://www.valuebooks.jp/bp/VS0003745575⁠⁠



◯形式意味論入門

https://www.valuebooks.jp/bp/VS0002530471



◯魔法少女リリカルLisp

http://lyrical.bugyo.tk/



◯「Lisp はカッコが多い！」のか実際に調べてみた

https://qiita.com/snufkon/items/db4b7239e073317a6284



◯文字渦

https://amzn.to/49A2XOq



◯Lisp 1.5 Programmer’s Manual

https://amzn.to/3vPgKmw



◯Semantics in Generative Grammar

https://amzn.to/43YzWuJ



◯集合とはなにか はじめて学ぶ人のために

https://amzn.to/4cEQagu



◯論理学をつくる

https://amzn.to/4aoOc2q



◯論文の教室 レポートから卒論まで

https://amzn.to/3xrWmZe



【サポーターコミュニティへの加入はこちらから！】

⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://yurugengo.com/support⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠



【親チャンネル：ゆる言語学ラジオ】

⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@yurugengo⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠



【実店舗プロジェクト：ゆる学徒カフェ】

⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@yurugakuto⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠



【おたよりフォーム】

⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://forms.gle/BLEZpLcdEPmoZTH4A⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

※皆様からの楽しいおたよりをお待ちしています！


【お仕事依頼はこちら！】

info@pedantic.jp



【堀元見プロフィール】

慶應義塾大学理工学部卒。専門は情報工学。WEBにコンテンツを作り散らかすことで生計を立てている。現在の主な収入源は「アカデミックに人の悪口を書くnote有料マガジン」。

Twitter→⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://twitter.com/kenhori2⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

noteマガジン→⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://note.com/kenhori2/m/m125fc4524aca⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠