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