後期の仕事
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/07/02 09:08 UTC 版)
アイゼンシュタイン級数の一般論は、非コンパクトな場合の特徴である連続スペクトルを分離するための要求に、大きな動機を持っている。 跡公式は、しばしば、リー群というよりもアデール上の代数群の上で使われる。理由は、跡公式が対応する離散部分群 Γ を、それ以前に開発されたテクニックのより容易な体の上の代数群の上に置き換えるからである。 理論の現在の一番成功している公式はアーサー・セルバーグ跡公式(英語版)(Arthur-Selberg trace formula)で、一般の半単純な G の場合に適用される。多くの跡公式の研究はラングランズ哲学の中でエンドスコピー(英語版)(endoscopy)というテクニックを使う。セルバーグの跡公式は、アーサー・セルバーグ跡公式から導き出すことが可能である。(パームを参照)
※この「後期の仕事」の解説は、「セルバーグ跡公式」の解説の一部です。
「後期の仕事」を含む「セルバーグ跡公式」の記事については、「セルバーグ跡公式」の概要を参照ください。
後期の仕事
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/02/26 16:38 UTC 版)
1960年代後半になると、ギリースは学生がコンピュータに直接触れる機会が少ないことを心配するようになった。彼はUIUCに働きかけて、オンタリオのワーテルロー大学のFORTRANコンパイラシステム(WATFIV)を採用させた。これはバッチ型の大型コンピュータ向けの高速な統合開発環境である。当時、ジョブ(カードの束)を提出しても結果が得られるのは翌日ということが当たり前だった。WATFIVコンパイラでは、コンパイル、リンク、短いプログラムの実行をコンパイラのメモリ空間内で数秒でやってのけたのである。このコンパイラによって、大学は初級プログラミングコースを情報工学の学生以外にも開講することができるようになった。 1969年、ギリースはニクラウス・ヴィルトの「Pascalユーザマニュアルとリポート」の前刷りを受け取り、北米初のPascalコンパイラを開発するプロジェクトをスタートさせた。大学院生 Ian Stocks は2パスコンパイラの開発に従事し、PDP-11上で1970年代初頭に完成させた。これは "PDP-11 Playpen" プロジェクトの一部であり、大学院生が PDP-11/23 のような安価なコンピュータに直接アクセスして使用することを目的としていた(訳注:Playpenとは赤ん坊を遊ばせておく囲い、ベビーサークルを意味する)。 2年後、大学院生 Greg Chesson に懇願され、ギリースは1974年にベル研究所からUNIXオペレーティングシステムのライセンスを取得した。Chesson はUNIXカーネルをいじった三人目の人間となり、シリコングラフィックス社の8人目の従業員となった。 ドナルド・B・ギリースは1975年7月17日に亡くなった。46歳。死因はウイルス性心筋炎である。彼の死は予想外であった。イリノイ大学アーバナ・シャンペーン校では、彼の業績に敬意を表した講演が毎年行われている。
※この「後期の仕事」の解説は、「ドナルド・ギリース」の解説の一部です。
「後期の仕事」を含む「ドナルド・ギリース」の記事については、「ドナルド・ギリース」の概要を参照ください。
- 後期の仕事のページへのリンク