[ruby-list:50006] [ANN] Rubyで論理型プログラミング言語Hilbertを作りました
From:
Tanaka Kazuki <mail@...>
Date:
2014-11-19 19:14:15 UTC
List:
ruby-list #50006
こんにちは. 皆さん如何お過ごしでしょうか. RubyConfで盛り上がっている中、水を指すようでしたら申し訳ないのですが、 論理型プログラミング言語HilbertをRubyで実装致しました. HP: http://hilbert-lang.org/ja/Github: https://github.com/gogotanaka/Hilbert この言語の特徴は仮定されているものが恒真（トートロジー）のみである事、Hilbertに与えられる文字列は全て論理式が真である事の仮定である事、恒真（トートロジー）と恒偽（パラドック）は副作用をもたない事です. 詳しくはこちらに記しました. http://qiita.com/gogotanaka/items/97ae187156541c8eaa9d もし良ければご覧になってみてください. それでは失礼しました. アディオス. P.S. 誤ってruby-talkに意気揚々と上記と同様のメールを送ってしまったため、ruby-talkも購読されている方には重複する内容となってしまい失礼しました. 田中--===============================Keio university mathematical sciences 田中 和希 Kazuki Tanaka mail: mail@tanakakazuki.comHP: http://gogotanaka.me/Blog: http://blog.gogotanaka.me/Twitter: @gogo_tanakaFacebook: https://www.facebook.com/gogogogotanaka===============================