otokichi-doc

マラソンの予想タイムを出す 3 つの方式

Riegel 式・Tanda 式・VDOT 式を、何を材料にして何を仮定しているかという観点で並べて読む。式の記号の意味と導出の考え方を 6 枚の図で辿り、適用範囲と実装したときに踏む落とし穴までを扱う。

Amazon Cognito と OAuth 2.0

OAuth 2.0 / OIDC の 4 つの役と手順を出発点に、ユーザープール・ID プール・3 種類のトークン・エンドポイントが規格のどこに対応するかを 6 枚の図で辿る。認可コード + PKCE、スコープとリソースサーバー、フェデレーションの二段重ね、AWS 認証情報への交換まで。

Lucene Internals

OpenSearch の検索基盤である Apache Lucene の内部構造。セグメントの不変性を出発点に、書き込み・データ構造・検索・最適化・削除・OpenSearch との接続点を 9 枚の図で辿る。