Скачать с ютуб 【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった в хорошем качестве

【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった

プログラミング言語の意味論の勉強をしたら7時間がムダになりました。「自作プログラミング言語に憧れる」「意味論なのに意味論じゃなかった」「自然言語は本当に出来が悪い？」など、意味論について勉強した成果を話しました。 【目次】 0:00 引き続き温泉旅館からお届け 4:05 自作プログラミング言語に憧れる 10:00 7時間40分がムダになった真相 14:43 山に登り、意味論の景色を見た 26:28 言語学が定義する意味はどこまで？ 34:56 自然言語は本当に出来が悪いのか？ 47:33 大学生は勉強しよう 【参考文献】 ◯プログラミング言語の形式的意味論 https://amzn.to/3R4TIiQ ◯型理論 https://amzn.to/3KugmNT ◯新装版 プログラミング言語の基礎理論 https://amzn.to/3wYdhTj ◯論理学をつくる https://amzn.to/4bHFlJB ◯チューリングを読む コンピュータサイエンスの金字塔を楽しもう https://amzn.to/4bx0arf ◯形式意味論入門 https://amzn.to/4c129E8 【サポーターコミュニティへの加入はこちらから！】 https://yurugengo.com/support 【親チャンネル：ゆる言語学ラジオ】    / @yurugengo   【実店舗プロジェクト：ゆる学徒カフェ】    / @yurugakuto   【おたよりフォーム】 https://forms.gle/BLEZpLcdEPmoZTH4A ※皆様からの楽しいおたよりをお待ちしています！ 【お仕事依頼はこちら！】 [email protected] 【堀元見プロフィール】 慶應義塾大学理工学部卒。専門は情報工学。WEBにコンテンツを作り散らかすことで生計を立てている。現在の主な収入源は「アカデミックに人の悪口を書くnote有料マガジン」。 Twitter→  / kenhori2   noteマガジン→https://note.com/kenhori2/m/m125fc452... 個人YouTube→   / @kenhorimoto   【水野太貴プロフィール】 名古屋大学文学部卒。専門は言語学。 某大手出版社で編集者として勤務。言語学の知識が本業に活きてるかと思いきや、そうでもない。 Twitter→  / yuru_mizuno   【姉妹チャンネル】 ◯ゆる音楽学ラジオ(   / @yuruongaku  ) ◯ゆる民俗学ラジオ (   / @yuruminzoku  ) ◯ゆる天文学ラジオ (   / @yurutenmon  ) ◯ゆる書道学ラジオ (   / @yurushodo  ) ◯ゆる生態学ラジオ (   / @yuruseitai  ) ◯ゆる哲学ラジオ (   / @yurutetsugaku   ) #意味論 #ゆるコンピュータ科学ラジオ_意味論発表会