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

20世紀日本人名事典「島内剛一」の解説

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

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

生年: 昭和5(1930)年8月10日
没年: 平成1(1989)年12月19日
出身地: 東京都
学歴〔年〕: 東京大学理学部数学科〔昭和29年〕卒
学位〔年〕: 理学博士
経歴: 東京教育大学理学部助手を経て、昭和35年立教大学理学部講師、のち教授。この間、1950年代に東大で開発したコンピューターTACで定理証明系のプログラム作成に関わった。著書に「プログラム言語論」「システムプログラムの実際」など。

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

デジタル版日本人名大辞典+Plus 「島内剛一」の解説

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

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

出典　講談社デジタル版日本人名大辞典+Plusについて　情報 | 凡例