[logic-ml] Nagoya logic seminar

[吉信 康夫]

皆様：

名古屋大学の吉信です。

以下の要領で名古屋ロジックセミナーを開催します。

日時：2月20日(木) 15:30〜
場所：名古屋大学大学院情報学研究科棟3階322室

講演者：静間 荘司(大阪府立大学)
タイトル：無限版「囚人と帽子のパズル」と集合論
アブストラクト：何人かの囚人が色を塗られた帽子を被っている状況で、
自身の被っている帽子の色を当てるパズルを総称して「囚人と帽子のパズル」と呼んでいます。
囚人の人数、被せられる帽子の色の候補数を無限にしたパズルは21世紀から集合論の結果を
応用することで様々な戦略が見つかっています。
本発表ではパズルに関する概略と先行研究から知られている戦略の選択公理からの構築方法を紹介し、
研究成果としてパズルの戦略存在性に関する結果の応用例を提示します。

名古屋ロジックセミナーについてはセミナーのページをごらんください。

http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html

多数の方のご参加をお待ちしております。