ビル・シェルター

ビル・シェルター
生まれる	1947 （1947年）
死亡	2001年7月30日（2001年7月30日）（53～54歳）
教育	数学（博士）
母校	マギル大学
職業	コンピュータ科学者、数学教授
雇用主	テキサス大学オースティン校
知られている	Austin Kyoto Common Lisp、GNU Common Lisp、GNU C コンパイラ、Maxima

ウィリアム・フレデリック・シェルター（1947 ^{[ 1 ]} - 2001年7月30日）は、テキサス大学オースティン校の数学教授であり、Lisp開発者およびプログラマーであった。シェルターは、 Common LispのGNU Common Lisp（GCL）実装と、コンピュータ代数システムMacsymaのGPL版であるMaximaの開発者として認められている。シェルターはIBMとの契約に基づきAustin Kyoto Common Lisp （AKCL）を作成した。AKCLは、別のコンピュータ代数システムAxiomの基礎となった。AKCLは最終的にGNU Common Lispとなった。彼はまた、 Linuxカーネルのオリジナル実装で使用されたIntel 386アーキテクチャへのGNU Cコンパイラの最初の移植でも知られている。^{[ 2 ]}

シェルターは1972年にマギル大学で博士号を取得しました。彼の数学の専門は、非可換環論と計算代数とその応用（幾何学における自動定理証明を含む）でした。

2001年の夏、54歳でロシア旅行中に心臓発作で突然亡くなった。

参考文献

• S. Chou、W. Schelter 「書き換え規則を用いた幾何学定理の証明」 Journal of Automated Reasoning、1986年。

1. 追悼。2007年7月5日アクセス。
2. [1] 2006年9月1日アーカイブ、 Wayback Machine

外部リンク

• 数学系譜プロジェクトのビル・シェルター
• Maxima のホームページ。Maxima は現在 GPL の下で利用可能です。