人工知能と定理の証明――Raphaelの講演を中心にして - 共立出版コンピュータサイエンス誌『bit』