ユニフィケーション - Wikipedia
ユニフィケーション（英: unification）は数理論理学や計算機科学の用語であり、充足性（英語版）問題を解く際のアルゴリズム的プロセスである。ユニフィケーションは、見た目の異なる2つの項（英語版）が同一[1]または同等[2]であることを示す置換（英語版）を求めるのが目的である。ユニフィケーションは自動推論、論理プログラミング、プログラミング言語の型システムの実装などに幅広く用いられている。 なお、ユニフィケーションを単一化あるいは統一化とも呼ぶ。 主なユニフィケーションは数種類ある。等号を持たない論理（理論）において、2つの項が同一であることを示すためのユニフィケーションは統語論的ユニフィケーション[3]と呼ばれる。空でない等号を持つ論理（理論）で2つの項の同等性[4]を示す場合、それを意味論的ユニフィケーション[5]と呼ぶ。置換は順序集合として順序付けられるので、ユニフィケーション
【派閥別】Gitのコミットを間違えたときの対処法まとめ - 本当は怖いHPC
追記：たくさんブクマしていただいて驚いております。ブクマコメントだと、やはり git push -f は反則だろという意見がサイレントマジョリティのようですが、そこはそれ、自 己 責 任 追記２(2011/11/07)：commit messageをミスった場合について訂正しました。 git rebase -i で直近のコミットを "edit" にして修正すると、 「--amend使えや」と言われるようです。 gitのコミットをしくじった時の対処法について、一覧性の高いまとめがなかったので作りました。正確さは保証できないので、コマンド名ヒントに自分でググって下さい ほかのやり方があるよ、間違ってるよ等のご指摘歓迎です。 派閥別 gitでコミットミスった時のまとめ ｜ ├─ 一人で使ってるよ ｜ ｜ ｜ ├─ 手元に変更を取り戻したいよ(1)（そうだね、add忘れだね派） ｜ ｜
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
