(*** Input: ファイルからの問題入力 ***) val input_board : string -> Board.board