semantics

1熱度

1回答

我正在關注Redex的amb tutorial，並且同時爲皮爾斯類型和編程語言中的類型化算術表達式構建了一個模型。我已經定義了這種小語言的語法和類型系統，但我很難定義它的小步語義。在我解決問題之前，讓我介紹一下迄今爲止的定義。首先，我定義了語言的語法。 (define-language ty-exp [E (ttrue) (ffalse) (zero)

3熱度

1回答

如何在Intellij Idea中突出顯示不同的圖書館類別？

我試圖配置IntelliJ Idea以突出顯示來自當前項目和類庫/ JDK中的類的不同方式。這將有助於輕鬆瞭解所有這些類別的來源，如Transaction,Request,Query,Column。另外，在調試過程中，它只允許使用項目中的代碼來執行代碼行爲（通常，它更具有bug和可疑性）。是的，我知道關於Ctrl+hover on symbol/Ctrl+Q/Smart step into。但視

1熱度

1回答

RDF可以在MarkLogic中與JSON一起使用嗎？

據我所知，MarkLogic將RDF存儲爲XML。但是如果我需要將RDF與JSON文檔一起使用會怎麼樣。如何使用RDF建模我的JSON文檔？此外，如果這是可能的，我怎麼一起查詢JSON和RDF？在此先感謝。

-1熱度

1回答

公理語義 - 如何計算最弱的前提

這裏是例子： x = y + 1; y = y - 2; {y < 3} 什麼是這個例子中的最弱前置條件？我想也許y < 3是一個答案。如果不是，你能詳細告訴我爲什麼嗎？

3熱度

3回答

迭代語句後的語句終止符（;）運算符：結束迭代語句本身，還是不可見的空語句？

在this answer，我們敬愛的喬恩斯基特認爲do {} while()需要一個語句終止符，因爲while()需要一個語句體中，並且進入舉例，該案件： while (true);（空語句）或while (true) {}（塊語句） ...將是有效的。事情很簡單，第二個例子; while循環執行空的複合（塊）語句（{}）。第一個例子然而，隨着飛碟雙向的說明書一起，引發了一個有趣的問題對我說：

0熱度

2回答

等於是否意味着相等的散列值？

我目前正在研究一種圖形數據類型，在這種情況下，我已經考慮了很多關於身份和平等的語義問題。我現在的情況如下。我有一個Vertex類型： final class Vertex<T>: Hashable { static func ==(lhs: Vertex, rhs: Vertex) -> Bool { return lhs === rhs } var

1熱度

1回答

Gensim Doc2Vec爲模型生成巨大的文件

我想從gensim包運行doc2vec庫。我的問題是，當我在訓練和保存模型的模型文件是相當大（2.5 GB），我嘗試使用這一行： model.estimate_memory() 但它並沒有改變任何東西。我也試圖改變max_vocab_size來減少空間。但沒有運氣。有人可以幫我解決這個問題嗎？

2熱度

1回答

是否有可能找到具有相同dom結構的節點

我已經通過Scrapy從許多網站爬取了許多htmls（具有類似內容），而dom結構不同。例如，一個站點使用以下結構： <div class="post"> <section class='content'> Content1 </section> <section class="panel"> </section> </div> <div

1熱度

1回答

需要換行或EOF聲明賽後

就找得到ANTLR4生成一個解析器，將做如下的簡單方法（忽略任何後;）： int #i ; defines an int int #j ; see how I have to go to another line for another statement? 我解析器是作爲以下： compilationUnit: (statement END?)* statement E

-2熱度

2回答

我想我的語義代碼

好傢伙早上好我想語義我最近的項目之一，但我不知道我對你剛纔創建我的代碼人們也我有一個部分的圖片我想在圖片使用標記爲突出顯示部分（請參見圖片）是有效使用部分標籤在這裏？我對於這部分代碼： <section class="customer-receipts"> <div class="image-part"> <figure> <img src="h56.