|
島内 剛一（しまうち たかかず、1930年（昭和5年）8月10日 - 1989年（平成元年）12月19日）は日本の数学者。立教大学教授。専門は基礎論だが、揺籃期から成長期にあった日本のコンピュータ及びコンピュータ科学の発展にも広く関与し〔ただし、コンピュータ科学なんてものは無くて、有るのはコンピュータだけ、という持論だった、という。〕、パズル等への造詣も深かった。理学博士。 == 略歴 == * 1930年（昭和5年）8月10日 - 東京に生まれる。 * 1954年（昭和29年）東京大学理学部数学科を卒業。 * 東京教育大学理学部助手。 * 学位論文はプログラム言語ALGOL Nの設計〔島内：2008、151〕。 * 立教大学教授。 * 1989年（平成元年）12月19日 - 心不全のため死去。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「島内剛一」の詳細全文を読む スポンサード リンク
|