単行本(実用) 数学 数 コンピュータ、哲学者、意味の探究