ゆるコンピュータ科学ラジオ ゆるコンピュータ科学ラジオ
-
- Tecnologia
ゆるく楽しくコンピュータの話をするラジオです。「コンピュータ科学をやるのにコンピュータは不要」「プログラミング言語には思想が宿る」「サーバーはかわいいので○人と数える」など、とっつきやすい話をふざけながらしています。
-
【悲報】イノベーションは加速していなかった。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→ -
索引の発明者はサイコパス。人間性を捨てることで生まれた大発明【索引の歴史】#121
索引の発明はサイコパスの所業でした。「索引は2000年間発明されなかった」「ページ数を振るのは人間性を捨てること」「 索引が必要になった理由は”悩み相談”」など、『索引の歴史』についてアレコレ喋りました。
【目次】
0:00 情報を効率的に扱うために邪魔なものは?
3:52 本は魂に刻むもの
6:16 迷える子羊のための索引
13:05 ページ数はすごい
18:40 ほぼ同時にふたりが発明したシリーズ
24:17 アルファベット順の発想はサイコパス
30:36 索引は非人間的で自由
【参考文献】
◯索引~の歴史 書物史を変えた大発明
https://www.valuebooks.jp/bp/VS0087823022
【サポーターコミュニティへの加入はこちらから!】
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
【水野太貴プロフィール】
名古屋大学文学部卒。専門は言語学。某大手出版社で編集者として勤務。言語学の知識が本業に活きてるかと思いきや、そうでもない。
Twitter→ -
大人の勉強は「夢の中」が主戦場。寝ながらマクロを書くといい【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 -
Lispの勉強をしたら『葬送のフリーレン』と同じカタルシスが待っていた。【Lisp2】#119
「Lisp」シリーズの第2回。「小カッコに隠された美しい統一理論とは?」「世にも珍しいLisp母語話者が生まれた」「Lispを通して見る自然言語」など、Lispが持つ統一理論の美しさについて話しました。
【目次】
0:00 このプログラミング言語がすごい!
0:43 統一理論こそが美しい
12:50 Lispの統一理論「リストを作る」
28:34 Lispを通して見る自然言語
41:45 検証結果:Lispが大好きになる
【参考文献】
◯Land of Lisp
https://www.valuebooks.jp/bp/VS0036813874
◯はじめてのLisp関数型プログラミング
https://www.valuebooks.jp/bp/VS0003745575
◯葉桜の季節に君を想うということ
https://amzn.to/43Krv64
◯葬送のフリーレン(1)
https://amzn.to/43JqjA1
◯括弧への異常な愛情 または私は如何にして心配するのを止めてCommon Lispを愛するようになったか
https://www.slideshare.net/m2ym/common-lisp-9838434
※「Lispは手段ではなく目的」という主張はここから。
【サポーターコミュニティへの加入はこちらから!】
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 -
【検証】40時間Lispを勉強したら信者になれる?【Lisp1】#118
「Lisp」シリーズの第1回。「気難しそうで気難しくないLisper」「"3+5"より"+ 5 3"の方が良く見えてくる」「神が作った言語と呼ばれる理由」など、Lispを40時間勉強してその魅力に迫りました。
【目次】
0:00 40時間勉強したらLisp信者になる?
2:03 熱狂的な信者が多いLisp
3:23 気難しそうで気難しくないLisper
8:59 キレイなLispのルール
16:23 Lispと形式意味論は隣接分野
22:44 3+5は例外
28:09 Lisp以外の言語は自然言語的
29:55 Lispは神の言語たりうるか
【参考文献】
◯Land of Lisp
https://www.valuebooks.jp/bp/VS0036813874
◯はじめてのLisp関数型プログラミング
https://www.valuebooks.jp/bp/VS0003745575
◯ポール・グレアム『Lispの起源』有志による日本語訳
https://masatoi.hateblo.jp/entry/20151210/1449948614
【サポーターコミュニティへの加入はこちらから!】
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
【水野太貴プロフィール】
名古屋大学文学部卒。専門は言語学。某大手出版社で編集者として勤務。言語学の知識が本業に活きてるかと思いきや、そうでもない。
Twitter→