強迫症のメカニズムを解明 ～不安を伴う繰り返し行動を生み出す計算論モデルを確立、治療の最適化に応用可能～