サクサク読めて、アプリ限定の機能も多数!
方向性としてはPrologよりもMizarとかに近いと思う。 http://ja.wikipedia.org/wiki/Mizar
polynity のブックマーク 2014/11/18 16:16
世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita[技術][プログラミング][プログラミング言語][論理型言語][Prolog][Hilbert][論理][数学]方向性としてはPrologよりもMizarとかに近いと思う。 <a href="http://ja.wikipedia.org/wiki/Mizar" target="_blank" rel="noopener nofollow">http://ja.wikipedia.org/wiki/Mizar</a>2014/11/18 16:16
方向性としてはPrologよりもMizarとかに近いと思う。 <a href="http://ja.wikipedia.org/wiki/Mizar" target="_blank" rel="noopener nofollow">http://ja.wikipedia.org/wiki/Mizar</a>
このブックマークにはスターがありません。 最初のスターをつけてみよう!
qiita.com/gogotanaka2014/11/18
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思...
234 人がブックマーク・43 件のコメント
\ コメントが サクサク読める アプリです /
方向性としてはPrologよりもMizarとかに近いと思う。 http://ja.wikipedia.org/wiki/Mizar
このブックマークにはスターがありません。
最初のスターをつけてみよう!
世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思...
234 人がブックマーク・43 件のコメント
\ コメントが サクサク読める アプリです /