第12回 「型推論」の実装法
型推論：「コンピュータ以前」からML，Java 7まで OCamlをはじめ，MLやHaskellなど，多くの型付き関数型言語には型推論という機能がある。この連載でも，暗に陽に，OCamlの型推論機能を利用してきた。 例えば，以下のような関数say_hello_toを定義してみよう。文字列引数nameを受け取り，nameの前に定数文字列"hello "を付け加えて返す，という関数だ。 # let say_hello_to name = "hello " ^ name ;; val say_hello_to : string -> string = <fun> このように，引数や返り値の型を指定しなくても，say_hello_toはstring ->string型（文字列を受け取り，文字列を返す関数）であると自動推論される。 ただし，（例えばプログラムを読みやすくするために）もし型を書きたけれ
Microsoft Office から PDF 形式で保存する場合に注意すること
Office 2007 にはプライバシー情報を削除する機能が搭載されていますが、公開用に PDF 形式で保存する場合、その機能を利用しても埋め込みオブジェクトのパス名など削除されない情報があります。 PDF 形式で保存する（ http://www.atmarkit.co.jp/fwin2k/win2ktips/908offpdf/offpdf.html ）際に、ファイル名を指定するダイアログに表示されている「オプション」ページを開き、「アクセシビリティ用のドキュメント構造タグ」チェックを外すと削除されるようです。 なんというか、「攻撃者のためのアクセシビリティ用のドキュメント構造タグ」あるいは「情報漏えい促進のためのドキュメント構造タグ」と呼んだ方が正確かも？ http://forums.adobe.com/thread/405476
ASCII.jp：ファーストサーバショックを超えて業界が取り組むべきこと
6月末に起こったファーストサーバのデータ消失事件は、クラウド普及に大きな冷や水をい浴びせる形となった。ここでは、事件が業界に与える影響と今後なにが必要になるのかを考えていきたい。 顧客データの消失と大きな規模が致命的 6月20日に発生したファーストサーバ事件の概要は、すでに3本のニュース記事でお伝えしたとおりだ。障害の原因は、サーバーの脆弱性対策を行なう更新プログラムに不備があり、検証環境で不備を検知できず、本番環境でも範囲外のサーバーまですべてのデータを削除してしまったことにある。また、脆弱性対策をバックアップサーバーにおいても同時に行なう仕様になっていたため、本番と同じくバックアップも削除。複数のプログラムミスや運用体制の不備が重なり、未曾有の障害につながっていったのだ。 今回のファーストサーバの事件で、もっとも致命的だったのは、取り戻しのできないデータの消失で、しかも大規模だった点だ
「天に召されたデータに献杯！」
「お店のWebサイトが見られない」「顧客データ1万件が消えた」――6月20日に起きたファーストサーバの大規模障害にほんろうされた人々が、愚痴をこぼしながら名刺と杯を交換するイベントが行われた。（編集部） 100人近くが「天に召されたデータに献杯！」 「天に召されたデータに献杯！」――6月20日に起きたファーストサーバの大規模障害にほんろうされた人々が、心ゆくまで愚痴をこぼしながら名刺や杯を交換するイベント「ファーストサーバ データ消失オフ『データはどこへ消えた？』」が、7月14日深夜、東京・阿佐ヶ谷のライブハウス「阿佐ヶ谷ロフトA」で開かれた。 土曜の深夜という時間帯にもかかわらず、自社のサーバが被害に遭った人やファーストサーバの同業他社、業界関係者など100人近くが集結。隣人のデータ消失被害に同情を寄せ、復旧の報告に歓声を上げるなど、深夜の阿佐ヶ谷は異様な熱気に包まれた。 障害が起きたの
crontab -e は「絶対に」使ってはいけない - ろば電子が詰まつてゐる
今までナチュラルにcrontab -eでcron編集をしていたのだけど、実はこれはとてつもなく危ないやり方だった。ということを、今さら知った。 crontab -rの恐怖 crontabコマンドにはrオプション(Remove)があり、これを実行すると何の警告もなく全てが消え失せる。 macbook:~ ozuma$ crontab -l 15 * * * * /home/ozuma/bin/hoge.sh 0 9 1 * * /home/ozuma/bin/piyo.sh > /dev/null 2>&1 */5 * * * * /home/ozuma/bin/fuga.sh > /dev/null 2>&1 macbook:~ ozuma$ crontab -r macbook:~ ozuma$ crontab -l crontab: no crontab for ozuma macbo
富士通の旗艦、館林データセンターが電源障害でダウンし、金融機関やニフティクラウドに影響。日経コンピュータ誌
富士通の旗艦、館林データセンターが電源障害でダウンし、金融機関やニフティクラウドに影響。日経コンピュータ誌 先月、6月7日の午前6時頃、りそな銀行、ソニー銀行、東京スター銀行など複数の国内金融機関でシステム障害が発生しました。ほぼ同時刻に、ニフティのブログサービス「ココログ」や「ニフティクラウド」などにも大規模障害が発生しました。 金融機関の障害についてはこの日、ScanNetSecurityがいち早く報じています。 複数の銀行で同時間帯に障害が発生、現在は復旧（りそな銀行ほか） | ScanNetSecurity (事件、インシデント・情報漏えいのニュース) 同じ日、ニフティの障害については発表が行われています。 大規模障害の発生について ｜ニュースリリース｜ニフティ株式会社：ニフティとなら、きっとかなう。 ほぼ同時刻に発生したこれらの障害は共通の原因があると推測されますが、どこでどんな
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
植垣
PC