{"title":"\u300c\u30e9\u30e0\u30c0\u8a08\u7b97\u300d\u3092\u72ec\u5b66\u3067\u5b66\u7fd2\u3059\u308b\u305f\u3081\u306e\uff0c\u8b1b\u7fa9\u30ce\u30fc\u30c8\u3084PDF\u306e\u30ea\u30f3\u30af\u96c6\u3000\uff08\u5fa9\u7fd2\u7528\u306e\u554f\u984c\u4ed8\u304d\uff09","author_url":"https://blog.hatena.ne.jp/language_and_engineering/","blog_title":"\u4e3b\u306b\u8a00\u8a9e\u3068\u30b7\u30b9\u30c6\u30e0\u958b\u767a\u306b\u95a2\u3057\u3066","version":"1.0","type":"rich","blog_url":"https://language-and-engineering.hatenablog.jp/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Flanguage-and-engineering.hatenablog.jp%2Fentry%2F20130313%2FLambdaCalculusBasicNoteLinks\" title=\"\u300c\u30e9\u30e0\u30c0\u8a08\u7b97\u300d\u3092\u72ec\u5b66\u3067\u5b66\u7fd2\u3059\u308b\u305f\u3081\u306e\uff0c\u8b1b\u7fa9\u30ce\u30fc\u30c8\u3084PDF\u306e\u30ea\u30f3\u30af\u96c6\u3000\uff08\u5fa9\u7fd2\u7528\u306e\u554f\u984c\u4ed8\u304d\uff09 - \u4e3b\u306b\u8a00\u8a9e\u3068\u30b7\u30b9\u30c6\u30e0\u958b\u767a\u306b\u95a2\u3057\u3066\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","url":"https://language-and-engineering.hatenablog.jp/entry/20130313/LambdaCalculusBasicNoteLinks","width":"100%","published":"2013-03-13 00:00:00","author_name":"language_and_engineering","description":"\u8b1b\u7fa9\u30ce\u30fc\u30c8\u306e\u76ee\u6b21\u3078 \u30e9\u30e0\u30c0\u8a08\u7b97\u306f\uff0c\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fb\u30b5\u30a4\u30a8\u30f3\u30b9\u306e\u91cd\u8981\u306a\uff11\u5206\u91ce\u3002 \u300c\u03bb\u300d\u3092\u4f7f\u3063\u3066\u5404\u7a2e\u306e\u95a2\u6570\u3092\u8a18\u8ff0\u3057\uff0c\u03bb\u3069\u3046\u3057\u306e\u8a08\u7b97\u65b9\u6cd5\u3092\u7fd2\u5f97\u3059\u308c\u3070\u30fb\u30fb\u30fb Haskell\u3084F#\u306a\u3069\u306e\u95a2\u6570\u578b\u8a00\u8a9e\u3092\u7fd2\u5f97\u3059\u308b\u305f\u3081\u306b\u5f79\u7acb\u3064\u3002 \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u304a\u3044\u3066\uff0c\u95a2\u6570\u306b\u3064\u3044\u3066\u306e\u7406\u89e3\u3092\u6df1\u3081\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002 \u8907\u96d1\u306a\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u7c21\u6613\u306b\u8a18\u8ff0\u3057\u3066\uff0c\u6319\u52d5\u3084\u6027\u8cea\u3092\u4e88\u6e2c\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002 \u8a08\u7b97\u6a5f\u79d1\u5b66\u306e\uff0c\u3088\u308a\u6df1\u3044\u5c02\u9580\u7684\u306a\u8a71\u984c\u3092\u7406\u89e3\u3059\u308b\u305f\u3081\u306e\u8db3\u304c\u304b\u308a\u3092\u5f97\u3089\u308c\u308b\u3002 \u306a\u3069\u306e\u30e1\u30ea\u30c3\u30c8\u304c\u3042\u308b\u3002 \u4e0b\u8a18\u306b\uff0c\u72ec\u5b66\u3067\u03bb\u8a08\u7b97\u3092\u52c9\u5f37\u3059\u308b\u305f\u3081\u306e\uff0c\u5165\u9580\u30ec\u30d9\u30eb\u306e\u8b1b\u7fa9\u30ce\u30fc\u30c8\u3084Web\u30da\u30fc\u30b8\u3092\u63b2\u8f09\u3059\u308b\u3002 \u8aad\u307f\u3084\u3059\u3044\u4fbf\u5229\u306a\u3082\u306e\u30fb\u308f\u304b\u308a\u3084\u3059\u3044\u3082\u306e\u304b\u3089\uff0c\u5fdc\u7528\u7684\u306a\u3082\u306e\u3078\u3068\u4e26\u3079\u3066\u3042\u2026","categories":["\u8a08\u7b97\u6a5f\u79d1\u5b66","\u6570\u5b66","\u95a2\u6570\u578b\u8a00\u8a9e","\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0","\u30ea\u30f3\u30af\u96c6","\u8b1b\u7fa9\u30ce\u30fc\u30c8","\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0"],"provider_url":"https://hatena.blog","height":"190","image_url":"http://ws-fe.amazon-adsystem.com/widgets/q?_encoding=UTF8&ASIN=4774169269&Format=_SL250_&ID=AsinImage&MarketPlace=JP&ServiceVersion=20070822&WS=1&tag=fugayahogeo-22","provider_name":"Hatena Blog"}