演算子値半円要素:正の制約を持つ二次行列方程式の解法 | Synapse