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