『るびま』は、Ruby に関する技術記事はもちろんのこと、Rubyist へのインタビューやエッセイ、その他をお届けするウェブ雑誌です。 Rubyist Magazine について 『Rubyist Magazine』、略して『るびま』は、Rubyist の Rubyist による、Rubyist とそうでない人のためのウェブ雑誌です。 最新号 Rubyist Magazine 0063 号 バックナンバー Rubyist Magazine 0063 号 Rubyist Magazine 0062 号 Kaigi on Rails 特集号 RubyKaigi Takeout 2020 特集号 Rubyist Magazine 0061 号 Rubyist Magazine 0060 号 RubyKaigi 2019 直前特集号 Rubyist Magazine 0059 号 Rubyist
Smalltalk な本を積んでみた にインスパイヤされて Prolog な本を積んでみた (普段から積ん読ですが). 一部 GHC や Concurrent Prolog などの Prolog 拡張言語や論理プログラミング周辺の本も混じってますがより分けるのが面倒なのでまとめて. 自分はニワカなので和書の古い本が少ない (奥の列の上半分くらい) ですが,2ch の Prolog スレには自分の数倍持ってそうな人がいます.まだまだ精進が足りないようです. 積んだ書籍へのリンクを貼るのが正当なようなので追記しました. 並びは適当にカテゴライズしてだいたい出版社ごとに表紙の色で並べたので積んだ順番とは異なります. なんか一冊数が合わないと思ったら「Concurrent Prolog: Collected Papers」は「2 vol. set」なのであった. そして一冊発掘し損ねていたことが発
Prolog(プロログ)は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く