バイナリ ファイル wrote: 関数プログラミング入門 #functionalprogramming #haskell http://t.co/NpUXPW8wSb @SlideShareさんから

mogunomoguno のブックマーク 2014/12/25 23:48

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

関数プログラミング入門

    Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう