此系列文章是我学习lambda演算过程的总结与复习，着重于探讨“为什么(Why)”与“怎么做(How)”，也希望能对看到它的人学习了解这个形式系统有些微帮助。由于之前看了不少...
发简信
IP属地：重庆
-
λ演算(Lambda Calculus)入门基础（一）：定义与归约
-
Github:<br><a href="https://github.com/SorataKasugano" rel="nofollow" target="_blank">https://github.com/SorataKasugano</a>
-
什么是Lambda演算？1.什么是解释系统 宇宙的表象，即，宇宙中的符号。 符号背后有意义。 为了表达符号背后的意义，需要解释系统，来将符号映射至意义。 所以解释系统，就是，宇宙中的符号（或宇宙的表...
-
重新创造比特币的作者<br>在线阅读：<a href="https://links.jianshu.com/go?to=http%3A%2F%2Frecreating.org" target="_blank">http://recreating.org</a>
-
-
-
web前端学习交流群：1141251437<br>需要学习web前端的小伙伴，加群，一起交流，一起学习，可免费领取学习资料及源码
-
iKcamp由热爱原创和翻译的小伙伴发起，成员来自美团点评、沪江等。成立于2016年7月，"iK"代表布兰登·艾克（JavaScript之父）。 追随JavaScript这门语言所秉持的精神，崇尚开放和自由的我们一同工作、分享、创作，等候更多有趣跳动的灵魂。<br>原创书籍：《移动Web前端高效开发实战》。<br>
-
-
简书官号，微信公众号 jianshuio ，每天推送新鲜好内容～<br><br>下载简书手机客户端请点击链接：<a href="https://www.jianshu.com/apps" target="_blank">http://www.jianshu.com/apps</a>
-
美少女程序员
-
这！里！有！漫！画！ 手稿规则： 1. 只收条漫、四格漫画、连载漫画、传统的寓言漫画、插图； 2. 漫画剧本、漫画评论（关于日漫、国漫、美漫连载漫画的评论）； 3. 漫画心得（关于漫画剧本、漫画的绘画技巧分享）； 热爱漫画的漫友们请尽情投稿，请自觉对应到漫画的主题形式，不要将与漫画无关的作品进行投稿，谢谢大家的配合~~ 本专题即日起回复投稿审核，审稿期限会有所拖延，请各位投稿人见谅~~ 漫画专题主编： 肆语声： https://www.jianshu.com/u/f40639e4b749 好了~把作品统统砸过来，好吗？ （づ￣3￣）づ╭❤～
-
本专题收录的作品类型：各种类别的小说、有特定主题的专栏文章。 投稿指南在此： http://www.jianshu.com/p/0d10205f92ef 投稿须知： 1.请作者用心管理自己的作品，为作品建立文集和专题，在文章中加上目录和上下章节的链接，排版优美的作品优先收录。请参考管理员的做法：http://www.jianshu.com/notebooks/3430395/latest， http://www.jianshu.com/collection/4f8c4c500d44， http://www.jianshu.com/p/9179ab0d2269 ， http://www.jianshu.com/p/eead1ccde6d7 2.单篇文章字数尽量超过1000字，否则可以几篇合作一篇。 3.请尽量保证文章的质量，避免流水账。 4.文章标题需要加上作品名称和章节号。 以及，挖坑要填哦！！！
-
-
如果你是程序员，或者有一颗喜欢写程序的心，喜欢分享技术干货、项目经验、程序员日常囧事等等，欢迎投稿《程序员》专题。 专题主编：小彤花园 http://www.jianshu.com/users/4a4eb4feee62/ 【程序员】专题拒稿指北：http://www.jianshu.com/p/7c8b33b5f63b 投稿须知： 1.收录相关技术文章，但不限于技术，也可以是项目经验类的文章和程序员日常。 2.文章內不得有任何推广信息。包括但不限于公众号、微博、微信，更不得在通过投稿后再修改文章加入推广信息。你可以将这些推广以及个人信息放在个人主页介绍里。 3.字数极少，段落混乱，大段代码没有放到代码框的文章不收录 4.不相关的内容不收录，请确认文章内容和本专题相关 目前针对优质作者及爱好者，开设了官方程序员微信群，希望加入请发简信给主编小彤花园索取个人微信，主编会将你加入到【程序员】微信群，分享内容，收获知识。添加微信时备注昵称。
-
每个人都是生活家 1.生活家收录范围：美食、美妆护肤、穿搭、手工手账、旅行攻略、购物指南以及测评、宠物植物、育儿指南、家装指南、运动健身（非专业）、健康养生、及其他贴近生活的兴趣爱好 所有让生活变得更好的技能和经验，（比如教你p照片，记录瘦身过程等）纯粹生活感悟不收 2.内容原创、鼓励从生活中的自身经验发掘生活的美好与乐趣，鼓励图文并茂。 3. 文内不得出现个人推广性质的额外链接，例如微信号，微博。更不得在通过投稿后再修改文章加入推广信息。 专题主编： 迷蝴庄生 http://www.jianshu.com/u/257421ea813e 简书生活家微信群已建立，加入请添加有爱的生活家小助手微信Hedy3680（欢姐），拉入群。添加请备注“我爱生活家”。 关注简书官方微信公众号（jianshuio），及时阅读简书热门好文。
-
欢迎来到@产品专题，本专题汇集了30多万的小伙伴，每天有100篇优质文章的投稿，更有优质的产品社群。 @产品专题主要收录的是：产品、设计、技术、运营、体验、文档、工具、经验总结、项目总结等类型的优质文章。 专题投稿须知 1、所投稿的文章必须是原创作品，具有一定的可读性。 2、① App、软件推荐／评测类建议转投工具癖 ② 营销、文案类建议转投广告圈 ③ 职场成长类建议转投上班这点事儿 3、文章內不得有任何推广信息。包括但不限于公众号、微博、微信、豆瓣、QQ个人资料；不必要的外链；文章图片有微信水印、或者网站水印有推广嫌疑的。 4、本专题拒绝任何形式的全文转载内容。 专题投稿指南： https://www.jianshu.com/p/8bb3bcd951ce 专题主编：文俊粥 https://www.jianshu.com/u/0df55b412537 可添加主编微信：vk201205（文俊，备注：简书产品加群）
-
国学即中国固有的学术，而传统文化是指中国传统社会，中华民族的整体生活方式和价值系统，其精神学术层面，包括知识、信仰、艺术、宗教、哲学、法律、道德等。本专题收录与国学及传统文化相关的讨论及思考，欢迎各位朋友投稿。 【国学与传统文化专题投稿须知】 1、题材：本专题收录古诗词、古文、曲赋、民族音乐、民族戏剧、民间曲艺、国画、书法、对联、灯谜、射覆、酒令、歇后语等； 2、原创：所有投稿作品，必须为原创； 3、标点：行文若使用了标点符号，须全文规范； 4、排版：整洁有序，不能乱七八糟；配图相宜，不宜过多且最好与内容相符；断行适当，空格间隙不要太大；格式相符，诗有诗的讲究，词有词的分寸； 5、禁令：请勿密集投稿，不得在文中出现一切广告、公众号、二维码、带水印的图片、外链网址，污秽之语，如违规则一律拒稿，屡教不改者，本专题将永远拉黑。 投稿指南：http://www.jianshu.com/p/29ffcb15d6ab
-
故事专题，不论是旅行生活中亲身经历的真实故事，还是童话玄幻遐想的虚构故事，这里记录你的每个故事。 欢迎向我们投稿你的故事！ 所投稿件必须是一个完整的故事，故事包括但不限于：小说、世间故事、叙事散文、以叙事为主的回忆录…… 投稿前，请阅读最有趣的投稿指南： http://www.jianshu.com/p/9da8500a57f0 投稿须知： 1.建议题材：有情节的小说、身边的故事、叙事游记、以叙事为主的回忆录、职业故事等。 2.不建议题材：连载、只有大道理的鸡汤、成功学、工具文、诗歌、观点时评类文章等。 3.文章在一千字以上，排版合理，不影响阅读体验。 4.禁止外链宣传。不得有个人微信、微信公众号、微博、豆瓣链接。 专题主编：似舞 https://www.jianshu.com/u/021585ebd561 目前【故事】专题已建有专题社群，私信主编暗号“我爱故事”，即可获得入群链接。任何投稿疑惑，写作问题，感情困难，都可以进群进行申诉，会有专人解决你的问题。
-
