真・式を展開する先輩