タグ

2014年11月18日のブックマーク (7件)

  • 関数プログラミング 珠玉のアルゴリズムデザイン

    演算子以外の構文記号の一部については,GHCの言語拡張UnicodeSyntaxを有効にするとソースコード中に記述可能です. 詳細については,GHCユーザーガイド 9.3.1 Unicode syntaxをご覧ください. 演算子に関しては,Unicodeの記号が使えますので,たとえば,1章については,以下のような定義モジュールをインポートすれば,そのままコードで表現できます. {-# LANGUAGE UnicodeSyntax #-} module Operators where import qualified Data.List infixr 5 \\ (\\) ∷ Eq a ⇒ [a] → [a] → [a] (\\) = (Data.List.\\) infix 4 ∈, ∉ (∈) ∷ Eq a ⇒ a → [a] → Bool (∈) = elem (∉) ∷ Eq a ⇒

  • 難しいプログラムでは自分がいままで書いたコードが正しく動くと信じて残りのコードを書く必要がある | by Rui Ueyama | Medium

    Welcome to a place where words matter. On Medium, smart voices and original ideas take center stage - with no ads in sight. Watch

    難しいプログラムでは自分がいままで書いたコードが正しく動くと信じて残りのコードを書く必要がある | by Rui Ueyama | Medium
  • JVNTA14-317A: Apple iOS に対する攻撃手法 Masque Attack

    Masque Attack と呼ばれる攻撃手法により、特定の条件のもとで、正規の Apple iOS アプリがマルウェアに置き換えられる可能性があります。 FireEye の研究者により、Masque Attack と呼ばれる攻撃手法が発見され、FireEye 社のブログで公開されています。 Apple iOS には、同一の bundle identifier を持つアプリをインストールする際、コード署名証明書が同一でなくてもインストールされてしまう問題があります。Masque Attack ではこの問題を悪用し、既存アプリと同じ bundle identifier を持ったアプリを、Apple が提供する App Store や自社向けアプリを提供するための provisioning system 以外からインストールさせます。結果として、アプリが管理しているデータは削除されずに残された

  • 衝撃スクープ!フォークで刺されたはずの盲導犬オスカー「実は刺されてなんか、いなかった」日本中が激怒した事件に意外な新証言が……(週刊現代) @gendai_biz

    衝撃スクープ!フォークで刺されたはずの盲導犬オスカー「実は刺されてなんか、いなかった」日中が激怒した事件に意外な新証言が…… 「盲導犬オスカー刺傷事件」はあまりに大きな反響を呼んだ。しかし、3ヵ月が経った今も、犯人は捕まっていない。一体犯人はどこにいるのか。取材を進めるうちに衝撃の事実が浮かび上がってきた。 警察が隠していること 「もう、いいじゃないですか、その話は……」 盲導犬オスカーの近況について尋ねると、飼い主の近所に住む住人たちは、異口同音にそう答えた。その口ぶりは、まるで何か言いにくいことを隠しているようにも取れた。 今年7月、盲導犬オスカーが何者かに背中を刺されて大騒動となったのは、記憶に新しい。 埼玉県さいたま市に住む全盲の男性(61歳)が連れていたオスカー(オス・8歳)が被害に遭ったのは、男性が自宅を出て職場に着くまでの、通勤経路のどこかだと見られる。 「フォークのような

    衝撃スクープ!フォークで刺されたはずの盲導犬オスカー「実は刺されてなんか、いなかった」日本中が激怒した事件に意外な新証言が……(週刊現代) @gendai_biz
    mas-higa
    mas-higa 2014/11/18
    よかった、フォークで刺された犬はいなかったんだ。
  • BackblazeがHDD故障の予測に使う5つのSMART情報 | スラド ハードウェア

    オンラインバックアップサービスのBackblazeがデータセンターで使用する約4万台のHDDについて、収集した全S.M.A.R.T.情報の集計を公開した。Backblazeでは、これまでにもデータセンターで使用するHDDの故障率に関するデータなどを公開している(SMART Drive and Failure Rates、 Backblaze Blogの記事、 Computerworldの記事、 家/.)。 実際にどのSMART属性の値を見れば故障を予測できるのかが気になるところだが、Backblazeでは経験則からSMART 5、187、188、197、198の値を故障の予測に使用しているという。たとえばSMART 187はハードウェアECCにより修復できなかったエラーの数を示すが、生の値が0である限りはほぼ故障することはなく、0よりも大きな値を示すと急激に故障率が高くなる。そのため、こ

    BackblazeがHDD故障の予測に使う5つのSMART情報 | スラド ハードウェア
  • 柔軟なメソッド定義が可能なプログラミング言語Suzu - takuto_h's diary

    自作のプログラミング言語SuzuをGitHubにて公開しています. Suzuは以下のような機能を持ちます. 柔軟なメソッド定義 ローカル変数ならぬローカルメソッドの定義 シャドーイング モジュールからのインポート・エクスポート 関数の仮引数としての指定 モジュールを返す関数としてのトレイト ユーザー定義演算子 限定継続 複数の関数リテラルをラベル付き引数として渡せる バリアント,レコード,パターンマッチング 最大の特徴は,柔軟なメソッド定義が可能であることです. RubyにはRefinementsという機能があり, スコープを限定してメソッドを再定義することができます. クラスにメソッドを格納するRubyのような言語ではこのような仕組みを用意することは妥当でしょう. これに対しSuzuは,環境にメソッドを直接格納することで,複雑な仕組みを用意することなく メソッドの局所的な再定義を可能にし

    柔軟なメソッド定義が可能なプログラミング言語Suzu - takuto_h's diary
  • 早稲田大学サイトのリニューアルにモヤっとした話

    早稲田大学サイトのリニューアルにモヤっとした話 リニューアルした早稲田大学のサイトは古いブラウザを非推奨ではなく非対応としていますが、非対応にする必要性がわからなかったため、違和感を覚えました。 time2014/11/15 hatenabookmark- 早稲田大学のサイトが2014/11/5にリニューアルされたのですが、それについていろいろと議論が巻きおこっているようです。 まずは事実を整理 同大学曰く「国内大学のWebサイトの主流であった“文字中心”の情報伝達から、写真や動画、ピクトグラムなど、視覚に訴える要素を効果的に配した構成に一新」(プレスリリースから)した リニューアルしたのは主に一般・父母向けのサイト。受験生や在学生向けのサイトは別に存在し、そこへは外部リンクの形で飛ばす形としている。 推奨ブラウザを Windows(8,7,Vista)の場合、IE10以上、Mozilla

    mas-higa
    mas-higa 2014/11/18
    JavaScript 切って読めないページにアクセシビリティとか言っても…