"Alligator Eggs" http://worrydream.com/AlligatorEggs/ "To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction" http://dkeenan.com/Lambda/

wikipedia:jp:二階述語論理 wikipedia:jp:記述計算量 wikipedia:jp:計算複雑性理論 wikipedia:jp:同値関係 群について http://d.hatena.ne.jp/Cuz-orz/searchdiary?word=%2A%5B%B7%B2%CF%C0%5D 環について http://d.hatena.ne.jp/Cuz-orz/20090614/p1 http:/…