島内剛一

島内 剛一（しまうち たかかず、1930年（昭和5年）8月10日 - 1989年（平成元年）12月19日）は日本の数学者。立教大学教授。専門は基礎論だが、揺籃期から成長期にあった日本のコンピュータ及びコンピュータ科学の発展にも広く関与し、パズル等への造詣も深かった。理学博士。コンピュータ科学に貢献しながらも、コンピュータ科学なんてものは無くて有るのはコンピュータだけ、という持論だったというhttps://shayashiyasugi.com/wwwshayashijp/HistoryOfFOM/diggression.html#simauti 「島内剛一先生」の節。

 略歴 
 1930年（昭和5年）8月10日 - 東京に生まれる。
 1954年（昭和29年）東京大学理学部数学科を卒業。
 東京教育大学理学部助手。
 学位論文は、ALGOL 60の後継を目指して島内自身が数人の仲間と共に開発した算法言語「ALGOL N」島内 剛一, ALGOL N の開発, コンピュータ ソフトウェア, 1984, 1 巻, 2 号, p. 2_183-2_188, 公開日 2018/11/05, Print ISSN 0289-6540, https://doi.org/10.11309/jssst.1.2_183, https://www.jstage.jst.go.jp/article/jssst/1/2/1_2_183/_article/-char/ja.の設計について述べたもの島内：2008、151。
 立教大学教授。
 1989年（平成元年）12月19日 - 心不全のため死去。

 著書等 
 単著 

 - 『ルービック・キューブ免許皆伝』の復刊。

 共著・編著・共編著 

（序文より引用「辞典の構成と項目リスト，執筆候補者がほぼ固まった1989年12月に，委員長の島内先生が急逝された」）

 論文・報告等 
「LKの証明プログラミング」第1回プログラミングシンポジウム(1960) - TACを使い、LKの証明をコンピュータプログラムで行ったというもので、自動定理証明の世界的に見てもごく初期の実験である。59年秋頃からとりかかり、12月22日に初めて機械に掛けたがマニュアル不備が原因の1命令の修正を別として完璧だったという。翌1月に実験を完了した。『日本のコンピュータの歴史』（オーム社、1985）§6.1も参照のこと。

 参考文献 
 - 『ルービック・キューブと数学パズル』に「島内剛一先生の思い出」として収録。

 脚注 

 外部リンク 
 島内剛一 とは - コトバンク
 島内 剛一｜日本評論社 
 島内　剛一｜日本評論社
 Rubic キューブと置換の乗算
 島内の万年七曜表
 島内の万年七曜表 
 島内剛一先生 

Category:20世紀日本の数学者
Category:20世紀日本の著作家
Category:理学博士
Category:ルービックキューブ
Category:立教大学の教員
Category:東京教育大学の教員
Category:東京大学出身の人物
Category:東京都出身の人物
Category:日本のコンピュータ関連人物
Category:1930年生
Category:1989年没
Category:数学に関する記事