SeijiWiki
Æɤßʪ
¤ò¥Æ¥ó¥×¥ì¡¼¥È¤Ë¤·¤ÆºîÀ®
³«»Ï¹Ô:
[[¸¦µæÆü»ï¤È¤¦¤á¤]]
#contents
*ÏÀʸ¡¢Ê¸¸¥¤Ê¤É [#lcb3b157]
-²¿¤ò¤É¤ì¤À¤±Æɤó¤À¤Î¤«Ëº¤ì¤½¤¦¤Ê¤Î¤Ç¥á¥â
-2010/4°Ê¹ß¤Î¤â¤Î¡¢¸µµ¤¤¬¤¢¤ì¤Ð²áµî¤Î¤â¤Î¤â¤Þ¤È¤á¤ë¤«¤â
***CHR [#l041746e]
|ǯ|¿ÊÅÙ|ʸ¸¥|¥á¥â|h
|2009|ing|CHR Book||
|2010|ing|&ref(As Time Goes By : Constraint Handling Rule...
|2006|2,3|&ref(Dijkstra's algorithm with Fibonacci.pdf);|...
|2005|2,4|&ref(Analysing the CHR implementation of union ...
|2006||&ref(Deriving Quasi-Linear-Time Algorithms from Un...
|2006||&ref(Optimal union-find in Constraint Handling Rul...
|2005||&ref(Logical rules for a lexicographic order const...
|2006|3|&ref(Complete propagation rules for lexicographic...
|2003||&ref(Extending Arbitrary Solvers with Constraint H...
|2005||&ref(The Computational Power and Complexity of Con...
|2006|2|&ref(Complexity of a CHR Solver for Existentially...
|1995||&ref(High-level implementations of constraint hand...
|2007|all|&ref(A Concurrent CHR Implementation in Haskell...
|?||&ref(Indexing techniques for CHR based on program tra...
***¤½¤Î¾ [#qdcac06b]
|ǯ|¿ÊÅÙ|ʸ¸¥|¥á¥â|h
|||Fibonacci Heaps and Their Uses in Improved Network Opt...
|||Programing by Multiset Transformation||
|||Floyd-Warshall All-Pairs Shortest Pairs Algorithm||
|||6.4 Warshall's Transitive Closure Algorithm|FWË¡¤ÎºÇŬ...
|||ñ°ì»ÏÅÀºÇûϩ, Á´ÅÀÂдֺÇûϩ||
|||NESL : A Nested Data-Parallel Language|¥Þ¥Ë¥å¥¢¥ë|
½ªÎ»¹Ô:
[[¸¦µæÆü»ï¤È¤¦¤á¤]]
#contents
*ÏÀʸ¡¢Ê¸¸¥¤Ê¤É [#lcb3b157]
-²¿¤ò¤É¤ì¤À¤±Æɤó¤À¤Î¤«Ëº¤ì¤½¤¦¤Ê¤Î¤Ç¥á¥â
-2010/4°Ê¹ß¤Î¤â¤Î¡¢¸µµ¤¤¬¤¢¤ì¤Ð²áµî¤Î¤â¤Î¤â¤Þ¤È¤á¤ë¤«¤â
***CHR [#l041746e]
|ǯ|¿ÊÅÙ|ʸ¸¥|¥á¥â|h
|2009|ing|CHR Book||
|2010|ing|&ref(As Time Goes By : Constraint Handling Rule...
|2006|2,3|&ref(Dijkstra's algorithm with Fibonacci.pdf);|...
|2005|2,4|&ref(Analysing the CHR implementation of union ...
|2006||&ref(Deriving Quasi-Linear-Time Algorithms from Un...
|2006||&ref(Optimal union-find in Constraint Handling Rul...
|2005||&ref(Logical rules for a lexicographic order const...
|2006|3|&ref(Complete propagation rules for lexicographic...
|2003||&ref(Extending Arbitrary Solvers with Constraint H...
|2005||&ref(The Computational Power and Complexity of Con...
|2006|2|&ref(Complexity of a CHR Solver for Existentially...
|1995||&ref(High-level implementations of constraint hand...
|2007|all|&ref(A Concurrent CHR Implementation in Haskell...
|?||&ref(Indexing techniques for CHR based on program tra...
***¤½¤Î¾ [#qdcac06b]
|ǯ|¿ÊÅÙ|ʸ¸¥|¥á¥â|h
|||Fibonacci Heaps and Their Uses in Improved Network Opt...
|||Programing by Multiset Transformation||
|||Floyd-Warshall All-Pairs Shortest Pairs Algorithm||
|||6.4 Warshall's Transitive Closure Algorithm|FWË¡¤ÎºÇŬ...
|||ñ°ì»ÏÅÀºÇûϩ, Á´ÅÀÂдֺÇûϩ||
|||NESL : A Nested Data-Parallel Language|¥Þ¥Ë¥å¥¢¥ë|
¥Ú¡¼¥¸Ì¾: