2023.05.25
https://gyazo.com/602b7d7614047f7657cf8c424a110114
前:
2023.05.24
後:
2023.05.26
#日報
やった
どうにか
メモ
特別なカードを含む神経衰弱ゲームの勝率最大化戦略
将棋における実現可能局面数について
証明可能性論理 文献集(外部記事)
Yabloのパラドックス
T. Kurahashi, Y. Sato; "The finite frame property of some extensions of the pure logic of necessitation"
Σ論理式およびΠ論理式