Daisuke NISHITANI @cho_tekitou
Aichi Japan Interesting:Haskell,OCaml,Coq
-
【東日本の教訓を生かしてください】から始まる実践的な内容に、引き込まれました。この教訓を生かして行けたらと、まとめて..
9984pv 73 20 users 43 -
【榊正宗の異説まとめ】1食200円以下。低所得者のための健康食材講座。簡単自炊方法も!
219130pv 2106 556 users 1069 -
クソフェミ「まずは本を読め!」俺ら「どの本を?」のテンプレに答える本当にフェミニズムが学べる5冊の本
56413pv 397 154 users 24
-
【榊正宗の異説まとめ】企画書の作り方。
63568pv 656 616 users 783 -
OpenSSLの新たな脆弱性 CCS Injection が発見される
20236pv 199 62 users 72 -
結城浩の「若者よ、選択は重要だぞ」という話
43391pv 563 124 users 88 -
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
20838pv 151 73 users 10 -
子供に「なんの為に勉強するの?」と聞かれたら、なんて答えますか?
132613pv 1095 801 users 765 -
Coq'Art読書会 #0 #readcoqart まとめ
1465pv 8 1 user -
Parallel and Concurrent Programming in Haskell 読書会 第1回
3188pv 9 2 users -
Operational Monad
5673pv 15 17 users -
電子書籍のノウハウをまとめてみた・「完全版」
29280pv 522 56 users 68 -
ekmett勉強会 #ekmett_conf
11687pv 24 7 users 4 -
Haskell beats C
5604pv 22 10 users 2 -
PPL2013
4713pv 13 -
s_osafuneさんのFPGAコンピューティングつぶやきまとめ
1813pv 4 4 users 1 -
FPGAハッカソン、やってくだされ
1575pv 6 1 -
FPGAエクストリームなTLのまとめ
8286pv 35 14 users 11 -
Monad クラスと Functor クラスや Applicative クラスの間に階層関係がないのは、本当に「歴史..
5635pv 24 3 users -
深イイ学習=deep learningの話
25179pv 130 43 users 27 -
現代音楽にかけられた呪い平均律
115187pv 25 198 users 271 -
統計解析ソフトやRのパッケージによってクロンバックのα信頼性係数が違う?
9250pv 22 8 users 2 -
ScalazとHaskellの比較記事というか疑問点をいっぱい書いたら、shelarcyさんにいっぱい教えてもらったよ!
7210pv 27 19 users 2 -
#readghc 第一回
2261pv 6 2 users 3 -
夜中からの Haskell 談義
35571pv 63 38 users