新年あけましておめでとうございます。この収録では2つのお便りへの返信と Ken の 2025 年振り返りと 2026 年の目標について話しています。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。メールアドレス london-tech-talk@proton.me にもお便りを送ってください。
新年あけましておめでとうございます。この収録では2つのお便りへの返信とKazの2025年振り返りと2026年の目標について話しています。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。メールアドレス london-tech-talk@proton.me にもお便りを送ってください。
今回は Ken のソロ収録で、最近の近況について語りました。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。メールアドレス london-tech-talk@proton.me にもお便りを送ってください。
Tokoro さんをゲストにお呼びしました。3つのカンファレンスでの登壇とその登壇内容、カンファレンス登壇をきっかけに転職に繋がったこと、数年ぶりの転職からプロベーション突破についてお話をしました。
ご意見・ご感想は Google Form にて募集中です。
今回はAsai さんとAtsushi Hatakeyama が企業向けRAG（Retrieval-Augmented Generation）とAIセキュリティをテーマに深く語りました。実際のプロダクション開発で直面する「RAGのスケール問題」「精度改善」「散在データの統合」、そして AI 時代ならではの「脆弱性の増加」「危険コード検知」「テイントアナリシス」まで、現場の知見を踏まえながら議論しました。AI・RAG・LLM プラットフォーム開発や、AI セキュリティに関心のあるエンジニアにおすすめの回です。ご意見・ご感想は Google Form にて募集中です。
スイスのチューリッヒでソフトウェアエンジニアをされているMasaaki Hondaさんをゲストにお呼びしました。まずヨーロッパで手に入りにくいしゃぶしゃぶ用豚肉の話を冒頭でしました。本題では前職Googleでの仕事内容や働き方から、クオリティとインフラ領域の仕事の違い、Google独自のバージョン管理ツール、転職の経緯と難しさ、量子コンピューティングの計測、セミリタイア/FIREなど多岐に渡るトピックについて話ました。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
London Tech Talk 名物 Bookclub 第四弾 "Database Internals" 完走しました。本書全体の振り返り収録です。
Part I
Part II
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
ホストにKaz の妻 Yumiko とゲストに友人の Chikako を招待して、ワインを飲みながらイギリスとフランスについてお話しました。具体的には、ワイン、イギリスとフランスの子育て、日本帰国した時の驚き、子育てに便利な料理グッズ、イギリスとフランスの小学校、二人の仕事について話しています。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
London Tech Talk 名物 Bookclub 第四弾 "Database Internals" 第十四章の振り返り収録です。"Consensus" の内容について振り返りました。ついに全十四章を完走しました！
まずは分散システムにおける合意形成の根本的な課題について紹介しました。友人間での日程調整をアナロジーとして、合意形成の困難さや、連絡エラー、返事の遅れ、予定変更、機器故障などの現実的な問題を例に、分散システムの合意形成問題を説明しました。
本章の内容について振り返っていきます。まず、合意形成の基盤となる Atomic Broadcast について解説しました。オンライン会議での発言順序をアナロジーとして、「全てのノードが同じ順序でメッセージを受信すること」の重要性について説明しました。Apache Zookeeper で実装されている ZAB（Zookeeper Atomic Broadcast）についても紹介しました。
Paxos については、分散合意の理論的基盤となる古典的アルゴリズムとして紹介しました。Lamport 教授による 1998 年の発表以来、多くの後続アルゴリズムに影響を与えた一方で、「理論的には美しいが実装が困難」という特徴について説明しました。Multi-Paxos、Fast-Paxos、Egalitarian Paxos（EPaxos）、Flexible Paxos といった改良版についても触れました。
Raft については、「理解しやすく、実装しやすい」ことを明示的な目標として設計された現実的な選択として詳しく解説しました。問題をリーダー選出、ログレプリケーション、安全性に分割するアプローチや、YugabyteDB をはじめとする多くの現代的な分散データベースでの採用理由について説明しました。Raft の命名秘話（reliable, replicated, redundant, fault-tolerant から候補を選定）についても紹介しました。最後に、Byzantine Consensus についても説明しました。
その他 Bookclub で盛り上がった各参加者の深掘り内容や、全十四章完走の達成感について触れました。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
今回は Kaz の一人収録でポルトガルのリスボン旅行について語りました。リスボンの料理やスイーツ、街についてお話しています。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
London Tech Talk 名物 Bookclub 第四弾 "Database Internals" の振り返り収録ボーナス編です。
Atsushi Hatakeyama さんをゲストにお呼びして、本書の振り返りや Bookclub の意義について雑談しました。
また、そこから派生して、学習の意義、新しい技術のキャッチアップ疲れ、手を動かして学ぶ「実践」の重要性について話が広がりました。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
Asai さんをゲストにお呼びしました。Asaiさんの近況についてキャッチアップしました。前半では第二子出産、ジュネーブとロンドンの保育園事情についてお話しました。その後、AsaiさんのSREからAI Engineerへの転身について決断した背景等をお伺いしました。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
London Tech Talk 名物 Bookclub 第四弾 "Database Internals" 第十三章の振り返り収録です。"Distributed Transactions" の内容について振り返りました。
まずは分散トランザクションの根本的な問題について紹介しました。海外旅行の複数都市手配（航空券、ホテル、レンタカー）をアナロジーとして、「オール・オア・ナッシング」の Atomicity がなぜ重要なのか、そして分散環境でそれを実現することの困難さについて説明しました。
続いて、2PC（Two-Phase Commit）について詳しく解説しました。Coordinatorが中心となって動作する二段階のアルゴリズムを、「Up-or-out な会社のチームリーダー」のアナロジーで説明し、そのシンプルさと普遍性、そして「Blocking」特性という課題について触れました。
次に、3PC（Three-Phase Commit）を紹介しました。2PCの改良版として「Prepare to Commit」フェーズを追加し、より慎重な合意形成を行う仕組みを、「スイスのような完全民主主義国家の議長」というアナロジーで説明しました。理論的な改善と実際の使用頻度のギャップについても言及しました。
決定論的アプローチとして、Calvin、Spanner についても簡単に説明しました。Calvinの「グローバルな実行順序の事前決定」による効率化、Spannerの「シャードごとの2PC最適化」とTrueTimeによるExternal Consistency について話しました。
その他 Bookclub で盛り上がった実践的な議論や、次回の Chapter 14 の予定について触れました。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
Shunsuke さんをゲストにお呼びしました。Shunsuke さんが最近行った旅行先のプラハ、ユトレヒト、コペンハーゲン、エッセンとデュッセルドルフについてお話しました。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
London Tech Talk 名物 Bookclub 第四弾 "Database Internals" 第十二章の振り返り収録です。"Anti-Entropy and Dissemination" の内容について振り返りました。
まずは大規模な分散システムにおけるメタデータ配信の課題について紹介しました。会社の組織変更情報を全社員に伝達する状況をアナロジーとして、ブロードキャスト方式の通信コスト問題や、階層構造による情報伝達の効率性と課題について説明しました。
続いて、Anti-entropyアルゴリズムの3つの主要コンポーネントを詳しく解説しました。Read Repair（修復アルゴリズム）では図書館の司書さんによる蔵書情報照会の例を用いて、データを読む時の「ついでに修復」という仕組みを説明しました。Digest Reads（検知アルゴリズム）では、全データではなくハッシュ化されたダイジェストのみを送って効率的に差分を検知する方法を紹介しました。Hinted Handoffs（予防機能）については、学校の宿題預かりシステムをアナロジーとして使用し、故障したノードの代わりに他のノードが一時的にデータを預かる仕組みについて説明しました。重要なのは「権限の引き継ぎ」ではなく「一時的な荷物預かり所」であるという点も強調しました。
また、効率的なデータ構造として Merkle Tree と Bitmap Version Vector について触れました。Merkle Tree はブロックチェーンでも使われる階層的なハッシュ構造による差分検知技術として、Bitmap Version Vector はビット演算（XOR）を使った更新追跡の仕組みとして紹介しました。
さらに、Gossip Protocol について説明しました。疫病や噂話が集団の中で拡散される様子をアナロジーとして、情報がネットワーク全体に「感染」のように広がる仕組みと、そのスケーラビリティの利点や重複メッセージのオーバーヘッドという課題について触れました。Plumtree（Hybrid Gossip）と HyPerView（Hybrid Partial View）についても簡単に触れました。
その他 Bookclub で盛り上がった観点や、次回の Chapter 13 の予定について触れました。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
本日のエピソードは Kaz のパートナーの Yumiko をゲストに招待して、ロンドンの天気とロンドンに移住してから始まった新しいことをお互い３つづつ出して近況を話しました。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
London Tech Talk 名物 Bookclub 第四弾 "Database Internals" 第十一章の振り返り収録です。"Replication and Consistency" の内容について振り返りました。
まずは分散システムにおけるレプリケーションの必要性と、それに伴う整合性の課題について紹介しました。大学の図書館分館のアナロジーを織り交ぜながら、同じ質問に対して場所によって異なる答えが返ってくる状況を例に、分散システムの整合性問題を説明しました。
続いて、悪名高い CAP 定理について触れました。Consistency（一貫性）、Availability（可用性）、Partition tolerance（分断耐性）の三つのうち最大で二つまでしか同時に満たせないという理論と、その現実的な適用における注意点について説明しました。CP システムと AP システムの具体例も交えて紹介しました。
その後、様々な整合性モデルについて詳しく解説しました。Sequential Consistency では SNS や銀行システムの例を用いて、すべてのノードが同じ順序でイベントを確認する重要性を説明しました。Causal Consistency については、因果関係のあるイベント同士の順序性のみを保証する、より緩い整合性モデルとして紹介しました。Eventual Consistency では、Amazon のショッピングカートの実装例を挙げ、最終的な整合性がどのように実現されるかを具体的に説明しました。
また、チューナブル整合性の概念として R + W > N の式を紹介し、図書館分館での在庫確認のアナロジーを使って、読み込み（R）と書き込み（W）のクォーラムをどのように調整するかについて説明しました。
その他 Bookclub で盛り上がった実践的な議論や、次回の Chapter 12 の予定について触れました。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
皆さん、いかがお過ごしでしょうか？9月になってロンドンはすっかり夏の終わりです。本日のエピソードはホスト二人の近況回になっています。
ロンドンの夏の服装とKenのヒゲや髪型のこだわりについてまったりと話しています。
ご感想はご意見は X でハッシュタグ #LondonTechTalk をつけてつぶやいてください。お便りはこちらの Google Form でも募集しています。
London Tech Talk 名物 Bookclub 第四弾 "Database Internals" 第十章の振り返り収録です。"Leader Election" の内容について振り返りました。
まずは "Bully Algorithm" について紹介しました。避難所の比喩を織り交ぜながら、リーダーが故障した時に、ノードが自分のランクをお互いに送り合いながら新しいリーダーを決める過程について紹介しました。
続いて Bully Algorithm の改良版とも言える "Next-In-Line Failover" や "Candidate/Ordinary Optimization" について紹介しました。次にリーダーになりうる候補者リストを事前に決めたり、リーダーに選定されうる候補者セットとそうではない一般セットに分けたり、といった工夫によって、リーダー選定アルゴリズムにおける Thundering Herd 現象を避けようとしている観点について触れました。
その他、ボトムアップでリーダーを選定する "Invitation Algorithm" や、リング状のトポロジーを形成してリーダーを決める "Ring Algorithm" についても説明しました。
その他 Bookclub で盛り上がった観点や、次回の Chapter 11 の予定について触れました。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。
Yuta さんを初めてゲストにお呼びしました。ベルリンからトロント、東京へと渡り歩いた Yuta さんの日本本帰国後に何をしているか、今後についてお話を伺いました。
ご意見・ご感想など、お便りはこちらの Google Form で募集しています。