發(fā)簡信
IP屬地：四川
-
LEAN4 語法學(xué)習(xí)之賦值與結(jié)構(gòu)體（娛樂和編程向）
1.前言 對lean4有興趣純意義，前面寫過幾篇文章介紹了如何快速安裝和跑一個(gè)demo, 雖然有了初步結(jié)論lean4對如作者這樣的工程狗是純無用...
-
lean4 windows一鍵安裝（全網(wǎng)最簡單的安裝流程）1.lean4官方文檔的地址（可以不看） https://leanprover-community.github.io/get_started....
-
四川麻將出現(xiàn)天胡與地胡的概率人在四川過年，免不了上桌打麻將，作為一個(gè)標(biāo)準(zhǔn)的麻將新手，上桌送錢是免不了的，當(dāng)然在這個(gè)運(yùn)七技三的游戲中，本民工居然還偶然有一天贏了一點(diǎn)點(diǎn)錢。 ...
-
大數(shù)據(jù)自動(dòng)博彩大數(shù)據(jù)博彩 賭，人的天性，人人都有。 大師和我說，人性。我明白了大師說的意思就是人需要為性而服務(wù)。 首先，什么叫大數(shù)據(jù)博彩? 首先，博彩本身...
-
使用 SeetaFace 實(shí)現(xiàn)人臉識(shí)別SeetaFace中科院山世光老師開源的人臉識(shí)別引擎，其實(shí)這個(gè)是一個(gè)相當(dāng)不錯(cuò)的人臉識(shí)別引擎，自己實(shí)測之后，發(fā)現(xiàn)的確是比OpenCV自帶的強(qiáng)...
-
VS2012使用OpenCV3.4背景 科技民工，避免不了和各個(gè)版本的開發(fā)工具打交道，可種各樣的開發(fā)工具，安裝配置以及開發(fā)工具之間的沖突問題是一件非常讓人頭疼的事情。本來計(jì)算機(jī)...
-
安裝CNTK#真的本來不想寫的 單純是因?yàn)橹氨籆SDN上的兩篇博文給誤導(dǎo)了，在安裝微軟件的深度學(xué)習(xí)套件CNTK上被走了一點(diǎn)彎路。耽誤了寶貴時(shí)間，為了不讓...
-
Deeplearning AI自動(dòng)反賭博賭，人的天性，人人都有。 大師和我說，人性就是人性，我明白了大師說的意思就是人需要為性而服務(wù)。所以對于不好的東西應(yīng)用技術(shù)手段去反制。 =====...