240 發(fā)簡(jiǎn)信
IP屬地:北京
  • 120
    操作系統(tǒng)形式化驗(yàn)證實(shí)踐教程(1) - 證明第一個(gè)定理

    操作系統(tǒng)形式化驗(yàn)證實(shí)踐教程(1) - 證明第一個(gè)定理 形式化方法分為三個(gè)主要部分:系統(tǒng)建模(System Modeling)前普、形式規(guī)約(Formal Specificatio...

  • Standard ML快餐教程(1) - 初識(shí)

    Standard ML快餐教程(1) - 初識(shí) 好久沒(méi)寫(xiě)快餐教程了,下面開(kāi)始一個(gè)新的系列壹堰,關(guān)于函數(shù)式編程語(yǔ)言的系列拭卿。打算寫(xiě)三種語(yǔ)言:Standard ML骡湖,ocaml和Has...

  • 120
    “李達(dá)康”的成功學(xué)

    作為《人民的名義》中的配角寂恬,吳剛飾演的京州市委書(shū)記李達(dá)康火了弟灼。這位一身正氣但又帶點(diǎn)狡黠邑飒,追求政績(jī)但又不忘初心喊暖,愛(ài)惜羽毛但又敢闖敢拼辜王,性格暴躁但又是非分明的復(fù)雜人物劈狐,極大顛覆了...

  • 在研究Deflate樹(shù)的時(shí)候你就會(huì)覺(jué)得我似乎還有些沒(méi)寫(xiě)

    ZIP壓縮算法的來(lái)龍去脈

    一 壓縮算法的原理 最近自己實(shí)現(xiàn)了一個(gè)ZIP壓縮數(shù)據(jù)的解壓程序肥缔,覺(jué)得有必要把ZIP壓縮格式進(jìn)行一下詳細(xì)總結(jié),數(shù)據(jù)壓縮是一門(mén)通信原理和計(jì)算機(jī)科學(xué)都會(huì)涉及到的學(xué)科汹来,在通信原理中续膳,...

  • ZIP壓縮算法的來(lái)龍去脈

    一 壓縮算法的原理 最近自己實(shí)現(xiàn)了一個(gè)ZIP壓縮數(shù)據(jù)的解壓程序,覺(jué)得有必要把ZIP壓縮格式進(jìn)行一下詳細(xì)總結(jié)收班,數(shù)據(jù)壓縮是一門(mén)通信原理和計(jì)算機(jī)科學(xué)都會(huì)涉及到的學(xué)科姑宽,在通信原理中,...

  • Springer數(shù)學(xué)書(shū)系列(持續(xù)更新)

    1 SUMS Springer Undergraduate Mathematics Series 斯普林格大學(xué)本科數(shù)學(xué)系列(SUMS)是為全球數(shù)學(xué)和科學(xué)專業(yè)的本科生設(shè)計(jì)的系列...

  • injective, surjective,bijective區(qū)別

    文章源自https://www.mathsisfun.com/sets/injective-surjective-bijective.html 1 函數(shù)的定義 A funct...

  • 群論軟件介紹

    1 GAP4 GAP是一個(gè)用于計(jì)算離散代數(shù)的系統(tǒng),特別著重于計(jì)算群論艾恼。 GAP提供了一種編程語(yǔ)言住涉,數(shù)千種實(shí)現(xiàn)用GAP語(yǔ)言編寫(xiě)的代數(shù)算法的函數(shù)的庫(kù),以及大型的代數(shù)對(duì)象數(shù)據(jù)庫(kù)钠绍。 ...

  • 作用域

    摘要 函數(shù)的作用域是一個(gè)默認(rèn)的因素舆声,寫(xiě)程序時(shí)一定要清楚,閉包、lambda中對(duì)待作用域的方式媳握,筆者遇到了函數(shù)式編程的作用域問(wèn)題碱屁,于是進(jìn)行了初步解讀。 閉包 我們先看看John...

  • firebug停止開(kāi)發(fā)的原因是其項(xiàng)目負(fù)責(zé)人去開(kāi)發(fā)Chrome的調(diào)試器了

    強(qiáng)烈推薦 10 款珍藏的 Chrome 瀏覽器插件

    Firebug 的年代蛾找,我是火狐(Mozilla Firefox)瀏覽器的死忠娩脾;但后來(lái)不知道為什么,該插件停止了開(kāi)發(fā)打毛,導(dǎo)致我不得不尋求一個(gè)新的網(wǎng)頁(yè)開(kāi)發(fā)工具晦雨。那段時(shí)間,不少人開(kāi)...

個(gè)人介紹
關(guān)注人工智能隘冲,量化投資闹瞧,深度學(xué)習(xí),自然語(yǔ)言展辞,視覺(jué)圖形奥邮,Web前端


微信公眾號(hào):PyTorch神經(jīng)網(wǎng)絡(luò)框架
亚洲A日韩AV无卡,小受高潮白浆痉挛av免费观看,成人AV无码久久久久不卡网站,国产AV日韩精品