タグ

2011年9月20日のブックマーク (26件)

  • プログラマーの感覚とデザイン。 - このブログは証明できない。

    プログラミングとデザインにおける論理と感覚って、同じようなものなんじゃないかな。とようやく実感してきた。だからこそ、僕たちがプログラミングに触れてきたようにデザインに触れてきたデザイナーさんの力を借りたいよね。あと、コミュニケーション大事。そんな話。 祝日の朝にカフェでダラダラ書いたので、グダグダで読み返すと何言ってるかわからない。でも、休みの日にカフェでプニプニと文章書いてると、気分転換になってよかった。事をとらずに費を浮かせてカフェラテを注文したかいがあった。 デザインが見えない。 今年の1月ごろからずっと「デザイン」「デザイン」と言ってるけど、まったく何もやってない。とっかかりがわからなくて、手が出せない感じ。デザインという言葉自体、幅が広くて、デザインの対象がコミュニケーションだったりユーザーインターフェイスだったりする。そこも絞れていない感じ。絞れていないというか、共通する基

    プログラマーの感覚とデザイン。 - このブログは証明できない。
    terazzo
    terazzo 2011/09/20
    まあ設計を英語で言うとデザインだしな。
  • 偏光からわかったガンマ線バーストの起源

    【2011年9月20日 金沢大学】 太陽セイル「IKAROS」に搭載した機器により、宇宙最大の爆発現象であるガンマ線バーストの偏光が観測された。このユニークな観測により、ガンマ線バーストが強い磁場の中から発せられる複数のジェットであることが突き止められた。 ガンマ線バースト天体からの光が偏光するイメージ。ジェット内の赤色の線は強磁場、ピンク色の矢印は光の偏光方向を表す。クリックで拡大(提供:金沢大学) ガンマ線バーストとは、ごく短い時間だけ非常に強力なガンマ線が放射される現象のことで、宇宙最大規模の爆発現象として知られている。また、100億光年を超えるような遠方の宇宙で発生しているため、宇宙初期を探る上でも重要な天体現象として知られている。 しかし、この非常に強力なガンマ線を作り出すメカニズムや、そもそもガンマ線バースト天体とは何であるのかという点については、よくわかっていないことが多かっ

    terazzo
    terazzo 2011/09/20
    IKAROS良い子。7月以降もガンマ線バースト検出してたんだな。
  • ブラックホール周囲の「ポリリズム」な振動を発見

    【2011年9月20日 国立天文台】 国立天文台の加藤成晃研究員らのグループは、超巨大ブラックホールの周りに形成される「大気(降着円盤)」における複数周期の振動を、世界で初めて観測することに成功した。今後、この振動の様子から、ブラックホールの性質を決定する「自転の大きさ」を測定することが可能になる。 ブラックホールの性質は、質量、スピン(注)、電荷の3つの要素で決定されるため、これらについて調べることは非常に重要な研究テーマだ。 ブラックホールの質量は、ブラックホールの周りにある星の軌道やガスの動きから測定することができる。しかし、スピンはブラックホールの大きさの約10倍以内という非常に狭い領域にしか影響を与えず、ブラックホールの見かけの大きさは小さすぎるため、現在の観測装置ではスピンを測定することができなかった。 そこで今回、このブラックホールのスピンを観測するためにブラックホールの「大

  • スペース・コブラ [第1話無料] - ニコニコチャンネル:アニメ

    超強力なビーム銃”サイコガン”を左腕に仕込んだダンディな宇宙海賊・コブラは、悪には強いが美女には弱い”おたずね者”。財宝の地図の秘密を解くカギを持つ三人の美女を海賊ギルドの魔の手から守るため、相棒のアーマノイド・レディとともに愛機タートル号で宇宙を駆け巡る! 寺沢武一の大人気コミックをベースに、壮大なストーリーをハードボイルド・タッチで描かれたスペースアドベンチャー。出崎統、竹内啓雄のスタイリッシュな演出や、ジャズ・テイスト溢れる羽田健太郎の音楽など、大人の魅力を数多く持った大ヒットSFアクションだ。 原作:寺沢武一 企画:片山哲夫、久保田栄一 プロデューサー:加藤俊三、大野幸正 チーフディレクター:出崎統、竹内啓雄 シナリオ:山崎晴哉、三木孝祐、寺田憲史 ディレクター:大賀俊二、奥脇雅晴、他 作画監督:杉野昭夫、大塚伸治 文芸:山崎敬之 美術監督:水谷利春、石垣努

    スペース・コブラ [第1話無料] - ニコニコチャンネル:アニメ
    terazzo
    terazzo 2011/09/20
    まぎれもなく ヤツさ
  • 20分でわかるPurely Functional Data Structures (PDF)

    20分でわかる Purely Functional Data Structures k.inaba (http://www.kmonos.net/) Apr. 4, 2010 あらすじ イ ミ ュ ー タ ブ ル デ ー タ 構 造 は 遅 い Immutable Object だけで作るデータ構造 このの 内 容を 全速力で 布教する お題:キュー (Queue) • FIFO (First-In First-Out) • pushBack(e) でデータeを入れる • popFront() で取り出せる • 入れた順に出てくる • 以上 破壊的キュー Immutable Object でない 打倒すべき目標 代 入 手続き型でよくある interface Queue<E> { void pushBack(E e); E popFront(); } よくある実装 1 2 3 ・ 4 ・

    terazzo
    terazzo 2011/09/20
  • Googleでブロックすると便利なサイトを教えて下さい http://www.google.com/reviews/t 例: b.hatena.ne.jp, ceron.jp

    Googleでブロックすると便利なサイトを教えて下さい http://www.google.com/reviews/t 例: b.hatena.ne.jp, ceron.jp

    terazzo
    terazzo 2011/09/20
    知らんかった>http://www.google.com/reviews/t
  • 47NEWS(よんななニュース)

    未整備の雪山を滑る「バックカントリー」、遭難事故が今冬も続発 新潟県警南魚沼署管内で7件12人、「準備徹底、ルール守って」

    47NEWS(よんななニュース)
    terazzo
    terazzo 2011/09/20
  • DynaMoW: Dynamic Mathematics on the Web

    terazzo
    terazzo 2011/09/20
  • SML# - SML#プロジェクト

    SML#は東北大学電気通信研究所 大堀研究室 が開発を進めているプログラミング言語です.従来のStandard MLの定義と後方互換性を保ちながら,我々の基礎研究で得られた実用上重要な成果を取り入れて設計されています. ニュース SML#の開発はGitHubに移行しました.今後このWebサイトは更新しません.最新情報は https://smlsharp.github.io/ をご覧ください.

    terazzo
    terazzo 2011/09/20
  • プログラムの理論とはなにか - きしだのHatena

    プログラムには、手続きを記述するという側面と、式を記述するという2つの側面があります。 そして、それぞれの基礎理論としては、チューリングマシンとラムダ計算があるので、プログラムの理論としては、この2系統を勉強する必要があると思います。 ラムダ計算というのは、式によってどのような計算ができるかという理論です。式による条件分岐はそれほど難しくなく、Yコンビネータなどの不動点定理で、式によって繰り返し処理が行えるということが証明されたので、どのような計算でもできるということになっています。 チューリングマシンの理論とは、どのような手続きがどのような性質をもつかという理論です。プログラムの性質というのは、ある出力を行うプログラムが、入力に対してどのように時間がかかるか、どのようにメモリを使うかというものです。そしてこれがアルゴリズムの理論になります。 ところで、ぼくはブログで「アルゴリズムを勉強す

    プログラムの理論とはなにか - きしだのHatena
    terazzo
    terazzo 2011/09/20
    例えば「ソートアルゴリズムを沢山憶えましょう」じゃなくて「種々のソートアルゴリズムから計算量について学びましょう」と言いたいならそう言わないと通じないと思う。
  • プログラミングの魔導書 Vol.2 発売前レビュー - ぐるぐる~

    Vol.1 に引き続いて、献頂きました。ありがとうございます! 書籍の情報に関しては、 株式会社ロングゲート - 製品紹介 プログラミングの魔導書 〜Programmers' Grimoire? Vol.2 や 『プログラミングの魔導書 Vol.2』予約開始! - Faith and Brave - C++で遊ぼう を参考にどうぞ。 今回の魔導書は、前回の C++ オンリーな内容とは違い、F# や Scala、Haskell に Coq などなど、色々な言語の話が盛りだくさんです。 静的型付けの言語に偏ってはいますが、今回の内容は動的型付けの言語を使っている人にも読んでもらいたい内容になっています。 さすがにすべてをすぐに読み下すのは難しいとは思いますが*1、それでも得るものは多いでしょう。 今回の逆で、動的型付けの言語中心の内容というのもちょっと読んでみたいなぁ。 Vol.2 で個人的

    プログラミングの魔導書 Vol.2 発売前レビュー - ぐるぐる~
    terazzo
    terazzo 2011/09/20
    なんと!>今回の魔導書は、前回の C++ オンリーな内容とは違い、F# や Scala、Haskell に Coq などなど、色々な言語の話が盛りだくさんです。
  • リリカル☆Lisp開発日記 » Blog Archive » Kashiwa Scheme(のスタック)にごみ集めが付きました

    先日述べたとおり、Kashiwa SchemeはSchemeからCへのトランスレータであり、 Schemeの(CPS変換された)手続きはCの関数に変換されます。 しかし、そのCの関数ではreturnにたどり着くことはなく、スタックは伸び続けます。 (詳しくは元ネタのこの論文を読んでください) とまあ、当にスタックが伸び続けたらいつかは死んでしまう訳で、 実際のところはスタックが一定より伸びた所で手を打ちます。 具体的には、スタック上にある『必要なもの』だけをヒープにコピーして、 longjmpを呼び出してスタックを巻き戻してから処理を再開します。 変換されたCの関数というのは以下のような形をしています static void fun112_(env_t* penv113_, lobject g108_) { cont_t clos125_; env_t* cenv114_; check_

    terazzo
    terazzo 2011/09/20
  • yebo blog: Mac OS X Lionはパスワードクラックが簡単

    2011/09/20 Mac OS X Lionはパスワードクラックが簡単 セキュリティスペシャリストのパトリック・ダンスタン氏が、Mac OS X 10.7 "Lion" は一般ユーザでも他ユーザのパスワードハッシュに容易にアクセスできると報告している。Mac OS XではユーザのパスワードはSHA512と4バイトのソルトでハッシュ化されて保存され、rootからしかアクセスできないようshadow化される。ところが、Lionでは認証の手続きを変更してしまったため、一般ユーザでもディレクトリサービス経由で("dscl localhost -read /Search/User/user_name")、shadowファイルからパスワードのハッシュを読むことができるそうだ。ハッシュコードからパスワードに変換することはできないが、ブルートフォース攻撃でハッシュと比較するだけでパスワードが解読可能に

    terazzo
    terazzo 2011/09/20
  • ソフトウェアの品質はいつ決まるのか?〜「Point of Sales」から「Point of Use」へ | Social Change!

    ソフトウェアの品質はいつ決まるのか?〜「Point of Sales」から「Point of Use」へ | Social Change!
    terazzo
    terazzo 2011/09/20
  • この間までレンタルビデオ屋でアルバイトしてた

    追記 携帯で朝方にだらだら書いたやつに、反響があって驚いた。 単純なお願いだけど、タンブラーとかへの転載やめて。増田まとめとかもあるみたいだけど、それも勘弁して。 理由は特には無くてなんか嫌だからって理由だけだから、まぁ別にされたらされたでいいんだけども。 ただその時はお願いしたって無駄なもんはある!って1つ勉強になるだけだから。 追記2 タンブラーに転載されて、それが転載されまくってたっぽい……まぁ、そんなもんですよね…… 以下、文。 ちょっと韓国ドラマについてのお話。率直に言うと、儲けの観点から見て、レンタルビデオ屋からの立場から言えば、テレビ韓国ドラマ流すのはもう大歓迎。むしろ、じゃんじゃんやれ!って具合。以下、理由を話す。 これを書く動機。 うちのお店は、割と中堅くらいの大きさで、レンタルビデオの割合としては、韓国ドラマ3:洋画4:邦画2:アニメ1くらいの店で、結構前からそんな

    この間までレンタルビデオ屋でアルバイトしてた
    terazzo
    terazzo 2011/09/20
    >暇つぶしの手段が少ねえのよ。
  • ナスカよりも古くに描かれた「地上絵」中東で数千個発見 – ロケットニュース24(β)

    中東で驚くべき歴史の遺産が発見された。地上絵といえば、南米ペルーのナスカの地上絵が有名なのだが、それを上回る規模の地上絵が中東のシリア・ヨルダン・サウジアラビアなどの国々で発見されたのである。しかも、ナスカよりも古くに作られた可能性があるというのだ。 この発見に考古学者や歴史学者は当惑しているという。 これらの地上絵は、衛星による航空写真技術で発見された。描かれているのはストーンホイール(石の車輪)と見られている。描かれたのは2000年前と推定されており、ナスカのものより古い可能性も指摘されている。このことに考古学者らは衝撃を受けているようだ。 このことについて、西オーストラリア大学の古代史・古典学のデビッド・ケネディ教授は「ヨルダンを中心に広範囲にわたって、ナスカよりも多く、そして古いものが発見されている。この地域に住む人々は、古くからこの地上絵の存在を知らず、そのうえを歩き回っていたよ

    terazzo
    terazzo 2011/09/20
  • 東京新聞:福島第一 建屋に地下水大量流入か 収束作業に難題:社会(TOKYO Web)

    東京電力福島第一原発1~4号機の原子炉建屋やタービン建屋地下に、一日数百トンの地下水が流入している可能性のあることが分かった。汚染水処理の実績などから計算すると、五万トン強まで減っているはずだが、実際には八万トン強も残る。東電も地下水流入の可能性を認めており、地震で建屋地下の壁が損傷し、流入していることが考えられる。今後の収束作業に影響が出そうだ。  建屋からくみ出した汚染水の移送量や原子炉への注入量など東電が公表したデータを紙が集計したところ、約十万トンあった汚染水は、十三日時点で約五万千六百トンにまで減っているはずだった。 しかし、実測の地下水位から東電が推計した汚染水残量の最新値は約八万千三百トン。移送量などから逆算した値とはほぼ三万トンの開きがある。 東電はこれまで、汚染水がなかなか減らない理由を、雨水の影響と説明してきた。福島第一周辺では、七月以降の三カ月間に三回まとまった雨が

    terazzo
    terazzo 2011/09/20
    地震だけなの?>地震で建屋地下の壁が損傷し
  • InstagramのPivot(方向転換)や成功要因を共同創設者が明かす – TechDoll.

    2010年10月のローンチからわずか3ヶ月で100万ユーザを獲得したInstagram。 現在の登録ユーザ数は900万人、1,000万人にも遠くない。そんなレジェンドアプリのInstagram共同創設者Kevin Systromが Future of Mobile Conferenceで話した内容。TheNextWebの記事。 -最初のアプリ“Burbn”から学んだこと Instagramの前、現在地や写真を共有できるソーシャルチェックインアプリをつくった。小規模なユーザベースにそこそこウケていたものの、複雑で特徴もなく、遅かった。アプリそのものは悪いアイディアじゃなかったけど、その分野に何も新しさをもたらしてなかった。結局BurbnがInstagramを成功させる前のテストアプリのような役割を果たした。 鍵は、‘unexpected behaviors’ (予想されない行動)を特定し、作

    InstagramのPivot(方向転換)や成功要因を共同創設者が明かす – TechDoll.
    terazzo
    terazzo 2011/09/20
  • asahi.com(朝日新聞社):ヒマラヤ地震、死者70人超す 通信途絶、救援進まず - 国際

    印刷 関連トピックス地震ネパール・カトマンズで19日、地震で崩壊した建物のそばで立ちすくむ子どもたち=AP  インド北東部シッキム州のヒマラヤ山中で18日夜に起きたマグニチュード(M)6.9の地震で、被害は隣接するネパールや中国を含む広い範囲におよび、PTI通信によると、死者は3カ国で少なくとも71人に達した。  発生から1日以上たっても、通信手段が途絶え、救援部隊が入れない地域が広範囲に広がっており、死傷者の数はさらに増える可能性がある。  インドではシッキム州で41人の死亡が確認された。州都ガントク周辺では、州議会や政府庁舎、警察部を含む多数の建造物が損壊し、被害は全家屋の85%に及んだ。土砂崩れで道路が寸断され、悪天候のためヘリコプターによる救援が思うように進まず、震源地に近い同州北西部の大半は孤立したままだ。周辺の州でも計16人が死亡した。 関連記事ヒマラヤでM6.9地震 18人

  • 食中毒:社員食堂で食事196人発症 長野・塩尻 - 毎日jp(毎日新聞)

    長野県は19日、同県塩尻市のセイコーエプソン広丘事業所にある社員堂で事をした196人が、病原性大腸菌O148による中毒を発症したと発表した。 県松保健所によると、患者は5~9日に発症。腹痛や発熱などを訴え1人が入院したが既に退院し、いずれも快方に向かっている。患者と調理者計8人から菌が検出された。 堂運営を受託している「エームサービス」(社・東京都港区)の説明では、同社が運営する神奈川、山梨両県の計6カ所の企業堂などでも今月、O148による集団中毒が続発。患者は167人に上ったという。このほか塩尻市や関東地方の計6カ所でも中毒が確認され、保健所が状況を調べている。 同社によると、横浜市の検査で堂にあった生用の「長ネギ小口切り」からO148が検出された。中毒の起きた各堂に提供されており、同社はこれが原因品とみている。ネギは9月1~9日の間に50事業所の堂で使われ

    terazzo
    terazzo 2011/09/20
  • チョコレートは百害あって一利なしだった!? - ガジェット通信

    「チョコレートが脳の活性化に役立つ」 という言葉は、どこかしらで耳にしたことがある方が多いと思う。 「チョコレートには記憶力や集中力をアップさせ、さらにはリラックス効果もあり、ボケ防止にも役立つ! ぜひチョコレートを活用しましょう」といった感じだ。 「チョコレートはべ過ぎないようにしたら大丈夫」 そんな人が多いのではないだろうか。 私の見解をはっきり言わせてもらおう。チョコレートは、白砂糖と添加物の「化学物質の塊」である。 確かに、集中力や記憶力は上がるかもしれない。ただし、それはあくまでカカオに含まれているテオブロミンの効果であり、チョコレートの効果ではない。当に集中力を付けたいならカカオをべるべきだ。 さらには、 「ブドウ糖は脳の唯一のエネルギー源です」 「脳にはエネルギーを貯蔵するしくみがありません。だから定期的に糖分を補給する必要があります」 「チョコレートをうまく活用して

    terazzo
    terazzo 2011/09/20
    マクロビ臭
  • 「無能な人ほど会社に残る」3つの理由

    なんか炎上しそうなタイトルですが、最近ホント感じます。皆さんの周りでも、この感覚ってありませんか? 僕の周りでは、自己表現が下手で、会社以外の活動なんかほとんどしない人ほど、会社という枠に凝り固まります。 そうした方々が会社に残る理由は意外と似通っており、3つほどあるように思います。 1. 情報統制この点、象徴的なのはAさんでしょう。彼は部下が個人プロジェクトで制作したウェブサービスを、「リスクだから」という理由でお蔵入りにするという経験をし、部下に対して「勝手なことするなと思った」、と語っています。 Aさんに限らず、このブログをお読みの皆さんも、どこかでこの種の「勝手なことをするな感」を体感したことがあるはずです。社内からフェイスブックやツイッターにアクセスする、という部下や同僚も少なからずいるようですし…。個人と組織の問題は、今後ますます課題となっていくでしょう。 2. 時間・場所に縛

    「無能な人ほど会社に残る」3つの理由
    terazzo
    terazzo 2011/09/20
  • 東日本大震災:愛知の花火大会、福島製打ち上げ中止 「支援」名目でも苦情相次ぐ - 毎日jp(毎日新聞)

    愛知県日進市で18日夜にあった花火大会で、放射性物質の拡散を心配する声が市に寄せられたことを受け、市などでつくる実行委員会が、福島県の業者製造の花火の打ち上げを中止していたことが分かった。 大会は「にっしん夢まつり・夢花火」。東日大震災の復興支援を掲げ岩手、宮城、福島県の花火各80発を打ち上げる予定だった。 市によると、16~17日に市へ「放射性物質をばらまくのか」などの苦情や問い合わせが電話やメールで約20件寄せられたため、実行委が対応を協議。福島県の花火を作った同県川俣町の菅野煙火店が計画的避難区域の外にあることなどから当初は予定通り行う意向だったが、17日になって取りやめを決定。福島県の花火に代えて愛知県の業者の花火を使った。宮城県と岩手県の花火は打ち上げた。 実行委事務局の市産業振興課は「放射線量の確認が間に合わなかった。安全を示す確実なデータがなかった」と中止理由を説明。萩野幸

  • モバイル決済サービス「Google Wallet」、正式に提供開始

    携帯電話をタップまたはスワイプすることで決済を可能にする「Google Wallet」が米国時間9月19日、Sprint Nextelが提供するスマートフォン「Samsung Nexus S」に初めて搭載され、米国で正式に提供が開始された。 クレジットカード大手のVisaおよびAmerican Expressやモバイル通信事業者らを含む他の企業も、独自のデジタルウォレットの提供開始を米国では発表している。しかし、Googleが自社のデジタルウォレットを最初に市場投入する企業となった。 同サービス開始当初のパートナーとしては、Citibank、MasterCard、およびSprintがある。つまり、利用者側にとって、最初のうちでGoogle Walletが利用可能なクレジットカードは、実質的にCitibank MasterCardのみということになる。Googleは、Citibank Mas

    モバイル決済サービス「Google Wallet」、正式に提供開始
  • 【MMD】「環境3.0」を公開いたします【配布】 ‐ ニコニコ動画(原宿)

    ★重要!:天空セットの配布物で誤りがありましたので訂正版を出します。9月19日20時半までにDLされた544名の方、すみませんが(http://loda.jp/silver_spoon/?id=148)から再度DL願います。ごめんなさい。★今回は環境3.0を作った理由や、効果のサンプル等を中心とした動画です。★環境3.0天空セットはこちら:http://loda.jp/silver_spoon/?id=148★動画で使用した地形はこちら:http://loda.jp/silver_spoon/?id=147★私のマイリス:/mylist/11752168

  • マントルで生成されたダイヤモンド | スラド サイエンス

    地球の炭素循環が下部マントルまで到達しているという研究結果が発表された。論文は9月16日号のScience誌に掲載されている( Science誌の論文概要、 ScienceDailyの記事、 msnbcの記事)。 従来の観測では、炭素循環はおよそ地表から400km下の上部マントルに達すると考えられてきた。地震学および地球化学的にみると、海洋地殻が下部マントルにまで沈み込む可能性もあったが、実際の岩石サンプルを入手することは困難だった。 英ブリストル大学のMichael Walter教授は、ブラジルおよび米国の仲間とともにブラジル・ジュイナのキンバーライト鉱床で採掘された「超深度」ダイヤモンドを分析した。通常のダイヤモンドが200km程度の深さで生成されるのに対し、希少な超深度ダイヤモンドは非常に深い場所で生成されたことが含有物の組成からわかるという。6個の超深度ダイヤモンドの含有物を分析し

    terazzo
    terazzo 2011/09/20