2014年9月5日のブックマーク (10件)

  • 型安全性とは何か | POSTD

    以前書いた(C言語についての) メモリ安全性について定義した記事 について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく知られてきていると思いますが、ズバリこうだと簡単に定義できるほどにはまだ理解が浸透していません。特に誰かが”Javaは型安全な言語だ”と言った場合、これは厳密に何を意味するのでしょう。全ての型安全な言語はある意味”同じ”と言えるでしょうか。ある特定の言語について、そして一般的な意味で、あなたを悩ませる型安全性とは何でしょうか。 実際のところ、型安全性が何を意味するのかは言語の型システムの定義によります。最もシンプルなケースでは、型安全性はプログラムの動作が正しく定義されるように保証します。もっと一般的な話をすると(この記事ではそのあたりをカバーするつもりですが)、言語の型システムはそのプログラムの正確さと安全性を推論

    型安全性とは何か | POSTD
    dkinyu
    dkinyu 2014/09/05
  • 今に伝えるメールの技術 #yapcasia #yapcasiareject

    2014/9/3に行われた YAPC::Asia Tokyo 2014 Reject con で発表したトークのスライドです。Read less

    今に伝えるメールの技術 #yapcasia #yapcasiareject
  • 赤字14億円も想定通りと豪語するGunosyが色々な意味で話題です(山本一郎) - 個人 - Yahoo!ニュース

    dkinyu
    dkinyu 2014/09/05
  • ログミーBiz

    「Willハラスメント」にならず、部下のやりたいことを聞き出すコツ 個人の成長と組織のパフォーマンス向上を両立するには

    ログミーBiz
    dkinyu
    dkinyu 2014/09/05
    個人情報は"銀行に預ける"時代へ! 利子がもらえて健康にもなれる、「情報銀行」の仕組みとは? | ログミー[o_O]
  • 経済成長で少数言語が失われる、研究

    オーストラリア・シドニー(Sydney)のビジネス街を歩く少女(2013年3月7日撮影、資料写真)。(c)AFP/SAEED KHAN 【9月3日 AFP】経済的な繁栄は少数言語の最大の敵だとする研究が3日、英学術専門誌の英国王立協会紀要(Proceedings of the Royal Society B)に発表された。現在、少数言語が失われる恐れの高い「ホットスポット」はオーストラリアと北米の一部という。 研究チームは、動植物の絶滅リスクの判定に使われる基準を用い、存在が知られている世界6906言語の4分の1に消滅の危険性があると結論付けた。 ■北米や豪州で失われる先住民の言語 米アラスカ(Alaska)州では、2009年時点で先住民族アサバスカン(Athabaskan)の言語の話者が24人しかおらず、その子どもたちはその言語を学習していなかった。また、現在はオクラホマ(Oklahom

    経済成長で少数言語が失われる、研究
    dkinyu
    dkinyu 2014/09/05
  • 会場ネットワークの裏話 ー YAPC::Asia Tokyo 2014 | update.hirochan.org

    先日行われた YAPC:Asia 2014 では無線ネットワーク提供が行われましたが、CONBUというネットワークエンジニアの有志グループが協力しました。 またCONBUの取り組みについては当日のトークでもやってきました。ちなみにこのトークは当初は私がやる予定ではなかったのですが、前夜に突然お鉢が回ってきたのでスライド作りが結局当日になってしまいトーク開始5分前にようやく形にしました。それでも会場は満席で話しを聞いて頂いたので(中身の評価はさておき)なによりです。 技術的にディープなお話しは別途書く機会があると思いますので、ここでは経緯とか準備とか当日の裏側を書こうと思います。 [9/6 追記: テクニカルなお話しは CONBUのブログ をどうぞ] YAPC とCONBUの関わり YAPC会場ネットワークへのCONBUの取り組みは昨年のYAPC:Asia 2013につづいて今年で2回めとい

    会場ネットワークの裏話 ー YAPC::Asia Tokyo 2014 | update.hirochan.org
    dkinyu
    dkinyu 2014/09/05
    会場ネットワークの裏話 ー YAPC::Asia Tokyo 2014 | http://t.co/Rkt04e0v11
  • Standard Markdown

    What is Markdown? Markdown is a plain text format for writing structured documents, based on conventions used for indicating formatting in email and usenet posts. It was developed in 2004 by John Gruber, who wrote the first markdown-to-html converter in Perl, and it soon became widely used in websites. by 2014 there were dozens of implementations in many languages. Digital data in any form needs p

    dkinyu
    dkinyu 2014/09/05
  • TechCrunch | Startup and Technology News

    Less than one year after its iOS launch, French startup ten ten has gone viral with a walkie talkie app that allows teens to send voice messages to their close… While all of Wesley Chan’s success has been well-documented over the years, his personal journey…not so much. Chan spoke to TechCrunch about the ways his life impacts how he invests in startups.

    TechCrunch | Startup and Technology News
    dkinyu
    dkinyu 2014/09/05
  • なんで“はてなブックマーク”はキュレーションサイトじゃないのか - orangestarの雑記

    A.キュレーションサイトです ちょっとこれから書く話は長くて取り留めもないし、まとまりもないし、たぶんオチもないので、どうでもいい与太話を読みたい人以外は見なくていいです。 今から5年くらい前のことamazonで 今から5年くらい前かもうちょっと前のことなんだけどamazonで商品を買うと、「この商品を買った人は、こんな商品を買っています」って紹介が出て、で、*1その中の商品の半分くらいはもうすでに持っていて、で、残りの半分も、面白そうだから一回読んでみたいと思っていたものだったりしたので、その機会に買ってみたら、やっぱり面白くて、で、その時、ああ、評論とか書評とかいう仕事(サイト)は将来必要なくなって、コンピュータが統計して一人一人にあった漫画なりそういうものをキュレーションしてくれる時代に将来なるんだなあって思いました。 ■■■■ でもこのエントリは、『どう、当時将来を見越してた俺スゲ

    なんで“はてなブックマーク”はキュレーションサイトじゃないのか - orangestarの雑記
    dkinyu
    dkinyu 2014/09/05
  • ggsoku.com

    ggsoku.com
    dkinyu
    dkinyu 2014/09/05