セミナー

発表言語 英語
開催日 2011年10月03日 15時00分
終了日 2011年10月03日 16時00分
開催場所京都大学数理解析研究所110号室
セミナー名第46回 GCOE tea time
タイトル Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling 
分野 解析
その他
講演者名Kohei Suenaga
講演者所属Kyoto
概要We add, to the common combination of a WHILE-language and a
Hoare-style program logic, a constant dt that represents an
infinitesimal (i.e. infinitely small) value.
The outcome is a framework for modeling and verification
of hybrid systems: hybrid systems exhibit both continuous and discrete dynamics
and getting them right is a pressing challenge. We rigorously define
the semantics of programs in the language of nonstandard analysis,
on the basis of which the program logic is shown to be sound and
relatively complete.

(Joint work with Ichiro Hasuo)
備考他分野の話を聞いたり、若手研究者と交流する良い機会ですので ぜひ参加してください。飲み物、おやつも用意する予定ですので、お気軽にお越しください。

通常と曜日および場所が異なっています。
通常GCOE tea timeは火曜日の午後に行っていますが、
今回は月曜日の午後です。
健康診断で数理解析研究所が割り振られている日の午後です。
場所は数理解析研究所110号室です。