日々の流転

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

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

λ. 円定期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%)になるようだ。 結構、こういうキャンペーンをやっているところはあるのね。

λ. 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」と書いてあった。どうやって証明するのかしばらく悩んでしまったのだけど、ヒルベルト流の証明を考えて、証明の構造に関する帰納法で証明出来ることを確認した。ヒルベルト流は色々と面倒なので、証明できることを確認しただけで実際に証明はしていないけど。