アプリケーション ロジック 代数 アルゴリズム 解析 算術 自動化