デレク・コーネル

デレク・ゴードン・コーネルは、カナダの数学者でありコンピュータ科学者であり、トロント大学のコンピュータ科学名誉教授であり、グラフアルゴリズムとグラフ理論の専門家である。

コーネルが高校を卒業する際、英語教師から数学と物理学の学位を取得するのは悪い考えであり、せいぜい技術専門学校に進学するのが精一杯だと言われた。コンピューター科学への興味は、クイーンズ・カレッジの学部生だった頃、父親が勤めていたオンタリオ州ロンドンのロンドン生命保険会社がコンピューターを購入したことを知ったことから始まった。1年生の夏、彼は同社でUNIVAC Mark IIを操作するアルバイトをした。主な仕事の一つはプリンターの操作だった。その後すぐに、大学の奨学金を提供していた会社でプログラミングの仕事の機会が訪れた。ロンドン生命保険で同様の職を断られた後、コーネルはこのチャンスに飛びついた。彼の仕事では、上司が彼がUNIVAC Mark IIのプログラミング方法を知っていると思い込み、会社が新たに導入したIBM 1401マシンでも同じように簡単に移行できるだろうと考えたため、当初は混乱が生じた。しかし、コーネルには想定されていたプログラミングの知識はなかった。こうして、コーネルはIBM 1401のプログラミングを習得するために与えられた2週間の期間で、取扱説明書に大きく頼りながら、ゼロからコードを書く方法を学んだ。この経験は、後に彼がその職で取り組んだ数々のプロジェクトと同様に、彼のキャリアをさらに前進させた。^{[ 1 ]}

コーネルは1964年にクイーンズ大学で数学と物理学の学士号を取得した。当初は高校教師になる前に大学院に進学する予定だったが、トロント大学に新設されたコンピュータサイエンスの大学院課程に合格したことで計画が変わった。トロント大学で修士号を取得し、1968年にはカルビン・ゴットリーブの指導の下、コンピュータサイエンスの博士号を取得した。^{[ 2 ] [ 3 ]}（博士研究員時代の指導教官はヤープ・ザイデルだった。）この時期にコーネルはグラフ理論に興味を持つようになった。彼とゴットリーブはやがて親友になった。アイントホーフェン工科大学で博士研究員として研究を行った後、コーネルは1970年にトロント大学に教員として復帰した。^{[ 2 ]} 2010年に退職するまで、^{[ 4 ]}コーネルはトロント大学で多くの役職を歴任し、コンピュータサイエンス学科長（1985年7月～1990年6月）、人文科学部研究イニシアチブ部長（1991年7月～1998年3月）、研究・国際関係担当副学長代理（1993年9月～12月）などを務めた。教授在任中、ブリティッシュコロンビア大学、サイモンフレーザー大学、グルノーブル大学、モンペリエ大学などの大学で客員教授も務めた。

コーネルは、アルゴリズム的グラフ理論とグラフ理論全般の研究を行ってきた。彼は49件の学位論文を指導し、単独または共著で100本以上の論文を発表している。これらの論文には以下が含まれる。

小さな木幅のグラフを認識することがNP完全であることの証明、^{[ 5 ]}

コグラフのコツリー表現とコグラフの高速認識アルゴリズムの発見、 ^{[ 6 ] [ 7 ]}

グラフ同型性の生成アルゴリズム。^{[ 8 ] [ 9 ]}

補グラフのアルゴリズム的および構造的特性。^{[ 10 ]}

小惑星型トリプルフリーグラフの特性。^{[ 11 ]}

グラフがk木の部分グラフであるかどうかを判定する問題を解決するアルゴリズム。^{[ 12 ]}

ツリースパナーに関するグラフ理論、アルゴリズム、および複雑性の問題に対処する結果。^{[ 13 ]}

ツリー幅とクリーク幅の関係についての説明。^{[ 14 ]}

制限付きグラフ族の直径を決定する。^{[ 15 ]}

台形グラフの構造の概要。^{[ 16 ]}

名誉教授であるコーネル氏は、現在も研究活動を続けており、 『Ars Combinatoria』や『SIAM Monographs on Discrete Mathematics and Applications』などの出版物の編集者も務めている。

彼は2004年にフィールズ研究所のフェローに選出された。 ^{[ 17 ]}

• コーネル氏へのインタビュー、スティーブン・イバラキ、2011年6月13日
• DBLPの出版物一覧