あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. (カジュアルに作ってるように見えますが、割と本気です.) まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. (今ならカントリーマームもつけるのでお願いします.) HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真(トートロジー)のみです. (厳密に言うと自然演繹も仮定されていますが.) 当初、自
![世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/089e820df9a9a5df77d96622d896b0303818f646/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9JUU0JUI4JTk2JUU3JTk1JThDJUUzJTgxJUE3JUU0JUI4JTgwJUU3JTk1JUFBJUUzJTgzJTk0JUUzJTgzJUE1JUUzJTgyJUEyJUUzJTgxJUFBJUU4JUFCJTk2JUU3JTkwJTg2JUU1JTlFJThCJUUzJTgzJTk3JUUzJTgzJUFEJUUzJTgyJUIwJUUzJTgzJUE5JUUzJTgzJTlGJUUzJTgzJUIzJUUzJTgyJUIwJUU4JUE4JTgwJUU4JUFBJTlFSGlsYmVydCUyOCVFMyU4MyU5MiVFMyU4MyVBQiVFMyU4MyU5OSVFMyU4MyVBQiVFMyU4MyU4OCUyOSVFMyU4MiU5MlJ1YnklRTMlODElQTclRTQlQkQlOUMlRTMlODElQTMlRTMlODElOUYuJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmcz0zNTUyMjQ0MjI5MTYzMzY2YmI1ZTU1YWM1ZmQ2YzIzNw%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBnb2dvdGFuYWthJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz1kZjg4ZmE1YTUwNjk5ODcxMTJiMGVhYzBmYWE5ZjBiYQ%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3D13440269e888eb9c704ccfff03bf291c)