2014-03-23から1日間の記事一覧
ここは全く予備知識の無い分野。Prologへの布石の様に思える。 ノート 非決定論的コンピューティング? 評価器に「automatic search」を組み込む。遅延評価よりも言語に対して大きな変更となる。非決定論的コンピューティングは『生成してテストする』タイプ…
ここは全く予備知識の無い分野。Prologへの布石の様に思える。 ノート 非決定論的コンピューティング? 評価器に「automatic search」を組み込む。遅延評価よりも言語に対して大きな変更となる。非決定論的コンピューティングは『生成してテストする』タイプ…