スティーヴン・クリーニとは？
すてぃーゔんくりーにー
スティーヴン・クリーニは、アメリカの数学者・論理学者で、再帰関数論や正規表現の理論基盤を構築した計算機科学の先駆者です。
スティーヴン・コール・クリーニ（Stephen Cole Kleene、1909〜1994）は、アメリカの数学者・論理学者で、ウィスコンシン大学マディソン校の教授を長年務めました。
クリーニの最大の功績のひとつは、再帰関数の理論を体系化したことです。アロンゾ・チャーチやアラン・チューリングの研究と並び、計算可能性の数学的基礎を確立しました。「原始再帰関数」「一般再帰関数」などの概念を厳密に定義し、どの問題が原理的に計算可能かを論じる枠組みを提供しています。
また、正規表現（Regular Expression）の理論的基盤を作ったことでも知られ、有限オートマトンで受理できる言語のクラスを特徴づける「クリーニの定理」はコンパイラ理論・テキスト処理・形式言語理論の中核概念となっています。正規表現で使われる「*（クリーニースター）」という記号も彼の名に由来します。
さらに直観主義論理・再帰的順序数・ハイパーアリスメティック階層など数理論理学の多方面で業績を残し、論理学と計算機科学の橋渡しをした重要人物として評価されています。
使い方・例文
プログラミングで正規表現を使うとき、パターンの末尾に付く「*」（0回以上の繰り返し）はクリーニースターと呼ばれ、クリーニの名を冠している。
この用語をシェア
最終更新: