creator search
島内 剛一(1930-1989)
島内 剛一(しまうち たかかず、1930年(昭和5年)8月10日 - 1989年(平成元年)12月19日)は日本の数学者。立教大学教授。専門は基礎論だが、揺籃期から成長期にあった日本のコンピュータ及びコンピュータ科学の発展にも広く関与し、パズル等への造詣も深かった。理学博士。 略歴 1930年(昭和5年)8月10日 - 東京に生まれる。 1954年(昭和29年)東京大学理学部数学科を卒業。 東京教育大学理学部助手。 学位論文はプログラム言語ALGOL Nの設計。 立教大学教授。 1989年(平成元年)12月19日 - 心不全のため死去。著書等 単著 『数学の基礎』〈日評数学選書〉日本...
この人物の情報
schema:alternateName | シマウチ タカカズ |
schema:name | 島内 剛一; 島内剛一 |
schema:abstract | 島内 剛一(しまうち たかかず、1930年(昭和5年)8月10日 - 1989年(平成元年)12月19日)は日本の数学者。立教大学教授。専門は基礎論だが、揺籃期から成長期にあった日本のコンピュータ及びコンピュータ科学の発展にも広く関与し、パズル等への造詣も深かった。理学博士。 略歴 1930年(昭和5年)8月10日 - 東京に生まれる。 1954年(昭和29年)東京大学理学部数学科を卒業。 東京教育大学理学部助手。 学位論文はプログラム言語ALGOL Nの設計。 立教大学教授。 1989年(平成元年)12月19日 - 心不全のため死去。著書等 単著 『数学の基礎』〈日評数学選書〉日本... |
schema:birthDate | 1930 |
schema:deathDate | 1989 |
schema:description | 数学者 |