メンテナー権限を申請 · smt-decomp