タグ

2015年5月3日のブックマーク (4件)

  • Functorを例として、圏論とHaskellの関係を分かりやすく説明してみるテスト - めもめも

    [参考文献] Haskell/圏論 カテゴリーとは? 「カテゴリー」は、「集合と写像」の概念をより抽象化(簡単化)したものです。おもむろに、図1のように、いくつかの●と、●の間の矢印が集まった図式を考えてみます。 図1 カテゴリーのイメージ それぞれの●は、「a,b,c・・・」で表して、矢印は、「f,g,h,i,j,k・・・」で表します。1組みの●のペアに対して、複数の矢印があっても構いません。また、矢印fがaとbをつなぐ事を次のように表現します。 f :: a -> b 「集合と写像」の勉強をした方なら、それぞれの●は何らかの集合で、矢印は集合間の写像と思うと分かりやすいでしょう。 この時、 f :: a -> b g :: b -> c のように、ある●(ここでは「b」)を介して2つの矢印がつながる場合、これを1つにつなげた矢印、 h = g.f :: a -> c が必ず存在するもの

    Functorを例として、圏論とHaskellの関係を分かりやすく説明してみるテスト - めもめも
    katsyoshi
    katsyoshi 2015/05/03
    Googleの検索結果だと某毛の壁と同じ感じのタイトルにで見えてしてびっくりした
  • SNSも盗聴対象/衆院法務委 畑野議員追及で判明

    フェイスブックやLINE(ライン)など、若者の間で広く利用されているSNS(ソーシャル・ネットワーキング・サービス)を警察が盗聴(傍受)の対象としていることが17日、日共産党の畑野君枝衆院議員の法務委員会での質問で明らかになりました。 この日、畑野議員は「(警察が持つ)電子メール傍受機器は、フェイスブックやラインなど、SNSのさまざまな通信手段の盗聴は可能なのか」とただしました。警察庁の露木康浩官房審議官は「SNSについては、法律上、傍受できる通信に該当するので、警察庁としては技術的にも可能になるよう努めている」と答弁しました。 また、警察庁は今年度までに電子メール傍受機器を19式、予算額で約2億8700万円で購入してきたことを明らかにしました。 畑野議員は「メールは、詳細で多量の情報のやり取りが可能だ。令状が認めた範囲に限定して傍受することが技術的に可能なのか、疑念を持たざるをえない」

    SNSも盗聴対象/衆院法務委 畑野議員追及で判明
    katsyoshi
    katsyoshi 2015/05/03
    Facebook、LINEの掲示板機能はわかるがメッセージまで傍受するってことかな?
  • データ復旧.com【デジタルデータリカバリー】|復旧率96.2%のデータ復旧サービス

    PC(パソコン)やHDD(ハードディスク)が壊れていても、データ復旧(復元)を行えば、データの救出が出来る事がほとんどです。 私たちは、壊れた記憶媒体の中からデータを救出するサービスを行っています。 データ復旧(復元)の成功率は、障害発生後の作業内容・対処法などで、 大幅に変わってしまいます。 障害発生後にむやみに作業・通電を続けると、 データ障害が深刻化してしまい、複雑なデータ破損に至ってしまう場合もあります。 障害発生後の対処がデータ復旧の有無を決めると言っても過言ではありません。

    データ復旧.com【デジタルデータリカバリー】|復旧率96.2%のデータ復旧サービス
    katsyoshi
    katsyoshi 2015/05/03
    えっ壊れたSSD復旧できるの!?
  • 自動化するときに考えること, 森美術館の年間パスポートを買った, 鮨一新で寿司懐石コースを食べてきた - HsbtDiary(2015-05-03)

    ■ 自動化するときに考えること 所属が技術基盤チームということもあって、あらゆること(コードはもちろん、組織の仕組み、作業プロセス、QAなど色々)を改善するというのを毎日考えている。 改善と聞くとすぐに自動化を思い浮かべてしまうけど、自分はなんでも自動化することは良しとしてないので、まず最初に考えることを紹介する。どこかに出典があったような気もするのでここに書いてあることがオリジナルではないと思う。 まず、仕事を大事なこと/些細なことと1年(月)に1回起きること/毎日起きることの2軸にわける。そして、組み合わせの4つについてどうすればいいかを考える。自分の中の基準は以下のとおり。 1年に1回起きて大事なことは、手順書やチェックリストを作成する 1年に1回起きて些細なことは、無視しないで気がつけるようにする 毎日起きて大事なことは、自動化する 毎日起きて些細なことは、発生しないようにする よ

    自動化するときに考えること, 森美術館の年間パスポートを買った, 鮨一新で寿司懐石コースを食べてきた - HsbtDiary(2015-05-03)
    katsyoshi
    katsyoshi 2015/05/03
    nrhd