Karetta|プログラム不要の「制約プログラミング手習い」
はじめにリンク情報制約ソルバーのインストールSugarのシンタックスバグ修正情報連環の数２連環の場合文法事始め３連環の場合domain７連環に挑戦差の連環abspredicate覆面算SEND＋MORE＝MONEY人間の解き方CSPで書いてみようweightedsumpredicate鶴亀算鶴亀算鶴亀トンボ算８クイーンチェス盤の用意配列がない斜めの考え方変数の激減策魔方陣サイズ３の魔方陣サイズ４の魔方陣ナンプレまえおきルールを制約へ９×９の標準問題対角線ナンプレクロスサムまえおきルールを制約へ普通サイズの問題ナイト巡回問題ナイト巡回問題とはナイトの動きを制約にするナイトの動きをpredicateで表現５×５を解き終えよう６×６に挑戦閉ループにしよう頑張らない閉ループの確認方法ナイトの動きの素直な表現elementで盤面に変換あかりルール盤面の用意ランプは互いに照らし合わないすべての白マスに
Prolog in Javascript (!)
This is not a WAM implementation, although I would be quite tempted to try such a beast. No cut or bagof at the moment, but that ought to come shortly. To-do list Lets face it, there's nothing special about the X in X(a,b,c). Built-ins: hook to handle predicates with JS definitions. Parse T1, !, T4 as #cut(T1, T4) not, bagof. Parse X = Y as unify(X, Y). Builtins for arithmetic. String, URL literal
Rainy Day Codings：So-net blog
「プログラミング言語の基礎概念」(五十嵐2011)をAgdaでやっていた途中だが、 ここで "Types and Programming Language" (Pierce 2002) の第8章 "Typed Arithmetic Expressions" をAgdaでやることにする。 open import Relation.Binary.PropositionalEquality using (_≡_; refl) open import Data.Product using (_×_; proj₁; proj₂; ∃; ∃-syntax) renaming (_,_ to ⟨_,_⟩) open import Data.Sum using (_⊎_; inj₁; inj₂) infix 10 succ_ infix 10 pred_ infix 9 iszero_ infix 8 i
RDF Applications with Prolog
In the first article in this series, I explained some of the semantics of RDF via Prolog (and vice versa). In this article, I'll explore some of the nitty-gritty of working with RDF in Prolog using the SWI-Prolog system. Using RDF with SWI-Prolog SWI-Prolog is a fast, robust, and free open-source Prolog system with great support for XML and RDF. It's being used as an inference engine for Mozilla a
Knowledge Discovery 2007
[TOP] 科目概要本講義では、高度なデータマイニングの技術として、述語論理に基づく帰納論理プログラミング、高精度でかつ高速な分類学習を行うサポートベクターマシン、および不確実な状況での推論を可能にするベイジアンネットワークの３つの技術を紹介する。帰納論理プログラミングは、適切に背景知識を用意することによって、多くの分野への応用が可能である。また、サポートベクタマシンは、その精度の良さ、および実行速度の速さにより、近年とくに注目を浴びている。ベイジアンネットワークは、不確実性を扱える点で、インターネットにおける個人化をサポートする技術などで活躍している。本講義は、それらの技術を実際に使えるようになることを目指して、講義とともに、実習にも力を注ぐ。 [TOP] 主題と目標/授業の手法など本講義では、従来のデータマイニング技術である、相関ルールマイニング、決定木の自動構築、クラスタリングの
埒を明ける日々
気が付いたら2012年になってましたね、さぞかしおめでたいことでございましょう。 コミケ前日からちょい体調悪かったのを"成せばなる！"の精神で押し通し、三日目撤収し打ち上げしてる段階で身体はもう限界っぽかったわけですが、帰宅したらもう完全に風邪をこじらせたみたいな具合で寝正月を満喫しました。今更ながらバリキ・ドリンクの一本や二本は飲んでおくべきだったと後悔しております。それはともかく、本年もCOMFRKをよろしくお願い申し上げます。 VOL.3の在庫はしばらくありませんがVOL.2は未だかなりありますよ。 床に伏しているだけなら本も読めようものですが、文字通り寝てたので去年の積読書も手に着かず…やろうと思ったことも出来ず、万事の前提にまず健康ありきと痛感した次第… 皆さん本当に健康に生きましょうね。 未だ"完全復活！(CV:玄田哲章)"ではないですが、明日から仕事だし、新年のご挨拶だけでも
SWI-PrologでWebアプリケーション - ¬¬日常日記
PrologでWebアプリケーションってどんな感じなんだろう、と思って試してみました。何でも出来そうなProlog処理系と言えば真っ先に思い付くのがSWI-Prologです。検索してみるとあっさりと目的のページがみつかりました。 http://www.swi-prolog.org/packages/http.htm ここの載っているサンプルにほんのちょっとだけ手を加えて次のようなものを書いてみました。 :- use_module(library('http/thread_httpd')). :- use_module(library('http/http_dispatch')). :- use_module(library('http/html_write')). server(Port) :- http_server(http_dispatch, [port(Port)]). :- ht
Prologと表計算による意思決定モデリング＆シミュレーション（教材）
本ページの内容は個人が作成するもです。実用性や正確性は保証されていません。 もし誤りなどがございましたら、おそれいりますが作者までご指摘・ご指導いただければ幸いです。 PrologプログラムはSWI-Prologのversion 5.6.64, (5.0.9, 1.9.0)を使って います。また表計算とあるのはExcel （2003、2002）です。 経済・経営 オークション・市場 封印入札:ヴィックレーのオークション、シュービックのオークション、競争入札 ●（表計算） ２人の場合の最適反応を近似 ファーストプライスオークション（FPA）:１番目に高い言い値だった人が勝ち、その言い値で支払う。競争入札など。 セカンドプライスオークション（SPA）:１番目に高い値を付けた人が勝ち、2番目に高かった人の言い値で支払う。 シュービックのオークション：１ドル（札）オークション。１番高い値の人が勝ち
業界最大級のライブチャットDXLIVE
PC/AndroidのGoogle Chrome (グーグルクローム)、Edge（エッジ）の最新バージョン127にて、ビデオ通話がご利用いただけない不具合が起こっておりましたが、修正をリリースいたしました。ご利用されている皆様には大変ご迷惑おかけいたしましたことをお詫び致します。 現在、PC/AndroidのGoogle Chrome (グーグルクローム)の最新バージョン127にて、ビデオ通話がご利用いただけない不具合が確認されており、調査中となっております。ご利用の皆様にはご迷惑をおかけ致しますが、ご理解ならびにご協力の程、何卒宜しくお願い申し上げます。 9月14日（水）午前5時～5時30分(日本時間)に、サイトのメンテナンスを行ないます。その間は、一時的にチャットが中断される場合がございます。メンテナンス期間は、作業状況により多少前後することもございます。ご利用の皆様にはご迷惑をおかけ
Prolog Web Page (in Japanese)
Prolog入門 Prolog プログラミング入門 Prolog処理系 Prolog Cafe : A Prolog to Java Translator System [お勧め] PrologからJavaへのトランスレータ． 作者は私の共同研究者の 番原君です． Javaさえ持っていれば利用できます． FAQ: Prolog Implementations SICStus Prolog Quintus Prolog (comp.lang.prologの記事 <ul91zv8g85w.fsf_-_@scheutz.sics.se> によると， 1998年4月よりSICSがQuintus Prologの権利を取得したそうです) K-Prolog ( Java Interface for Prolog) IF/Prolog Ciao Prolog New! Amzi! Prolog + Log
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://nojiriko.asia/prolog/
Programming Languages - IRIS-Reasoner
Lisp, Prolog 他言語
http://www.ifcomputer.co.jp/jp/manuals/uguide/uguide.html
Prolog on Goyo
http://www.wikiroom.com/koichik/index.php?Prolog%20%BC%CC%B7%D0%B5%AD
SSH AI programming
FrontPage - Tips for us.
http://web.sfc.keio.ac.jp/~mukai/mathcgi/
http://web.sfc.keio.ac.jp/~mukai/2006-LP/04/practice/