2009-01-01から1ヶ月間の記事一覧

Akasaka.rb 2009年新年会(in 新橋)

当初、魚金の予定だったが入れず、韓国料理に 飲み過ぎないよう気を付けました><

第141回 素人くさいSICP読書会(at 月島某所)

会場提供&コーヒーありがとうございました いつものおみやげの杏仁豆腐がなくなってた。悲しい 275ページから音読 問題4.65 andの順番の問題だったような

「ラムダ計算、論理、圏」セミナー(第1回)

檜山さんに一番に指される位置に座っていたのでどきどき 檜山さんがラムダの話をするたびに頭の中でSchemeのコードに変換されるわけだけど、lambdaがクロージャとして実装されているSchemeを過度に意識するのはよくないとか思いつつ聞いてた スノーグローブ…

第140回 素人くさいSICP読書会(at 三田某所)

会場提供ありがとうございました Android Dev Phone 1はiPhoneユーザーの人々には不評 4.4.2の本文を音読 「規則の結論」という訳からいろいろ脱線 序文の著者からチューリング賞の話に 中文版とか 算符 算譜=プログラム、算帖=ファイル notの実装がむごい…

Asakusa.rb 2009年新年会(in 浅草)

すきやきうまかった 途中から意識がない 2次会ではもんじゃを食べたらしいが全く覚えてない 反省

第139回 素人くさいSICP読書会(at コントロールプラス株式会社)

会場提供ありがとうございました。 この会場はこれが最後になりました。これまでどうもありがとうございました! 問題4.60の次の本文から hisaさんから下のルールの上下をひっくり返していいかどうかという疑問が (rule (append-to-from (?u . ?v) ?y (?u . …

第138回 素人くさいSICP読書会(at コントロールプラス株式会社)

会場提供ありがとうございました。 2009年最初の回 問題4.59 a. (meeting ?section (Friday ?time) b. 最初、?divisionと?typeの間のピリオドを付け忘れた (rule (meeting-time ?person ?day-and-time) (and (job ?person (?division . ?type)) (or (meeting…