意味 |
metatheoreticとは 意味・読み方・使い方
追加できません
(登録数上限)
Wiktionary英語版での「metatheoretic」の意味 |
metatheoretic
出典:『Wiktionary』 (2017/01/23 15:30 UTC 版)
形容詞
metatheoretic (not comparable)
- Alternative form of metatheoretical
-
2015, Tiark Rompf, Nada Amin, “From F to DOT: Type Soundness Proofs with Definitional Interpreters”, in arXiv[1]:
- Unfortunately, type soundness has only been established for a very restricted subset of DOT (muDOT), and it has been shown that adding important Scala features such as type refinement or extending subtyping to a lattice breaks at least one key metatheoretic property such as narrowing or subtyping transitivity, which are usually required for a type soundness proof. The first main contribution of this paper is to demonstrate how, perhaps surprisingly, even though these properties are lost in their full generality, a richer DOT calculus that includes both type refinement and a subtyping lattice with intersection types can still be proved sound.
-
意味 |
metatheoreticのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのmetatheoretic (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
-
1unmet
-
2destiny
-
3consider
-
4present
-
5while
-
6appreciate
-
7prowl
-
8whether
-
9provide
-
10experience
「metatheoretic」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |