島内剛一
1930年(昭和5年)8月10日 - 東京に生まれる。
1954年(昭和29年)東京大学理学部数学科を卒業。
東京教育大学理学部助手。
学位論文はプログラム言語ALGOL Nの設計。
立教大学教授。
1989年(平成元年)12月19日 - 心不全のため死去。