単行本(実用) 産業 機械系のための関数論入門