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ネット)で正常に更新できました。

Sylpheed3.3(Windows)でYahoo!メールを受信しようとすると「SSL証明書を検証できません」というエラーが出る

Sylpheed同梱のSSL証明書が古いことが原因のようです。
Sylpheedを3.4.0beta7に更新したら出なくなりました。

2014/02/06追記
安定版を使いたい人は3.4.0beta7のzip版をダウンロードして
Sylpheed-3.4beta7\etc\ssl\certs\certs.crt を
インストールしたディレクトリの etc\ssl\certsにコピーするのが簡単です。
例: C:\Program Files (x86)\Sylpheed\etc\ssl\certs

LibreOfficeが起動できない

Windows8にLibreOffice4.1.4をインストールしました。
LibreOfficeを起動しようとダブルクリックしてもなぜか実行できない。

調べてみるとWriterを入れないと起動できないようです。

Calcしか使わないので外していました。
もう一度インストーラーを起動し、Writerを入れると無事起動できました。
なぜ動かないのにWriter外してインストールできるようになっているんだろう…。

参考
Windows版4.0.1でWriterをインストールしないと起動できない？ | LibreOfficeForum.org:

Thinkpad T440p届きました

1/9に予定通り届きました。
2013/12/2に注文。

1. 2013/12/3 「ご入金確認のお知らせ」 (銀行振込)
2. 2013/12/18 「ご注文商品の納期に関するご連絡」 納品予定 1月上旬
3. 2013/12/25 「ご注文商品の納期に関するご連絡」 納品予定 1月上旬
4. 2013/12/31 「商品出荷のご案内」
5. 2014/1/7 「納品予定日のお知らせ 」 納品予定日  2014/01/09
6. 2014/1/8 クロネコメンバーズから「宅急便お届けのお知らせ」
7. 2014/1/9 T440pが予定通り届いた

まず思ったのは液晶がきれい。(フルHD IPSモデル)比較対象がしょぼい液晶だからかもしれませんが…。

HDDのアクセスインジケータが無いのはかなり不便に感じます。HDDの音も静かなのでアクセスしているかどうかわかりにくいです。なにかソフトを入れればいいのかな…。

タッチパッドは使いにくいと聞いていたので思っていたよりは使いやすい印象。
上真ん中のスクロールは誤ってクリックになりやすいですね
物理ボタンが欲しかった。

Thinkpad R61との比較になりますが液晶のヒンジがしっかりしています。

R61では滑らかに動かないのでいい感じです。

キーボードの左側辺りに結構、熱を感じます。夏は大丈夫かな…。

Windows 8がXPと違いすぎて、戸惑っています。

フレッツ光ネクストのホームゲートウェイ(PR-400MI)が勝手に再起動したりフリーズする

症状はPR-400MIが1日2回ぐらいは勝手に再起動。
他にも、フリーズ(再起動不能)、ひかり電話使用不能状態が2回。

二回目のフリーズが起きた当日にNTTに電話しました。
すると、午後三時過ぎだったのですが、当日にサービスマンを派遣してくれることになりました。


結果、ホームゲートウェイの交換になりました。特に説明はなかったのですが、PR-400NEに変わりました。
勝手に再起動したりすることもなくなり正常に動いています。

Thinkpad T440pやっと出荷されました

2013/12/31にメールで「商品出荷のご案内」が来ました。
NEC LogisticsのWEBサイトで確認すると、
1 工場出荷済＆輸送中 ｌｅｎｏｖｏ工場 2013/12/30
2 お届け先配送 お届け先 2014/01/09
となっていました。

以前の記事
Thinkpad T440pを注文しました