タグ

2005年12月6日のブックマーク (4件)

  • ウイルス対策ソフト比較 2007年度版

    内容がかなり古くなって来ました。この手の情報は新しくないとあまり意味がなかったりするのでご注意下さい。2008年度版については、継続的に使用できる環境がなくなってしまったので多分書けません。(※まぁ、元々誰でも書けるようなことしか書いてなかったりするのでアレ?なのですが...)。すみません。 2006.11.10作成 - 内容が少し“マシ”になったかなと勝手に思っています。しかし、見難さは相変わらずであった... 2006.11.19 「メモリ使用量」と「機能比較」少し訂正入れました。すみません。 2006.12.2 冒頭にちょっと追記 2007.8.8 AVG Anti-Virus FREE Edition の日語版がリリースされました 目次へ移動(M) 【11/11追記】Norton Internet Security の「保護者機能」について確認するのを忘れておりました(滝汗)。U

    peltier
    peltier 2005/12/06
  • 1+1=2の証明って? - 教えて!goo

    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 ならば

    1+1=2の証明って? - 教えて!goo
    peltier
    peltier 2005/12/06
  • 複数のRSSフィードを1つに集約して再配信する

    アイオイクスは12月5日、複数のRSSフィードを1つのRSSフィードに集約して再配信するサービス「MixFeed」を開始した。ユーザー登録すれば誰でも無料で利用できる。 1登録アカウントにつき、最大30の集約したフィードを作成できる。そのフィードは、1つあたり最大20のフィードを集約可能だ。フィードの形式は、RSSのほかATOMにも対応している。フィード情報は、3時間に1回確認、更新する。 また、キーワードのフィルタリング機能があるので、特定のキーワードを含む記事だけを受け取ったり、特定のキーワードを含んだ記事は受け取らないといった設定もできる。キーワードは、集約した1つのフィードに対して最大10キーワード指定可能だ。 同社では、複数のフィードを集約するRSSリミックスサービスは海外RSS MixやFeedShakeなどが展開しているが、日語の利用やフィルタリングに難点があったことなど

    複数のRSSフィードを1つに集約して再配信する
    peltier
    peltier 2005/12/06
  • Programming Place Plus

    サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。