タグ

2014年5月7日のブックマーク (3件)

  • Blog

    What We Know Our key takeaways from partnering with enterprise-level engineering teams. Details How We Ensure Success Our unique and personalized approach to help you achieve your business goals. Details Your SEI Platform Get to know your custom-designed Software Engineering Intelligence (SEI) platform. Details

    Blog
    tarao
    tarao 2014/05/07
    元論文(Diamondback RubyのJ. Fosterら)をちらっと見た限り"Gradual Typing"だ、とまでは言ってなくて、型書いたところが型安全だという証明はまだなさそう。blame systemを定義する必要がありそう。
  • Gradual Typing Bibliography

    This bibliography attempts to cover all of the literature on gradual typing, defined as safe interoperability between typed and untyped portions of a single program. It begins with the original work on gradual typing, which was independently presented by four sets of authors in between September 2006 and January 2007, and then covers the extensive subsequent literature, both theoretical and practi

  • 高木浩光@自宅の日記 - 現行法の理解(パーソナルデータ保護法制の行方 その2)

    ■ 現行法の理解(パーソナルデータ保護法制の行方 その2) この議論に参加するには現行法の理解が欠かせない。私も半年前にようやく理解したばかりであり、一部は論文として書いていた*1ところ、一般向けには、図を用いるなどしてプライバシーフリーク・カフェの動画コンテンツで提供したかったところだが、悠長にやっている場合ではなく、今すぐ全ての人が知るべきだと思うので、とりあえず取り急ぎ*2ほとんど文章だけで。以下、行政機関個人情報保護法や情報公開法と対比しながら、個人情報保護法の民間部門の第三者提供の制限について考える。 1. 個人に関する情報 まず最初に、先日の第1回「プライバシーフリーク・カフェ」(前編)の様子をまとめた「「個人を特定する情報が個人情報である」と信じているすべての方へ」を踏まえておかないといけない。ここは基礎の基礎であり、これを間違えていると全部が吹っ飛んでしまう。「個人を特定す

    高木浩光@自宅の日記 - 現行法の理解(パーソナルデータ保護法制の行方 その2)
    tarao
    tarao 2014/05/07