タグ

2006年2月3日のブックマーク (2件)

  • GmailをEdMaxで使う(SSL非対応メーラーのSSL化) wstunnelを使う | patagonの日記 | スラド

    常用のメーラーEdMaxはSSL非対応。しかしThunderbirdは慣れてないのでやはり今ひとつ。 そこでStunnelを使ってEdMaxでもSSLを使えるようにした。といってもとっかかかりってことでGUIなソフトwstunnelで逃げた。しかしGUIなやつはタスクバーにアプリケーション表示されてかったるい。後日Stunnelでサービスとしてあげるか(追記 あげました)。 ポイント クライアントとして使う限りは証明書を取得しておく必要はない。 最低限ここ見れば分かる Drive Network | wstunne Becky!(SSL実装化前のバージョン)の設定だが参考になる。 イサカ・インフォ - メールソフトの「SSL化」 読んでおくべき メーラーのSSL化 何でもSSL! wstunnel(stunnelをGUI化したもの) S/Goma V2: 参考資料 2003. 1月号 「S

  • Passion For The Future: 四色問題

    四色問題 スポンサード リンク ・四色問題 四色問題 「四色あれば、どんな地図でも隣り合う国々が違う色になるように、塗り分けられることができるのか。」 証明がなくても経験的に、どんな地図でも四色で塗り分けられることはわかっていた。しかし、いざ証明しようとすると、「どんな地図でも」が問題になる。地図のパターンは無限に見えるからだ。証明に至るには150年の歳月がかかった。膨大な計算が必要であり、現代のコンピュータの力を借りる必要があった。 最終証明は100ページの概要と100ページの詳説、700ページの予備的成果、印刷すると高さ1.2メートルに及ぶ1万点の図。その計算をするためのコンピュータの稼働時間は1000時間に及んだ。 四色問題を解くには、塗り分けに五色以上を必要とする地図を仮定し(ないのだが)、そこに描かれている国の数が最も小さいケース=最小反例が存在できないことを証明しなければならな