アリスがメッセージformula_7に署名する場合、以下の計算を行う。