:::
資料庫查詢時間：496.7168 ms
共 7 筆資料，
每頁顯示
筆資料
縮小搜尋結果範圍
適用年級
媒體形式
排序方式：
關鍵字 |
搜尋次數 |
關聯性
:::
你是不是要搜尋以下結果
|
主要型式
瀏覽人次:0
收藏人次:0
一種敘述的最通用型式，例如下列是用於λ抽象化（lambda abstraction）的所有有效型式：int→int Bool→Bool (a→b)→(a→b)但任意有效型式為主要型式：a→a的一個實例。一個實例係對一些型式變數的所有出現由代入相同型式敘述而導出。一敘述的主要型式可由魯賓遜的統一演算法（Robinson`s unification algorithm）算出。
|
|
要
瀏覽人次:0
收藏人次:0
索取。如：「要錢」、「要飯」、「要帳」。
收為己有。如：「這本書我要了。」
值得重視的。如：「重要」、「要職」、「要犯」、「要件」、「要塞」、「要點」、「要義」、「要旨」。
重點。如：「提要」、「摘要」、「要點」、「要義」、「要旨」。
假如。如：「明天要是下雨，我就不去了。」
求。如：「他要我替他辦一件事。」
應該。如：「你要知道，這是不容易的事。」
即將。如：「天要下雨了！」、「他快要來了。」
求取。如：「要求」、「要功」。
強迫。如：「要挾」。
約定。如：「要約」。
|
|
式
瀏覽人次:0
收藏人次:0
法則、模範。如：「法式」、「模式」。
效法。如：「義風可式」、「母儀足式」。
事物外形的樣子。如：「形式」、「式樣」、「款式」。
儀節、典禮。如：「儀式」、「閱兵式」、「開幕式」。
數學、化學等自然科學的運算規則。如：「公式」、「程式」、「化學式」、「二元一次方程式」。
|
|
主
瀏覽人次:0
收藏人次:0
國君。如：「君主」、「兵強主尊」。
主人。如：「地主」、「店主」、「主僕」、「東道主」。
最重要的。如：「主要」、「主角」、「主將」、「主食」。
掌管。如：「主宰」、「主管」、「主持」、「主政」。
心裡對事情的定見或看法。如：「主見」、「主意」、「六神無主」。
基督徒或回教徒稱其所信仰的神。如：「主耶穌」、「阿拉真主」。
死人的牌位。如：「神主」、「木主」。
|
|
型式
瀏覽人次:0
收藏人次:0
造型、款式。如：「建築型式」、「型式多樣是這個廠牌服飾的特色。」
|
|
主要
瀏覽人次:0
收藏人次:0
最重要的。如：「主要原因」、「主要任務」、「主要目的」。
|
 曾經查過此詞彙的人也經常查詢以下字詞： |
貓頭鷹博士