2012-10-23から1日間の記事一覧
第二部の最終章。制約プログラミング。 要点 制約プログラミング自体は、何らかの論理的な制約(constarint)を満たす解を求める技法の集合である。制約プログラミングでは解を求めるにあたって、力ずくの探索を可能な限り避けて…(つづき) 感想 計算空間とい…
第二部の最終章。制約プログラミング。 要点 制約プログラミング自体は、何らかの論理的な制約(constarint)を満たす解を求める技法の集合である。制約プログラミングでは解を求めるにあたって、力ずくの探索を可能な限り避けて…(つづき) 感想 計算空間とい…