島本吉雄

島本吉雄は原子物理学者であり、数学とコンピュータサイエンスの研究も行いました。ブルックヘブン国立研究所（1954-1987）在籍中^[1] 、 1958年にMERLINデジタルコンピュータのロジックを設計し、1964年から1975年まで応用数学部門の部門長を務めました。島本は、組合せ数学、外洋大陸棚の石油とガスのリース販売の経済学（米国地質調査所の代理）、スーパーコンピュータのアーキテクチャ、並列処理のためのコンピュータのリンクを研究しました。^[2]

1970年代、彼はハインリッヒ・ヒーシュおよびカール・デュレとともに、コンピュータプログラムを使用してヒーシュの「放電」の概念を適用し、4色に色付け可能なケースを排除する、コンピュータ支援による4色定理の証明方法について研究した。彼が1971年に発表した4色定理の証明は、後に欠陥があることが判明したが、その後の研究の基礎となった。