関数プログラミング入門

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

[tm8st]

関数プログラミング入門

[BigFatCat]

関数プログラミング入門

[moguno]

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

[alucky0707]

田中さんのスライド

[wshinya]

田中さんの関数プログラミング入門のプレゼン資料

[qnighy]

1年以上前に聞いたあの講義がいつの間にか大人気になっていた…だと…

[sirocco]

情報オリンピック春季トレーニング合宿 2010/03/22 田中英行

[pokutuna]

ロックわかりやすかった

[nilab]

関数プログラミング入門

[reptam]

入門向けだが100ページもあって色々書いてある。

[graceful_life]

わかりやすい。

[uk-ar]

関数プログラミング入門 - Presentation Transcript 1. 関数プログラミング入門 情報オリンピック春季トレーニング合宿 2010/03/22 田中英行

[toshikaz55]

101ページものスライド資料。面白そう。"関数プログラミング入門"

[paella]

関数プログラミングについての良い資料。思っていたより色々と書いてあったので参考になる。続きはあとで読む。

[o_show]

関数プログラミングはその参照透過性により並列プログラミングと相性がよい。またロックに頼らないソフトウェアトランザクショナルメモリという手法がある

[coppieee]

いっきに読んでしまった