三田論理学セミナー
Paul-André Melliès 教授講演会

日時: 1月19日 13:00〜14:30

場所: 慶応義塾大学三田キャンパス 東館5階 プロジェクト室 (JR田町駅、都営地下鉄三田駅、赤羽橋駅から徒歩5分)

講演者: Paul-André Melliès (フランス・CNRS、パリ第7大学・情報学研究所・Charge de recherches (日本の大学の助教授に相当))

タイトル: ``An introduction to asynchronous game semantics''

アブストラクト: In game semantics, the higher-order value passing mechanisms of the lambda-calculus are decomposed as sequences of atomic actions exchanged by a Player and its Opponent. Seen from this angle, game semantics is akin to trace semantics in concurrency theory, where a process is identified to the sequences of requests it generates in the course of time. Asynchronous game semantics is an attempt to bridge the gap between the two subjects, and to see mainstream game semantics as a refined and interactive form of trace semantics. Asynchronous games are positional games played on Mazurkiewicz traces, which reformulate (and generalize) the usual notion of arena game. The framework enables to analyze the interleaving semantics of lambda-terms, expressed as innocent strategies, in the perspective of true concurrency. The analysis reveals that innocent strategies are positional strategies regulated by forward and backward confluence properties. A further distinction between external and internal positions in asynchronous games leads to the very first sequential game model of full propositional linear logic -- in the style of Blass games.







問合せ先:
慶應義塾大学21世紀人文科学研究拠点「心の統合的研究」センター
ワークショップ事務局
住所:東京都港区三田 3-1-7 三田東宝ビル 8F
e-mail:philosophy@abelard.flet.keio.ac.jp



平成17年1月14日