P221 @月島某所 (コーヒーごちそうさまでした) 参加者9人 (include builtin * 1) Exercise 4.2 a. (define x 3) が eval られるとどうなるか． b. いちいち call とか書くのだるい． さすがにこの問題はペアプロ不能か.. Exercise 4.3 ひたすらデータ主導に…

1 Basic Constructs 1.1 Facts 1.2 Queries 1.3 The Logical Variables, Substitutions, and Instances

4.14 The Block World Domain 4.15 Stage 5 Repeated: Analysis of Version 2

9.5. Scheme Printer

Kent Dybvig さんの dissertation. これも読み始めた. きっと生駒からの毒気にあたったに違いない.

Introduction そう言えば未読だったのを思い出して，なぜか今さらながら読み始めた. SICP読書会の後で id:yuki_neko_nyan に刷り込まれたという噂もチラホラ.

4.13 The Maze Searching Domain

P213-221 @東京大学大学院情報理工学系研究科 創造情報学専攻秋葉原拠点会議室 参加者11名 復活者多数 今回から第4章 読経長し... 日本語が謎 Exercise 4.1. ペアプロの試み let を使う 評価順序ウザイ?? 末尾再帰版が実行効率的には有利 fold-left, fold-ri…

9.4. Word Frequency Counting

9.3. A Set Constructor

P11-33 @株式会社タイムインターメディア会議室 IIR 勉強会が終わってから参加．3時間ちょっと遅れ． Double Free: 解放(free)しちゃったやつをまた解放(free) retain counter とか必要 Pascal だと構造体を return できない? 記法ではなくメモリ管理の問題 …

P37-56 2 The term vocabulary and postings lists @株式会社DeNA会議室 初台じゃなく笹塚 立派な縦長の会議室でサミットみたい?? 前回の復習 2.3 Faster postings list interaction via skip pointers skip pointer を置いておくとぴょんぴょん飛べて便利 s…

9.2. Sorting

4.12 The New Domain Problem: Monkey and Bananas

P210-212 @コントロールプラス株式会社 参加者4名 (builtin * 1) 先週, 最近盛況とか言ってた矢先に最小参加人数記録タイ 告知の早さと参加人数とは比例する?? そういえば 2 周年記念だったらしい Mac 率 75% Joel は意外と面白かったらしい Hey Jude, ベッ…

Chapter 9. Extended Examples 9.1. Matrix and Vector Multiplication

4.11 GPS Version 2: A More General Problem Solver

8.4. Examples

4.10 The Lack of Intermediate Information Problem

4.8 The Leaping before You Look Problem 4.9 The Recursive Subgoal Problem

P207-210 @コントロールプラス株式会社 参加者9名 (builtin * 1 , new * 1) 最近わりと盛況??? Exercise 3.80 Internal Define の悪夢再び... delay 使ってるやつは先に書かないとダメ Exercise 3.79 の検算 2回微分すると... Polymorphic Type, C++ の Temp…

8.3. Syntax-Case Transformers

4.6 The Running Around the Block Problem 4.7 The Clobbered Sibling Goal Problem

8.2. Syntax-Rules Transformers

P19-36 2 The term vocabulary and postings lists @はてな株式会社会議室 今回から参加の人の自己紹介 TSUBAME の話 前回の復習 たつをさんが執筆中の本のドラフトの配布 token -> type -> term Indexing と Quwery は同じ tokenizer を使え 言語の判定の問…