静的単一代入（せいてきたんいつだいにゅう、英:StaticSingleAssignmentform,SSA）形式は、コンパイラ設計における中間表現(IR)のひとつで、各変数が一度のみ代入されるよう定義されたものである。
在编译器的设计中，静态单赋值形式（staticsingleassignmentform，通常简写为SSAform或是SSA）是中间表示（IR，intermediaterepresentation)的特性，每个变数仅被赋值一次。