タグ

2010年2月17日のブックマーク (4件)

  • AutoPagerizeで継ぎ足された部分に自分のスクリプトを適用する方法あれこれ - os0x.blog

    以前からある手法から順番に見ていきます。 ページの高さの監視 setIntervalでページの高さを監視して、増えていたらAutoPagerizeが動いたとみなして処理を行う var THRESHOLD = 300; var _height = window.innerHeight; setInterval(function(){ if (window.innerHeight - _height > THRESHOLD) { // 処理 } _height = window.innerHeight; }, 300); メリット AutoPagerizeだけでなく、はてなダイアリー・ブックマーク、Twitterなどでのサイト側でのページの継ぎ足しにも対応できる デメリット THRESHOLDをいくつにするかなど、一概に決められない。タイマーをたくさん回すと重くなる。Floatしている要素を継

    AutoPagerizeで継ぎ足された部分に自分のスクリプトを適用する方法あれこれ - os0x.blog
  • Git 1.7.0登場、一部に後方互換性なし | エンタープライズ | マイコミジャーナル

    Git - Fast Version Control System バージョン管理システムGitの最新版となるGit 1.7.0が公開された。リポジトリフォーマットは変更されていないが、これまで長らく議論されてきた変更が加えられており、操作コマンドやその振る舞いが変更されGit 1.6.6と後方互換性が失われている。主な変更点は次のとおり。 ブランチに対する"git push"はデフォルトでは動作しなくなる。同じように"git push $there :$killed"の振る舞いも変更となる これまで2つ以上のメッセージとともにパッチシリーズを送信した場合"git send-email"はディープスレッドを作成したが、すべてのメッセージは最初のメッセージへのリプレーという形へ変更となる "git status"はもはや"git commit --dry-run"としては機能しない "git

    tarao
    tarao 2010/02/17
  • 計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記

    ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)=プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明=プログラム , (   {、 {   ヽ.ー、、 \、__ぃ._ゝ⌒ヾ iヾ)}、_ ン_ー-_二ー-, 〉 {厶 _、ヽ              _ ヽ._>'´ / /,ィ/ / ハYヘい       ,. -- 〃⌒ r−-、      ィ´  〃 ,イ/7'  ,イイ/ 小ヽ 丶、 ,. ‐ '´ハ i   ″`ヽ、 、ヽ、     /幺ィ  {从{小込v' jゥ仏厶川リ}  YV,   小 Vj. |丶   ヽ ` ー-ミー--'_,辷三彡

    計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記
    tarao
    tarao 2010/02/17
  • ベテルギウスの最期:超新星の兆候とその威力 - Active Galactic : 11次元と自然科学と拷問的日常

    最近、オリオン座のベテルギウスに関して"刺激的な"タイトルのニュースが流れた。オリオン座は覚えやすく都会でも楽しめる手軽な星座だ。そのオリオンが肩を壊すかもしれないとなれば書かざるを得ない。 重い星の死 天蓋にぶら下がる星々は永遠の存在ではなく、だいたい数百万年から数兆年の寿命で移ろいゆく。ヒトの死が多様であるように、星の死にもまた個性がある。それは体重や組成、相方の有無などによって決まり、静かに冷たくなることもあれば、木っ端微塵に吹き飛ぶこともある。ベテルギウスのような重い星は、超新星と呼ばれる大爆発によって焼死する。爆発の閃光はひとつの銀河に匹敵するほどであり、ベテルギウスのような至近爆発ともなればどのような状況が生じるのか興味は尽きない。そして、爆発はどのくらい差し迫っているのだろう。 どのような超新星を起こすのか ベテルギウスは水素をたっぷり含んだ赤色超巨星なので、もし今爆発するな

    ベテルギウスの最期:超新星の兆候とその威力 - Active Galactic : 11次元と自然科学と拷問的日常