コンピュータ囲碁研究の歴史 1990年代 組合せゲーム理論を用いた囲碁の数理的解析 Mathematical Go [Berlekamp & Wolfe, 1994] 日本棋院が囲碁プログラムに段級位認定 1995年 5級 1997年 3級