タグ

2006年7月13日のブックマーク (4件)

  • LLR2006 - Round 2, まだまだいくよ〜 : 404 Blog Not Found

    2006年07月13日18:30 カテゴリLLの夏Lightweight Languages LLR2006 - Round 2, まだまだいくよ〜 Round 2の続き。[Perl6を追記しました] キミならどう書く 2.0 - ROUND 2 - ? Lightweight Language Ring このとき h(n) = k, 1 ≦ k ≦ n ∧ g(k) = max (g(1),g(2),…,g(n)) について h(100) を求めよ. javascript お約束。アルゴリズムはこちらと変わらず。速度は遅い。 h() = where g() = [Elapsed Time: seconds] function Collatz(){ this.timer = 0; this.hmax = 0; this.gmax = 0; this.g = function(num){ v

    LLR2006 - Round 2, まだまだいくよ〜 : 404 Blog Not Found
  • 頭脳が癒されるマンガを買って、弾の財布を癒そう : 404 Blog Not Found

    2006年07月13日14:30 カテゴリ書評/画評/品評 頭脳が癒されるマンガを買って、弾の財布を癒そう Na+さんとこ経由で以下の企画を知ったので便乗。 TOPエンジニアが選ぶ「頭脳が癒されるマンガ」30冊/Tech総研 基準としては、リクナビもたださんもNa+さんも選んでないものをまず条件に。作品だけではなく作家も割愛したので、涙をのんで秋月りすや竹泉も入れてない。それにしてもみんな古いマンガばっか選んでいるというのが何とも。これも業界の地盤沈下の傍証なのかしらん。 アフター0 岡崎 二郎 癒し系の絵と物語なのに、科学技術考証がしっかりしている岡崎さんは超オススメの漫画家。ファンとしては寡作なのがちょっとつらいけど。元素番号118の超重希ガス「シージウム」がクラスレート化合物を作るというのを見てマイッタ(Xeとか見ればその可能性は大いにあり)。人口知能の名前がスキュイーズというのも

    頭脳が癒されるマンガを買って、弾の財布を癒そう : 404 Blog Not Found
  • LLR2006 - Collatz予想は113383に気をつけろ! : 404 Blog Not Found

    2006年07月13日02:00 カテゴリLLの夏 LLR2006 - Collatz予想は113383に気をつけろ! いつの魔にRound 2がはじまっている。 キミならどう書く 2.0 - ROUND 2 - ? Lightweight Language Ring お題は「Collatz予想」(角谷予想,3x+1問題)についての問題です. [中略] また,余力のある者は大きな n についても h(n) を求めよ. これまたtrivialな問題なのだけど、1,000,000とか計算する場合、実は32bit整数では足りない。 タイトルどおり、113383で引っかかるのだ。 113383 → 340150 → 170075 → 510226 → 255113 → 765340 → 382670 → 191335 → 574006 → 287003 → 861010 → 430505 → 12

    LLR2006 - Collatz予想は113383に気をつけろ! : 404 Blog Not Found
  • 数学的にはデジタル情報に著作権はありえない!? : 404 Blog Not Found

    2006年07月13日04:45 カテゴリMath 数学的にはデジタル情報に著作権はありえない!? 以下の数を考察すると、恐るべき結論が導かれる。 404 Blog Not Found:すべての自由意志の集合は自由意志か? 例えば、 0.1234567891011121314151617181920... この数は、自由意志を含むのか? もしこの数そのものに著作権がないとすると..... デジタル情報に著作権はありえない という結論になってしまう。以下、証明。 すべてのデジタル情報は、有限の自然数として表現可能である。 ∴すべてのデジタル情報は、上記の数の小数点何桁目かに必ず現れる ∴すべてのデジタル情報は、上記の数の引用物である ∴引用物そのものに、著作権はない ∴すべてのデジタル情報の著作権は、上記の数の著作権保持者に帰属する ところが、上記の数の著作権はそもそも存在しないか、したとし

    数学的にはデジタル情報に著作権はありえない!? : 404 Blog Not Found