人工知能の概念スレッドのような脳知識と数式の融合