「メモ/言語」の編集履歴（バックアップ）一覧に戻る

メモ/言語 - (2008/09/23 (火) 13:59:29) のソース

#contents

>ここには言語の問題が絡んでいます。私たちはものには名前を付けますが、関係にはあまり多くの名前をつけていません。私たちの言語は名詞中心であり、名詞がいくつかの関係をひとまとめにしてそこにレッテルをつけるという考えには、言語体験からみても奇異な印象を受けます。

[[クリストファー・アレグザンダー―建築の新しいパラダイムを求めて]], p. 69

*言語
 According to (Morris, 1938) a language comprises three
 parts: syntax, semantics and pragmatics. Syntax is devoted
 to "the formal relation of signs to one another", semantics
 to "the relation of signs to real world entities they
 represent" and pragmatics to "the relation of signs to
 (human) interpreters". In the following subsections we
 elaborate upon these three definitions.

Giancarlo Guizzardi, [[Ontological Foundations for Structural Conceptual Models>https://doc.telin.nl/dsweb/View/Collection-10641]], p. 18

 A sound language description contains the following elements:
 1. an abstract syntax description;
 2. one or more concrete syntax descriptions;
 3. for each concrete syntax: a mapping from concrete to
    abstract and preferably from abstract to concrete as
    well;
 4. a description of the semantics in the form of a set of
    rules that govern an abstract machine that is able to
    execute any syntactically correct linguistic utterance
    of the language.

A Language Description is More than a Metamodel

  Accordingly, a language consists of a syntactic notation
 (syntax), which is a possibly infinite set of legal elements,
 together with the meaning of those elements, which is
 expressed by relating the syntax to a semantic domain. 
 Thus, any language definition must consist of the syntax
 semantic domain and semantic mapping from the syntactic
 elements to the semantic domain.

[[Meaningful Modeling: What's the Semantics of 'Semantics'>http://www.wisdom.weizmann.ac.il/~harel/papers.html]]

>　マウトナーは、言語は単なるメッセージではないと考えた。言語はメディアではなかった。それは意味だった。事実、ルードヴィッヒ・ヴィトゲンシュタインは、マウトナーの後継者であり、マウトナーの遺言執行者だった。ヴィトゲンシュタインの業績のほとんどは、その４０～５０年前に、マウトナーが追い求めていたものだった。

[[すでに起こった未来]], p.321

*セマンティクス
  Having formulated the syntax of our language rigorously,
 we next need a similarly precise definition of how terms are
 evaluated -- i.e., the semantics of the language.

[[Types and Programming Languages>http://www.amazon.co.jp/Types-Programming-Languages-Benjamin-Pierce/dp/0262162091/]], p. 32