2010-10-01から1ヶ月間の記事一覧
10/30 に、GitとGitHubを体験しながら身につける勉強会 第2回 に参加してきました。 始まる前に、bleis と F# の GUI まわりって Functional ちっくに書けたりするっぽいねとか、 そういうことは osiire さんが詳しいよとか話してたら、なんとご本人登場。 …
10/23に、Boost.勉強会 #3 関西に行ってきました。 千里中央駅からが分かりにくい・・・>< 10時ちょっと過ぎに到着・・・ まとめかメモかなんかそういう 発表資料が遅延評価されたらしく、順番が少し前後 「C++かわいい。」 OAuth めんどいらしい D はとて…
なんか bleis 先生が関数型っぽいライブラリを Java で作ってるっぽくて、自分も作ってみようかなーって適当に作ってたらとても残念な感じになったのでのっけてみる。 コードは rf0444's jaav at master - GitHub に。 よくもこんなキチ(ry まずは Function …
10/16 に、わんくま名古屋勉強会 #15に参加してきました。 C++かわいい。λかわいい。 VBにパターンマッチはないらしい。(C++にもない?) 懇親会で、bleis 先生が Java で Jaav っていうライブラリ作ってるって言ってた。 (パターンマッチは少しあるらしい)
10/15 に、第12回名古屋Scala勉強会に参加してきました。 24章 抽出子 Haskell に View Pattern ってのがある リスト 24.1 これはひどい Scalaである意味がない。split後なにやってるか分からない パターンマッチ素敵 なにやってるかとてもよく分かる => (Sc…
10/9に名古屋Hackathon - ラムダ村に参加しました。 自分は Coq 組で参加。Coq to Scala をやってた。 Coq 組の朝は遅い。にわとりなのに。 環境構築に時間かかってた。make 長い・・・ 最初は Scheme や Haskell のを修正していく感じだったけど、読むだけ…
Require Import List. Theorem sum_10_eq_55 : fold_left (fun y x => y + x) (seq 1 10) 0 = 55. Proof. reflexivity. Qed.ぅゎ、reflexivity っぉぃ。