CEK機械はCPS変換した評価関数から導出するため、call/ccやshift/resetといったCPS変換で実装できる演算子との相性が良い。例えば、次のように拡張することで、call/ccを追加できる。            (が変数でない場合)    ( のとき)
CEK機械は、ラムダ計算の標準的な評価関数に対して、クロージャ変換、値渡し評価戦略のCPS変換、defunctionalizationを順に適用することで導出できる。ここで、値渡し評価戦略の代わりに名前渡し評価戦略を使うとKrivineの機械が導出される。
拡張ラムダ計算に対するCEKは次のように定義される。まず、拡張ラムダ計算を次のように定義する。(式)     (変数)   (λ抽象)   (関数適用)   (基本定数)   (プリミティブ操作の適用)(値)次に、CEK機械の状態を構成する要素を次のように定義する。(環境) (変数から、クロージャへの関数(変数とクロージャのペアの集合))(クロージャ) (ただし、の自由変数は全ての定義域に含まれる)(値) (ただし、の自由変数は全ての定義域に含まれる)(継続)     (初期継続)   (関数適用への継続)   (実引数評価への継続)   (プリミティブ操作の実引数の評価および適用への継続)このとき、CEK機械の状態は組と表される。CEK機械の遷移規則は次のように定義される。       ( のとき)                   (が変数でない場合)       (が変数でない場合)       (が変数でない場合)       (はにを適用した結果)このとき、CEK機械による評価関数は次のように定義される    ( のとき)    ( のとき)
CEK機械とは、ラムダ計算に対して値渡し評価戦略の操作的意味論を与えるための抽象機械の1つである。CEKとは、機械の状態を構成する3つの要素である “Control string”, “Environment”, “Continuation” に由来する。
1937年にP.C.L.に入社。1943年に東宝教育資料製作所の録音課を経て1945年に東宝撮影所録音課の録音技師として成瀬巳喜男監督作品を中心に活躍。
祖父の直弟子である三代目中村梅花（京扇屋）は父・祖父が亡くなった後も成駒屋一門の師匠番として長らく一門筆頭として、芝翫のみならず福助や橋之助（当代芝翫）の指導や世話も行っている。他直弟子に四代目中村翫之助、四代目中村梅花（2016年芝翫襲名と共に梅花を襲名し幹部昇進）、中村芝寿弥、中村芝のぶ、中村翫蔵らがいる。
二等陸・海・空士として採用される任期制隊員（一般2士）の扱いは契約社員と同じで、普通の公務員のように定年まで身分が約束されている曹へ必ず昇任できる保証は無い（ただし、近年の就職情報サイトでは二等陸海空士の募集では「正社員」の区分で公開されている）。各部隊で実施される各種昇任試験に合格できない、あるいは永続勤務の意思が無ければ任期の継続を認められず除隊となる。また、非任期制隊員であっても、心身の故障・勤務成績不良等の理由により3曹に昇任できない（と見込まれる）場合は陸・海・空曹候補者の指定を取り消され、暗に除隊を勧められる場合がある。免職の項も併せて参照のこと。任期制隊員は任期が満了すると特例退職手当（任期満了退職金）が支給される。希望者は受け取りを次の任期末まで保留し、除隊時にまとめて受け取ることも可能である。また、手当を受け取る受け取らないに拘わらず、志願により2〜3任期の継続は許可を受ければ可能である。ただし、手当を受けた後に曹に昇任した場合、その間の勤務年数は退職金の掛け金から除外されるため、退職金が大幅に下がることになる（このため受給した手当を返納することが可能となっている）。陸上自衛隊は任期制隊員（陸士）の任用期間が他と比べて短い（1任期目が海・空は3年に対し2年）。特に普通科・特科・施設科では任期満了による除隊の勧奨時期が早い傾向にある。任期制隊員から曹の昇任は所属部隊ごとに行われ、部隊の状況にもよるが概ね10人に1人の割合という狭き門である。海上・航空自衛隊の昇任試験は全国で選抜される。海上自衛隊・航空自衛隊については、新隊員の大半が術科課程（海自術科学校、空自術科学校）で専門技術職種の教育を受けており、退職希望者も少ないのが現状で、安易に除隊させて後継者育成ができないことを嫌い、任期継続の限界である4〜5任期まで除隊勧奨を保留し3曹昇任を待つこともある。しかしバブル崩壊以降の長引く不況により、陸上自衛隊においても除隊勧奨の基準である3任期を超えて勤務する任期制隊員が増加の一途をたどっており、新規採用が保留となるなど、第一線部隊においては精強性の低下が懸念されている。