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