DHレーマー

DHレーマー
1984年のレーマー
生まれる	デリック・ヘンリー・レーマー ( 1905-02-23 )1905年2月23日 米国カリフォルニア州バークレー
死亡	1991年5月22日(1991-05-22)（享年86歳） 米国カリフォルニア州バークレー
国籍	アメリカ人
教育	カリフォルニア大学バークレー校 ブラウン大学
知られている	レーマー多項式 レーマー行列 レーマーふるい レーマー ・シュールアルゴリズム レーマー GCD アルゴリズム レーマーコード レーマー予想 レーマー数 レーマー 5 ルーカス・レーマー検定 レーマー平均 マイセル・レーマー検定 レーマー対 ポックリントン・レーマー検定 レーマー乱数発生器 レーマー数列 レーマー 総問題 連分数分解
科学者としてのキャリア
フィールド	数学
機関	カリフォルニア大学バークレー校
博士課程の指導教員	ジェイコブ・タマルキン
博士課程の学生	トム・アポストル ジョン・ブリルハート ロナルド ・グラハム デイヴィッド ・シングマスター ハロルド ・スターク ピーター ・J・ワインバーガー

デリック・ヘンリー・「ディック」・レーマー（1905年2月23日 - 1991年5月22日）は、ほとんどの場合DHレーマーとして引用され、^{[1] [2] [3] 、}計算数論の発展に重要な役割を果たしたアメリカの数学者でした。レーマーは1930年代にエドゥアール・ルーカスの研究を改良し、メルセンヌ素数のルーカス・レーマーテストを考案しました。大恐慌の時代に、彼と彼の妻は生活費を稼ぐために米国内外でさまざまな仕事をしながら、数論学者として放浪生活を送り、幸運にも初期の電子計算の研究の中心に彼を導きました。

レーマーは、カリフォルニア大学バークレー校の数学教授デリック・ノーマン・レーマーとクララ・ユーニス・ミッチェルの息子として、カリフォルニア州バークレーで生まれた。

彼は物理学を学び、カリフォルニア大学バークレー校で学士号を取得し、その後シカゴ大学で大学院の研究を続けました。

彼と彼の父親は一緒にレーマーふるいの製作に取り組みました。

バークレー校在学中、レーマーは父の教え子でロシア人のエマ・マルコフナ・トロツカヤと出会った。トロツカヤは工学の学位取得を目指していたが、後に数学に転向し、1928年に学士号を取得した。同年後半、レーマーはエマと結婚し、北カリフォルニアを旅行し、エマの家族に会うために日本を訪れたのち、ブラウン大学から講師の職をオファーされ、車でロードアイランド州プロビデンスに引っ越した。

レーマーはブラウン大学で1929年に修士号、1930年に博士号を取得した。妻も1930年に修士号を取得し、家計を補うために数学を教える傍ら、夫がジェイコブ・タマルキンの指導の下で執筆した博士論文「ルーカス関数の拡張理論」の入力を手伝った。

レーマーは国立研究員となり、 1930年から1931年までカリフォルニア工科大学、 1931年から1932年まで スタンフォード大学で職に就いた。後者の年に、夫婦の最初の子供であるローラが生まれた。

2度目の国立研究フェローシップを受賞した後、レーマー夫妻は1932年から1934年までニュージャージー州プリンストンに移り、ディックはそこで高等研究所に短期間勤務した。

彼は1934年から1938年までペンシルバニア州のリーハイ大学で勤務した。ディックとエマがリーハイ大学に在学していた1934年に、息子のドナルドが生まれた。

1938年から1939年はグッゲンハイム・フェローシップでイギリスに滞在し、ケンブリッジ大学とマンチェスター大学を訪問し、GHハーディ、ジョン・エデンザー・リトルウッド、ハロルド・ダヴェンポート、カート・マーラー、ルイス・モーデル、ポール・エルデシュらと会った。レーマー夫妻は、大西洋の戦いが始まる直前に、次男のドナルドを連れて船でアメリカに戻った。

レーマーは1939年から1940年の学年度もリーハイ大学に在籍した。

1940 年、レーマーはカリフォルニア大学バークレー校の数学科に復帰しました。レーマーは 1954 年から 1957 年までカリフォルニア大学バークレー校の数学科長を務めました。彼は 1972 年に名誉教授になるまで、カリフォルニア大学バークレー校で働き続けました。

1945年から1946年にかけて、レーマーはメリーランド州アバディーン性能試験場の計算委員会に勤務した。この委員会は、ペンシルバニア大学ムーア電気工学部で完成したENIACを実用化するために弾道研究研究所の一部として設立されたグループである。計算委員会の他のメンバーは、ハスケル・カリー、リーランド・カニンガム、フランツ・アルトであった。この短い在職期間中に、レーマー夫妻はENIACの最初のテストプログラムのいくつかを実行した。彼らの学問的関心によれば、これらのテストには数論、特にふるい法だけでなく、疑似乱数生成も含まれていた。子供の世話ができたときは、レーマー夫妻は週末に徹夜でそのような問題を解いた。最初の問題は 1945 年の感謝祭の週末に解かれた。(真空管の故障を最小限に抑えるため、ENIAC は電源を入れたままにしていたため、そのようなテストは無料で実行された。) 1946 年 7 月 4 日の独立記念日の週末 3 日間に実行された問題は、ジョン・モークリーがコンピュータ オペレーターを務め、中断や故障なく 24 時間稼働した。翌火曜日、1946 年 7 月 9 日、レーマーはムーア スクールの講義の一環として「純粋数学のための計算マシン」という講演を行い、計算を実験科学として紹介し、彼の講義に典型的な機知とユーモアを披露した。

レーマーはその後もコンピュータ開発に積極的に取り組み続けた。バークレーに戻ると、ポール・モートン、リーランド・カニンガムとともにカリフォルニア・デジタル・コンピュータ（CALDIC ）の構築を計画した。1949年9月、レーマーは擬似乱数生成器（現在レーマー乱数生成器として知られている）を発表した。^[4]

DHレーマーは、エドウィン・ベッケンバッハの『応用組合せ数学』 （1964年）の第1章に「組合せ論の工作機械」という記事を書いた。 ^{[5]順列や組み合わせなどを作成する方法について説明している。これは他に類を見ないほど貴重な資料であり、最近では}ドナルド・クヌースのシリーズ の第4巻に匹敵するものがある。

レーマー夫妻はまた、ハリー・ヴァンディバーのフェルマーの最終定理に関する研究を支援し、スタンダード・ウェスタン・オートマチック・コンピュータを使用してベルヌーイ数に関する多くの計算を行った。^[6]

1950年、レマーは忠誠宣誓書への署名を拒否したために解雇されたカリフォルニア大学教授31名のうちの1人となった。忠誠宣誓書は、ジョセフ・マッカーシー上院議員が象徴する共産主義の恐怖の最中にカリフォルニア州理事会が1950年に開始した政策である。レマーは国立規格協会の数値解析研究所（INA）の所長に就任し、標準西部自動計算機（SWAC）と協力した。1952年10月17日、州最高裁判所は忠誠宣誓書は違憲であると宣言し、レマーはその後まもなくバークレーに戻った。

レーマーはその後も何年も活動を続けていました。ジョン・セル​​フリッジがノーザンイリノイ大学にいたとき、彼はレーマーとエマを 1 学期そこで過ごすよう 2 度招待しました。ある年、セルフリッジはエルデシュとレーマーが数論の研究問題について一緒に講義を行うように手配しました。レーマーが最初の 8 週間を教え、エルデシュが残りの講義を行いました。エルデシュは講義をあまり教えませんでしたが、彼はこう言いました。「そんなに難しくなかったのは分かっています。唯一の問題はそこにいることでした。」

レーマーはなかなかの機知に富んでいました。毎年恒例のイベントとなった第 1 回アシロマ数論会議 (現在はウェスト コースト数論と呼ばれています) の際、主催者であるレーマーはアシロマ会議場(基本的には海岸沿いの木造の建物) の設備を視察していました。誰かが黒板が見つからないと言ったので、レーマーは壁の真ん中にカーテンがあるのを見つけました。カーテンをわきに動かすと非常に小さな黒板が現れ、レーマーは「まあ、解析的数論はやらないことにしますね」 と言いました。

彼は因数分解、ユークリッドの互除法、長除法、素数性の証明など、多倍長整数の数論アルゴリズムに多大な貢献をしたほか、レーマー予想を定式化し、カニンガム・プロジェクトにも参加した。

レーマーは1991年5月22日にバークレーで亡くなった。

• ルーカス・レーマー・リーゼル検定
• シュテルマーの定理

• ブリルハート、J. (1992)。 「デリック・ヘンリー・レーマー」(PDF)。アクタ算術。62 (3): 207–213。土井：10.4064/aa-62-3-207-220。
• デリック・ヘンリー・レーマーの写真
• バークレーのレーマー家 2016-12-20ウェイバックマシンにアーカイブ
• タイムライン: 忠誠の誓い論争の出来事の概要 1949-54
• オコナー、ジョン J.、ロバートソン、エドマンド F.、「DH レーマー」、マクチューター数学史アーカイブ、セントアンドリュース大学
• プリンストンでの経験についてレマー夫妻と他の人々にインタビュー
• 数学系譜プロジェクトのDHレーマー
• Alt, Franz L. ( 1972 年 7 月)。「コンピュータの考古学 - 回想録、1945-1947」。Communications of the ACM。15 (7): 693–694。doi : 10.1145 / 361454.361528。ISSN 0001-0782。S2CID  28565286  。