混合符号ペアへの複素拡張における算術幾何平均不等式の境界条件 | Synapse