31. 携帯電話のハッキング、コンピュータサイエンスの論文 (るくす)
カーネギーメロン大学の客員研究員として明日から赴任するるくすくんと、コンピュータのセキュリティや、システムズ系のコンピュータサイエンスの論文などについて話をしました。 出演者: るくす ( @RKX1209 )、Rui Ueyama ( @rui314 ) https://tur...
Radio and PodcastLive Radio & PodcastsTechnology
Turing Complete FM
プログラミングとコンピュータサイエンスについてのディープな話をしていますが、出てくる人たちは普通に話しているだけで特別な話をしているつもりはないポッドキャストです。
Episodes
20 of 31 episodes30. セルフホストできるCコンパイラの作り方を夏休みの特別授業で教えた話 (hikalium)
セキュキャンのCコンパイラ自作コースが無事に終わりました。共同講師だったhikaliumと一緒に、コンパイラ自作の要点やコンピュータサイエンスの教え方などについて振り返りました。 出演者: hikalium ( @hikalium )、Rui Ueyama ( @rui314 )...
29. ユタ・ティーポット、Cコンパイラ開発の授業、中学生時代のOS自作エピソード (hikalium)
セキュキャンのCコンパイラ作成コースの話、CGでよくでてくるティーポットの実物を入手した話、hikaliumの中学生時代のOS自作の話をしました。 出演者: hikalium ( @hikalium )、Rui Ueyama ( @rui314 ) https://turingc...
28. プログラミング言語のブートストラッピング問題、コードとの互換性を保ちつつ言語を変更していく話 (川合史朗)
Gauche Schemeの作者の川合史朗さんと言語処理系についての話をしました。GaucheのCコードとの互換性を保ちつつ無限リストを導入するために採用したトリックや、Gauche自身で書かれているGaucheを過去のバージョンでビルドするために気をつけていることなどの話をしま...
27. 歴史の中のコンピュータ: 1946年の電王戦、エニグマ暗号の解読 (うどん)
今週は歴史回です。僕からは、終戦の翌年の東京で、日本のそろばん名人が米軍代表の電卓オペレータと大規模な公開マッチを行って、そろばん名人が勝利したという知られざるエピソードを紹介します。うどんくんからは、第二次世界大戦のドイツ軍の暗号がどう破られたのかという話をします。 出演者:...
26. Nintendo Switchのエミュレータでhomebrewアプリを動かす話、サイバーセキュリティと政府機関 (るくす)
るくすくんとSwitchエミュレータの進歩や、政府機関のサイバー部隊に就職したい話、セキュリティ全般について話をしました。 出演者: るくす ( @RKX1209 )、Rui Ueyama ( @rui314 ) https://turingcomplete.fm/26 ハッシュ...
25. Chromeのローディングの最適化、脆弱性報奨システム、ブラウザとマイクロカーネル (Kinuko)
Chrome開発者のKinukoさんと、Chromeのページロードを速くする話や、ブラウザのセキュリティ、ブラウザのマルチプロセスアーキテクチャとマイクロカーネルの類似性などについて話をしました。 出演者: Kinuko ( @kinu )、Rui Ueyama ( @rui31...
24. 細胞内の物質の濃度を測る研究、ヒトゲノム計画、害虫の根絶 (Shiro Kadowaki)
東大医学部卒業後にソフトウェアエンジニアをしている門脇さんと、生物の研究の話や最近の遺伝子技術の進歩などについて話をしました。 出演者: Shiro Kadowaki、Rui Ueyama ( @rui314 ) https://turingcomplete.fm/24 ハッシュ...
23. マッチングアルゴリズム、不揮発性メモリ、水槽の脳 (hikalium)
戦略投票を行わなくてよいマッチングのアルゴリズム、Intel 3D XPointのような不揮発性メモリ、この世界はシミュレーションか、といった話などをしました。 出演者: hikalium ( @hikalium )、Rui Ueyama ( @rui314 ) https://...
22. gVisor（LinuxユーザプログラムとしてLinuxカーネルを実装したサンドボックス）とNoahの話 (ぬるぽへ)
gVisorというLinux向けサンドボックスがオープンソース化されました。gVisorの構成は、ぬるぽへさんが作成していたNoahとかなりよく似ています。そこで、ぬるぽへさんからNoahの経験をもとにgVisorの話を伺いました。 出演者: ぬるぽへ ( @nullpo_hea...
21. 東大CPU実験でRISC-Vプロセッサを自作した話 (高橋祐花)
東大の授業ではCPUやコンパイラを作ってレイトレイサを動かすという授業があります。高橋さんのチームはRISC-Vプロセッサを実装して汎用OSを動かそうとしました。その話を伺いました。 出演者: 高橋祐花 ( @00_ )、Rui Ueyama ( @rui314 ) https:...
20. Nintendo Switchのハッキングとコンピュータセキュリティ (るくす)
るくすくんと一緒に、デバグ例外を使ってx86プロセッサ上のOSのセキュリティホールをつく手法や、Nintendo Switchのハッキング、ゲーム機のセキュリティなどについて話をしました。 出演者: るくす ( @RKX1209 )、Rui Ueyama ( @rui314 )...
19. Gauche Schemeのスタックとヒープのハンドリング (川合史朗)
川合史朗さんが作っているScheme処理系Gaucheの実装について、特にメモリ管理やクロージャ、継続の実装などに焦点を当てて話をしました。最近のCPUでは単純にJITしても速くならない理由などについても話をしています。 出演者: 川合史朗 ( @anohana )、Rui Ue...
18. セキュキャン、LLVMプロジェクト、コンピュータサイエンスの書籍 (hikalium)
hikaliumのセキュキャン体験、コンピュータセキュリティ、LLVMプロジェクト、コンピュータサイエンスのおすすめ書籍などについて話をしました。 出演者: hikalium ( @hikalium )、Rui Ueyama ( @rui314 ) https://turingc...
17. Gauche Schemeの基本デザインの選択理由、オブジェクトデータベース、浮動小数点数の落とし穴 (川合史朗)
プログラミング言語を作る時には、途中で変えることが極めて難しいデザイン選択を最初に行わないといけないことがあります。今回は川合史朗さんがGaucheを設計した時に行ったデザイン選択の判断について話を伺いました。また、浮動小数点数のトリッキーさについても話をしています。 出演者:...
16. プログラムの静的検証、システムズプログラミングの論文 (うどん)
うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。 出演者: うどん ( @kw_udon_ )、Rui Ueyama ( @rui314 ) https://turingcomplete.fm/16 ハッシュタグは #t...
15. CERNでのソフトウェアエンジニアリング (高橋祐花)
CERNでソフトウェアエンジニアとして仕事をしている高橋祐花さんと、CERNでの話やスイスでの暮らし、外国語、フェミニズムなどについて話をしました。 出演者: 高橋祐花 ( @00_ )、Rui Ueyama ( @rui314 ) https://turingcomplete....
14. 少年時代にPCを（本当の意味で）自作した話 (川合史朗)
Gauche Schemeの作者の川合史朗さんと、Z80 CPUを使ったPCをホストコンピュータなしに自作した話や、Schemeの話などをしました。 出演者: 川合史朗 ( @anohana )、Rui Ueyama ( @rui314 ) https://turingcompl...
13. 自作アセンブラ、リンカの最適化、トリッキーなビット操作の楽しさ、外資系IT企業のコーディング面接対策 (hikalium)
hikaliumの自作アセンブラや自作言語、データ構造やトリッキーなビット操作を使ったアルゴリズム、リンカの最適化などについて話をしました。 出演者: hikalium ( @hikalium )、Rui Ueyama ( @rui314 ) https://turingcomp...
12. Unicode、絵文字、Androidのテキスト関連のハンドリング、無数の文字トリビア (のな)
Androidのテキスト処理を担当しているのなさんと、UnicodeやUnicode絵文字、テキスト処理の複雑さ、文字トリビアなどについて話をしました。 出演者: のな ( @ttuusskk )、Rui Ueyama ( @rui314 ) https://turingcomp...