デール・ミラーは高階パターン・ユニフィケーションと呼ばれるものを提案した。この高階ユニフィケーションのサブセットは決定可能であり、これで解けるユニフィケーション問題には最大汎用単一子が存在する。やといった高階の論理プログラミング言語は、完全な高階ユニフィケーションではなくパターン・ユニフィケーションを実装しているものが多い。
一階の項の統語論的ユニフィケーションの例.
アルゴリズム.
停止することの証明.
構造上再帰的なユニフィケーション.
は、のような言語で「ユニフィケーションが利用している構造を表現することにより」、ジョン・アラン・ロビンソンのアルゴリズムを再帰的にすることができ、証明の複数の停止条件は不要になることを示した。
キャバレー・ヴォルテール
VIDEO JAM
概要.
スタッフ.
概要.
ワンセグ機能.
※バックグラウンド再生には非対応。
不具合.
EPICレコードジャパン
若瀬川剛充
人物.
主な成績・記録.
場所別成績.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
ビデオジャム
苦艾
剃刀貝
兜貝
お化け貝
阿古屋珠
杜翁
文京区立第三中学校
文京区立第三中学校（ぶんきょうくりつ だいさんちゅうがっこう）は、東京都文京区にある公立中学校。
概要.
古地老稲荷神社
古地老稲荷神社（こじろういなりじんじゃ）は、東京都港区白金台一丁目（桑原坂）に存在する稲荷神社である。
歴史.
設置後は周辺地域に火事が起こらなくなるという偶然が起こり、これが同神社の霊験として住民に理解されるようになり、その後火伏せの稲荷として見なされるようになった。
外部リンク.
古地老稲荷神社
花光節夫
来歴・人物.
父、兄とも松尾鉱山の採鉱夫で、松尾鉱山中学校、松尾鉱山高校（定時制）時代は相撲部に所属して岩手県大会などに出場するなど活躍した。
引退後は、年寄・大嶽を当時現役だった大鵬（横綱）から借り受けて襲名し、花籠部屋や大鵬部屋の部屋付き親方として後進の指導に当たった。
廃業後は青森市で、季節料理・鍋物料理の店「ちゃんこ道場」を経営した。
主な成績・記録.
場所別成績.