ソフトウェアの信頼性を根本的に高める「形式手法（Formal Method）」の本質 | IT Leaders
2011/11/07 08:00ITが広く社会に浸透し、個人の生活や企業活動にとって不可欠な役割を担うようになって久しい。それだけにITに対する信頼性や安全性の要求は、かつてないほどに高まっている。ひとたび障害が発生すれば、多くの個人や企業に甚大な影響を及ぼすからだ。 例えば、銀行のオンラインシステムや航空機の予約システムがダウンすれば、預金の引き出しや搭乗手続き、計画通りの運航が困難になり、多数の人が影響を受ける。自動車の電子制御システムに問題が生じれば、最悪の場合、人命を危機にさらす。 このような背景から、システム稼働時の信頼性を高める様々な試みがなされている。システムを構成する機器の冗長化は、その1つ。障害から自律回復する技術の研究やシステムのダウンタイムを減らすための工夫も重ねられている。開発においても同様に、テストに莫大な工数を費やしたり、ミスやエラーを徹底的に排除したりする試み
音読の重要性｜英語学習の基礎段階においては音読の量が重要である事。 | フィリピン語学学校｜フィリピン留学、セブ島留学ならサウスピーク
『英語上達完全マップ』は英文読解の正当な学習方法 TOEIC試験でA level入り（860点以上）を果たすためには、また英会話でまともな文章で話すためには、英語の基礎力は欠かせません。基礎力がなければ、いくら英語を学習してもめちゃくちゃな文法のBroken Englishでしか話せません。 そしてまた、TOEIC試験でListeningの成績はよいが、Readingの成績が伸び悩んでいる人はこの英文読解学習が不足しているのだと思います。読解力とそれを支える文法力がなければ上級者には決してなれません。 私は現在TOEIC試験で900点を超えていますが、特にReadingの対策はしませんでした。対策しなくてもよかったのは、大学受験時にみっちりと読解と文法について勉強したためです。そんな私ですのでTOEICを初めて受験した際には何も対策をしなくても600点を超える点数を取得していました。 そし
写像(集合論)
概要 数学には関数（function）という概念があります。 関数とは「ある変数に依存して決まる値」の事を指します。 集合論的には、「ある2つの変数の間の対応関係」が関数になります。 通常、関数という言葉は数 → 数の対応関係を指します。 それに対して、一般の集合 → 集合の対応関係を写像（mapping）と呼びます。 （両者の間にはあまり差はありません。ニュアンスの違い程度です。） 集合論における数学的考察の対象は全て集合であるわけですが、 写像というものも集合の1種として定義することが出来ます。 余談ですが、関数という言葉は function を音訳したものです。 （中国語では「関」は「ファン」と読みます。 もともとは「函」と書いていましたが、この文字は常用漢字ではないので、次第に「関」に置き換えられるようになりました。） 古来の日本語には「h」や「f」の音はなく、は行の音は「p」の音
英語学習カフェ / 英会話・TOEIC・教材
英語学習カフェでは実践的な学習法・表現集・教材の解説・留学体験記を無料公開。 英会話・TOEIC対策・やり直し英語を応援します。 １ 学習の基本 1-1 苦手意識の原因 1-2 上達のメカニズム 1-3 姿勢と考え方 1-4 発音の要点 ２ 学習法 2-1 リスニング 2-2 リーディング 2-3 英会話 2-4 語彙力強化 ３ 教材 3-1 TOEIC 3-2 英会話 3-3 リスニング 3-4 語彙力強化 ４ 英語表現集 4-1 正しい英語表現 4-2 ネイティブ英会話 4-3 映画で英会話 4-4 ドラマでﾋﾞｼﾞﾈｽ英語 4-5 映画でﾋﾞｼﾞﾈｽ英語 4-6 ニュース英語 ５ 留学体験記 5-1 アメリカ大学留学 5-2 おもしろ英語習得記 5-3 アメリカ旅行記 ▼ 新着記事 【'08.10.13】スピードラーニング英語（加筆） 【'08.10.11】語彙数を制限した洋書（加筆
必修講座100トップ：selfup
日経SYSTEMS2009年6月号の読みどころ 編集長から 不況に加えて新型インフルエンザの感染拡大でまさにダブルパンチ。こんなときはおとなしくじっと我慢といえますが，今のうちに励みたいのが自分への投資です。ITエンジニアとしての実力向上を目指すあなたを『日経SYSTEMS』は応援します。 6月号は特集1「開発の手戻りをなくそう」と特集2「エンジニアのための営業入門」，特集3「サーバー仮想化の運用法」という強力ラインナップ。クラウド・コンピューティングの検証レポートやUPSの徹底図解など，お役立ち記事が満載です！！ 特集1: 開発の手戻りをなくそう 上流工程では仕様漏れや設計ミスなど欠陥が生じ，その発見が遅れると修正コストが膨らむ。手戻りの抑制を狙って，多くの現場が開発手法の改善に取り組んでいる。事例と開発支援ツールの利用実態調査から改善のポイントを探った。 >>読みどころを読
西洋絵画、西洋美術の画像・壁紙と解説 : サルヴァスタイル美術館TOP
彼女は彼女であるが故に彼女自身を否定するのです。彼女は彼女が彼女自身であるというどうしようもなく安くちっぽけな自覚の上に在ることを知って、いや、知らないのか？彼女は弱い。だからしぶといのだ。 偉大なる絵画をご紹介です！ フランシスコ・デ・ゴヤ作 『着衣のマハ』 95×190cm | 油彩・画布 | プラド美術館 近代絵画の創始者フランシスコ・デ・ゴヤが手がけた数多くの作品の中でも最も有名な作品のひとつ『着衣のマハ』。本作は画家が≪マハ≫（※マハとは特定の人物を示す固有の氏名ではなくスペイン語で＜小粋な女＞を意味する単語）を描いた作品で、『裸のマハ』を制作した翌年以降（1800-1803年頃？）に手がけられたと推測されている。本作と『裸のマハ』は画家の重要なパトロンのひとりで、権力を手にしてから皇太子や民衆を始め様々な方面から非難を浴びせられた宰相ゴドイが所有しており、その為、一般的にはこの
リーマン・ブラザーズとAIGが破綻、それが一般人の生活に今後どのように影響するのか？
今回のリーマン・ブラザーズとA.I.G.の破綻によって、何が過去数日間の間に起きたのか、なぜそれが起きたのか、そして、日常を暮らすほかの人々にとってこの破綻が何を意味するのか？エコノミストであるSteven D. Levitt氏が、同僚のDoug Diamond氏とAnil Kashyap氏とともに議論し、その様子をネット上で公開しました。 洞察力と示唆に富んだこれらの記事をベースにしてさまざまな情報を整理し、今回の破綻によってどのような影響があるのか、その内容を知っておきましょう。 詳細は以下から。 ～目次～ ■そもそも何が起きたのか？ ■なぜこのようなことが起きたのか？ ・ファニーメイとフレディマックが発端であり、震源地 ・そして借り続けることができなくなったリーマンの終焉へ ・570億ドルの保険契約を書いてしまったAIG ■なぜ財務省と連邦準備局はリーマンを破産させたのに、ファニーメ
Dive Into Python (1日目） - 暗号、数学、時々プログラミング
Dive Into Python | 08:38 | 【5月1日17時40分（JST) 復旧しました！！】 環境を整えたら、いきなりプログラム書いちゃうぜ！の巻 お約束的使用上の注意 本エントリは「Dive Into Python」の超訳版です。文中で「オレ」と表現されているのは、原文の著者である"Mark Pilgrim"氏を指します。また、訳者による個人的な意見については「＃」を使ってそれを示すことにしていますので、両者共に一人称的な語り口ですが、著者の意見と訳者の意見とを混同されませんようにご注意をお願い致します。また、訳文の品質は一切保証するものではなく、これによってPythonへの理解に際して何かしらの問題が発生したとしても、当方としては一切の責任を負いかねます。予めご理解いただきました上でご確認ください。 第1章：Python のインストール Pythonの世界によく来たな！よ
むらログ: スティーブ・ジョブズのスピーチをインタラクティブな英語教材にしてみた。
スピーチについて 前回と、前々回はスティーブ・ジョブズのスピーチを材料にしていたのですが、その教材化の話ばかりで、スピーチ自体のことはほとんど触れてきませんでした。 このスピーチは2005年のスタンフォード大学の卒業式で行われたもので、ちょっと時間が経ってしまっていますが、今ベストセラーになっている梅田望夫さんのウェブ時代 5つの定理 この言葉が未来を切り開く!で絶賛されていることもあり、再び注目を集めているようです。 というか、youtubeで見たら、私自身も泣きそうになりました。うーん、この「言葉の力」って、何なんでしょうね。たとえば「Follow your heart」なんていうベタな言葉が何回も出てくるんですが、それが全然ベタじゃないんですよ。マジにカッコイイです。超オススメです！（いきなり文体が変わってすみません） ここ24時間だけでもスティーブ・ジョブズのスピーチを引用している
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
微分積分
IPA セキュア・プログラミング講座：C / C++言語編
英語例文検索 EReK