トップ «前の日記(2007-12-15) 最新 次の日記(2007-12-17)» 月表示 編集

日々の流転


2007-12-16 [長年日記]

λ. ガルベスアドベンチャー

小太郎ゲーム オンライン:赤ちゃんガルベスが冒険するガルベスアドベンチャー 【日本語版】 を遊ぶ。 デビルエンドが難しかった。

[ガルベスアドベンチャー]

Tags: game

λ. 円定期1年もの 金利1.2%キャンペーン

住信SBIネット銀行円定期1年もの金利1.2%キャンペーンというキャンペーンをやっている。今募集している利付国債(5年)*1が年1.1%(税引後 年0.88%)しかないのに、年1.2%(税引後 年0.96%)の定期預金というのは素晴らしいね。 E*TRADEの口座を持っていれば、ネット上だけで口座を作れるようなので、ちょっと預けてみようと思う。

【追記】 新生銀行冬の特別円定期として年1.1%(税引き後0.88%)というのをやっているな。また、500万以上預けるとプラチナ円定期となり、年1.2%(税引き後0.96%)になるようだ。 結構、こういうキャンペーンをやっているところはあるのね。

Tags: money

*1 利付国庫債券(5年)第68回

λ. S5のS4への埋め込み

[Coq-Club] Theorem Prover for Modal Logic S5 に「Formula A is a theorem of S5 iff formula <>[]A is a theorem of S4」と書いてあった。どうやって証明するのかしばらく悩んでしまったのだけど、ヒルベルト流の証明を考えて、証明の構造に関する帰納法で証明出来ることを確認した。ヒルベルト流は色々と面倒なので、証明できることを確認しただけで実際に証明はしていないけど。