世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita

あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自

[mongrelP]

北大の授業ですごい既視感あるけど何だっけか…→ああ、ETCだ（そして実行環境がDLできないっていう

[cook593]

Hello worldができない言語、かっこいい。「関数名f,g,hのみ」にしびれた。

[primedesignworks]

“gogotanaka”

[igrep]

うーん、わからん。

[mas-higa]

（；゜０゜）「いい感じになってきたらHaskellで全部実装し直したいなと思ってます」

[sho]

やべぇ、ぜんぜんわからんw

[arixatos]

後で読む

[hyuki]

すごくおもしろそう！typo修正感謝です。

[kirakking]

決定不能性とどう戦っているのか気になる。

[an_old_pencil]

さっき書いたクソqiitaとの違いよ

[yujiorama]

楽しんでる

[Horiuchi_H]

“文字列を扱えない事に不十分さを感じるのは僕たちがまだまだ未熟だからなんだと思います.”

[tak4hir0]

世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita

[richard_raw]

恒真って田宮榮一のプロファイリングのことかー。などと思いつつ流し読み（理解できてない）してたら実解析で目が覚めました。こんなことできるのか……。

[outland_karasu]

Hilbert上にHilbertインタプリタ実装できればHilbertが無矛盾で完全な言語ということが証明できるんじゃね？

[kaz_nisi00]

とりあえず、ブックマーク

[kiyo_hiko]

述語を評価しようとして失敗→読み直したら命題論理のみ実装って話だった。ともあれ良さげ。あと自環境だと何故か否定が評価されずAと~Aが別の命題変数名みたいな扱い。選言と連言と含意はちゃんと評価されている

[Nyoho]

素晴らしい

[mandel59]

Qから名前変わったやつ？

[hitotakuchan]

日本語が変なのが気になる。曖昧に数学が行われていたのを記号を導入して厳密に展開しようとした功績でいうならヒルベルトよりもフレーゲだと思う。

[nilab]

世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita

[takutakuma]

なんか楽しそうな言語

[kuzira4ever]

FF10を思い出した

[peketamin]

ほうほう…(分からない)

[hedachi]

残念ながら知識不足でよくわからないけど何かすごそう

[elephant1974]

数学基礎論とプログラミングがつながる感じで良いなぁ。仕事してる振りしてこういうので遊べないかなー。

[kuroi122]

かっこいい

[Hash]

これ面白いなぁ

[cocodrips]

なんとなくAgdaのこと思い出した

[polynity]

方向性としてはPrologよりもMizarとかに近いと思う。 http://ja.wikipedia.org/wiki/Mizar