謎の式が出てきた