2011-02-06 ラムダ計算関連で二件 数学 "Alligator Eggs" http://worrydream.com/AlligatorEggs/ "To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction" http://dkeenan.com/Lambda/