オーレン・パタシュニク(Oren Patashnik、1954年 - )は、アメリカ合衆国の計算機科学者である。BibTeXの作者の一人、Concrete Mathematics: A Foundation for Computer Scienceの著者の一人として知られている[1]。国防分析研究所の研究者であり、サンディエゴ近郊に住んでいる。 1976年にエール大学を卒業し、その後スタンフォード大学で計算機科学の博士課程を修了した。スタンフォード大学ではドナルド・クヌースの指導を受けた。 ベル研究所在籍中の1980年に、立体四目並べが先手必勝であることを証明した。この証明は、コンピュータをCPU時間で1500時間使用して行われたもので、計算機援用証明の顕著な例である[2][3]。 1985年、LaTeXの作者であるレスリー・ランポートと共同で、文献書誌情報生成システムBibTeXを作成した。LaTeXは、特に数学の文献向けに設計された組版処理システムである。BibTeXは、LaTeXで広く使用されている文献書誌情報生成システムである。 1988年、ロナルド・グラハムとドナルド・クヌースによるConcrete Mathematics: A Foundation for Computer Scienceの執筆を支援した[1]。 1990年、計算機科学の博士号を取得した。博士論文の題は、"Optimal Circuit Segmentation for Pseudo-Exhaustive Testing"(擬似網羅的試験のための最適回路分割)だった。
生涯
脚注^ a b Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren (1994). Concrete mathematics: A foundation for computer science (Second ed.). Reading, MA: Addison-Wesley Publishing Company. pp. xiv+657. .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 0-201-55802-5. MR1397498
^ “Oren Patashnik - Interview
典拠管理データベース
全般
ISNI
VIAF
国立図書館
フランス
BnF data
ドイツ
⇒イスラエル
アメリカ
チェコ
韓国
⇒オランダ
ポーランド
学術データベース
DBLP
その他
IdRef