式の展開（公式①・自動表示）