| 発表言語 |
日本語
|
| 開催日 |
2013年02月20日 15時00分
|
| 終了日 |
2013年02月20日 16時00分
|
| 開催場所 | 京都大学数理解析研究所006号室 |
| セミナー名 | 第72回 GCOE tea time |
| タイトル |
Galois connections for abstraction of probabilistic systems |
| 分野 |
代数
幾何
解析
その他
|
| 講演者名 | 津曲 紀宏 |
| 講演者所属 | 京都大学数理解析研究所 |
| 概要 | 確率的な遷移を含むシステムのための検証手法はコスト面の問題から実用化に至っていない。検証とは、システム利用前に、システムが必要とされる性質を満たしていることや特定の欠陥をもたないことを証明することである。この問題を解決するには，確率的なシステムの抽象化が不可欠である。ガロア接続とは具体集合と抽象集合の間の特殊な対応関係であり、抽象解釈という抽象化の健全さを保証する理論に現れる。確率的なシステムの意味領域である確率的多重関係は、完備べき等左半環という代数をなすことが示されている。一方、二項関係の拡張である二項多重関係は、同じ代数をなすことから、確率的システムの抽象領域と目される。講演では、確率的システムの意味領域である確率的多重関係と二項多重関係との間のガロア接続とそれによって保存される代数的性質について紹介する。 |
| 備考 | 他分野の話を聞いたり、若手研究者と交流する良い機会ですので ぜひ参加してください。飲み物、おやつも用意する予定ですので、お気軽にお越しください。 |
| リンク | http://www.kurims.kyoto-u.ac.jp/~kenkyubu/gcoe/2008teatime.html |