部署在區塊鏈上的智慧合約可能會操縱高價值資產。作為一種使用嚴格的數學方法來描述電腦系統的行為和推理正確性的技術,形式化驗證已被用於區塊鏈中以防止智能合約中的錯誤...
昨天講解了 Stroop Effect 是什麼、以及實驗設計。今天來說說程式面的東西。不過今天講的東西可能對於還不懂前端開發的人可能不好懂,所以看不懂的話請隨意...
昨天是多對多的上篇,今天會接續昨天的內容,繼續看多對多在Laravel中的關係,在migration之後,再接著看多對多關聯表在Model和Controller...
首先,因為Figma有分網頁版以及桌機版,大家可以透過自己的需求來決定要使用甚麼版,但不論是哪個版,都需要到Figma的官網去登入或是下載,那怎麼找到官網呢?就...
昨日介紹了 Pod,但有一個最重要的觀念未提及到,也就是 Pod 是 ephemeral 的資源,Ephemeral 中文譯為"短暫的",這...
接續前一天,今天要來介紹知識如何表達以及知識圖譜。
知識的表達
知識表達的定義
知識表達(Knowledge Representation,KR)主要是研究...