(let *1 Body) は， ((lambda (name1 name2) Body) val1 val2) に等しい． (let* *2 Body) は， ((lambda (name2) ((lambda (name1) Body) val1) ) val2) に等しい(と思う)．インデントが見にくい．letrecはよくわからん． *1:name1 val1) (name2 val2 *2:na…