[ANN] Rubyで論理型プログラミング言語Hilbertを作りました‏

Kazuki Tanaka

unread,

Nov 17, 2014, 8:59:54 PM11/17/14

to ruby...@ruby-lang.org

こんにちは.

皆さん如何お過ごしでしょうか.

RubyConfで盛り上がっている中、水を指すようでしたら申し訳ないのですが、

論理型プログラミング言語HilbertをRubyで実装致しました.

HP: http://hilbert-lang.org/ja/

Github: https://github.com/gogotanaka/Hilbert

この言語の特徴は仮定されているものが恒真（トートロジー）のみである事、

Hilbertに与えられる文字列は全て論理式が真である事の仮定である事、

恒真（トートロジー）と恒偽（パラドック）は副作用をもたない事です.

詳しくはこちらに記しました.

http://qiita.com/gogotanaka/items/97ae187156541c8eaa9d

もし良ければご覧になってみてください.

それでは失礼しました. アディオス.

田中
--
===============================
Keio university mathematical sciences
田中　和希　 Kazuki Tanaka

mail: ma...@tanakakazuki.com

HP: http://gogotanaka.me/

Blog: http://blog.gogotanaka.me/

Twitter: @gogo_tanaka

Facebook: https://www.facebook.com/gogogogotanaka

===============================

Kazuki Tanaka

unread,

Nov 18, 2014, 1:50:41 AM11/18/14

to Ruby users

Hi botp, thank for interested.

> i hope i can help you build the manual/docs (and you can help me

learn japanese : )

How can I say NO? I'm totally OK!!! I would be honoured!

mail does work for me, if you have alternative better way, please feel free let me know it.

Thanks.