スティーヴン・クリーネとは？
すてぃーゔんくりーね
スティーヴン・クリーネとは、20世紀アメリカの数学者・論理学者で、再帰関数論や正規表現の理論的基礎を築いたことで計算機科学の発展に多大な貢献をした人物です。
スティーヴン・コール・クリーネ（Stephen Cole Kleene、1909〜1994年）は、アメリカ・コネチカット州出身の数学者・論理学者です。プリンストン大学でアロンゾ・チャーチのもとに学び、数理論理学と計算理論の分野で卓越した業績を残しました。
クリーネの最も重要な貢献のひとつは、再帰関数論（帰納的関数論）の体系的な整備です。計算可能な関数を数学的に厳密に定義するための枠組みを構築し、チャーチ＝チューリングのテーゼの発展に貢献しました。
また、正規表現（regular expression）の理論的基盤となる「クリーネ閉包」や「クリーネ星演算子（*）」はコンピュータ科学において広く使われる概念であり、プログラミング言語やテキスト処理の分野で今日も活用されています。さらに直感主義論理学および再帰的実現可能性の研究でも先駆的な成果を上げました。
ウィスコンシン大学マディソン校で長年教鞭を執り、多くの論理学者・計算機科学者を育てました。主著『数学的論理学入門』は標準的な教科書として広く読まれています。アメリカ数学会の会長を務めるなど、学術界への組織的貢献も大きく、現代計算理論の礎を作った人物として高く評価されています。
使い方・例文
プログラミングの正規表現（regex）を解説するテキストで「クリーネ星」に言及する場面や、計算理論・オートマトン理論の授業で再帰関数論の先駆者として紹介される場面に登場します。
この用語をシェア
最終更新: