此系列文章是我學(xué)習(xí)lambda演算過(guò)程的總結(jié)與復(fù)習(xí)，著重于探討“為什么(Why)”與“怎么做(How)”廊鸥，也希望能對(duì)看到它的人學(xué)習(xí)了解這個(gè)形式系統(tǒng)有些微幫助壁酬。由于之前看了不少...
發(fā)簡(jiǎn)信
IP屬地：吉林
-
λ演算(Lambda Calculus)入門基礎(chǔ)（一）：定義與歸約
-
Github:<br><a href="https://github.com/SorataKasugano" rel="nofollow" target="_blank">https://github.com/SorataKasugano</a>
-
什么是Lambda演算舆乔？1.什么是解釋系統(tǒng) 宇宙的表象岳服，即，宇宙中的符號(hào)希俩。 符號(hào)背后有意義吊宋。 為了表達(dá)符號(hào)背后的意義葫录，需要解釋系統(tǒng)戚啥，來(lái)將符號(hào)映射至意義栈顷。 所以解釋系統(tǒng)本股，就是，宇宙中的符號(hào)（或宇宙的表...
-
重新創(chuàng)造比特幣的作者<br>在線閱讀：<a href="https://links.jianshu.com/go?to=http%3A%2F%2Frecreating.org" target="_blank">http://recreating.org</a>
-
-
-
web前端學(xué)習(xí)交流群：1141251437<br>需要學(xué)習(xí)web前端的小伙伴脐帝，加群同云，一起交流，一起學(xué)習(xí)堵腹，可免費(fèi)領(lǐng)取學(xué)習(xí)資料及源碼
-
iKcamp由熱愛(ài)原創(chuàng)和翻譯的小伙伴發(fā)起疚顷，成員來(lái)自美團(tuán)點(diǎn)評(píng)、滬江等禁偎。成立于2016年7月腿堤，"iK"代表布蘭登·艾克（JavaScript之父）。 追隨JavaScript這門語(yǔ)言所秉持的精神如暖，崇尚開(kāi)放和自由的我們一同工作笆檀、分享、創(chuàng)作盒至，等候更多有趣跳動(dòng)的靈魂酗洒。<br>原創(chuàng)書籍：《移動(dòng)Web前端高效開(kāi)發(fā)實(shí)戰(zhàn)》。<br>
-
-
簡(jiǎn)書官號(hào)矩桂，微信公眾號(hào) jianshuio ，每天推送新鮮好內(nèi)容～<br><br>下載簡(jiǎn)書手機(jī)客戶端請(qǐng)點(diǎn)擊鏈接：<a href="http://www.reibang.com/apps" target="_blank">http://www.reibang.com/apps</a>
-
美少女程序員
-
這癞蚕！里！有绅这！漫涣达！畫！ 手稿規(guī)則： 1. 只收條漫、四格漫畫度苔、連載漫畫匆篓、傳統(tǒng)的寓言漫畫、插圖寇窑； 2. 漫畫劇本鸦概、漫畫評(píng)論（關(guān)于日漫、國(guó)漫甩骏、美漫連載漫畫的評(píng)論）窗市； 3. 漫畫心得（關(guān)于漫畫劇本、漫畫的繪畫技巧分享）饮笛； 熱愛(ài)漫畫的漫友們請(qǐng)盡情投稿咨察，請(qǐng)自覺(jué)對(duì)應(yīng)到漫畫的主題形式，不要將與漫畫無(wú)關(guān)的作品進(jìn)行投稿福青，謝謝大家的配合~~ 本專題即日起回復(fù)投稿審核摄狱，審稿期限會(huì)有所拖延，請(qǐng)各位投稿人見(jiàn)諒~~ 漫畫專題主編： 肆語(yǔ)聲： http://www.reibang.com/u/f40639e4b749 好了~把作品統(tǒng)統(tǒng)砸過(guò)來(lái)无午，好嗎媒役？ （づ￣3￣）づ╭?～
-
本專題收錄的作品類型：各種類別的小說(shuō)酣衷、有特定主題的專欄文章。 投稿指南在此： http://www.reibang.com/p/0d10205f92ef 投稿須知： 1.請(qǐng)作者用心管理自己的作品次泽，為作品建立文集和專題穿仪，在文章中加上目錄和上下章節(jié)的鏈接，排版優(yōu)美的作品優(yōu)先收錄箕憾。請(qǐng)參考管理員的做法：http://www.reibang.com/notebooks/3430395/latest牡借， http://www.reibang.com/collection/4f8c4c500d44， http://www.reibang.com/p/9179ab0d2269 袭异， http://www.reibang.com/p/eead1ccde6d7 2.單篇文章字?jǐn)?shù)盡量超過(guò)1000字钠龙，否則可以幾篇合作一篇。 3.請(qǐng)盡量保證文章的質(zhì)量御铃，避免流水賬碴里。 4.文章標(biāo)題需要加上作品名稱和章節(jié)號(hào)。 以及上真，挖坑要填哦Ｒб浮！睡互！
-
-
如果你是程序員腰耙，或者有一顆喜歡寫程序的心，喜歡分享技術(shù)干貨铲球、項(xiàng)目經(jīng)驗(yàn)挺庞、程序員日常囧事等等，歡迎投稿《程序員》專題睬辐。 專題主編：小彤花園 http://www.reibang.com/users/4a4eb4feee62/ 【程序員】專題拒稿指北：http://www.reibang.com/p/7c8b33b5f63b 投稿須知： 1.收錄相關(guān)技術(shù)文章挠阁，但不限于技術(shù)，也可以是項(xiàng)目經(jīng)驗(yàn)類的文章和程序員日常溯饵。 2.文章內(nèi)不得有任何推廣信息。包括但不限于公眾號(hào)锨用、微博丰刊、微信，更不得在通過(guò)投稿后再修改文章加入推廣信息增拥。你可以將這些推廣以及個(gè)人信息放在個(gè)人主頁(yè)介紹里啄巧。 3.字?jǐn)?shù)極少，段落混亂掌栅，大段代碼沒(méi)有放到代碼框的文章不收錄 4.不相關(guān)的內(nèi)容不收錄秩仆，請(qǐng)確認(rèn)文章內(nèi)容和本專題相關(guān) 目前針對(duì)優(yōu)質(zhì)作者及愛(ài)好者，開(kāi)設(shè)了官方程序員微信群猾封，希望加入請(qǐng)發(fā)簡(jiǎn)信給主編小彤花園索取個(gè)人微信澄耍，主編會(huì)將你加入到【程序員】微信群，分享內(nèi)容晌缘，收獲知識(shí)齐莲。添加微信時(shí)備注昵稱。
-
每個(gè)人都是生活家? 1.生活家收錄范圍：美食、美妝護(hù)膚岳枷、穿搭芒填、手工手賬呜叫、旅行攻略、購(gòu)物指南以及測(cè)評(píng)殿衰、寵物植物朱庆、育兒指南、家裝指南播玖、運(yùn)動(dòng)健身（非專業(yè)）椎工、健康養(yǎng)生、及其他貼近生活的興趣愛(ài)好 所有讓生活變得更好的技能和經(jīng)驗(yàn)蜀踏，（比如教你p照片维蒙，記錄瘦身過(guò)程等）純粹生活感悟不收 ? 2.內(nèi)容原創(chuàng)、鼓勵(lì)從生活中的自身經(jīng)驗(yàn)發(fā)掘生活的美好與樂(lè)趣果覆，鼓勵(lì)圖文并茂颅痊。? 3. 文內(nèi)不得出現(xiàn)個(gè)人推廣性質(zhì)的額外鏈接，例如微信號(hào)局待，微博斑响。更不得在通過(guò)投稿后再修改文章加入推廣信息。? 專題主編：? 迷蝴莊生 http://www.reibang.com/u/257421ea813e 簡(jiǎn)書生活家微信群已建立钳榨，加入請(qǐng)?zhí)砑佑袗?ài)的生活家小助手微信Hedy3680（歡姐）舰罚，拉入群。添加請(qǐng)備注“我愛(ài)生活家”薛耻。 關(guān)注簡(jiǎn)書官方微信公眾號(hào)（jianshuio）营罢，及時(shí)閱讀簡(jiǎn)書熱門好文。?
-
歡迎來(lái)到@產(chǎn)品專題，本專題匯集了30多萬(wàn)的小伙伴缕溉，每天有100篇優(yōu)質(zhì)文章的投稿考传，更有優(yōu)質(zhì)的產(chǎn)品社群。 @產(chǎn)品專題主要收錄的是：產(chǎn)品证鸥、設(shè)計(jì)僚楞、技術(shù)、運(yùn)營(yíng)敌土、體驗(yàn)镜硕、文檔、工具返干、經(jīng)驗(yàn)總結(jié)兴枯、項(xiàng)目總結(jié)等類型的優(yōu)質(zhì)文章。 專題投稿須知 1矩欠、所投稿的文章必須是原創(chuàng)作品财剖，具有一定的可讀性悠夯。 2、① App躺坟、軟件推薦／評(píng)測(cè)類建議轉(zhuǎn)投工具癖 ? ? ? ② 營(yíng)銷沦补、文案類建議轉(zhuǎn)投廣告圈 ? ? ? ③ 職場(chǎng)成長(zhǎng)類建議轉(zhuǎn)投上班這點(diǎn)事兒 3、文章內(nèi)不得有任何推廣信息咪橙。包括但不限于公眾號(hào)夕膀、微博、微信美侦、豆瓣产舞、QQ個(gè)人資料；不必要的外鏈菠剩；文章圖片有微信水印易猫、或者網(wǎng)站水印有推廣嫌疑的。 4具壮、本專題拒絕任何形式的全文轉(zhuǎn)載內(nèi)容准颓。 專題投稿指南： http://www.reibang.com/p/8bb3bcd951ce 專題主編：文俊粥 http://www.reibang.com/u/0df55b412537 可添加主編微信：vk201205（文俊，備注：簡(jiǎn)書產(chǎn)品加群）
-
國(guó)學(xué)即中國(guó)固有的學(xué)術(shù)，而傳統(tǒng)文化是指中國(guó)傳統(tǒng)社會(huì)怜跑，中華民族的整體生活方式和價(jià)值系統(tǒng)贯被，其精神學(xué)術(shù)層面，包括知識(shí)妆艘、信仰、藝術(shù)看幼、宗教批旺、哲學(xué)、法律诵姜、道德等汽煮。本專題收錄與國(guó)學(xué)及傳統(tǒng)文化相關(guān)的討論及思考，歡迎各位朋友投稿棚唆。 ? 【國(guó)學(xué)與傳統(tǒng)文化專題投稿須知】? 1暇赤、題材：本專題收錄古詩(shī)詞、古文宵凌、曲賦鞋囊、民族音樂(lè)、民族戲劇瞎惫、民間曲藝溜腐、國(guó)畫译株、書法、對(duì)聯(lián)挺益、燈謎歉糜、射覆、酒令望众、歇后語(yǔ)等匪补； 2、原創(chuàng)：所有投稿作品烂翰，必須為原創(chuàng)夯缺； 3、標(biāo)點(diǎn)：行文若使用了標(biāo)點(diǎn)符號(hào)刽酱，須全文規(guī)范喳逛； 4、排版：整潔有序棵里，不能亂七八糟润文；配圖相宜，不宜過(guò)多且最好與內(nèi)容相符殿怜；斷行適當(dāng)典蝌，空格間隙不要太大；格式相符头谜，詩(shī)有詩(shī)的講究骏掀，詞有詞的分寸；? 5柱告、禁令：請(qǐng)勿密集投稿截驮，不得在文中出現(xiàn)一切廣告、公眾號(hào)际度、二維碼葵袭、帶水印的圖片、外鏈網(wǎng)址乖菱，污穢之語(yǔ)坡锡，如違規(guī)則一律拒稿，屢教不改者窒所，本專題將永遠(yuǎn)拉黑鹉勒。 ?投稿指南：http://www.reibang.com/p/29ffcb15d6ab
-
故事專題禽额，不論是旅行生活中親身經(jīng)歷的真實(shí)故事，還是童話玄幻遐想的虛構(gòu)故事海渊，這里記錄你的每個(gè)故事绵疲。 歡迎向我們投稿你的故事哲鸳！ 所投稿件必須是一個(gè)完整的故事，故事包括但不限于：小說(shuō)盔憨、世間故事徙菠、敘事散文、以敘事為主的回憶錄…… 投稿前郁岩，請(qǐng)閱讀最有趣的投稿指南： http://www.reibang.com/p/9da8500a57f0 投稿須知： 1.建議題材：有情節(jié)的小說(shuō)婿奔、身邊的故事、敘事游記问慎、以敘事為主的回憶錄萍摊、職業(yè)故事等。 2.不建議題材：連載如叼、只有大道理的雞湯冰木、成功學(xué)、工具文笼恰、詩(shī)歌踊沸、觀點(diǎn)時(shí)評(píng)類文章等。 3.文章在一千字以上社证，排版合理逼龟，不影響閱讀體驗(yàn)。 4.禁止外鏈宣傳追葡。不得有個(gè)人微信腺律、微信公眾號(hào)、微博宜肉、豆瓣鏈接匀钧。 專題主編：似舞 http://www.reibang.com/u/021585ebd561 目前【故事】專題已建有專題社群，私信主編暗號(hào)“我愛(ài)故事”谬返，即可獲得入群鏈接榴捡。任何投稿疑惑，寫作問(wèn)題朱浴，感情困難，都可以進(jìn)群進(jìn)行申訴达椰，會(huì)有專人解決你的問(wèn)題翰蠢。
-
《攝影》專題介紹 用文字記錄美好生活 用鏡頭捕捉精彩瞬間 攝影梁沧，發(fā)現(xiàn)生活中的美！ 本專題收錄文章方向： 1.風(fēng)光攝影蝇裤、人像攝影廷支、記錄攝影频鉴、藝術(shù)攝影、畫意攝影恋拍、商業(yè)攝影垛孔、水墨攝影等； 2.攝影技巧施敢，后期技巧周荐，攝影器材測(cè)評(píng)等； 3.手機(jī)拍攝僵娃、專業(yè)攝影器材拍攝均可概作； 4.文章須為原創(chuàng)，不得抄襲默怨，如有抄襲行為讯榕，后果自負(fù)。 投稿須知詳見(jiàn)： 《攝影》專題投稿須知 http://www.reibang.com/p/3dcbd7ac31f4 專題主編：伩天游 http://www.reibang.com/u/f5112cf64af7
