F# 3.1がVisual Studio Expressでも使える

Visual Studioなしでも使えます。
Announcing Visual F# Tools 3.1.1, with support for Desktop and Web express
http://blogs.msdn.com/b/fsharpteam/archive/2014/01/22/announcing-visual-f-3-1-1-and-support-for-desktop-express.aspx

fsiしか使うつもりはなかったので、Visual Studioなしで使っていたのですが、テキストエディタがF#のシンタックスハイライトをサポートしていなかったのもあって結局、Visual Studio Expressを入れました。

あおぞら銀行が四半期配当を実施していた

たまたま開示情報を見ていたらあおぞら銀行が四半期配当を実施しているのを発見。
http://www.aozorabank.co.jp/ir/share/dividend/
株主優待もあるんですね。ほとんどの人には意味のなさそうな優待ですが…。

Avira Free Antivirusの更新が失敗する

環境
OS: Windows 8.1
Avira Free Antivirus
製品バージョン 14.0.2.286 2013/12/13
検索エンジン 8.02.12.180 2014/01/22
ネットワーク環境: フレッツ光ネクスト(ASAHIネット)
何度実行してもエラーが出て更新できないので調べてみました。

エラーが出ている部分の周辺のログ

21:30:22 [UPD] [INFO]       'http://72.246.190.91/update/personalkeyav14/common/int/hbedv.key.gz' を 'C:\ProgramData\Avira\AntiVir Desktop\TEMP\UPDATE\personalkeyav14\common\int\hbedv.key.gz' にダウンロードしています.
21:30:22 [UPDLIB] [ERROR]   L'MD5 del file C:\ProgramData\Avira\AntiVir Desktop\TEMP\UPDATE\personalkeyav14\common\int\hbedv.key.gz è diverso da quello specificato nel file info
21:30:22 [UPD] [INFO]       制御ファイルが再びダウンロードされます.
21:30:22 [UPD] [INFO]       より新しいファイルが使用可能かどうか確認しています.

21:30:23 [UPD] [INFO]       新しいファイルをダウンロードしています...
21:30:23 [UPD] [INFO]       'http://72.246.190.145/update/personalkeyav14/common/int/hbedv.key.gz' を 'C:\ProgramData\Avira\AntiVir Desktop\TEMP\UPDATE\personalkeyav14\common\int\hbedv.key.gz' にダウンロードしています.
21:30:23 [UPDLIB] [ERROR]   L'MD5 del file C:\ProgramData\Avira\AntiVir Desktop\TEMP\UPDATE\personalkeyav14\common\int\hbedv.key.gz è diverso da quello specificato nel file info
21:30:23 [UPD] [INFO]       制御ファイルが再びダウンロードされます.
21:30:23 [UPD] [INFO]       より新しいファイルが使用可能かどうか確認しています.
21:30:23 [UPD] [INFO]       更新サーバー 'http://62.146.210.32/update' を選択します.
21:30:23 [UPD] [INFO]       'http://62.146.210.32/update/idx/master.idx' を 'C:\ProgramData\Avira\AntiVir Desktop\TEMP\UPDATE\idx\master.idx' にダウンロードしています.
21:30:24 [UPD] [INFO]       'http://62.146.210.32/update/idx/wks_avira13-win32-jp-pecl.idx' を 'C:\ProgramData\Avira\AntiVir Desktop\TEMP\UPDATE\idx\wks_avira13-win32-jp-pecl.idx' にダウンロードしています.
21:30:25 [UPDLIB] [ERROR]   Download manager: File http://62.146.210.32/update/idx/wks_avira13-win32-jp-pecl.idx non trovato
21:30:25 [UPDLIB] [ERROR]   Riprova in corso...
21:30:25 [UPD] [INFO]       'http://62.146.210.32/update/idx/wks_avira13-win32-jp-pecl.idx' を 'C:\ProgramData\Avira\AntiVir Desktop\TEMP\UPDATE\idx\wks_avira13-win32-jp-pecl.idx' にダウンロードしています.
21:30:25 [UPDLIB] [ERROR]   Download manager: File http://62.146.210.32/update/idx/wks_avira13-win32-jp-pecl.idx non trovato
21:30:25 [UPDLIB] [ERROR]   Riprova in corso...
21:30:25 [UPD] [INFO]       'http://62.146.210.32/update/idx/wks_avira13-win32-jp-pecl.idx' を 'C:\ProgramData\Avira\AntiVir Desktop\TEMP\UPDATE\idx\wks_avira13-win32-jp-pecl.idx' にダウンロードしています.
21:30:26 [UPDLIB] [ERROR]   Download manager: File http://62.146.210.32/update/idx/wks_avira13-win32-jp-pecl.idx non trovato
21:30:26 [UPDLIB] [ERROR]   Nessun altro server, aggiornamento interrotto
21:30:26 [UPD] [ERROR]      更新構造の生成に失敗しました。UpdateLib がエラー 537 を報告しました!.

なぜかログにイタリア語(?)が混じっています。MD5のエラー(?)

21:30:22 [UPDLIB] [ERROR]   L'MD5 del file C:\ProgramData\Avira\AntiVir Desktop\TEMP\UPDATE\personalkeyav14\common\int\hbedv.key.gz è diverso da quello specificato nel file info

" Nessun altro server, aggiornamento interrotto."は "No other server, update aborted."らしいのでDNSがおかしいのかな。

関係ありそうな情報:
An error occurred when downloading the files - AntiVir Free Antivirus - Avira Support Forum:
http://forum.avira.com/wbb/index.php?page=Thread&postID=1252257
更新が出来なくなった人用とりあえずアップデートの仕方。 - AntiVir Free Antivirus - Avira Support Forum:
http://forum.avira.com/wbb/index.php?page=Thread&threadID=116851

DNSをGoogle Public DNSに変更したところ更新できました。

コントロール パネル\ネットワークとインターネット\ネットワーク接続

から「イーサネットのプロパティ」 -> 「インターネット プロトコル バージョン 4(TCP/IPv4)」プロパティ
「次のDNSサーバーサーバーのアドレスを使う」を設定

Google Public DNS ipv4

• 8.8.8.8
• 8.8.4.4

Using Google Public DNS
https://developers.google.com/speed/public-dns/docs/using

2014/02/06 誤字を訂正しました。「Goole Public DNS」-> 「Google Public DNS」
プロバイダ情報を追記。
今日はデフォルトのDNS(ASAHIネット)で正常に更新できました。