厳密凸二次プログラムを解くための新しいアルゴリズム | Synapse