20世紀日本人名事典 「島内 剛一」の解説 島内 剛一シマウチ タカカズ 昭和期の数学者 立教大学理学部教授。 生年昭和5(1930)年8月10日 没年平成1(1989)年12月19日 出身地東京都 学歴〔年〕東京大学理学部数学科〔昭和29年〕卒 学位〔年〕理学博士 経歴東京教育大学理学部助手を経て、昭和35年立教大学理学部講師、のち教授。この間、1950年代に東大で開発したコンピューターTACで定理証明系のプログラム作成に関わった。著書に「プログラム言語論」「システムプログラムの実際」など。 出典 日外アソシエーツ「20世紀日本人名事典」(2004年刊)20世紀日本人名事典について 情報