昔はモデル理論を専攻してたしがない機械学習エンジニアです。