sakstyle https://blog.hatena.ne.jp/sakstyle/ logical cypher scape2 https://sakstyle.hatenadiary.jp/ 読書 数学・統計学 社会科学 小島寛之が、様相論理について書いている本が出たと聞いたので読んでみた。 ゲーム理論と可能世界意味論を組み合わせて共有知識を定式化し、共有知識によって通貨攻撃を説明するというもの。 様相論理といっても、必然性や可能性の話ではなく、その応用編（？）にあたる認識論理（本書では「知識についての論理」と書かれている）について。 様相論理や可能世界意味論は、必然性や可能性以外にも、時制や義務、そして認識（「〜について知っている」）の分析にも使われている。 最後の章まで出てこないけど、最後の章で、共有知識をこれを使って定式化していて楽しい 以下目次（著者ブログより） まえがき −数学的推論で時代を見通す− … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsakstyle.hatenadiary.jp%2Fentry%2F20130516%2Fp1" title="小島寛之『数学的推論が世界を変える―金融・ゲーム・コンピューター』 - logical cypher scape2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/41vpp9aXjlL._SL160_.jpg Hatena Blog https://hatena.blog 2013-05-16 00:00:00 rich https://sakstyle.hatenadiary.jp/entry/20130516/p1 1.0 100%