項  についてのユニフィケーション問題  が  という潜在的等式の多重集合で表されるとき、そのアルゴリズムはそれらの式に以下に示す項書き換え規則を適用し、等価な形式である  に変形しようとする。ここで、 は一意な変数である（1つの式の左辺に一度だけ現れ、他の部分には出現しない）。この形式の多重集合は置換を表しているとみなすことができる。解がない場合、アルゴリズムは  とともに停止する。項  に含まれる変数群を  と表記し、問題  内の式の左辺と右辺の全ての項に含まれる変数の集合は  と表記する。問題  内での変数  の出現を全て項  に置換することを  と表記する。簡単にするため、定数記号は引数ゼロ個の関数記号とみなす。
変数 x を x が部分として出現する関数 x=f(...,x,...) とユニフィケーションしようとする場合、x は無限個の項を持たなければならなくなる。これは有限であるとした項の定義と矛盾するため、ユニフィケーションは失敗する。そのためユニフィケーション問題を解くアルゴリズムでは、まず x がユニフィケーションしようとする項の中に出現しないかチェックする。これを出現検査などと呼ぶ。
置換は、変数から項へのマッピングの有限集合  と定義され、1つの変数を2つの異なる項にマッピングすると曖昧さが生じるため、個々のマッピングは一意的でなければならない。項 u への置換の「適用」を  と記述し、項  に出現する各変数  を項  で置き換えることを意味する。このとき、 である。例えば、 となる。
ユニフィケーション（英: unification）は数理論理学や計算機科学の用語であり、充足性問題を解く際のアルゴリズム的プロセスである。ユニフィケーションは、見た目の異なる2つの項が同一または同等であることを示す置換を求めるのが目的である。ユニフィケーションは自動推論、論理プログラミング、プログラミング言語の型システムの実装などに幅広く用いられている。なお、ユニフィケーションを単一化あるいは統一化とも呼ぶ。主なユニフィケーションは数種類ある。等号を持たない論理（理論）において、2つの項が同一であることを示すためのユニフィケーションは統語論的ユニフィケーションと呼ばれる。空でない等号を持つ論理（理論）で2つの項の同等性を示す場合、それを意味論的ユニフィケーションと呼ぶ。置換は順序集合として順序付けられるので、ユニフィケーションは束における結びを求める手続きとして解釈できる。ユニフィケーションを初めて形式的に研究したのはジョン・アラン・ロビンソンで、一階述語論理の導出手続きを構築する際に一階のユニフィケーションを基盤として使い、組合せ爆発の原因の1つ（項を例化したものの探索）を排除することで自動推論技術への大きな一歩とした。
電子の加速電圧が高ければ電子線の波長が短くなる。ザイデルの5収差に相当する収差が電子光学にもある。電子レンズを使用して収束する。光学レンズとは異なり、電子に対するレンズは凸レンズしかないことが知られており、収差の補正に利用する場合には選択肢が限られる。
東映東京撮影所で助監督を経験したのち、1963年、東映動画（現：東映アニメーション）に入社。1976年春、企画部に異動。2000年、退社。現在は、アニメ批評などを手掛ける。
2014年10月26日時点Veikkausliigan verkkonäyttely: Tilastotveikkausliiga.com/Player.aspxVeikkausliiga - Hall Of Fame.
他の北欧諸国と同様に、リーグは春（4月から10月）に開催される。12クラブによる3回総当り。最下位のクラブはウッコネンの優勝クラブと入れ替わり。
自身のブログによれば、普段好んで飲むのはペリエやジンジャエールなど。ペリエは冷蔵庫に常備しているとも述べている。アルコール類はほとんど飲めず、下戸と告白。2008年12月4日のアメーバブログGGのクリスマスパーティで、ウェルカムドリンクをジュースと勘違いし、ふらふらになった経験を告白している。コアなファンが、定期的に送っているシャンパンを、『お友達のヴーヴ・クリコさん』と表現し、ブログで紹介した事がある。しかし、全てお風呂に入れているとの疑惑をもたれている。
1136年、ヴェローナは都市特許状を得、コムーネとなった。封建時代のヴェローナは寡頭制を取り、幾つかの有力な貴族によって統治されていた。13世紀には、神聖ローマ皇帝フリードリヒ2世の協力を得て、パドヴァ、ヴィチェンツァ、トレントを征服した。13世紀以降のローマ教皇と皇帝の争いでは、ヴェローナの支配者は概して皇帝派（ギベリン）についた。ヴェローナの支配者はスカリジェリ家（デッラ・スカラ家）、ヴィスコンティ家、パドヴァのカッラーラ家と変わっていき、ヴェローナの支配層の間には憎しみを帯びた熾烈な闘争があった。その模様はシェイクスピアの戯曲の中にも描かれている。パドヴァのカッラーラ家はヴェローナの同盟者のひとりであったが、1402年にヴィスコンティが死ぬと、ヴェローナの支配権を手中に納めた。しかし3年後にはカッラーラ家は滅び、ヴェローナとパドヴァの両方を失うことになった。おそらくはカッラーラ家とともに、ヴェローナを蔽った闘争の時代は終わったのであろう。1405年にヴェローナはヴェネツィアの支配下に入った。ルネサンス期のヴェローナは商業また文化の中心として発展した。この世紀における人口には振幅が激しく、1511年に38,000人だった人口は1512年には25,000人に減少し、1526年には55,000人に上るが、1530年にはペストのため20,000人に減少している。数多くの学校が生まれ、ヨーロッパ規模の文化的な活動が展開された。ヴェネツィアの支配は、ヴェネツィア共和国の終焉まで続いた。