1. TypeScriptにおける条件型と`infer`キーワード：使いこなしガイド
   inferキーワードは、TypeScriptの条件型と呼ばれる高度な型システム機能の一部です。条件型は、型の構造を動的に検査し、その結果に基づいて新しい型を生成することを可能にします。inferキーワードは、このプロセスにおいて、条件型内の型パラメータに推論された型を割り当てるために使用されます。