AIの複雑な論理を大規模に解明する新アルゴリズム | aib vote