バイオチン依存カルボキシル化のメカニズムに関するモデル研究