ゆるコンピュータ科学ラジオ ゆるコンピュータ科学ラジオ
-
- Technology
-
ゆるく楽しくコンピュータの話をするラジオです。「コンピュータ科学をやるのにコンピュータは不要」「プログラミング言語には思想が宿る」「サーバーはかわいいので○人と数える」など、とっつきやすい話をふざけながらしています。
-
【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった#127
プログラミング言語の意味論の勉強をしたら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
【親チャンネル:ゆる言語学ラジオ】
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
個人YouTube→ -
マグカップのフタが買えなくて、技術に絶望した話。シンギュラリティは遠い。#126
私生活の不満をぶちまけた雑談回。「セールだったマグカップがもたらした惨劇」「ケチすぎて茶渋が洗うタイミングが分からない」「老いを感じるふたり」など、究極のコスパを求めた生活について話しました。
【目次】
0:00 マグカップを買うまでの経緯
4:35 マグカップがもたらした惨劇
6:40 惨劇の第2章、フタの適合企画
11:12 現代社会の不便さにキレる堀元
15:32 結論:技術革新は起きていない
18:45 茶渋は限界まで洗うべきではない
21:33 一番の問題は歯のコーヒー渋
23:24 ケチすぎて顔を犠牲にする水野
28:24 人に会うときは臭う方が得
【参考文献】
◯Invention and Innovation
https://www.valuebooks.jp/bp/VS0089403266
◯サーモス 保温マグカップ 350ml JDC-351ESP
https://amzn.to/3TyLdyk
※動画内で紹介されたマグカップ
◯アイリスオーヤマ 家具転倒防止伸縮棒ML
https://amzn.to/4dUJ4F9
※水野の家で余ってる突っ張り棒。ほしい方はinfo@pedantic.jp までメールください!
【サポーターコミュニティへの加入はこちらから!】
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
個人YouTube→ -
機械式コンピュータの挫折。その原因は、凡庸な人間ドラマだった。【バベッジ2】#125
チャールズ・バベッジは偉人だけど全部惜しい。「進学先にも恵まれず保守派と戦った」「世界初だから職人への報酬が高すぎた」「職人のせいで機械式コンピュータが未完」など、バベッジが揉めた話をしています。
【目次】
0:00 自営業者が必ず通るミスとは?
1:44 バベッジは偉人だけど惜しい
3:43 行く先々も惜しい
7:38 いくら天才でも凡人でも同じミスをする
22:47 惜しかったからこそ生まれたドラマ
24:32 バベッジエアプ撃墜講座
【参考文献】
◯バベッジのコンピュータ
https://amzn.asia/d/7tU5zE5
◯チャールズ・バベッジ: コンピュータ時代の探索者
https://www.valuebooks.jp/bp/VS0004280002
◯ディファレンスエンジン
https://amzn.to/44O4Aas
◯The Indifference Engine
https://amzn.to/4dBNm4e
【サポーターコミュニティへの加入はこちらから!】
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
個人YouTube→https://www.youtube.com/@kenHorimoto -
歯車でコンピュータを作った男。目的は、命を救うこと。【バベッジ1】#124
歯車でコンピュータを作った「機械式コンピュータの父」、チャールズ・バベッジの人生を追います。当時世界一の技術で歯車コンピュータを作った動機は、「人命を救うため」でした。
【目次】
0:00 プリンターは人命を救う?
0:30 バベッジはコンピュータのどんな父?
5:51 歯車だけでコンピュータが作れる
10:22 人が介入すると必ずミスる
18:50 こんなに優秀なのになぜ知名度が低い?
【参考文献】
〇チャールズ・バベッジ: コンピュータ時代の探索者
https://www.valuebooks.jp/bp/VS0004280002
〇復刊計算機の歴史 ―パスカルからノイマンまで―
https://www.valuebooks.jp/bp/VS0016547803
〇バベッジのコンピュータ
https://amzn.asia/d/7tU5zE5
〇第二階差機関が動く動画
https://vimeo.com/49080293
【サポーターコミュニティへの加入はこちらから!】
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
個人YouTube→https://www.youtube.com/@kenHorimoto -
【悲報】イノベーションは加速していなかった。1880年代が黄金期。#123
現代のイノベーションは加速しているのか?「イノベーションを数値化した論文」「Instagramは我々の生活を変えてない」「ここ50年でイノベーションがピークなのは3分野だけ」など、イノベーションの隠された真実を話しました。
【VBで販売中!堀元読書メモ付きの書籍たち
◯Invention and Innovation: 歴史に学ぶ「未来」のつくり方
→ https://www.valuebooks.jp/bp/VS0089403266
◯データセキュリティ法の迷走
・バリューブックス → https://www.valuebooks.jp/bp/VS0088528762
・YouTube → https://youtu.be/HeQJvgaZp50
◯クジラと話す方法
・バリューブックス → https://www.valuebooks.jp/bp/VS0088362069
・YouTube → https://youtu.be/1tsS-A_g0As
◯運動の神話
・バリューブックス
上 → https://www.valuebooks.jp/bp/VS0084749534
下 → https://www.valuebooks.jp/bp/VS0084749543
・YouTube → https://youtu.be/yVV08GZ7sm0
【目次】
0:00 イノベーションは加速している?
1:56 ブレイクスルーの数を数値化
7:43 1880年代は革命の黄金期
12:58 イノベーションの加速度を実感で測るな
19:21 現代でイノベーションが起きた3分野
26:58 取り締まり警察の参考書
31:16 バリューブックスで買うと読んだ気になれる
【参考文献】
◯Measuring Technological Innovation over the Long Run
https://www.nber.org/papers/w25266
◯不確実性の時代
https://amzn.to/3WoLUMp
【サポーターコミュニティへの加入はこちらから!】
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マガジン→ -
ムーアの法則は誤解だらけ。元論文を読んだら全然違う主張だった。#122
ムーアの法則は間違いだらけでした。「未来予測はしてないし、そもそも法則じゃない」「"18ヶ月"という数字の出自は不明」「カッコよくイキれる形で拡散されてしまった」など、ムーアの法則の誤解を話しました。
【目次】
0:00 信じるか信じないかはあなた次第
0:26 なぜか説明が曖昧になってしまう法則
2:36 知ると怖い一次資料と存在しない数字
8:57 知られていないよく知られた法則の真相
14:55 カッコよくイキれる形で拡散されていく
16:32 半導体の集積密度はそろそろ限界?
19:20 都市伝説みたいな法則は思い出の逸話
【参考文献】
◯Cramming more components onto integrated circuits
https://hasler.ece.gatech.edu/Published_papers/Technology_overview/gordon_moore_1965_article.pdf
※ムーアが『Electronics』に寄稿した記事
◯Progress In Digital Integrated Electronics
https://www.eng.auburn.edu/~agrawvd/COURSE/E7770_Spr07/READ/Gordon_Moore_1975_Speech.pdf
※ムーアがIEDMの基調講演で話した内容のテキスト版
◯「間違いだらけ」のムーアの法則
https://pc.watch.impress.co.jp/docs/column/semicon/1088866.html
【サポーターコミュニティへの加入はこちらから!】
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
個人YouTube→