あ、あれ?

Filed in prog,

最近ちょこちょこ読んでるTypes and Programming Languagesなんですが、どうも全体をパラ見した感じA正規化とかの話題はないっぽい? 或いはλ式の変換式とかでの議論はないっぽい?
ちょっと期待はずれでしょんぼり。
まあパラ見で英語が読めるほど英語力ないので数式とかBNFしか読んでないですからね、見落としてる可能性は高いのです。どっかに載ってる事を期待して読み進めます。



Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
Oenology Post Formats
Click to view/hide

Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
Posts Calendar
Click to view/hide
2010年6月
« 5月   7月 »
 12345
6789101112
13141516171819
20212223242526
27282930  

Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
アーカイブ
Click to view/hide

Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
最近の投稿
Click to view/hide