サクサク読めて、アプリ限定の機能も多数!
誰かが(数十年前ではなく)今 Prolog だか Lisp だかで大事なのは unification だって言ってた。その言語でのプログラミングにどう影響するのか。
criticabug のブックマーク 2013/07/04 12:27
ユニフィケーション - Wikipedia[Prolog]誰かが(数十年前ではなく)今 Prolog だか Lisp だかで大事なのは unification だって言ってた。その言語でのプログラミングにどう影響するのか。2013/07/04 12:27
このブックマークにはスターがありません。 最初のスターをつけてみよう!
ja.wikipedia.org2010/09/03
ユニフィケーション(英: unification)は数理論理学や計算機科学の用語であり、充足性(英語版)問題を解く際のアルゴリズム的プロセスである。ユニフィケーションは、見た目の異なる2つの項(英語版)が同一[1]...
8 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
誰かが(数十年前ではなく)今 Prolog だか Lisp だかで大事なのは unification だって言ってた。その言語でのプログラミングにどう影響するのか。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ユニフィケーション - Wikipedia
ユニフィケーション(英: unification)は数理論理学や計算機科学の用語であり、充足性(英語版)問題を解く際のアルゴリズム的プロセスである。ユニフィケーションは、見た目の異なる2つの項(英語版)が同一[1]...
8 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /