理想化Haskellと忖度翻訳 - 檜山正幸のキマイラ飼育記 (はてなBlog)
Haskell風構文の擬似コードで記述された概念をデカルト閉圏で解釈してみます。翻訳の過程でけっこうな“忖度”が要求されます。 内容： 理想化Haskell デカルト閉圏に対する直訳 忖度翻訳 関連する記事： Haskellの二重コロン「::」とバインド記号「>>=」の説明 理想化Haskell ピカリング／ギブンス／ウーは、彼らの論文（下）において、擬似コードとして使うHaskell風構文を理想化Haskell〈an idealization of Haskell〉と呼んでいます。 Title: Profunctor Optics -- Modular Data Accessors Authors: Matthew Pickering, Jeremy Gibbons, Nicolas Wu Submitted: 31 Mar 2017 Pages: 51p URL: https://ar
『形式意味論入門』を Haskell に書き下す (後編) - ryota-ka's blog
この記事は以下のページに移転しました． blog.ryota-ka.me 前編はこちら ryota-ka.hatenablog.com §8 発話文脈・変項割当 という文を発話したとする．この文は，代名詞 と の2つの指示対象が発話の状況から明らかなときにのみ適切である．このように，文脈に依存して意味が初めて定まる言語表現を直示 (deixis) という．指示対象を明らかにするため，次のように代名詞に指標 (index) を振ることにする． と に と という異なる指標が割り当てられているのは，それらが相異なる外延をもつことを表している． 既に述べたように，この文の外延は および の指示対象が文脈から定まることで初めて計算することができる．このような文は自由変項*1を含んだ開いた項 (open term) として見做すことができる．このような発話に際しての状況を utterance con
Tweag I/O - How to make your papers run: Executable formal semantics for your language
How to make your papers run: Executable formal semantics for your language This post will show a simple example of how to use Makam, a very powerful, not yet widely-known, programming language to specify executable semantics of a simply typed lambda calculus with recursion and numbers (PCF). I'm using Makam during my internship at Tweag to specify and experiment with the design of a new configurat
『形式意味論入門』を Haskell に書き下す (前編) - ryota-ka's blog
この記事は以下のページに移転しました． blog.ryota-ka.me 一昨年のゴールデンウィークに池袋のジュンク堂を訪れた際，『形式意味論入門』という表題の本に目が止まり，数学や論理学を用いて自然言語表現の意味を形式的に考察する学問分野があることを知った*1．また，その道具立てとして単純型付きラムダ計算が用いられていることが，なおのこと私の興味を惹いた．ラムダ計算といえば，読者の多くが計算機科学分野での応用を思い浮かべると思うが，Richard Montague*2 が自然言語分野に応用して以来，そちらの方面でも道具立てとして用いられているようである． 形式意味論入門 (開拓社叢書) 作者:拓郎, 田中開拓社Amazon この本は，Irene Heim と Angelika Kratzer による Semantics in Generative Grammar (以下 Heim and
Executable formal semantics for the POSIX shell
The POSIX shell is a widely deployed, powerful tool for managing computer systems. The shell is the expert's control panel, a necessary tool for configuring, compiling, installing, maintaining, and deploying systems. Even though it is powerful, critical infrastructure, the POSIX shell is maligned and misunderstood. Its power and its subtlety are a dangerous combination. We define a formal, mechani
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Semantics and Scheduling for Machine Knitting Compilers
The Next 700 Compiler Correctness Theorems (Functional Pearl)
Call-by-Need Is Clairvoyant Call-by-Value
