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