20. Nintendo Switchのハッキングとコンピュータセキュリティ (るくす)

More from Turing Complete FM All episodes →

1. 

   1 Jul 2018 · 1 hr 24 min

   25. Chromeのローディングの最適化、脆弱性報奨システム、ブラウザとマイクロカーネル (Kinuko)

   Chrome開発者のKinukoさんと、Chromeのページロードを速くする話や、ブラウザのセキュリティ、ブラウザのマルチプロセスアーキテクチャとマイクロカーネルの類似性などについて話をしました。

2. 

   24 Jun 2018 · 1 hr 24 min

   24. 細胞内の物質の濃度を測る研究、ヒトゲノム計画、害虫の根絶 (Shiro Kadowaki)

   東大医学部卒業後にソフトウェアエンジニアをしている門脇さんと、生物の研究の話や最近の遺伝子技術の進歩などについて話をしました。

3. 

   17 Jun 2018 · 1 hr 19 min

   23. マッチングアルゴリズム、不揮発性メモリ、水槽の脳 (hikalium)

   戦略投票を行わなくてよいマッチングのアルゴリズム、Intel 3D XPointのような不揮発性メモリ、この世界はシミュレーションか、といった話などをしました。

4. 

   11 Jun 2018 · 1 hr 39 min

   22. gVisor（LinuxユーザプログラムとしてLinuxカーネルを実装したサンドボックス）とNoahの話 (ぬるぽへ)

   gVisorというLinux向けサンドボックスがオープンソース化されました。gVisorの構成は、ぬるぽへさんが作成していたNoahとかなりよく似ています。そこで、ぬるぽへさんからNoahの経験をもとにgVisorの話を伺いました。

5. 

   2 Jun 2018 · 1 hr 28 min

   21. 東大CPU実験でRISC-Vプロセッサを自作した話 (高橋祐花)

   東大の授業ではCPUやコンパイラを作ってレイトレイサを動かすという授業があります。高橋さんのチームはRISC-Vプロセッサを実装して汎用OSを動かそうとしました。その話を伺いました。

6. 

   21 May 2018 · 1 hr 42 min

   19. Gauche Schemeのスタックとヒープのハンドリング (川合史朗)

   川合史朗さんが作っているScheme処理系Gaucheの実装について、特にメモリ管理やクロージャ、継続の実装などに焦点を当てて話をしました。最近のCPUでは単純にJITしても速くならない理由などについても話をしています。

7. 

   14 May 2018 · 1 hr 24 min

   18. セキュキャン、LLVMプロジェクト、コンピュータサイエンスの書籍 (hikalium)

   hikaliumのセキュキャン体験、コンピュータセキュリティ、LLVMプロジェクト、コンピュータサイエンスのおすすめ書籍などについて話をしました。

8. 

   7 May 2018 · 1 hr 28 min

   17. Gauche Schemeの基本デザインの選択理由、オブジェクトデータベース、浮動小数点数の落とし穴 (川合史朗)

   プログラミング言語を作る時には、途中で変えることが極めて難しいデザイン選択を最初に行わないといけないことがあります。今回は川合史朗さんがGaucheを設計した時に行ったデザイン選択の判断について話を伺いました。また、浮動小数点数のトリッキーさについても話をしています。

9. 

   30 Apr 2018 · 1 hr 30 min

   16. プログラムの静的検証、システムズプログラミングの論文 (うどん)

   うどんくんが研究していたプログラム検証の話や、システムズプログラミングの古典的な論文についての話をしました。

10. 

    22 Apr 2018 · 1 hr 19 min

    15. CERNでのソフトウェアエンジニアリング (高橋祐花)

    CERNでソフトウェアエンジニアとして仕事をしている高橋祐花さんと、CERNでの話やスイスでの暮らし、外国語、フェミニズムなどについて話をしました。