無限gameとω-semigroup

Idea

無限ゲームと $\omega$-semigroup を繋ぐ研究方向。

$\omega$-semigroup は無限語の認識を扱う代数で、有限語に対する monoid の役割を担う。

Goal

問いを確定する。

洞のゲーム系（Differential structures of games 系列）と言語系（Infinite-word points of Σ-Set の infinite-word points、Hyperconnected language theory の hyperconnected language theory）の交差点にある。