レオナルド・エーデルマン (Leonard Adleman)
レオナルド・マックス・エーデルマン (Leonard Max Adleman)（1945年12月31日生まれ）は、アメリカの計算機科学者である。RSA暗号アルゴリズムの作成者の1人であり、その功績により2002年にチューリング賞を受賞した。また、DNA計算の分野を創出し、「コンピュータウイルス」という用語を作ったことでも知られている。
伝記
レオナルド・M・エーデルマン (Leonard M. Adleman) はカリフォルニア州のユダヤ系の家庭に生まれた。彼の家族はもともと現代のベラルーシのミンスク地域からアメリカ合衆国に移住していた。サンフランシスコで育ち、カリフォルニア大学バークレー校に通い、1968年に数学の学士号を、1976年に電気工学および計算機科学 (EECS) の博士号を取得した。また、映画『スニーカーズ』の数学コンサルタントを務めた。1996年には計算理論および暗号理論への貢献により全米工学アカデミーの会員となった。また、全米科学アカデミーの会員でもある。
エーデルマンはアマチュアボクサーでもあり、ジェームズ・トニーとスパーリングを行ったことがある。
発見
1994年、彼の論文『Molecular Computation of Solutions To Combinatorial Problems』は、計算システムとしてのDNAの実験的使用について記述した。その中で彼は、巡回セールスマン問題に似たNP困難問題であるハミルトン閉路問題の7ノードのインスタンスを解決した。7ノードのインスタンスの解決は自明であるが、この論文はDNAを使用してアルゴリズムを計算することに成功した最初の既知の事例である。DNA計算は、他のいくつかの大規模な組み合わせ探索問題を解決する手段としての可能性を示している。エーデルマンは「DNA計算の父」と広く称されている。
2002年、彼と彼の研究グループは、DNA計算を使用して「自明ではない」問題を解決することに成功した。具体的には、100万を超える潜在的な解を持つ20変数のSAT問題を解決した。彼らはエーデルマンが1994年の画期的な論文で使用した方法と同様の手法で行った。まず、問題の解空間を論理的に代表するDNA鎖の混合物が合成された。次に、この混合物は「誤った」鎖をふるい落とすために生化学的技術を使用してアルゴリズム的に操作され、問題を「満たす」鎖だけが残された。これら残った鎖の塩基配列の分析により、元の問題に対する「正しい」解が明らかになった。
彼はアデルマン・ポメランス・ルメリー素数判定法の最初の発見者の1人である。
フレッド・コーエン (Fred Cohen) は1984年の論文『Experiments with Computer Viruses』の中で、「コンピュータウイルス」という用語を作った功績をエーデルマンに帰している。
2017年の時点で、エーデルマンはストラータの数学理論に取り組んでいる。彼は南カリフォルニア大学の計算機科学の教授である。
受賞
RSA暗号システムの発明への貢献に対し、エーデルマンはロン・リベスト (Ron Rivest) およびアディ・シャミア (Adi Shamir) と共に、1996年のパリス・カネラキス理論・実践賞および、コンピュータ界のノーベル賞とも呼ばれる2002年のチューリング賞を受賞している。エーデルマンは2006年にアメリカ芸術科学アカデミーのフェローに選出され、2021年にはACMフェローに選ばれた。
