ここでformula_13からformula_12を任意に選ぶということは、入力点から任意にビットを選択するということに他ならない。