島内剛一（読み）シマウチ タカカズ

20世紀日本人名事典

島内 剛一
シマウチ タカカズ

昭和期の数学者 立教大学理学部教授。

生年

昭和5(1930)年8月10日

没年

平成1(1989)年12月19日

出身地

東京都

学歴〔年〕

東京大学理学部数学科〔昭和29年〕卒

学位〔年〕

理学博士

経歴

東京教育大学理学部助手を経て、昭和35年立教大学理学部講師、のち教授。この間、1950年代に東大で開発したコンピューターTACで定理証明系のプログラム作成に関わった。著書に「プログラム言語論」「システムプログラムの実際」など。

出典　日外アソシエーツ「20世紀日本人名事典」（2004年刊）

デジタル版 日本人名大辞典+Plus

島内剛一 しまうち-たかかず

1930－1989　昭和時代後期の数学者。
昭和5年8月10日生まれ。東京教育大助手をへて,立大教授。数学基礎論を専攻したのち計算機科学を研究し,プログラム言語「ALGOL N」を設計。計算機用語の日本語化にもとりくんだ。平成元年12月19日死去。59歳。東京出身。東大卒。著作に「プログラム言語論」など。

出典　講談社