Loading article…
ランドン・ラバーン（1981年 - 2020年）はアメリカの数学者、コンピュータ科学者であり、グラフ理論、論理学、人工知能への貢献で最もよく知られている。[ 1 ] [ 2 ]
彼の研究は主にグラフ彩色に関連する問題に焦点を当てており、ブルックスの定理、ボロディン・コストチカ予想、リスト臨界グラフ、リード予想に関する研究も含まれている。ラバーンは2013年にアリゾナ州立大学で数学の博士号を取得し、ハル・キアステッドの指導の下、ほぼ最大次数サイズのパレットを使用してグラフを彩色することを探求した論文を執筆した。[ 3 ] [ 4 ]
ラバーンはオレゴン州ローズバーグで生まれ育った。彼は幼い頃からコンピュータと機械知能に興味を持っていた。1980年代には、コモドール64でプログラミングを始め、BASIC、Pascal（プログラミング言語）、C（プログラミング言語）などの言語を学んだ。高校時代には、「Betsy」と呼ばれるチェスAIを作成し[ 5 ] 、これはフィッシャーランダムチェスをプレイできる最初の公開されたチェスエンジンとして評価されている[ 6 ]。
ラバーンはセントルイスのワシントン大学で数学とコンピュータサイエンスを学び、オランダに1年間留学した。その後、カリフォルニア大学サンタバーバラ校で数学の修士号を取得した。ソフトウェアエンジニアとして働きながら、ラバーンは独自にグラフ理論の研究を続けた。この分野におけるある予想を証明したことがきっかけとなり、アリゾナ州立大学で博士号取得を目指すことになった。
ラバーンは、グラフ理論、特にボロディン・コストチカ予想、リストクリティカルグラフ、リード予想などの分野で大きな貢献をした。[ 7 ] [ 8 ] [ 9 ]離散数学と組み合わせ論における彼の研究は、その厳密さと創造性で評価された。[ 1 ] [ 2 ]ラバーンの研究は、数学を超えてコンピュータ科学と哲学にまで及んだ。特に、彼はグラフ理論における自動定理証明とコンピュータ支援証明の使用を探求した。また、グラフ理論的手法を適用して意味論的パラドックス（例えば、ヤブロのパラドックス）の研究にも貢献した。 [ 10 ] [ 11 ] [ 12 ]さらに別の論文では、「史上最も難しい論理パズル」に対する斬新な（2つの質問からなる）解決策を提供した。[ 13 ] [ 14 ]彼はまた、『空飛ぶスパゲッティ・モンスターの福音』に掲載された「目的論的議論」と題された、空飛ぶスパゲッティ・モンスターの存在に関する風刺的な数学的証明も提供した。[ 15 ]
学術研究に加え、ラバーンはソフトウェアエンジニアリングとデータサイエンスの分野でも成功を収め、ソフトウェア会社を共同設立し、特に人工知能とソーシャルメディアに特化した複数のテクノロジー企業で働いた。キャリアの最後の数年間、ラバーンは人工知能とチェスプログラミングへの初期の関心に戻った。彼はコロラド大学ボルダー校で認知科学の2つ目の博士号を取得し、心理学と機械学習の交差点に焦点を当てた。ラバーンは2020年に39歳で亡くなった。[ 16 ]
{{cite journal}}: CS1メンテナンス: DOIは2025年7月現在非アクティブです（リンク）