みちくさ・すうがく_論理も無限 - 共立出版コンピュータサイエンス誌『bit』