Sendai Logic Mathematical Institute, Tohoku University, Sendai, Miyagi, Japan

2018.04.27. 田中 一之

無限ゲームと様相μ計算

 READ MORE