2014-04-19から1日間の記事一覧
Nondeterministic Computingで少し雰囲気を感じつつ、ついに論理プログラミングに到達。 第5章はまた毛色が違う話なので、ここが一つの到達点なのかな。 ノート 数学はdeclarative(宣言的)、コンピュータサイエンスはimperative(命令的)。 高級言語にな…
Nondeterministic Computingで少し雰囲気を感じつつ、ついに論理プログラミングに到達。 第5章はまた毛色が違う話なので、ここが一つの到達点なのかな。 ノート 数学はdeclarative(宣言的)、コンピュータサイエンスはimperative(命令的)。 高級言語にな…