学びの蓄積
書庫
Cloudflareのエッジ設計: サービス境界とデプロイの証拠
Workers、静的配信、データ、認証を一つのサービスとして設計し、公開後の挙動まで確かめる。
Computer Use: 観察・操作・検証をつなぐ仕組み
ブラウザやデスクトップの操作を、現在の状態、意図した行動、再読み込み後の証拠で評価する。
Hacker News 観測：話題性を境界付きの技術実験へ変える
日付を固定した HN API の観測を、人気順位ではなく技術仮説として読む更新ノート。
画像生成の基礎：Diffusion、Flow Matching、Transformerを制作判断へ翻訳する
ノイズから画像へ戻す生成を、潜在表現、条件付け、Flow Matching、DiTの関係として理解し、速度と制御の判断に使う。
画像モデル調査ノート：提供モデル、open weights、ライセンスを混同しない
2026-10-04取得の公式資料で、OpenAI GPT Image、Google Imagen、Stable Diffusionの公開形態と制作上の判断点を整理する。
画像制作フロー：Reference、キャラクター一貫性、Control、LoRA、Inpainting
一発生成に依存せず、参照、制御、局所修正、必要時のLoRAを責務分離して、再現できる画像制作工程へ変える。
実務画像ワークショップ：一枚の広告ビジュアルを検証可能な工程で作る
商品と人物を含む静止画を、仕様、参照、構図、生成、局所修正、文字組み、公開監査へ分けて制作する演習。
画像生成フロンティアノート：FLUX.3、GPT-Image 2.5、Nano Banana 2を工程で読む
2026-10-04に確認した公式情報から、画像生成の焦点が一発の画質比較から、レイアウト・編集・来歴・高速反復の工程設計へ移っていることを整理する。
Jev入門：文章生成の外側にある、型付き意思決定
Jev/System One を、候補・状態・型・確率を持つ小さな判断器として理解し、通常のコードと組み合わせる。
JevのChoice・Score・Noul：確率、confidence、権限を混同しない
三つの質問型の役割と、分布の集中度を自動実行の許可証にしないための設計を学ぶ。
Jev実装演習：候補生成、abstain、E2E評価をつないで壊れ方を測る
意味判断を決定論的な候補生成と安全境界に接続し、対照群を置いた end-to-end 評価を設計する。
ローカルLLMを遅くしないための量子化・KV cache・実行系
モデルの重み、作業メモリ、生成速度を別々に見て、MLX・llama.cpp・vLLMを選び、手元で再現できる評価手順へ落とす。
MiniMaxとローカルLLMの選び方：open weights、API、実行可能性を分ける
公開リポジトリ、重み、API提供、推論サーバーを混同せず、MiniMaxを含むモデル候補を安全に比較するための調査と実験の教科書。
AI投資の価値連鎖：技術の制約から株主に届く現金まで
HBM・NAND・電力・光通信の制約を、価格・顧客認定・必要資金・株式評価までつなぐ。
財務諸表：事業の成長と現金の動きを照合する
AAOIとBloomの実際の表を読み、利益率を計算し、残高と期間の動きを区別する。
株価スナップショット：価格・収益率・下落率を区別する
SNDK・BE・AAOI・MUの時刻付き価格を確認し、架空の履歴を作らずに下落率を理解する。
バリュー株：倍率を見る前に利益を平準化する
景気循環の割安株とバリュートラップを、利益と再投資の計算例から見分ける。
マクロ：政策金利・物価・AI設備投資を別々に読む
2026年9月のFRBと8月の物価統計を読み、将来の現金価値への影響を計算する。
次のボトルネック：BEとAAOIを条件付きの事業仮説で考える
使える電力と光製品の認定を比較し、株価評価を支えるために必要な成長を逆算する。
AIシステムのメモリ階層：停止しているbyteを見つける
register、cache、HBM/DRAM、SSD、networked storageを区別してインフラ主張を検証する。
なぜHBM帯域が重要か：FLOPSの前にbyteを数える
算術強度、HBM帯域、容量を分け、実測でAIの制約を判定する。
積層DRAM、TSV、yield：良いdie一枚では足りない
HBM stackをTSV、bonding、熱、test、複利的yieldとして読む。
HBM4 interfaceとpackaging：pin増加はsystemを変える
HBM4の広いinterface、logic base die、package co-designを測定可能な条件として読む。
DRAMとNAND：異なる技術、異なるcycle
volatileなworking memoryとpersistent flash storageをAI pipelineとbusiness推論で分ける。
AIのNAND/SSD storage：acceleratorを飢えさせない
SSD、host memory、decompression、GPUまでのAI data pathとenduranceを実測する。
SanDisk: business and separation
AIメモリ基盤の技術主張と財務主張を検証するための学習フレーム。
Reading SanDisk financial statements
AIメモリ基盤の技術主張と財務主張を検証するための学習フレーム。
SanDisk demand and pricing
AIメモリ基盤の技術主張と財務主張を検証するための学習フレーム。
Micron: business and HBM
AIメモリ基盤の技術主張と財務主張を検証するための学習フレーム。
Micron cash flow and capital expenditure
AIメモリ基盤の技術主張と財務主張を検証するための学習フレーム。
SK hynix memory economics
AIメモリ基盤の技術主張と財務主張を検証するための学習フレーム。
Samsungの競争力を読む
Samsungのメモリ事業は、DRAM、NAND、HBMの認定、パッケージング、複合企業として 開示される収益性を分けて読む必要がある。技術・供給・会計の境界を一次資料で確認する。
KioxiaとWestern DigitalのNAND事業を読む
NAND事業は、ウェハ技術、共同製造の取り決め、クライアント向けとエンタープライズ向けの製品、 会計を報告する法的主体に分けて比較する。技術・供給・会計の境界を一次資料で確認する。
先端パッケージングを読む
HBMの供給はDRAMウェハだけでは決まらない。TSV加工、ダイ積層、ベースダイ、 インターポーザまたは基板、接合、放熱経路、テスト、システム認定のすべてに歩留まりがある。 技術・供給・会計の境界を一次資料で確認する。
メモリ製造装置を読む
製造装置の売上は工程の複雑さと顧客の設備投資計画の影響を受けるが、装置出荷、 設置済み装置のサービス、メモリメーカーのビット生産量は異なる時系列である。 技術・供給・会計の境界を一次資料で確認する。
メモリ市況サイクルの評価を読む
メモリ市況サイクルは、ビット需要、供給追加、在庫、価格、稼働率、設備投資から成る。 評価の仮説では、各要因と、それを支える会計上の根拠の日付を明示する必要がある。 技術・供給・会計の境界を一次資料で確認する。
メモリ仮説の無効化条件を読む
堅実なメモリ仮説は、物語になる前に技術面と財務面の反証観測を明示する。 HBM、NAND、パッケージング、製造装置では、それぞれ異なる形で前提が崩れる。 技術・供給・会計の境界を一次資料で確認する。
HBM and fabric queuesを読む：事業価値の境界
HBM, topology, oversubscription, and optical links form one queueing system. Locate the limiting resource before creating an equity narrative. 技術、会計、供給制約を混同せずに読む教材。
800Gと1.6Tの光通信：ポート速度は一つの予算である
800G・1.6Tという表示を、レーン、変調、ホスト損失、光ファイバー到達距離、FEC、認定作業に分解して読む。
トランシーバー、レーザー、DSP：電気レーンが光になる場所
モジュールは電気・光・熱・製造の連鎖である。価値や障害原因を決める前に変換点を地図にする。
シリコンフォトニクスとCPO：電気経路を短くし、保守境界を変える
CPOは光エンジンをスイッチASICの近くへ移す。電気信号予算を改善し得る一方、組立、冷却、修理を変える。
銅線、AEC、光通信：ケーブルを選ぶ前に到達距離の境界を決める
受動銅線、能動電気ケーブル、AOC、トランシーバーとファイバーは異なるチャネルと運用の問題を解く。
AAOIの事業と製品：部品企業を境界の連鎖として読む
AAOIはデータセンター、CATV、通信、FTTHにまたがる。製品説明を顧客認定、生産、売上から分けて読む。
AAOI financial statementsを読む：事業価値の境界
Turn revenue, gross margin, inventory, receivables, and cash flow into time-stamped questions rather than a price forecast. 技術、会計、供給制約を混同せずに読む教材。
AAOIの顧客集中: 開示から読めることと顧客名にできないこと
顧客集中は経済的な依存度の指標であり、顧客名や光モジュール採用を逆算する証拠ではない。
AAOI qualified capacityを読む：事業価値の境界
Capacity is qualified throughput, not floor space. Yield, test time, material availability, and cash conversion decide whether an order becomes revenue. 技術、会計、供給制約を混同せずに読む教材。
AAOIの契約と売上: 光モジュールを会計上の関門まで追う
予測、発注、出荷、受入れ、売上認識は別々の出来事であり、必要な証拠も異なる。
CoherentとLumentum: 会社名の比較より先に光学上の境界を比べる
比較はティッカーの印象ではなく、製品境界、用途、市場、製造、報告セグメントから始める。
BroadcomとMarvell：スイッチと光モジュールの間で価値を読む
スイッチASIC、光DSP、AECリタイマーがそれぞれ何を担い、何を証明しないかを、部品と運用の境界から学ぶ。
Aristaのバックエンドネットワーク：ポート、リンク、運用へ翻訳する
leaf-spine構成を、スイッチ密度と実導入を混同せずに読む。光部品がどこで増え、どの条件で運用が変わるかを扱う。
interconnect domainsを読む：事業価値の境界
Interconnects operate at different layers and deployment choices. Compare topology, software, NICs, switches, and reach. 技術、会計、供給制約を混同せずに読む教材。
laser and packaging supply chainを読む：事業価値の境界
The next constraint may be an input, qualified process, test station, or customer validation. A shortage needs a named stage and evidence. 技術、会計、供給制約を混同せずに読む教材。
conditional valuationを読む：事業価値の境界
Use conditional bull, base, and bear operating scenarios. Volume, mix, yield, utilization, working capital, and discount rate are assumptions to expose. 技術、会計、供給制約を混同せずに読む教材。
光インフラ仮説の棄却: 反証ダッシュボードを先に作る
技術、顧客、製造、会計のどの観測が結論を変えるかを、仮説より先に明記する。
光ネットワークのモニタリング演習: 仮説更新の前に提出書類を事象別に読む
年次・四半期の業績、契約、決算リリース、資金調達、ガバナンスを小さな台帳で分けて記録する。
OSS AIを採用する前に読む：リポジトリ、重み、依存関係、運用
スター数ではなく、ライセンス、保守、再現、脆弱性、モデル重みを分けて見て、OSSを学習と実運用へ安全に持ち込む。
OSS release 観測：release ページは検証の出発点
GitHub Releases を日付付きで読み、採用前に残す記録と試験手順を示す更新ノート。
AI論文を実装判断へ翻訳する読み方：主張、条件、再現、失敗
論文の改善率を鵜呑みにせず、課題、比較条件、仕組み、トレードオフ、実装演習へ分解して読むための教科書。
DeepSeek-R1を読む：推論RLは何を変え、何を約束しないか
DeepSeek-R1の2025年論文を、報酬設計、蒸留、評価条件、再現実験、実運用の限界まで分解して読む。
s1を読む：少ないデータで推論を伸ばす時、何を測るか
2025年のs1論文を、test-time scaling、budget forcing、データ選別、再現と限界の観点から実装判断へ翻訳する。
DAPOを読む：LLM強化学習をアルゴリズムだけで見ない
DAPOの2025年論文を、報酬、長さバイアス、非同期・システム設計、再現実験と報酬ハッキングの観点から読む。
2025年以降の推論RL・効率化論文を実装へ読む
推論時の計算配分、RLの学習効率、短い推論、動的な長さ制御を扱う2025年の四論文を、主張と制約を分けて読む。
Physical AI入門：VLAの歴史を、知覚から安全な行動までつなぐ
Vision-Language-Action を万能ロボットの魔法と見なさず、観測・座標・方策・制御の接続として理解する。
2025年のVLA地図：SmolVLA、π0/π0.5、OpenVLA、GR00Tを同じ物差しで読む
各発表を比較表の順位にせず、公開性、身体、データ、行動表現、評価境界で読み解く更新ノート。
LeRobot実践：データセット、模倣学習、評価、Sim2Realを一本の品質ループにする
LeRobot のデータ形式と統一インターフェースを起点に、収集から実機評価までの失敗しやすい接点を学ぶ。
ロボット無しで始めるPhysical AI：安全な学習手順と、実機へ進まない判断
ハードウェア未実行を明記し、データ観察・シミュレーション・評価設計だけでPhysical AIの核心に触れる。
Physical AIの座標変換とカメラ校正：画像のピクセルを安全な手先行動にしないために
カメラ、ロボットベース、手先の座標系とキャリブレーションを、VLAの外側にある検証可能な契約として学ぶ。
VLA論文を実装可能な設計へ読む：π0、SmolVLA、GR00Tの比較読解演習
論文の新規性を性能ランキングと混同せず、行動表現・データ・身体・評価・未検証境界へ分解する。
Physical AIワークショップ：データ分割から方策評価、Sim2Real判断までを一周する
公開・合成データだけで、base policy、軽量適応、失敗分類、実機に進まない判断を再現可能な作業票へ落とす。
チップから系統まで：AIデータセンターの電力連鎖を分解する
GPU、変換設備、冷却、受電、オンサイト電源を、物理・契約・信頼度の境界で読む。
連系と通電時期：容量は工学・規制・調達の待ち行列で決まる
大口負荷の申請が、調査、設備、料金、工事、試験、運用制約になるまでを追う。
Bloom Energyの固体酸化物形燃料電池：仕組み、燃料境界、運用の問い
オンサイトSOFCを、製品説明とライフサイクル・運転実績を混同せずに読む。
Bloom Energyの事業と顧客：顧客シグナルと認識売上を分ける
顧客、提携、導入、売上の開示を段階ごとに読むための証拠の梯子。
Bloom Energyの財務諸表：提出書類は測定境界であり評価の答えではない
損益、貸借、キャッシュフロー、注記、集中度、リスクを別々の証拠として読む。
Bloom Energyのバックログと契約：バックログは解約・実行リスクを持つ定義である
営業パイプライン、拘束力ある契約、売上、現金、稼働容量を混同しないための読み方。
Bloom Energyのキャッシュフローと希薄化：資金の道筋を追う
利益、現金、負債、株式、案件資金を別の問いとして読む。
ガス供給・排出・許可：オンサイト電源には外部境界がある
燃料契約、大気許可、メタン境界、排出主張を現地の証拠で確認する。
原子力とPPAの経済性：契約は納入されたMWではない
原子力供給、PPA、データセンター需要を、物理・価格・会計の境界で比較する。
変圧器・開閉装置・UPS：使える計算資源を作る電気連鎖
受電からラックまでの設備、保護、冗長性、試運転を地図にする。
液冷とラック密度：熱設計はインターフェースの問題である
チップから放熱までを、熱移動、水境界、制御、保守性で読む。
Vertivの事業と評価：電力・冷却需要を提出済みの経済性につなぐ
システム事業、バックログ、現金、リスクを、需要成長から株価目標へ短絡させずに読む。
AIプロバイダーを能力表ではなく運用の層として選ぶ
OpenAI、Anthropic、Google、ElevenLabs、Databricks、Vercel、Cloudflareを、モデル・データ・実行・音声・配信の層に分けて設計する。
生成AIを本番に置く前の評価・安全・コスト設計
モデルの賢さを測る前に、根拠、権限、失敗復旧、観測、更新を結ぶ。本番運用で回答品質を再現可能にする実践章。
Databricksで作るデータ接続AI：Agent BricksとUnity Gatewayの実践
企業データへAIを接続する際に、検索精度より先に権限、意味、監査、費用を設計する。Databricks公式発表を起点にした実践章。
Vercelで出すAIアプリ：AI SDK、Gateway、Workflowを製品境界に置く
Vercelのagentic infrastructure発表を起点に、ストリーミング、tool call、durable job、秘密情報、評価を一つのWeb製品として設計する。
Cloudflareで作るエッジAI：Workers AI、AI Gateway、Agentの責任境界
エッジ推論とAIアプリを速く出す前に、state、認証、費用、キャッシュ、tool実行を分けて設計するCloudflare実践章。
ElevenLabsを使う音声AI：声の品質より先に同意・遅延・検証を設計する
TTS、音声会話、吹替を製品へ入れる時の同意、権利、明示的な失敗処理、遅延、評価を、ElevenLabs公式資料と実装演習で学ぶ。
公式発表ウォッチ：プロバイダーの更新を製品判断へ戻す
2026-10-04に公式ブログとドキュメント入口を確認した記録。発表日、観測事実、影響、未確認を混ぜない。
Rustの基礎：最初の10段階
Cargo、所有権、借用、エラーを小さなコマンドラインプログラムで学び、予想と実行結果を照合する。
Trailを作る：Rustの11〜30段階
一つの作業ログ製品を育てながら、契約、永続化、Webの境界、回復、計測、リリースを実践する。
実用システムのためのRustのメンタルモデル
所有権、境界、並行処理、永続化、性能を、具体的な設計判断と結び付けて理解する。
動画生成の地図：拡散、Flow、DiTが一つのカットになるまで
動画生成を、時間軸を持つ潜在表現の生成として捉え直し、拡散・Flow Matching・DiTの役割と限界を制作判断へつなぐ。
Reference-first動画制作：プロンプトの前に世界を固定する
企画、参照設計、キャラクターシート、ショットリスト、カット生成、編集と音声までを、一貫性を管理する制作工程として実践する。
動画生成でBlenderと3Dを使う条件：カメラ、遮蔽、連続性を設計する
3Dを最終画に使うのではなく、破綻しやすい空間制約を可視化するために使う。Blenderによるブロッキングとカメラ連続性の実践。
30秒生成動画ワークショップ：一カットずつ検証して完成へ近づく
30秒の短編を、企画からカット設計、生成、失敗評価、編集まで再現できる小さな制作実験に分解する。
動画モデル調査ノート：2025年以降の提供形態と制作上の選び方
Veo、Sora、Wan、LTXを公式資料で確認し、クラウド提供・open weights・推論コード・安全策を別軸で比較する。
Hailuo、Kling、Runway調査ノート：機能表を制作工程へ戻す
MiniMax/Hailuoの公式発表を中心に、KlingとRunwayは確認できた公開情報の範囲を限定して、短尺生成を制作へ組み込む判断を整理する。
Y Combinator 観測：公開シグナルを制約付きの実験へ変える
YC RFS と企業資料を、推薦や採用判断から分離して日付付きで読む更新ノート。