大量の等式から気合いで検索するだけでなく、良い感じの関数を適宜選んで変数を放り込む方法も（できる範囲で）取り入れられたら、多少はコミュニケーションが楽になる　気がする！