調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
日本語WordNet(英和)
lem
名詞
遺伝子名称シソーラス
Wiktionary英語版
出典：Wiktionary
LEM
名詞
- (US, space science) Originally Lunar Excursion Module, latterly Lunar Module.
- (logic) Law of excluded middle.
- 2005, Andrej Bauer, Mathematics and Computation: The Law of Excluded Middle[1]:
- What constructive mathematicians know is that there are mathematical universes in which sets are like topological spaces and properties are like open sets. In fact, these universes are well-known to classical mathematicians (they are called toposes), but they look at them from “the outside”. When we consider what mathematicians who live in such a universe see, we discover many fascinating kinds of mathematics, which tend to be constructive. The universe of classical mathematics is special because in it all sets are like discrete topological spaces. In fact, one way of understanding LEM is “all spaces/sets are discrete”. Is this really such a smart thing to assume? If for no other reason, LEM should be abandoned because it is quite customary to consider “continuous” and “discrete” domains in applications in computer science and physics. So what gives mathematicians the idea that all domains are discrete?
派生語
- (Lunar Module): LEM lifeboat
L.E.M.
- Copyright (c) 1995-2024 Kenkyusha Co., Ltd. All rights reserved.
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
- 日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
- Copyright © 2024 CJKI. All Rights Reserved
- Copyright © 2024 CJKI. All Rights Reserved
- DBCLS Home Page by DBCLS is licensed under a Creative Commons 表示 2.1 日本 License.
- Wiktionary
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、WiktionaryのLEM (改訂履歴)、L.E.M. (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
- CMUdict
- CMUdict is Copyright (C) 1993-2008 by Carnegie Mellon University.
