島内剛一

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

出典：ウィキペディア「島内剛一」（CC BY-SA 4.0）を一部抜粋