定量モデルによるERKのプロセッシブリン酸化モデルの発見