「想定外」は工学では最も重い罪: 望湖庵日記 Lakeside Diary
今回の東日本大震災では，たくさんの "想定外" の事象は発生したものですから， "起こさないこと" に重点を置き， "起きた時にどう対処するか" を実に本当に考えていなかった結果，深刻な事態が各所で発生しています． 理学の分野では "想定外" は胸躍ることであり，それを常に探し求めることが仕事の重要な一部となります．ニュートン力学が想定していなかったことが次々と発見された19世紀末から20世紀前半にかけて，量子力学や特殊相対性理論という新しいパラダイムが構築されていきました．理学にとっては "想定外" は革新のための駆動力であり，想定内のことしか起きないのであれば，そこで学問は停滞してしまいます． しかし，工学ではそうはいきません．工学はあくまでも実用の学です．私たちが生活する日常空間で，技術的にも経済的にも成立するモノを作り上げ使用していく，というための学問です．基本的な性能を発揮するた
yebo blog: SSLにDNSSECを導入することの批判
2011/04/12 SSLにDNSSECを導入することの批判 コモド事件などからSSLの信頼が揺らいでいる。そこで、IETFではDNSSECを導入して、SSL証明書の信頼を確認しようとする動きがある(DANE WG)。そんな中、セキュリティ研究者のMoxie Marlinspike氏がブログに「SSL And The Future Of Authenticity」と題するエッセイで、現在のCAシステムには問題があることを認めつつ、DNSSECを使うことを強く警告している[slashdot]。DNSもCAも同じような階層的な信用システムを使っている以上、CAシステムと何ら変わりない。DNSSECの場合は3つの階層クラスを無条件に信用しなければならない。レジストラ: GoDaddyのようなレジストラは果たして信用できるか? TLD: .comの場合はCAシステムでも登場するVeriSignで
323年前の難問「モリニュー問題」、MIT科学者らが解く
仏ラバル（Laval）で開かれたバーチャルリアリティのイベントで、立方体に触れる来場者（本文とは関係ありません、2009年4月22日撮影）。(c)AFP/THOMAS BREGARDIS 【4月11日 AFP】323年前にアイルランドの政治家ウィリアム・モリニュー（William Molyneux）が哲学者のジョン・ロック（John Locke）に宛てた書簡で投げかけた人間の知覚をめぐる未解決の難問、「モリニュー問題」をついに解決したと、米マサチューセッツ工科大学（Massachusetts Institute of Technology、MIT）の科学者らが10日、発表した。 モリニューの投げかけた問いは、「先天的に目が見えず、球体と立方体を触覚によって区別していた人が、突然目が見えるようになった場合、手を触れずに球体と立方体を見分けることができるか」というもの。 ■「経験論」対「生得論
巨大風車による環境破壊: 日本に巨大風車はいらない
武田恵世氏の『風力発電の不都合な真実 風力発電は本当に環境に優しいのか？』（アットワークス刊）を先ほど読了しました。 多くの日本人同様、著者も当初は「風力発電は、石油などの化石燃料を使わないので排気ガスを出さず、CO2を排出しない環境に優しい自然エネルギーだ」と信じ、大きな期待を抱き、出資しようと思っていたひとりでした。しかし、目の前で展開される事業のあまりの杜撰さ、でたらめぶりに疑問を抱き、ひとつひとつ「本当のところはどうなっているのか」と調べていきます。 そうして11年かけて調査し、検討した結果「現状では風力発電は決して推進してはならない」という結論に達し、本書を書くまでに至った、ということがまえがきに書かれています。 風力発電に期待を抱いている人には、前半だけでも読んでいただきたいと切にお願いしたいのです。 スマートグリッド、NAS電池、揚水発電所との併用の話も紹介しています。ヨーロ
Introducing CityHash
The latest news from Google on open source releases, major projects, events, and student outreach programs. We’re pleased to announce the new CityHash family of hash functions for strings. We’re releasing two functions today: CityHash64 and CityHash128. They hash strings to 64- and 128-bit hash codes, respectively. These functions aren’t suitable for cryptography, but our experience so far shows t
Introducing /run [LWN.net]
What's this /run directory doing on my system and where does it come from? Heya, I just uploaded a new version of systemd into F15, which establishes a directory /run in the root directory. Most likely you'll sooner or later stumble over it, so here's an explanation what this is and why this is. It's a fairly minor technical change, though presumably people consider this a bigger political change,
第一原発行ってきたけど質問ある？:じゅげむ2ch
1：じゅげむじゅげむ…：2011/04/09(土) 21:57:53.43 ID:d/Bi4Oc/0 特定されると嫌だから詳しい作業内容とかは勘弁な 2：じゅげむじゅげむ…：2011/04/09(土) 21:58:50.15 ID:m+yfP9aw0 余命何年減った？
あの「広告」は本当なのか。 - バカだもん。-月に咆える-
とりあえず何も言わず、コレを見ていただきたい。 YouTube動画 今回３月１１日に起きた未曾有の大災害、東日本大震災。 友人も被災し、連絡が取れなくなったり自分自身もいろんな対応で大変でした。 そんな中、沢山のメディアが広告、つまりCMを自粛しACの広告を放送することになりました。 コレを書いてるときもリアルタイムで放送されてるんですけど、もう気が滅入るほど毎日何度も耳にしたことだと思います。 そこで気になったことが一つ。 「あいさつするとともだちはふえるのか？」 そこで昨日の昼間、仕事の帰り道にたまたま駅前で友人と会ったので二人でやってみた。 ルールはこう。 自分達の前を人が通るたびにあいさつする。 それだけ。 一人目、普通のオジサン。 「こんにちわ！」 無視 二人目、普通のオジサン 「こんにちわ！」 無視 ３人目、主婦 「こんにちわ！」 無視 ４人目、若い女性 「こんにちわ！」 無視
DMTCP : Distributed MultiThreaded Checkpointing
DMTCP (Distributed MultiThreaded Checkpointing) transparently checkpoints a single-host or distributed computation in user-space -- with no modifications to user code or to the O/S. It works on most Linux applications, including Python, Matlab, R, GUI desktops, MPI, etc. It is robust and widely used (on Sourceforge since 2007). Among the applications supported by DMTCP are MPI (various implementat
関数型言語での関数の基礎知識 - あどけない話
関数型言語での関数について、Haskell を用いて説明します。 関数の型 関数の型は、-> を使って書きます。例えば、Int を Char に変換する chr という関数の型は、以下のようになります。 chr :: Int -> Char 一引数の関数の型は、まぁこんなもんだと思えるでしょう。びっくりするのは、引数が増えたときです。たとえば、replicate という関数の型を見てみましょう。 replicate :: Int -> a -> [a] replicate は、第二引数で指定されたデータを第ー引数に指定された個数分用意して、リストにして返す関数です。([] は配列ではなく、リストです。) 次のように動きます。 > replicate 3 "foo" → ["foo","foo","foo"] a は型変数といって、任意の型を取れます。なじめない人は、具体的な型を当てはめてみ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
2011-04-10
Announcing the release of Foresight Linux 2.5.0 [LWN.net]
Slackware RC pi [LWN.net]