K. Sakaguchi @pi8027 ocaml-tsukuba 勉強会#1のスライド(自分が書いた物)によると、C と OCaml で素直に N-Queens Solver を書くと、OCaml で書いた物の実行時間が C で書いた物の二倍くらいらしい。 2011-07-12 03:29:19

Dear Fellow Researchers, Would you kindly pay attention to the article “Non-Orthodox Combinatorial Models Based on Discordant Structures” by the author V. F. Romanov published on arXiv.org: http://arxiv.org/abs/1011.3944 (download: PDF, initial format LaTeX, 12pt). The article presents a constructive proof of effective resolvability of 3-SAT problem, accompanied by description of a polynomial algo
About On development of Gauche, and other topics related to Lisp/Scheme in general. More details. Author Shiro Kawai, shiro at acm dot org. Recent Entries Running prebuilt Gauche on GitHub workflowCaching formatter procedurePipeworksReal numerical functionsPretty print indentationSegmented completionHints for unbound variable error:immutable slot optionSource info propagation with macro expansionU
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く