生命現象を数学で定義した人