タグ

ブックマーク / verifiedby.me (3)

  • 二重振り子の精度保証付き数値計算

    少し前(5月頃)、二重振り子のシミュレーション動画がtwitterで流行したことがありました。最初のtweetがこれ。 わずかに異なる初期値をもった50の二重振り子のシミュレーションを動画にしたもので、途中まで完全に重なっているように見える振り子が一気にバラける様子がとても面白い。 次は、それを三重振り子にしたもの。 gmpを用いて高精度計算をしており、ねとらぼで記事にもなりました。 どちらも常微分方程式の計算にはルンゲクッタ法を用いています。わずかな初期値のずれが後に大きな違いをもたらすことがとてもよく分かる動画ですが、一方で、ルンゲクッタ法で計算された値も真値とはわずかにずれており、当然その誤差も同様に後で大きな違いをもたらすことになります。だとすると、果たして意味のある計算になっているのかという疑問が生じます。 そこで、二重振り子の軌道を精度保証付きで計算し、ルンゲクッタ法とどのく

    二重振り子の精度保証付き数値計算
  • bash on Ubuntu on Windowsを試してみる

    Windows10の夏の大型アップデート(Anniversary Update)で搭載された、Windows Subsystem for Linux (bash on Ubuntu on Windows)を使ってみたので、記録を残しておきます。 cygwinやmsys2など、Windows上でunixツールを使うためのものは以前からいろいろありますが、Microsoft家が出してきたこいつは、「ubuntuのバイナリがそのまま動く」という点が今までと違います。使うための条件は、 Windows10の64bit版であること Windows10のバージョン1607以降であること です。バージョンは、「スタート→歯車アイコン→システム→バージョン情報」で確認できます。 8月のリリース以降、少しずつ時間をずらしながらWindows Updateを降らせていたようですが、そろそろほとんどのWind

    bash on Ubuntu on Windowsを試してみる
  • MSYS2を試してみる

    日頃、研究のための作業のほとんどをubuntu上で行っています。研究者の多くはunix系の環境で仕事をすることを好んでおり、 macを使う。 windowsでvmware等の仮想環境を作り、その中でLinux等を使う。 windowsでcygwinを使う。 Linux等をマルチブートで使う。 などいろいろあると思います。当に素のwindows仕事をする人は少ない気がします。拙kvライブラリも一応Visual Studioでも動くもののunix系で開発している関係上やはりunix系OSが使いやすい気がします。研究室の学生を見ると、windowsでcygwinを使っている人が大半のようです。自分はLinuxを入れることを勧めているのですが、やはり不慣れなOSで生活するのはつらいようで。 さて、windows環境のままunix系コマンドを使えるようにするソフトウェアとしてはcygwinが有名

    MSYS2を試してみる
  • 1