# 知った - [The new cost-based join optimizer with reordering support for non-inner joins](https://clickhouse.com/blog/the-new-cost-based-join-optimizer-with-reordering-support-for-non-inner-joins) - [[ClickHouse]] の [[クエリオプティマイザ]] がどうJoinを最適化しているか - クエリオプティマイザとしては、選択性が高い（=かなり絞り込める）テーブルを先にJoinしていくと、マテリアライズされる行を減らせてメモリ消費が減るのでハッピー → どういう順序でテーブルを結合していくかを考える必要がある - 一つづつ順番にJoinしていく場合、nテーブルあればn!通り。(((A + B) + C) + D) - 実際は別々にJoinした中間結果をガッチャンコしたりする（bushy plan）。((A+B) + (C + D)) - この木のパターンは [[カタラン数]] になるので、テーブル数が増えると爆発する - 今までは貪欲法で決めてたけど、動的計画法にしたらしい # やった # 思った - AI時代のWindow Managerってどういう感じになるんだろうな # その他 - 昨日買ってみたカルディのモカブレンド、かなり香り高くて美味しい - https://www.kaldi.co.jp/ec/pro/disp/1/4515996018718 - 朝から幸せな気分 # フィード - [The new cost-based join optimizer with reordering support for non-inner joins](https://clickhouse.com/blog/the-new-cost-based-join-optimizer-with-reordering-support-for-non-inner-joins) (ClickHouse Engineering): DPsubアルゴリズムによる新しいコストベース結合オプティマイザ。外部結合（Outer）やSemi/Anti結合を含む結合順序の最適化を安全に実現。 - [Meet GroeneAI: our autonomous contributor to ClickHouse](https://clickhouse.com/blog/meet-groeneai-our-autonomous-contributor-to-clickhouse) (ClickHouse Engineering): ClickHouse開発における自律型AIコントリビューターの実践運用と開発ワークフローへの組み込み事例。 - [Exploring the feasibility of conversational diagnostic AI in a real-world clinical study](https://research.google/blog/exploring-the-feasibility-of-conversational-diagnostic-ai-in-a-real-world-clinical-study/) (Google Research): 会話型診断AIシステム（AMIE）を実際の臨床現場で適用・検証したフィージビリティ調査レポート。 - [年齢推定・年齢確認の重要性に関する指摘](https://idmlab.eidentity.jp/2026/10/blog-post.html) (IdM実験室): デジタルアイデンティティ基盤における属性検証（年齢確認・推定）の制度的動向と技術的課題。 - [Authenticated Broadcast in $\widetilde O(n^{2.5})$ Communication](https://decentralizedthoughts.github.io/2026-10-23-subcubic-broadcast/) (Decentralized Thoughts): ビザンチン障害耐性（BFT）環境における認証付きブロードキャストの通信量を劣3乗に削減する最新の合意形成プロトコル解説。 - [TLA-Verus: LLM agents prove temporal properties of TLA+ specs](https://muratbuffalo.blogspot.com/2026/10/tla-verus-llm-agents-prove-temporal.html) (Metadata (Murat Demirbas)): 分散システムの形式仕様（TLA+）をVerusへ変換し、LLMエージェントが安全性・活性などの時相論理を証明するアプローチの解説。 - [HPTS 2026 (Day 2 and Day 3)](https://muratbuffalo.blogspot.com/2026/10/hpts-2026-day-2-and-day-3.html) (Metadata (Murat Demirbas)): HPTS 2026参加レポート後編。分散合意（Consensus）、オブジェクトストレージ、ハードウェア進化とレイクハウスの動向。 - [OpenID Foundation（OIDF）がオーストラリアのプライバシー改革に関する政府コンサルテーションへ提出](https://idmlab.eidentity.jp/2026/10/openid-foundationoidf.html) (IdM実験室 (富士榮 尚寛)): オーストラリアのプライバシー法改正に対するOIDFの意見提出。デジタルアイデンティティと個人情報保護の国際整合性。 - [P vs. NPの現状](https://lealgorithm.blogspot.com/2026/09/p-vs-np.html) (Le Algorithm): 計算複雑性理論におけるP vs NP問題の現在地と、既存の証明アプローチが直面している主要なバリアについての整理。 - [Redesigning Source Control](https://www.anthropic.com/research/redesigning-source-control) (Anthropic Engineering): AIエージェントと人間が協調して大規模コードベースを変更する時代に向けた、バージョン管理システムの再設計に関する技術考察。 - [The sleep framework: A new way for LLMs to retain knowledge in continual learning](https://research.google/blog/the-sleep-framework-a-new-way-for-llms-to-retain-knowledge-in-continual-learning/) (Google Research): LLMの継続学習において過去の知識を忘却（Catastrophic Forgetting）せずに保持するための新しい学習フレームワーク。 # この日の記録 - 1年前: [[2025-11-01]] - 3年前: [[2023-11-01]] - 5年前: [[2021-11-01]] - 7年前: [[2019-11-01]] - 10年前: [[2016-11-01]] - 1年後: [[2027-11-01]] - 3年後: [[2029-11-01]] - 5年後: [[2031-11-01]] - 7年後: [[2033-11-01]] - 10年後: [[2036-11-01]]