No.l8のDASSさんのコメント、またしてもポイントを突かれちゃいましたね。大切な部分です。 こんどは "=" についての考察でしょう。 x=y とは何を言っているのか。これは実は「一階述語論理」の範疇を少し越えているのです。つまり "="の公理というのはちょっくら胡散臭い。それはこういうものです。 「xを含みyを含まない任意の命題A(x)において、xをすべてyに書き換えて得られる命題をA(y)とするとき、x = y とは どんなAを持ってきても、A(x)が成り立つこととA(y)が成り立つ事が同値である(一方が真なら他方も真、一方が偽なら他方も偽である。)ということを表す。」 つまり、どんなAについても、xとyは同じ性質を示すということを言っているわけです。その帰結として「=の反射則」 x = x 任意の対象xはそれ自身と = で結ばれる、ということ、「=の交換則」 x = y ならば
「Firefox 1.5 と「はてな」の相性がイマイチな件」の続き。 まずは嬉しい情報から。「Hatenabar」が動かなくて困っていた件だが、1.5対応版を公開してる人がいた。 ・filament: Hatenabar for Firefox 1.5 2ちゃんねる拡張スレ経由で知ったが、今のところ全く問題なく動作してる。マジで感謝。文面からは恐る恐る公開した印象を受けるけど、逆にはてなから金一封貰ってもいいくらいだ。 追記 (12/02) 本家も対応した模様。 ・はてなダイアリー日記 - Hatenabar 0.4.3 リリース さて、もうひとつの問題。はてなアンテナが上手く読み込めない件。色々試してみたので報告。 前回のおさらい ・はてなアンテナをブックマーク等から普通に読むと、古いキャッシュデータの方を表示してしまう ・一度リロードすればちゃんと更新される ・sageでアンテナのフィ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く