Daisuke NISHITANI @cho_tekitou
Aichi Japan Interesting:Haskell,OCaml,Coq
-
真夜中の並行処理トーク
4615pv 33 21 users -
丸山不二夫先生によるSunの栄枯盛衰(あるいは思い出話)
7229pv 37 31 users 2 -
型とクラスと集合と
4804pv 23 7 users
-
Kinectの仕組みにまつわるつぶやき一覧
10804pv 8 20 users -
qpstudy04 「インフラエンジニアの新人教育 ~とある新人の研修内容(トレーニング)~」まとめ
12918pv 18 2 users -
言語内 DSL を考える。
8086pv 36 40 users -
海外でのエンジニアの労働環境について
6120pv 38 22 users -
コンストラクタでの例外はあり?なし?
28886pv 46 29 users -
大屋雄裕氏の講演に対する高木浩光氏の批判
16901pv 25 56 users 1 -
ICFP 2010 実況など
8512pv 4 11 users -
第2回 自然言語処理勉強会@東京 (#tokyotextmining)
5117pv 8 users -
#tddbc イベント設計についての議論(9/24)
3469pv 3 users -
普通じゃないプログラミング発表会2010 二日目まとめ
3461pv 9 -
普通じゃないプログラミング発表会2010 一日目まとめ
8406pv 25 8 users -
できるIT系エンジニアになる方法
47576pv 273 356 users 6 -
優秀なエンジニアはどこにいて、企業はどうすべきか?
150066pv 869 634 users 32 -
若者よ、深く思考し、logicを身につけよ―日本語と英語とで学ぶべきもの
10567pv 112 41 users 1 -
Falso 定理証明系の大革命
5078pv 27 7 users -
関数型言語でのデザイン手法
31931pv 102 110 users 10 -
[FAQ]Haskellには副作用があるのか、ないのか
12641pv 1 27 users 1 -
圏論、Haskell、あるいは圏論部。
20450pv 70 23 users 2