水惑星実験のための海洋大循環モデルの開発と基礎的な数値実験