まんじゅ(´ん`)@駄メンター
@manzyun
復習用資料 ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記 http://t.co/yU87YeFKLe #ohotech
2013-02-23 16:46:13
まんじゅ(´ん`)@駄メンター
@manzyun
人によってはC++とかよりアセンブラのほうがわかりやすいという人は、型付きラムダ式になることによる制約のようなものを感じているのか!! (違 #ohotech
2013-02-23 16:51:37
まんじゅ(´ん`)@駄メンター
@manzyun
しかし @t6s さんの話を聞いていると、Coqによる照明駆動開発も結構現実的な解に思えてくる。 #ohotech
2013-02-23 16:54:04
まんじゅ(´ん`)@駄メンター
@manzyun
言語の仕様を知ることも大切だけど、その根っこの概念的な部分も知っておくとやはり幸せになれる気がする。と思うのは私だけだろうか? #ohotech
2013-02-23 16:57:32
Takafumi Saikawa
@t6s
BePROUDさんの在宅勤務の様子とか http://t.co/W0Y4z9Ag5L の非python成分とかかなりおもしろかった #ohotech
2013-02-23 22:25:20
こいわ(特に茄子)
@koiwa
ohotech特盛#2で発表したスライドを公開します。「パケットフィルタリングの考え方 」http://t.co/8rYR1X5y3w #ohotech
2013-02-28 12:02:14