デビッド・E・ミュラー

デビッド・ユージン・ミュラー（ David Eugene Muller、1924年11月2日 - 2008年4月27日）は、アメリカの数学者、コンピュータ科学者である。イリノイ大学（1953年 - 1992年）の数学およびコンピュータサイエンスの教授であり、その後名誉教授となり、ニューメキシコ州立大学の数学の非常勤教授（1995年 - 2008年）であった。ミュラーは、カリフォルニア工科大学で1947年に学士号、1951年に物理学の博士号を取得した。 1989年にはパリ大学から名誉博士号を授与された。 ^{[1]彼は、電子コンピュータで}非同期回路を実装するために使用されるデバイスであるミュラーC素子（またはミュラーCゲート） の発明者でもある。彼はまた、リード・ミュラー符号の共同発明者でもある。彼はこの符号を発見し、アーヴィング・S・リードが多数決論理復号法を初めて提案した。さらに、彼は無限語のためのオートマトンモデルであるミュラーオートマトンを発明した。^[2]幾何学的群論において、ミュラーはポール・シュップと共同で、有限生成の事実上自由な群を文脈自由語問題を持つ有限生成群として特徴付けるミュラー・シ​​ュップ定理で知られている。^[3]

デビッド・E・ミュラーは、ヘルマン・ジョセフ・ミュラーとジェシー・ジェイコブス・ミュラー・オファーマン（旧姓ジェシー・マリー・ジェイコブス）の息子である。両親がテキサス大学で教鞭をとっていたとき、彼はテキサス州オースティンで生まれた。彼の母親は米国で数学の博士号を取得した最初の女性の1人で、彼は幼い頃から数学に興味を持つようになったのは母親のおかげだと考えている。^[4]彼女は妊娠したためテキサス大学の純粋数学の講師の職を失ったが、ヘルマン・ジョセフ・ミュラーの伝記作家によると、「彼女の同僚は、母親が教室の義務に十分な注意を払いながら良い母親であり続けることはできないと感じていた」という。^[5]彼は子供の頃、1933年から1934年まで両親とともにベルリンとレニングラードに住んでいた。彼の家族はソ連で離散した。彼は1934年7月に母親とともにオースティンに戻った。母親は1935年夏にテキサスで離婚した。1935年10月から1936年1月の間に、ジェシー・ミュラーは、ミュラーの研究室で働いており、当時ソ連からオースティンを訪れていたカルロス・アルベルト・オッフェルマンと結婚した。^[4]ヘルマン・ヨーゼフ・ミュラーは、スターリンの政治的迫害が始まった1937年にソ連を離れた。 1937年9月にマドリードとパリに短期間滞在した後、ヘルマンはエディンバラに移り、1939年5月にドロテア・カントロヴィッチと結婚した。2人の間にはヘレン・ジュリエットという娘が生まれた。ヘルマン・ヨーゼフ・ミュラーは1946年に ノーベル生理学・医学賞を受賞した。

デビッド・E・ミュラーは2008年にニューメキシコ州ラスクルーセスで死去。遺族は、チャンドラ・L・ミュラーとケネス・J・ミュラーの2人の子供。異母妹のヘレン・J・ミュラーはニューメキシコ大学名誉教授。彼に先立って、妻のアリス・ミミ・ミュラーがイリノイ州アーバナで1989年に死去し、2009年にニューメキシコ州ラスクルーセスで2度目の妻デニス・インペンス・ミュラーと離婚（死後）した。

• ミュラーC要素
• リード・ミュラー符号
• リード・ミュラー展開
• ミュラー法（数値解析における根探索法として確立されている）
• ミュラーオートマトン