気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
ie.u-ryukyu.ac.jp/~konoエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Software Engineering Lecture s11
Menu Menu Prolog SWI-Prolog Free soft です。規格(ISO Prolog)がちょっと古い http://www.swi-prolog.... Menu Menu Prolog SWI-Prolog Free soft です。規格(ISO Prolog)がちょっと古い http://www.swi-prolog.org/ SICStus Prolog Sweden 王立研究所で作られたもの。有料。若干性能が良いです。5倍ぐらい。 http://www.sics.se/isl/sicstuswww/site/index.html 琉大はライセンスを持っているんですけど... 論理型プログラミング 正しいと仮定した論理式があって、.... プログラム これに、自分がやって欲しいことを論理式で書いて、その否定を追加する。 この式って実行できないよね? そうすると、Prolog の方が「いや、そんなことないよ」って反例を出して来る。 それがプログラムの実行になる。 SWI Prolog での例 finkに合わせてあるので、/opt/loc
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
ie.u-ryukyu.ac.jp/~kono
ie.u-ryukyu.ac.jp/~kono
ie.u-ryukyu.ac.jp/~kono
ie.u-ryukyu.ac.jp/~kono
blog.tatsuru.com
courrier.jp
news.ntv.co.jp
www.sponichi.co.jp
www.publickey1.jp
togetter.com
k-tai.watch.impress.co.jp
nature.global
www.itmedia.co.jp
forest.watch.impress.co.jp
togetter.com
gigazine.net
sukekyo.hatenadiary.jp
www.yomiuri.co.jp
haniwa.blog.fc2.com
chaiko-cats.hatenablog.jp
www.nikkansports.com
2008/11/10 リンク