《說話也是可以運算的，這是真的嗎？》之2：把說的話符號化
上篇我們知道了我們說的哪些話是可以用來計算的，今天聊聊怎麼把說的話符號化。
我們要對話進行邏輯運算，可以嘗試把說的話轉變為符號，然後進行運算，這會是一個很好的選擇。大家試想，未來我們要對一段話進行運算和推理，不符號化的話，運算起來將會變得非常麻煩。所以，為了將來運算的簡便，我們從最簡單的句子開始，逐句進行符號化。
舉幾個最簡單句子符號化的例子：
薑餅俠是中國人民大學的在讀在職研究生。
薑餅人今年剛畢業。
姜新海是大學教授。
姜佳程學習很勤奮。
姜禹廷得到獎學金。
進行符號化：
p：薑餅俠是中國人民大學的在讀在職研究生。
q：薑餅人今年剛畢業。
r：姜新海是大學教授。
s：姜佳程學習很勤奮。
t：姜禹廷得到獎學金。
簡單句符號化就這麼簡單，後續會講講符號化後的話怎麼進行進一步的運算。
相關推薦
《說話也是可以運算的，這是真的嗎？》之2：把說的話符號化
上篇我們知道了我們說的哪些話是可以用來計算的，今天聊聊怎麼把說的話符號化。 我們要對話進行邏輯運算，可以嘗試把說的話轉變為符號，然後進行運算，這會是一個很好的選擇。大家試想，未來我們要對一段話進行運算和推理，不符號化的話，運算起來將會變得非常麻煩。所以，為了將來運算的簡便，我們從最簡單的句子開始，逐句進行符
Java二進位制和位運算，這一萬字準能餵飽你
> 基礎不牢，地動山搖。本文已被 [**https://www.yourbatman.cn**](https://www.yourbatman.cn) 收錄，裡面一併有Spring技術棧、MyBatis、JVM、中介軟體等小而美的**專欄**供以免費學習。關注公眾號【**BAT的烏托邦**】逐個擊破，深入掌握
asp.net core 微信支付工具類（H5支付，掃碼支付，公眾號支付，app支付）之2-H5支付
IV app支付 tno 方式 quest ces sys net ota 上一篇說到微信掃碼支付，今天來分享下微信H5支付，適用場景為手機端非微信瀏覽器調用微信H5支付驚醒網站支付業務處理。申請開通微信H5支付工作不多做介紹，直接上代碼。 首先是微信支付業務類（W
javacpp-FFmpeg系列之2：通用拉流解碼器，支持視頻拉流解碼並轉換為YUV、BGR24或RGB24等圖像像素數據
tope sca 封裝 ams 定義 throw tco 如何使用 都是 javacpp-ffmpeg系列: javacpp-FFmpeg系列之1：視頻拉流解碼成YUVJ420P，並保存為jpg圖片 javacpp-FFmpeg系列之2：通用拉流解碼器，支持視頻拉流解碼並
ORACLE PL/SQL程式設計之六： 把過程與函式說透(窮追猛打，把根兒都拔起!)
本篇主要內容如下： 6.1 引言 6.2 建立函式 6.3 儲存過程 6.3.1 建立過程 6.3.2 呼叫儲存過程 6.3.3 AUTHID 6.3.4 PRAGMA AUTONOMOUS_TRANSACTION 6.3.5 開發儲存過程步驟 6.3.6
C#會重蹈覆轍嗎？系列之2：反射及元資料的效能問題
理清幾個基本點 在開始談論效能問題之前，有必要首先理清幾個基本點。我們談C#，就是在談.NET Framework（或者更準確一點是CLR，因為.NET Framework除了CLR還包括BCL）；談.NET Framework（CLR），也就是在談C#。因為支撐C#語法之後的就是整個CLR的機制。因此
遊戲人生(一)，我的lua之旅：那些坑爹的CCBReaderLoad
首先，我們說說這個CCBReaderLoad。這個指令碼是cocos2dx自帶的一個lua+cocosbuilder 的工具，具體功能吶，往下看。 先來看下我遇到的一個問題： ————美工給了我一個.ccbi檔案，讓我放到遊戲裡去。 然後我們說說這個ccbi。ccbi是co
javaCV開發詳解之2：推流器實現，推本地攝像頭視訊到流媒體伺服器以及攝像頭錄製視訊功能實現(基於javaCV-FFMPEG、javaCV-openCV)
javaCV系列文章： 補充篇： 歡迎大家積極開心的加入討論群 javacpp-ffmpeg: 前言： 本章將在上一章的基礎上，增加視訊推流到流媒體伺服器和視訊錄製的功能； 功能：實現邊播放邊錄製/推流，停止預覽即停止錄製/推流 提示：
T4系列文章之2：T4工具簡介、調試以及T4運行原理(轉)
技術分享 animate 等了 edit uml 執行 為我 direct 感覺 出處：http://www.cnblogs.com/damonlan/archive/2012/01/12/2320429.html 一、前言 經過第一篇，我想大家現在對T4有了基本
【spring系列】之6：bean的初始化和銷燬方法
bean的生命週期：bean建立---初始化----銷燬的過程 容器管理bean的生命週期：我們可以自定義初始化和銷燬方法；容器在bean進行到當前生命週期的時候來呼叫我們自定義的初始化和銷燬方法 構造（物件建立）： 單例項：在容器啟動的時候建立物件 多例項：在每次獲
Asp.net安全架構之2：Session hijacking（會話劫持）
http://www.cnblogs.com/luminji/archive/2012/05/30/2511357.html 原理 會話劫持是指通過非常規手段，來得到合法使用者在客戶端和伺服器段進行互動的特徵值（一般為sessionid），然後偽造請求，去訪問授權使用
支援向量機學習之2：核函式
maxW(α)=∑i=1nαi−12∑i,j=1nyiyjαiαj<xi,xj> s.t.⎧⎩⎨⎪⎪⎪⎪∑i=1nαiyi=0αi≥0i=1...n 的求解需要計算<xi,xj>這個內積，而如果輸入樣本線性不可分的話，我們採取
演算法設計與分析筆記之(2)：遞迴與分治策略
宣告 1）本文僅供學術交流，非商用。具體引用的資料請看參考文獻。如果某部分不小心侵犯了大家的利益，請聯絡博主刪除。 2）本人才疏學淺，整理總結的時候難免出錯，還望各位前輩不吝指正，謝謝。 聯
Spark2.0機器學習系列之2：Logistic迴歸及Binary分類（二分問題）結果評估
引數設定 α： 梯度上升演算法迭代時候權重更新公式中包含 α ： # 梯度上升演算法-計算迴歸係數 # 每個迴歸係數初始化為1 # 重複R次： # 計算整個資料集的梯度 # 使用α*梯度更新迴歸係數的向量 # 返回迴歸係數
LIDAR系列之2：用鐳射雷達檢測車道線
基於視覺系統的車道線檢測有諸多缺陷，首先是視覺系統對背景光線很敏感，諸如陽光強烈的林蔭道，車道線被光線分割成碎片，致使無法提取出車道線。其次，視覺系統需要車道線的標識完整，有些年久失修的道路，車道線標記不明顯，不完整，有些剛開通幾年的道路也是如此。第三，視覺系統需要車道線
C語言每日一函式之2：生成隨機數（含STM32/STM8使用AD獲取隨機數）
1、C語言生成偽隨機數 在C語言中,為了生成隨機數，可以使用如下兩個函式： void srand(unsigned int seed); int rand(void); srand()和rand()配合使用產生偽隨機數序列。 srand()函式用來生
企業網站建設之殤：如何打造品牌化企業網站
如今品牌意識已經漸漸進入企業營銷中，品牌不是一個獨立的部分，其與企業的利潤，企業的市場環境，企業的內外資源是息息相關的。自網路營銷代替傳統營銷後，網路品牌建設也成為提高營銷效率的途徑，網路品牌的形成是所有網路營銷的體現，是需要長時間營銷形成的效果。 網路
ORACLE PL/SQL程式設計之四：把遊標說透
DECLARE DeptRec DEPARTMENTS%ROWTYPE; Dept_name DEPARTMENTS.DEPARTMENT_NAME%TYPE; Dept_loc DEPARTMENTS.LOCATION_ID%TYPE; CURSOR c1 ISSEL
Entity Framework技術系列之2：三種開發模式實現資料訪問
前言 Entity Framework支援Database First、Model First和Code Only三種開發模式，各模式的開發流程大相徑庭，開發體驗完全不一樣。三種開發模式各有優缺點，對於程式設計師沒有哪種模式最好，只有哪種模式更適合。接下來我將分別使用這
【從單體架構到分散式架構】（三）請求增多，單點變叢集(2)：Nginx
``` 上一個章節，我們學習了負載均衡的理論知識，那麼是不是把應用部署多套，前面掛一個負載均衡的軟體或硬體就可以應對高併發了？其實還有很多問題需要考慮。比如： 1. 當一臺伺服器掛掉，請求如何轉發到其他正常的伺服器上？ 2. 掛掉的伺服器，怎麼才能不再訪問？ 3. 如何保證負載均衡的高可用性？ 等等等等.