生体の細胞内では数千以上もの化学反応が、適切なタイミングで適切な量おこることにより、多様な機能が維持されている。代謝ネットワークは、細胞内の化学反応と化合物の関係をネットワークとして表現する。代謝ネットワークの種々の数理モデルの中でも、制約モデルを用いた流束均衡解析(Flux balance analysis: FBA)はゲノムスケールの代謝ネットワークに対しても高速なシミュレーションが可能であることが知られている。しかし所望の性質を持つ代謝ネットワークのFBAに基づく設計は、シンプルなFBAシミュレーションに比べて所用計算時間が激増するので、数理的な工夫をしなければ最新鋭の計算機システムを用いても実質的に計算不可能な場合が多い。本稿では、有用物質生産のための制約モデルに基づく代謝機能設計について、数理的側面を中心に、図例を用いながら基本的な問題設定やアルゴリズム、分野の動向等を解説する。