島内剛一

島内 剛一（しまうち たかかず、1930年（昭和5年）8月10日 - 1989年（平成元年）12月19日）は日本の数学者。立教大学教授。専門は基礎論だが、揺籃期から成長期にあった日本のコンピュータ及びコンピュータ科学の発展にも広く関与し、パズル等への造詣も深かった。理学博士。