Board: BoardクラスとOperationManagerクラスのdisrec変数が重複しているので、前者をdisrecinfoに名称変更
Board: BoardクラスとOperationManagerクラスのdisrec変数が重複しているので、前者をdisrecinfoに名称変更

sabo2/pzprv3,sabo2/pzprjs,sabo2/pzprjs,sabo2/pzprv3,sabo2/pzprv3