English Dictionary

locale

IPA（発音記号）

/ləʊˈkɑːl/

名詞

The place where something happens.

日本語の意味

何かが起こる場所 / 出来事の発生場所 / 事象が展開される場所

The small coastal town quickly became a popular filming locale after the movie was released.

その小さな海沿いの町は、映画の公開後すぐに人気のロケ地になった。

意味（1）

The place where something happens.

Being near running water and good shade, the explorers decided it was a good locale for setting up camp.

意味（2）

(computing) The set of settings related to the language and region in which a computer program executes. Examples are language, currency and time formats, character encoding etc.

意味（3）

(mathematics) A partially ordered set with the following additional axiomatic properties: any finite subset of it has a meet, any arbitrary subset of it has a join, and distributivity, which states that a binary meet distributes with respect to an arbitrary join. (Note: locales are just like frames except that the category of locales is opposite to the category of frames.)

Since every locale is of the form mbox Sub_( mathcal )E(1) [subobjects of the terminal object in ℰ] for some topos ℰ, locale theory can be regarded as the fragment of topos theory concerning subobjects of 1. A subobject of 1 is a map 1→𝛺, which can reasonably called a truth value. In that sense, locale theory is the study of truth values.

locales （ plural ）