数学屋のうた―ことば・論理・コンピュータ etc.