機関銃搭載の兵器ロボット、イラクに初配備 | WIRED VISION
機関銃搭載の兵器ロボット、イラクに初配備 2007年8月 7日 社会 コメント： トラックバック (3) Noah Shachtman 2007年08月07日 ロボットがイラクの市街地を走り回るようになったのは、イラク戦争が始まってすぐのことだった。だが、今回初めて銃を搭載したロボットが登場した。これは、イラクだけでなく戦闘地域全体で初めてのことだ。 数年にわたる開発を経て、3台の『SWORDS』(特殊兵器監視遠隔偵察直接戦闘システム)ロボットがイラクに配備されたのだ。 3台とも機関銃の『M249 Squad Automatic Weapon』を装備している。「(これらのロボットが)銃を発射したことはまだないが、近いうちにそういう事態が起こるだろう」と、SWORDSプログラム・マネージャーMichael Zecca氏は「Danger Room(日本語版ブログ)」記者に述べた。 SWORDS
「最も一般的なプラスチック原料が生殖障害の一因」研究結果 | WIRED VISION
「最も一般的なプラスチック原料が生殖障害の一因」研究結果 2007年8月 7日 環境 コメント： トラックバック (0) Brandon Keim 2007年08月07日 38名の科学者が8月2日(米国時間)、硬質プラスチックの原料で、世界で最も一般的な化合物の1つである『ビスフェノールA』(BPA)が、ヒトの生殖障害を引き起こしている可能性が高いと発表した。[訳注：BPAは強力な洗剤を使ったときや、酸・高温の液体に接触させるとプラスチックから溶け出すことが知られており、内分泌攪乱化学物質として安全性に疑問が持たれている。] このいつになく強い調子の声明は、生殖に関する最新情報を扱うサイト『Reproductive Technology』に掲載された。 この中で科学者たちは、700件の研究を調査した結果として、人々は常に、実験動物で有害性が確認された量よりも高いレベルのBPAにさらされてい
土星のG環形成の仕組み、徐々に判明へ | スラド
元論文（Science, 317 (2007) 653-656)を流し読み． だいたいこんな感じですか． ・Gリングはかなり細かい塵からなるが，それだと磁場の影響ですぐ散逸するはず． ・塵の安定的な供給源となったり，リング形状を保つのに役立つ巨視的物体（衛星等）の存在は近く には確認されていなかった．（供給が無ければ散逸してすぐ消えているはず） で，カッシーニの観測結果から， ・リングにはアーク状の明るい部位が存在 ・その部分にはかなりの質量がある．だいたいどのくらいかというと，全部集めたら100mの氷の 塊になるぐらいはある．（最初は100mの塊だった，と言っているわけではない） ・このアークはMimasと共鳴条件にあるため，比較的安定して存在． ・分布から考えて，1個の大きな粒子があるというわけではなく，少し大きな塊がいくつも集まって いるのだろう． ・そのサイズに関してはあまり正確な
あなたにも（たぶん）わかる 「ゲーデルの不完全性定理」 -- 発端＜ほったん＞編 --
Mon Dec 26 2005:start Wed Dec 28 2005:draft Tue Jan 03 2006:prefinal 関連記事：プログラマのための「ゲーデルの不完全性定理」＠檜山正幸のキマイラ飼育記 1. ゲーデルの定理は神秘主義の対極にある ゲーデルの不完全性定理を、自然言語（日常言語）だけで説明する試みを見 かけるのだけど、これは無理スジじゃなかろうか。前もってわかっている人は、 「あー、そうだね、確かに」と納得できるだろうが、その自然言語による説明 により初めて勉強をする（そして、ちゃんと理解する）ってのはほぼ不可能な 気がする。 一見回り道のようでも、記号論理学を一通り勉強して、ゲーデル符号化を （だいたいでも）追いかけないと、納得した気分にはなれないだろう。仮に正 確な説明だったとしても（そうじゃない例も見かける）、それが自然言語で記 述されると、なんだか騙さ
ゲーデルの不完全性定理 - Wikipedia
ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigkeitssatz）または不完全性定理とは、数学基礎論[1]とコンピュータ科学（計算機科学）の重要な基本定理[2]。（数学基礎論は数理論理学や超数学とほぼ同義な分野で、コンピュータ科学と密接に関連している[3]。） 不完全性定理は厳密には「数学」そのものについての定理ではなく、「形式化された数学」についての定理である[4][注 1]。クルト・ゲーデルが1931年の論文で証明した定理であり[5]、有限の立場（英語版）（形式主義）では自然数論の無矛盾性の証明が成立しないことを示す[3][5]。なお、少し拡張された有限の立場では、自然数論の無矛盾性の証明が成立する（ゲンツェンの無矛盾性証明（英語版））[3][注 2]。
【インフォシーク】Infoseek ： 楽天が運営するポータルサイト
日頃より楽天のサービスをご利用いただきましてありがとうございます。 サービスをご利用いただいておりますところ大変申し訳ございませんが、現在、緊急メンテナンスを行わせていただいております。 お客様には、緊急のメンテナンスにより、ご迷惑をおかけしており、誠に申し訳ございません。 メンテナンスが終了次第、サービスを復旧いたしますので、 今しばらくお待ちいただけますよう、お願い申し上げます。
Expired
Expired：掲載期限切れです この記事は，産経デジタルとの契約の掲載期限（6ヶ月間）を過ぎましたので本サーバから削除しました。 このページは20秒後にNews トップページに自動的に切り替わります。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Phoenix: Bound for Mars - NASA
IE6を一行でクラッシュさせるコード | スラド