再帰データ型（システムFωを参照）をサポートしているプログラミング言語では、型レベルで再帰を適切に計算することによってYコンビネータの型付けが可能になる。変数xを自己適用する必要性は同型の (Rec a -> a) を用いて定義される型 (Rec a) によって管理することができる。例として、以下のHaskellコードは、型とともに同型写像のInとoutの2つの方向の名前を持つ。In :: (Rec a -> a) -> Rec aout :: Rec a -> (Rec a -> a)そして次のように書くことができる。newtype Rec a = In { out :: Rec a -> a }y :: (a -> a) -> ay = \f -> (\x -> f (out x x)) (In (\x -> f (out x x)))OCamlによる等価なコードは以下。type 'a recc = In of ('a recc -> 'a)let out (In x) = xlet y f = (fun x a -> f (out x x) a) (In (fun x a -> f (out x x) a))
型無しラムダ計算には不動点演算子と同じべーム木（英: Böhm tree）を持つラムダ式がある。すなわちそれらはλx.x(x(x ... ))と同じ無限の拡張を持つ。これは非標準不動点コンビネータ（英: non-standard fixed point combinators）と呼ばれる。定義より、あらゆる不動点コンビネータは非標準でもあるが、すべての非標準不動点コンビネータが不動点コンビネータであるわけではない。それらのいくつかは「標準」の定義を満たさないからである。これらの変わったコンビネータは特にstrictly non-standard fixed point combinatorsと呼ばれる。例として、B = λx.xxかつM = λxyz.x(yz)としたときのコンビネータN = BM(B(BM)B)が挙げられる。非標準不動点コンビネータの集合は帰納的可算集合ではない。
型無しラムダ計算や組合せ論理などの特定の数学的な計算形式化においては、すべての式は高階関数とみなすことができる。これらの形式化では、不動点コンビネータが存在することはすなわち、すべての関数が少なくとも1つの不動点を持つことを意味する。さらに、関数は複数の異なる不動点を持つことができる。単純型付きラムダ計算などの他のいくつかの体系では、十分に型付けされた不動点コンビネータを書くことはできない。それらの体系で再帰をサポートするには、明示的に言語体系に組み込む必要がある。それでも再帰データ型によって拡張された単純型付きラムダ計算などでは不動点演算子を書くことができるが、ある種の「実用的な」不動点演算子（常にいずれかの適用を返すもの）は制限される。多相ラムダ計算（英: polymorphic lambda calculus、システムF、英: System F）では多相不動点コンビネータは型∀a.(a→a)→aを持つ（aは型変数）。
メキシコのとある町に住むプロレスラー、“エスカルゴマン”。彼の妻は、夫がいつもとは様子が違う事に気付く。その原因は、その日の対戦相手が自分より若くて強い“テキーラ・ジョー”である事だけではなく、他に“何か”が起こりそう、という胸騒ぎがしていたからだ。時同じくして、水玉模様のパジャマを着た、マッシュルームカットの男（松本）は、ふと目を覚ますと、白い壁に囲まれた部屋に閉じこめられていた。男はその部屋から脱出を試みようとする。
2007年公開の第一回監督作品『大日本人』から約2年、松本人志が発表する映画第2作。前作同様に、松本が企画・監督・主演を担当、脚本は松本と高須光聖との共同執筆。『大日本人』では外国人に見られることを考慮せずに製作していたものの、第60回カンヌ国際映画祭の非公式部門「監督週間」で上映されるなどしたため松本が戸惑ったが、『しんぼる』では、当初から海外も意識し製作された。
2012年、運輸大臣とラジャ・アンパット役員によって1200mの滑走路のマリンダ・ラジャ・アンパット空港が公式に開港した。滑走路は2013年までに2000mまで延ばされる予定とされる。
父親と母親の3人家族。トイプードルを飼っている。趣味は絵を描くこと。特技はピアノ、フラフープ。好きなキャラクターはディズニーのチップとデール。中学校では吹奏楽部に所属している。
徳永 えりか（とくなが えりか、1995年9月24日 - ）は、日本の子役。神奈川県出身。血液型はAB型。左利き。
同学年の松岡佑起・伊達秀晃・上野裕一郎とともに「四天王」と呼ばれている。また、兵庫県出身の1学年下に竹澤健介や木原真佐人（いずれも報徳学園高卒）といった顔ぶれがそろっている。2年先輩の熊本剛とは小学校から大学まで同じである。2002年国民体育大会5000mでは13分45秒86を残し、土橋啓太が先着したため記録保持者とはならなかったが当時の高校新記録を出した。2007年 全日本大学駅伝最終8区で、圧倒的な強さを誇っていたメクボ・ジョブ・モグスに次ぐ区間2位の快走で順位を4位から2位に上げ、日体大の18大会ぶりのトップ3入り（準優勝）に貢献した。大学4年間を通じて三大駅伝（出雲駅伝・全日本大学駅伝・箱根駅伝）のすべてに出場した。区間賞はなかったが4年次の箱根駅伝を除いて区間5位以内にまとめている。最高順位が4年次の全日本大学駅伝の区間2位で日本人トップ。最低順位が箱根駅伝の2区区間8位。2007年の第12回全国都道府県対抗男子駅伝競走大会ではアンカーを務め、兵庫県代表の優勝に貢献した。2008年に日清食品グループ入社後も活躍を重ね、2010年1月のニューイヤー駅伝では日清食品の初優勝に貢献した。2月東京マラソンでマラソンに初挑戦した後、3月に元ワコール陸上部の長距離選手湯田友美と結婚。6月の第94回日本選手権10000mでは2位、5000mでは5位に入った。2015年3月末、日清食品グループを退社し、4月からはサンベルクスへ移籍した。サンベルクスではチームをニューイヤー駅伝初出場に導くことを目標に掲げ、東日本予選では1区走者としてチームに貢献し、結果としてサンベルクスはニューイヤー駅伝出場を決め、入社1年目で目標を達成した。2016年4月に現役を退き、日立製作所女子陸上競技部のコーチとなった。