2014-04-26から1日間の記事一覧
ノート 明らかにquery evaluatorは何らかの探索を行う。 一つの方法は非決定論的プログラミングでambを使った実装。もう一つはストリームを使う実装。(ここではストリームで実装する) query systemは大きく分けて二つの操作からなる:パターンマッチと単一…
ノート 明らかにquery evaluatorは何らかの探索を行う。 一つの方法は非決定論的プログラミングでambを使った実装。もう一つはストリームを使う実装。(ここではストリームで実装する) query systemは大きく分けて二つの操作からなる:パターンマッチと単一…