数理生物で使われるモデルのカタログを作る。