型推論と型検査、静的な型つけと動的な型つけ、強い型つけと弱い型つけ - sumiiのブログ
ついでに追加。 型推論：変数や式の型をプログラマが宣言しなくても、言語処理系が文脈から推論してくれる機構。MLとかHaskellとか。 型検査：変数や式の型が合っていることを言語処理系が（普通は静的に）チェックしてくれる機構。CとかJavaとか、MLやHaskellも。 静的な型つけ：プログラムの実行前に型を検査する機構。MLとかHaskellとかCとかJavaとか。 動的な型つけ：プログラムの実行中に型を検査する機構。LispとかSchemeとかPerlとか。 強い型つけ：検査を通れば、安全さ(safety)が保証される、という（普通は静的な）型つけ。MLとかHaskellとかJavaとか。Javaはバグがあったりしたので少し怪しいですが。 弱い型つけ：検査を通っても、安全さ(safety)は保証されない、という型つけ。CとかPascalとか。 安全さ(safety)：プログラムが言語仕
asahi.com（朝日新聞社）：プレイステーション・ネットワークにまた不正アクセス - 社会
印刷 関連トピックスソニー ソニーは１２日、同社のオンラインサービス「プレイステーション・ネットワーク（ＰＳＮ）」などで、９万３千件の不正アクセスを受けたと発表した。同社が被害状況を調べているが、クレジットカード情報などの流出は今のところ確認できていないという。 同社によると、不正アクセスがあったのは、ゲーム配信サービスの「ＰＳＮ」と「ソニー・オンラインエンタテインメント」、映像配信サービス「ソニー・エンタテインメント・ネットワーク」の三つ。今月８日〜１１日にかけて、特定のコンピューターが、約９万３千人分の会員ＩＤを使い、不正アクセスをしていたことが分かったという。不正利用されたＩＤのうち日本の会員分は約６００件。同社は１１日までに該当する会員ＩＤを一時停止し、被害状況を調べている。 同社のオンラインサービスは４月下旬に約１億人分の情報流出が発生し、サービスを一時停止していた。同社広
ソニー、ネットワークに9万件超える不正アクセス
【10月12日 AFP】ソニー（Sony）は12日、今月7日から10日にかけて大規模な不正アクセスが試みられたため、グループが運営するネットワークサービスのユーザーアカウント9万3000件の利用を一時的に停止したと発表した。 ゲーム配信サービス「プレイステーション・ネットワーク（PlayStation Network）」、映像・音楽配信サービス「ソニー・エンタテイメント・ネットワーク（Sony Entertainment Network）」、オンラインゲームの「ソニー・オンラインエンタテイメント（Sony Online Entertainment）」が大量の不正アクセスを受け、計9万3000のアカウントでサインインIDとパスワードの認証に成功していたという。 ソニーはこれらのアカウントのクレジットカード情報の漏えいはなかったとしている。同社は詳しい調査を進めるとともに、これらのアカウントを
遺灰を弾丸にお詰めします、米国の奇抜な葬儀ビジネス
米バージニア（Virginia）州で開かれた銃の見本市で展示された弾丸（2009年11月21日撮影）。(c)AFP/Karen BLEIER 【10月12日 AFP】人生をパーンと華やかに締めくくってあの世へ行きたいか、それとも自分の墓を訪ねてくれる人に、テクノロジーの力で死後ももっと自分のことを知ってもらいたいか･･･米国では起業家たちがそうしたさまざまな要望に応えてくれる。 米アラバマ（Alabama）州ストックトン（Stockton）にある狩猟区管理人2人が設立した新会社「ホーリー・スモーク（Holy Smoke）」は、ユニークなサービスを提供している。火葬した遺灰をピストルの弾丸、あるいはショットガンの弾薬に詰めるサービスだ。 サッド・ホームズ（Thad Holmes）さん（56）とクレム・パーネル（Clem Parnell）さん（58）は、葬式について話している時に起業アイデアを
豪下院、炭素税法案を僅差で可決
豪首都キャンベラ（Canberra）の連邦議会前で行われた炭素税賛成派の集会（2011年10月12日撮影）。(c)AFP/AAP/Alan PORRITT 【10月12日 AFP】オーストラリア連邦議会下院は12日、温室効果ガスの排出に課税する炭素価格制度、いわゆる炭素税の導入を定めた法案を賛成74票、反対72票で可決した。 オーストラリア政府は今回可決された「2011年クリーンエネルギー法（Clean Energy Bill 2011）」を1つの世代で最も重要な環境・経済改革関連法案と位置づけていたが、賛成派と反対派の対立は深く、数年前から激しい論争になっていた。 同法の効果を疑問視する野党側は国民の負担を増やすだけだと反対し、僅差での可決となったが、11月には緑の党（Australian Greens）などの支持を得て上院でも可決される見込みだ。 法案が成立すれば、温暖化ガスの排出量が
お布団の恋しい季節だから・・・動物たちの肉布団特集 : カラパイア
肌寒い季節がいよいよ到来。暖かいお布団の中は幸せいっぱい夢いっぱい。ということで、見るだけでほっかほかな気持ちになれる、動物が動物を敷布団代わりに使用しているというか、人肌に暖めあっている的な画像が特集されていたよ。もふもふ感が更にアップして、まるごとあんか代わりに使用したくなっちゃうかもしれないね。
臭うソックス、欧州トップは仏・スイスの男性
ラグビーの練習中に靴下を引っ張られる男性（2009年10月30日撮影）。(c)AFP/TOSHIFUMI KITAMURA 【10月12日 AFP】ソックスの臭さで競えば、ドイツや英国の男性よりも、フランスやスイスの男性のほうが勝るであろうという調査結果が出た。 スイスの男性衣料メーカー、ブラックソックス（Blacksocks）が欧州6か国3000人を対象に行った調査によると、毎日ソックスを取り替えると答えた男性は、フランスでは66％、スイスでは70％にとどまった。 一方、ドイツと英国では、男性の78％が毎日洗濯済みのソックスをはくと答えた。 6か国の男女合わせた全体で見ると、毎日ソックスを取り替えると答えた人は77％で、1日おきと答えた人が11％だった。さらに4％の人は3日に1回と答え、1％の人は週に1度しか取り替えないと答えた。 ソックスを替える頻度は、ソックスを何足持っているかによる
【動画】締めてから40分たっても生きているハマチ : カラパイア
ＹＯＵＴＵＢＥのコメント欄には、「脊髄を壊してないから包丁で筋肉を切ると、筋肉が伸展したと勘違いして、反射が起きている。脳がなくても脊髄で反射は起こるので頭をとっても動いている。」とあり、正確に骨を切断しないと、シメにならないというのだがどうなのだろう？ 関連動画：イカの活き造り
/ WSJ日本版 - jp.WSJ.com - Wsj.com
アパラチコラで過ごす優雅な時間 メキシコ湾沿いの入り江に面した米フロリダ州の小さな町アパラチコラ。こじんまりした海辺のホテルに宿泊し、バーで新鮮なシーフードを味わえるほか、地ビールの醸造所もある。綿花や漁業で栄えたこの町には、グリークリバイバル（ギリシャ建築への回帰）様式の優雅な住宅が散見される。数キロの沖合に浮かぶセントジョージ島には白い砂浜が広がる。
「オランウータンがタオルをしぼって顔をふきふき」海外の反応 : 暇は無味無臭の劇薬
リクエスト動画です。 ロシア すっごく頭いいんだな。 イスラエル国 僕はあんまり猿は好きじゃないな。 頭良いし油断してたら悪戯してくる。猿は信用しない事だ！ ブラジル ワロタw 日本 彼女はとっても日本人ね。 私たちには「おしぼり」っていう文化があるんだけど、レストランとかじゃサラリーマンがこんな感じで顔を拭いてるのを見る事が出来るわよw カナダ たまには朝にシャワーするほど時間がない時もあるさ。 シンガポール 猿の惑星の時代が来ようとしてる！人類は注意する事だ！ ノルウェー王国 人間への第一歩だ・・ アメリカ合衆国 ↑人間より優れてるさ。少なくとも僕よりはw 大韓民国 うお、まるで人間じゃん！！信じらんねー！！ 日本 僕の妻に机を拭く事を教えてやってくれ。 ベトナム この猿頭良すぎだろw アメリカ合衆国 こりゃ凄い・・まるで我々のようじゃないか。 ポーランド共和国 しかし我々はそこから来
角川、メディアファクトリーを子会社化
角川グループホールディングス（GHD）は10月12日、メディアファクトリーを100％子会社化すると発表した。メディアファクトリー株式を保有するリクルートから80億円で取得する。 メディアファクトリーは1986年、リクルートの書籍出版部門を分離する形で設立。書籍情報誌「ダ・ヴィンチ」や漫画・ライトノベルの出版、アニメ製作も展開。漫画・ライトノベルの出版からアニメ化に至る「クロスメディア」展開に実績がある。2011年3月期の売上高は189億円、営業利益は7億円。 同様のコンテンツビジネスを展開する角川GHDは、同社のメディアミックス戦略とメディアファクトリーのクロスメディア展開が「軌を一にするもので、非常に親和性が高い」として、メディアファクトリーをグループに迎えることで「同社の独自性と強みを生かしながら、一層の成長と企業価値の向上につながり、角川GHDの事業基盤の拡充と今後の成長に大きく資す
「25時間周期」といわれる体内時計、宇宙では24時間周期に？ | スラド サイエンス
MSN産経ニュースによると、国際宇宙ステーションに滞在した宇宙飛行士の生体リズム（概日リズム）を調べたところ、24時間に近づいていくという結果が得られたそうだ。宇宙では体内時計が狂ってしまうと予想されていたそうだが、これを覆す結果だという。 計測の結果、飛行前の概日リズムは正常値より長めだったが、ＩＳＳ滞在中は２４時間に近づいて正常化する傾向がみられ、帰還後は再び飛行前の状態に戻ることが分かった。
ロンドンのビッグベン、肉眼でわかるほどの傾きに | スラド idle
「ビッグベン」の愛称で知られる英国国会議事堂の時計台が、肉眼でわかるほどの傾きになっているとのこと（The Telegraphの記事、BBC Newsの記事、ロイターの記事）。 ビッグベンの傾きは1999年から調査されているが、2003年以降はそれまでの年平均0.65ミリから年平均0.9ミリに傾く速度が増しているという。原因としては周辺の開発による地盤沈下などが影響しているという見方もあるが、確証は得られていない。 現在ビッグベンは北西方向に0.26度傾き、頂上部分は垂直から43.5センチずれており、議会広場からビッグベンの写真を撮影する観光客たちが傾きを話題にするほどだという。ただし、傾きは安全範囲内に収まっており、現在の速度で傾き続けてもピサの斜塔と同じ傾きになるまでに4,000年程度かかるとのこと。傾きの速度が大幅に増さない限り、緊急の対策が必要になることはないようだ。
Thunderbolt vs. USB 3.0 | スラド ハードウェア
今年 2 月の MacBookPro で高速インターフェイス「Thunderbolt」が採用されて既に半年が経過しているわけだが、PC の歴史上で最も採用率の高いインターフェイスである USB の壁を超えることができるだろうか (Computer World の記事、本家 /. 記事より) 。 USB 3.0 のデータ転送速度が 4.8 Gbps (SuperSpeed で 5 Gbps) であるのに対し Thunderbolt は 10 Gbps、また電源供給を比較しても USB 3.0 の 4.5 W に対し Thunderbolt は 10 W と勝っている。しかし、2 メートルの USB 3.0 ケーブルが 4.49 ドルであるのに対し Thunderbolt では 49 ドルとかなり割高である。 アップルは以前、Firewire を推奨したものの汎用性の高い USB 2.0 に負
日本で一番すごい美術館 - Chikirinの日記
ちきりんは美術館や博物館巡りが大好きです。 海外の美術館、国内の企画展などにもよく出かけるのですが、今日は、「日本で一番すごい美術館はどこだと思うか？」と問われたら、きっとココだと思うよ！という美術館のご紹介です。 それは・・・ 徳島県鳴門市にある、大塚国際美術館です。 “徳島県の大塚”と聞けばピンとくる方も多いでしょう。ポカリスエット、ボンカレーなどで有名な大塚食品、大塚製薬などを擁する大塚グループが作った美術館です。 一族総出で超優良グループ企業を経営している大塚家。創業者一族の富は膨大な額でしょう。 しかもそのお金を（東京ではなく）徳島で使うわけですから、ものすごい広大な土地が買えちゃっており、大塚国際美術館は驚くほど風光明媚な場所にどどーーーんと立地しています。 そして何よりユニークなのはこの美術館のコンセプトです。 ここには本物の絵画はひとつもありません。保有する 2000点に及
/ WSJ日本版 - jp.WSJ.com - Wsj.com
アパラチコラで過ごす優雅な時間 メキシコ湾沿いの入り江に面した米フロリダ州の小さな町アパラチコラ。こじんまりした海辺のホテルに宿泊し、バーで新鮮なシーフードを味わえるほか、地ビールの醸造所もある。綿花や漁業で栄えたこの町には、グリークリバイバル（ギリシャ建築への回帰）様式の優雅な住宅が散見される。数キロの沖合に浮かぶセントジョージ島には白い砂浜が広がる。
東大の写真解析技術を応用した摂取カロリー管理アプリ、foo.logが発表
foo.logは、食事の写真を撮るだけで摂取カロリーを管理できるスマートフォン向けのアプリケーション「FoodLog Cal」を開発した。米国サンフランシスコで2011年9月25～27日に開催されたカンファレンス「Health2.0」で発表した。まず、iPhone向けのアプリケーションを近日リリースする他、Android端末向けのアプリケーションも開発中であるという。 東京大学大学院 情報学環 相澤研究室で研究開発している食事写真解析技術を応用した。食事の写真から抽出した色やテクスチャなどの特徴を元に、データベースから似ているメニューの候補を提示する。これにより、テキストでメニューを手入力することなく、提示された選択肢から実際に摂取した食事を選択するだけで済む。 提示された候補に該当するメニューがない場合は、ユーザが新たなメニューを登録し、学習させることが可能であるという。このため、利用す
「初音ミク」現象からソーシャル・メディアの未来を考える－町田の版画美術館が企画展
町田市立国際版画美術館（町田市原町田4）で10月22日・23日、「初音ミク」現象を題材にソーシャル・メディアの未来を考えるパネルディスカッションが開催される。 音声合成・DTMソフトウエア「初音ミク」は2007年に発売。「未来的なアイドル」をコンセプトとしてキャラクター付けされ、歌声の素晴らしさや愛らしいキャラクターが人気を呼んだ。キャラクター画像は非営利での利用が認められ、ユーザーの創作活動を促進。初音ミクを題材とした楽曲やイラストなどの作品が発表されている。 「さまざまなソーシャル・メディアの上で、初音ミク現象とも呼ばれる熱狂が今日まで続いている」と同館学芸員の箕輪裕さん。同企画では、「初音ミク」の開発者、研究者、評論家のパネルディスカッション、ソーシャル・メディア端末として利用できるスマートフォンの体験会を実施する。 「ネットワーク上で多くの人たちがつながることによって生み出されるコ
ウェブリブログ：サービスは終了しました。
「ウェブリブログ」は 2023年1月31日 をもちましてサービス提供を終了いたしました。 2004年3月のサービス開始より19年近くもの間、沢山の皆さまにご愛用いただきましたことを心よりお礼申し上げます。今後とも、BIGLOBEをご愛顧賜りますよう、よろしくお願い申し上げます。 ※引っ越し先ブログへのリダイレクトサービスは2024年1月31日で終了いたしました。 BIGLOBEのサービス一覧
生命保険会社が超長期債を買う理由（追記あり）
ツイッター経由で以下のような記事を見つけました。筆者のかたの氏素性はわかりませんが、いまだにこういう理解なんですかね。 http://agora-web.jp/archives/1390664.html 「あなたの生命保険は大丈夫？～超長期国債依存が進む生命保険会社」 この記事では最近主要生命保険会社が超長期国債を大量に購入しており、資産全体に占める割合が急にふえている点を指摘し、金利が上がった時大きな損失がでる危険性を指摘しています。 ご心配はごもっともですが、やはり物事の一面だけを表層的にとらえていることが否めないですね。 やはりこの議論をする前提として、いま保険の世界で議論されている欧州のソルベンシーIIや今後導入される可能性のある経済価値ベースの規制、あるいはIFRSといった問題への理解は不可欠で、そういう点に全く触れていない（たぶん知らないのでは？と思いますが）この記事はかなりミ
/ WSJ日本版 - jp.WSJ.com - Wsj.com
アパラチコラで過ごす優雅な時間 メキシコ湾沿いの入り江に面した米フロリダ州の小さな町アパラチコラ。こじんまりした海辺のホテルに宿泊し、バーで新鮮なシーフードを味わえるほか、地ビールの醸造所もある。綿花や漁業で栄えたこの町には、グリークリバイバル（ギリシャ建築への回帰）様式の優雅な住宅が散見される。数キロの沖合に浮かぶセントジョージ島には白い砂浜が広がる。
47NEWS（よんななニュース）
トキエア（新潟東区）、国交省の指摘でHPの案内文修正 ”知的・発達障害者には一律付き添い” 差別解消法理念に反する恐れ
国際会議で「くたばれ、日本」？ もはや哀れみの対象に
筆者は6月初めの長い週末をシンガポールで過ごし、英国際戦略問題研究所（IISS、本部ロンドン）主催の年次アジア安全保障会議「第10回シャングリラ・ダイアローグ」に参加した。今年の会議には、すべてのアジア主要国の防衛相が正式参加し、米国、中国、日本、韓国、ベトナム、オーストラリア、そして主催者を考えれば当然のことながら、英国の防衛相らが一堂に会した。 読者の皆さんもきっと、この会議に関するニュースの「見出し」を少なくともいくつかは見かけただろう。 これまでとはひと味違う？ 米中 “協調” 路線 会議では、米国のロバート・ゲーツ国防長官と中国の梁光烈国防相が重要な講演を行い、両者とも会場の各国代表団から厳しい詰問を受けた。中国人にとっては滅多にない経験に違いないが、梁国防相はひとたび意見の応酬をうまく処理できると見るや、明らかにその経験を楽しんでいた。 両者の講演の大きなテーマは、今年1月の米
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
P2PからWeb割れに移行してることが総務省にバレた！？:【2ch】ニュー速VIPブログ(`･ω･´)
TechCrunch | Startup and Technology News
CiNii Articles
日産がカメラ4個で移動体を画像認識する「アラウンドビューモニター」を開発、「エルグランド」に搭載へ