Mozilla Specification Positions
This page tracks Mozilla's positions on open Web and Web-related specifications submitted to standards bodies like the IETF, W3C, and Ecma TC39. Please remember, this isn't a commitment to implement or participate; it's just what we think right now. See dev-platform to find out what we're implementing. Want Mozilla's position on a specification? Find out more. legend The possible positions are: po
『形式意味論入門』を Haskell に書き下す (後編) - ryota-ka's blog
この記事は以下のページに移転しました． blog.ryota-ka.me 前編はこちら ryota-ka.hatenablog.com §8 発話文脈・変項割当 という文を発話したとする．この文は，代名詞 と の2つの指示対象が発話の状況から明らかなときにのみ適切である．このように，文脈に依存して意味が初めて定まる言語表現を直示 (deixis) という．指示対象を明らかにするため，次のように代名詞に指標 (index) を振ることにする． と に と という異なる指標が割り当てられているのは，それらが相異なる外延をもつことを表している． 既に述べたように，この文の外延は および の指示対象が文脈から定まることで初めて計算することができる．このような文は自由変項*1を含んだ開いた項 (open term) として見做すことができる．このような発話に際しての状況を utterance con
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
