島内剛一

島内 剛一（しまうち たかかず、1930年（昭和5年）8月10日 - 1989年（平成元年）12月19日）は日本の数学者。立教大学教授。専門は基礎論だが、揺籃期から成長期にあった日本のコンピュータ及びコンピュータ科学の発展にも広く関与し^[1]、パズル等への造詣も深かった。理学博士。

略歴

• 1930年（昭和5年）8月10日 - 東京に生まれる。
• 1954年（昭和29年）東京大学理学部数学科を卒業。
• 東京教育大学理学部助手。
• 学位論文はプログラム言語ALGOL Nの設計^[2]。
• 立教大学教授。
• 1989年（平成元年）12月19日 - 心不全のため死去。

著書等

単著

• 『数学の基礎』日本評論社〈日評数学選書〉、1971年。ISBN (978-4-535-60106-2)。http://www.nippyo.co.jp/book/4132.html。 
• 『システムプログラムの実際』サイエンス社〈サイエンスライブラリ 情報電算機 11〉、1972年。 
• 『プログラム言語論　ALGOL 60からALGOL Nへ』共立出版〈電子計算機基礎講座5〉、1972年。 
• 『ルービック・キューブ免許皆伝』日本評論社、1981年3月。 
  • 『ルービック・キューブと数学パズル』日本評論社〈数学ひろば〉、2008年5月。ISBN (978-4-535-78537-3)。http://www.nippyo.co.jp/book/3322.html。  - 『ルービック・キューブ免許皆伝』の復刊。

共著・編著・共編著

• 電子通信学会東京支部編 編『プログラム技術』電子通信学会、1968年。 
• 筧捷彦、(辻尚史)共著『FORTRANの実際　文法からコンパイラまで』サイエンス社〈サイエンスライブラリ 情報電算機 12〉、1973年。 
• 島内剛一ほか共著『コンパイラのうちとそと』共立出版、1979年3月。 
• (浅本紀子)『SPE　数学用ワープロ』岩波書店〈岩波ソフトウェアライブラリ〉、1990年1月。ISBN (4-00-140017-0)。 
  • (浅本紀子)『SPE ver.2　数学用ワープロ』岩波書店〈岩波ソフトウェアライブラリ〉、1991年9月。ISBN (4-00-140031-6)。http://www.iwanami.co.jp/.BOOKS/14/6/1400310.html。 
• 島内剛一ほか編 編『アルゴリズム辞典』共立出版、1994年9月。ISBN (4-320-02709-4)。 （序文より引用「辞典の構成と項目リスト，執筆候補者がほぼ固まった1989年12月に，委員長の島内先生が急逝された」）

論文・報告等

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

参考文献

• 廣瀬健「追悼　島内剛一先生」『数学セミナー』、日本評論社、1990年5月。  - 『ルービック・キューブと数学パズル』に「島内剛一先生の思い出」として収録。

脚注

1. ^ ただし、コンピュータ科学なんてものは無くて、有るのはコンピュータだけ、という持論だった、という。
2. ^ 島内：2008、151

外部リンク

• 島内剛一 とは - コトバンク
• 島内 剛一｜日本評論社 2016-04-06 at the Wayback Machine.
• 島内　剛一｜日本評論社
• Rubic キューブと置換の乗算
• 島内の万年七曜表
• 島内の万年七曜表 2016-06-07 at the Wayback Machine.
• 島内剛一先生 2020-02-21 at the Wayback Machine.