プログラミングと開発者のためのCodeZine：Rubyで作るProlog処理系（Ruby, Prolog, 記号処理, 自動推論）
はじめに 1970年代にヨーロッパを主な舞台として生まれ育ったプログラミング言語Prolog（programming in logic）は、事実とルールから一種の自動推論を行う点に特徴があります。その基本的な動作は200行ほどのRubyプログラムで実現できます。ここでは、筆者がRubyで作成したProlog処理系を解説します。 Prologによる簡単なプログラム例を下記に示します。 これは「ソクラテスは人間（human）である」「プラトンは人間である」という事実と、「人間ならばいつか死ぬ（mortal）」というルールを書いたものです。mortal(X) :- human(X)は、変数Xが実際には何であったとしても、もしもhuman(X)が成り立つならば（つまりXが人間ならば）、mortal(X)が成り立つ（つまり、Xはいつか死ぬ）という意味です。 簡略化のため、本処理系ではRubyの構文要
Misc Programs written in Ruby
Small programs written in Ruby. Requirements Ruby Algorithm and Data Structure sort-bubble.rb - buble sort sort-intersection.rb - intersection sort sort-selection.rb - selection sort sort-merge.rb - merge sort sort-quick.rb - quick sort trie.rb - trie data structure Use of External Library traverse_fammon.rb - monitoring the modification of filesystem by using libfam-ruby Web API googlemapgenerato
Rubyコーディング規約
はじめに 本文書は、Rubyによりコーディングを行う際の規約について述べる。 実際のプロジェクトに適用する際には、このコーディング規約をカスタ マイズして用いることを推奨する。 ソースコードの整形 インデント プログラムを読みやすくするため、インデントを適宜行う。インデント 幅は2とする。また、インデントにはスペースのみを使用し、タブは使用 しない。(環境によりタブ幅が異なるため。) 例: if x > 0 if y > 0 puts "x > 0 && y > 0" end end 一行の桁数 一行の桁数は最大80桁までとする。 空行 複数のクラスの区切には空行を挿入する。 例: class Foo ... end class Bar ... end 誤った例: class Foo ... end class Bar ... end また、クラス内の各構成要素の区切にも空行を挿入する。
RubyForge
RubyForge is a home for open source Ruby projects; thanks to the folks who make it possible! Searchgasm 1.2.1 Ben Johnson - 2008-09-29 13:41 - Searchgasm Searchgasm has been updated to 1.2.1. Searchgasm is object based ActiveRecord searching, ordering, pagination, and more! More information is available at http://github.com/binarylogic/searchgasm . Searchgasm 0.9.6 Ben Johnson - 2008-09-04
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
