島内しまうち剛一ごういち

島内しまうち 剛一ごういち（しまうち たかかず、1930年ねん（昭和しょうわ5年ねん）8月がつ10日とおか - 1989年ねん（平成へいせい元年がんねん）12月19日にち）は日本にっぽんの数学すうがく者しゃ。立教大学りっきょうだいがく教授きょうじゅ。専せん門もんは基礎きそ論ろんだが、揺籃ようらん期きから成長せいちょう期きにあった日本にっぽんのコンピュータ及およびコンピュータ科学かがくの発展はってんにも広ひろく関与かんよし、パズル等とうへの造詣ぞうけいも深ふかかった。理学りがく博士はかせ。

略歴りゃくれき

• 1930年ねん（昭和しょうわ5年ねん）8月がつ10日とおか - 東京とうきょうに生うまれる。
• 1954年ねん（昭和しょうわ29年ねん）東京大学とうきょうだいがく理学部りがくぶ数学すうがく科かを卒業そつぎょう。
• 東京教育大学とうきょうきょういくだいがく理学部りがくぶ助手じょしゅ。
• 学位がくい論文ろんぶんはプログラム言語げんごALGOL Nの設計せっけい。
• 立教大学りっきょうだいがく教授きょうじゅ。
• 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月がつ。  - 『ルービック・キューブと数学すうがくパズル』に「島内しまうち剛一ごういち先生せんせいの思おもい出で」として収録しゅうろく。

外部がいぶリンク

• 島内しまうち剛一ごういち とは - コトバンク
• 島内しまうち 剛一ごういち｜日本にっぽん評論ひょうろん社しゃ Archived 2016-04-06 at the Wayback Machine.
• 島内とうない　剛一ごういち｜日本にっぽん評論ひょうろん社しゃ
• Rubic キューブと置換ちかんの乗算じょうざん
• 島内とうないの万まん年ねん七曜しちよう表ひょう
• 島内とうないの万まん年ねん七曜しちよう表ひょう Archived 2016-06-07 at the Wayback Machine.
• 島内しまうち剛一ごういち先生せんせい Archived 2020-02-21 at the Wayback Machine.