知識ベース

ビル・ゴスパー

ビル・ゴスパーとして知られるラルフ・ウィリアムGosper・ジュニア (1943年4月26日生まれ)は、アメリカの数学者やプログラマです。 Richard Greenblattとともに、彼はハッカーコミュニティを設立したと考えられ、Lispコミュニティに誇りを持っています。

ハッカーになる

高校では、友人の一人がロケット事故で負傷し、致命的な脳感染症にかかるまで、モデルロケットに興味がありました。ゴスパーは1961年にMITに入学し、1965年にMITから数学の学士号を取得しましたが、その反コンピューター態度のために数学部門に不満を抱きました。

MITでの2年目に、GosperはJohn McCarthyからプログラミングコースを受講し、MIT AI Labに所属しました。

彼の計算数学への貢献には、HAKMEMおよびMIT Maclispシステムが含まれます。彼は、Project MACのコンピューター代数システムであるMacsymaに大きく貢献しました。ゴスパーは後に、Macsymaの商用バージョンでSymbolicsおよびMacsyma、Inc.と協力しました。

1974年に、彼はスタンフォード大学に移り、そこでドナルド・クヌースと講義し、仕事をしました。

それ以来、彼はXerox PARC、Symbolics、Wolfram Research、Lawrence Livermore Laboratory、およびMacsyma Incで勤務またはコンサルティングを行ってきました。

主な貢献

コンウェイのゲームオブライフ

ジョン・ホートン・コンウェイが提案した直後に、彼はゲーム・オブ・ライフに強い関心を持ちました。コンウェイは、無限に成長するパターンの存在を推測し、例に対する報酬を提供しました。ゴスパーは、そのようなパターン、グライダーガンを最初に発見し、賞を受賞しました。ゴスパーは、ライフパターンの計算を何桁も高速化できるハッシュライフアルゴリズムの創始者でもありました。

梱包の問題

ゴスパーは、「Twubblesome Twelve」などの多数のパッキング問題パズルを作成しました。

記号計算

ゴスパーは数学研究ツールとしてコンピューターで記号計算の可能性を実現した最初の人でしたが、コンピューター手法は以前は純粋に数値的な手法に限定されていました。特に、この研究は、実数の連続分数表現と閉じた形の超幾何恒等式を見つけるためのゴスパーのアルゴリズムに関する研究に帰着しました。

1985年、ゴスパーは、1700万桁のpiの最大桁数を計算した世界記録を短時間保持しました。 πの計算の年表を参照してください。