MacセットUP

MacのセットUP　ですが、
・　Windowsからメール、ブラウザのお気に入り、iTunesのデータを移行。

・　FireFoxをインストールしました。

・　VMware Fusion 3.0を買ってインストールしました。
　　　なんでか？　Linuxも好きだから。

・　Rodinをインストールしました。
　　　Rodinは形式手法　Event-Bの開発環境です。

　　　Macを買った主な理由の一つがRodinプラグインのProB最新版はMac版がいち早く安定動作するから。
　　　Windows版は後回しな感じです。
   RodinやEvent-Bについては下記ページを参考にしてくださいね。
    形式手法 Event-B
　　　　
・　BootCampする予定
　　　Windows 7 Home Premiumを買ったのですが、AppleのBootCamp Windows7正式対応を待ってからCampします。
　　　なんでか？　Microsoft Flight Simulatorしたいから。

正直、アプリケーションのインストールはとまどいました。