shallow embedding
(logic, uncountable) The act of representing one logic or language with another by providing a syntactic translation. / (logic, countable) A specific mechanism for such a syntactic translation.
ある論理や言語を、別の論理や言語へ文法的変換を通じて表現する行為 / そのような文法的変換を実現するための具体的な仕組み
( plural )
復習用の問題
(logic, uncountable) The act of representing one logic or language with another by providing a syntactic translation. / (logic, countable) A specific mechanism for such a syntactic translation.
shallow embedding
The tutorial introduces shallow embedding as a technique for encoding one logic within another using a direct syntactic translation.
The tutorial introduces shallow embedding as a technique for encoding one logic within another using a direct syntactic translation.
英語 - 多言語
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1