“知識共享”與智慧數學老師
“知識共享”與智慧數學老師
自從“知識共享”許可協議法律體系誕生之後,發展十分迅速,知識共享規則日漸完善,達到實際可用水平。
實際情況是,J.Keisler精心撰寫的“初等微積分”教材,根據“知識共享”授權規則,可以實現“知識碎片化”,然後將碎片隨意組合,進行新的智慧創作。
比如,根據本書所附“Index”,共有一千五百多個片語,而且標明瞭每個片語所在的頁碼,進而可以查找出該片語所在的句子(工作量巨大)。
由此不難想象,編造一個微軟“小娜”機器人老師,與大學生手使用者進行“一對一”對話,解答問題,輔助數學教學。
如果沒有“知識共享”許可規則,這一切都是不可想象的。
袁萌 陳啟清 11月14日
相關推薦
“知識共享”與智慧數學老師
“知識共享”與智慧數學老師 自從“知識共享”許可協議法律體系誕生之後,發展十分迅速,知識共享規則日漸完善,達到實際可用水平。 實際情況是,J.Keisler精心撰寫的“初等微積分”教材,根據“知識共享”授權規則,可以實現“知
從 Python 之父的對話聊起,關於智慧財產權、知識共享與文章翻譯
一、緣起 前不久,我在翻譯 Guido van Rossum(Python之父)的文章時,給他留言,申請非商業用途的翻譯授權。 過程中起了點小誤會,略去不表,最終的結果是:他的文章以CC BY-NC-SA 4.0 許可協議進行授權。部分對話如下: CC 協議是一種授權許可協議,我曾看到過幾次,但瞭解不
數學知識-積累與發現
概率與統計 基礎 概率論-wiki 資料探勘中所需的概率論與數理統計知識 先驗概率與後驗概率 PR曲線、ROC曲線和AUC 詳解最大似然估計(MLE)、最大後驗概率估計(MAP),以及貝葉斯公式的理解 MLE隱含了引數取任何值的概率都一樣,而MAP則考慮到了引數取不同值的
魯賓遜微積分與“知識共享”,攜手相伴進入中國
魯賓遜微積分與“知識共享”,攜手相伴進入中國 一般而言,對於魯賓遜微積分與“知識共享”授權方式,國人知之甚少。 今年8月5日,我們發出“預告:電子版微積分投放安排,…”,一批放主題是“學微積,用手機”。時至今日,此文點選數高達10690,知曉者過萬人大關
繁榮國家數學教育,堅持“知識共享”許可原則
繁榮國家數學教育,堅持“知識共享”許可原則 上世紀60年代,魯賓遜創立非標準分析。由此,魯賓遜與當時的許多數學家堅信非標準數學將會促進傳統的標準數學的發展。歷史事實也證明了這一點。 進入二十一世紀,於2001年1月15日,“
“知識共享”(CC)與開放教育資源(OER)之間的緊密關係
“知識共享”(CC)與開放教育資源(OER)之間的緊密關係 一般而言,構成教育過程基礎的教學資源分為兩大類:非共享封閉類與開放共享類。比如,魯賓遜微積分教槽就是遵守“知識共享”許可協議(CC)的數字化教學資料,屬於開放教育資源(OER)的範疇。 &n
我國數學“知識共享”生態圈,持久存在,不斷擴大
六年來,無窮小放飛網際網路,推出袖珍電子書系列,特別是,黨的十九大之後,向全國高校輪番投放魯賓遜微積分教材(OER),伴隨“知識共享”許可協議的宣傳與普及,目前,國內數學“知識共享”生態圈已經初步形成,正在不斷髮展,永續性的存在。 一般而言,數學作品有兩大類:一類是“版權私有”,一類是“知識共享
我國"知識共享"數學生態圈的發端歷程
上世紀1960年,美國數學家魯賓遜嚴謹地利用數理邏輯“模型論”(緊緻性定力)證明了微微積分學使用實無窮小的合法性。 魯賓遜理論追隨者J.Keisler教授,在1976年精心撰寫並出版了世界上第一本完全符合魯賓遜無窮小理論的微積分教科書“Elementary Calculus”。1986年。該書第
基於法律罪行知識圖譜的智慧預判與客服問答
CrimeKgAssitant Crime assistant including crime type prediction and crime consult service based on nlp methods and crime kg,罪名法務智慧專案,內容包括856項罪名知
C++基礎知識總結與回顧--5.5共享資料的保護
5.5.1 常物件 func1(const Point & p1)和func2(Point & p1)這兩種函式引數寫法的區別在哪裡? 答 : fun1保證實參在函式呼叫後不會被改變, 如果函式體內試圖改變p1,編譯器會報錯. 對func1(const Point &
企業文化、團隊文化與知識共享
企業文化 構建和諧企業文化應以增強企業競爭力為核心。企業文化不僅具有精神屬性,而且具有管理屬性,能夠與規章制度相輔相成,提高企業的管理效能,進而提升企業的管控水平。企業文化建設強有力地支援了企業的戰略轉型,以提升核心競爭力為目標,積極開展企業文化建設,保證企業戰略的順利實施。
知識圖譜與認知智慧--肖仰華
今天聽了肖仰華教授的《知識圖譜與認知智慧》總結,反正是聽君一席話,勝讀十年書,特別是去的時候正好碰上肖老師,和知識男神握了個手,然後接下來幾天都吃嘛嘛香。 講座內容主要圍繞知識圖譜與認知智慧的四大部分:認識、實踐、問題和總結 最後問了肖老師幾個問題,我記
DDD學習筆錄——提煉問題域之知識提煉與協作的基本原則
相關 概念模型 類名 不為 實現 原則 有意義 專業 用例 1、通過通用語言達成共識 通用語言,已經強調過好多遍了,在DDD再怎麽重視都不為過,後面可能還會講。 知識提煉的輸出以及共識的構建就是常見的通用語言(UL)。 當與業務相關人員和主題專家進行建模時,每個人都應該有意
accp8.0轉換教材第9章JQuery相關知識理解與練習
ntb 驗證 單詞 手機號碼 sdn load .com read 要求 自定義動畫 一.單詞部分: ①animate動畫②remove移除③validity有效性 ④required匹配⑤pattern模式 二.預習部分 1.簡述JavaScript事件和jquery事件
JAVA 第六章知識回顧與總結
方法 eno except 動作 它的 缺點 不能 修飾 擁有 為了克服JAVA單繼承的缺點,JAVA引入了接口: 接口不是類,是對類的一組需求的描述,由常量和一組抽象方法組成;接口中所有方法自動的屬於public,在接口中聲明方法時不必提供關鍵字public,接口中的域自
Part5 數據的共享與保護 5.3類的靜態成員
space clu ace mes 保護 urn public private ret 靜態數據成員: 1 用關鍵字static聲明 2 為該類的所有對象共享,靜態數據成員具有靜態生存期。 3 必須在類外定義和初始化,用(::)來指明所屬的類。 //5-4具有
Part5 數據的共享與保護 5.6多文件結構和預編譯命令
靜態數據成員 其它 pac object c void 使用 內聯 組合 getx C++程序的一般組織結構: 1 一個工程可以劃分為多個源文件: 類聲明文件(.h文件) 類實現文件(.cpp文件) 類的使用文件(main()所在的.cpp
JAVA基礎知識|lambda與stream
view 兩個 方法 testcase alt except 上海 sort unit lambda與stream是java8中比較重要兩個新特性,lambda表達式采用一種簡潔的語法定義代碼塊,允許我們將行為傳遞到函數中。之前我們想將行為傳遞到函數中,僅有的選擇是使用匿名
Linux運維三劍客awk必會知識--模式與操作、內自變量、語句塊、數組
三劍客 awk linux 運維 數組 Linux命令之三劍客awkawk簡介awk是三劍客中的老大,awk強大之處在於,它不僅僅是命令,還是一門語言,功能非常強大。報告生成器,格式化後顯示,可以自定義函數;awk的處理對象是記錄與字段(域)。awk處理數據的原理讀取到數據後,首先將數據分
天池平臺再升級,打造產業AI知識共享、技術共享平臺
深度學習 大數據 摘要: 天池發布“全球AI開發者計劃”,打造一站式人工智能知識共享平臺,計劃2年內在平臺上集聚30萬AI工程師。同時,阿裏雲天池正式升級,成為從產業機會到實施交付一站式解決的產業AI眾智平臺。在5月23日的雲棲大會·武漢峰會上,天池發布“全球AI開發者計劃”,打造一站式人工智能知識共