ticker でなく境界から始める
Micron cash flow and capital expenditure は市場物語より先に systems の問いである。memory capacity、bandwidth、latency、packaging yield、inventory、capital intensity は AI system の異なる部分を制約する。vendor announcement は product roadmap を説明できても、shipment volume、実現 margin、競争 share、投資可能な結果を独立に証明しない。技術 mechanism、会社の claim、条件付き thesis を同じ notebook で分ける。
- 1workload と data movement
- 2memory requirement
- 3package と供給制約
- 1会社開示
- 2会計 line item
- 3scenario assumption
- 4invalidation test
mechanism と測定
境界のある workload を定義する。batch、context、model、accelerator 数、storage path、許容する tail latency を書き、一度に一つの量だけを測る。HBM は accelerator 近くの bandwidth を変え得るが、compute、networking、software、power の制約を自動で直さない。NAND/SSD は persistence と dataset movement を変える。stacked memory では TSV と package assembly が yield と qualification の依存を足す。財務では revenue、gross margin、operating cash flow、capital expenditure は異なる量で、代用してはいけない。
演習として三つの scenario を作る。base case では unit demand と price assumption を明示する。upside case では qualification、yield improvement、持続した utilization のように必要な運用証拠を挙げる。downside case では ASP、bit shipments、yield、capex efficiency の一つだけを先に下げる。revenue と cash need の変化を計算し、その scenario を無効にする証拠を列挙する。これは scenario math であり株価目標ではない。
証拠の限界と次の作業
Micron の quarterly material と SK hynix/Samsung のページは issuer disclosure である。各社が各日付で述べたことを支える。現在の Samsung newsroom index は未日付 index なので、日付付き release として扱わない。HBM4 ページは product/roadmap の説明を支えるが、vendor の独立比較ではない。利用前に正確な filing または earnings release を取り、可能なら non-GAAP を filing と reconcile し、access date を残す。本稿は prices、market shares、future earnings を主張しない。
capexは次四半期のsupplyではない
Micronのfinancial materialではGAAP revenue/gross profit、operating cash flow、PP&E purchases、会社定義のfree cash flowを別の行として読む。同じ名前のnon-GAAP metricでも会社間比較は自動ではない。Q3 resultsとQ2 prepared remarksは一次資料の入口だが、数値は必ず日付付きtableとreconciliationで確認し、この章に保持していない値を補完しない。
- 1GAAP income + noncash ± working capital = CFO
- 1CFO - PP&E purchase = 定義したfree-cash lens
- 1cash outlay
- 2construction/tool/install
- 3yield/qualification
- 4sellable bits
玩具例として10億ドルを投じ、60%がconstruction、40%がtool、翌年にtoolの半分だけinstalledとする。全額を翌四半期のcapacityとは呼べない。installed toolでもutilization、process yield、product mix、HBM stacking、package、customer qualificationを経て初めてsellable outputになる。これはMicron forecastではなく、一段のcapex-to-revenue推論を拒むための算数である。
working capitalも別に測る。revenue増でreceivableが膨らめばcashは遅れ、inventory増はsale前のcash使用になる。inventory減はcash releaseでもdemand増の証明ではない。演習では期末、GAAP revenue/gross margin、CFO、PP&E、inventory、receivable、capex guidance、non-GAAP定義を一表に置き、front-end、technology transition、packaging、support infrastructureのどれかを開示がある場合だけ対応付ける。qualification timeは不明ならunknownと書く。
ROOFLINE / 仮想的な入力
メモリは計算装置へ十分にデータを送れるか。
上限 = min(計算の上限, 帯域 × 演算密度)。TBは10¹² byte。キャッシュ、アクセスの形、通信、実際の稼働率を省いた上限で、製品の測定ではありません。容量を増やしても帯域が増えるとは限りません。
出典
01自分のノート