タグ

2015年12月19日のブックマーク (2件)

  • 私とマイナンバー - uzullaがブログ

    当方フリーランス的カツドーもしているしコヨー的なヤツもされているので、年末調整等でついにマイナンバーに触れはじめました。 ここ数日で思う所、感じる所があり、ちょっとしらべたので、主にメモとしてこのエントリを書いた。 オチ、あるいは正解情報 http://www.cas.go.jp/jp/seisaku/bangoseido/pdf/260717bangouhou.pdf http://www.cas.go.jp/jp/seisaku/bangoseido/pdf/chikujou.pdf https://www.nta.go.jp/mynumberinfo/pdf/kakunin.pdf を読むと大体理解できる。ただし、上は平成27年12月18日(金)ひろってきたURLであり、将来には改正される可能性があるし、httpのURLは改竄されている可能性もないとはいえない。 DISCLAIMER

    私とマイナンバー - uzullaがブログ
    takashabe
    takashabe 2015/12/19
  • 型推論のしくみ

    このエントリーは、KLab Advent Calendar 2015 の15日めの記事です。 こんにちは、めっきり Jenkins の介護士となった @kakkun61 です。 趣味では Haskell を書いているのですが、そこでお世話になっている「型推論」のしくみを少し知ることができたのでみなさんに紹介したいと思います。 初めにお断わりしておくと、これから紹介する内容は『型システム入門』に全て書かれてあることです。KLab では『型システム入門』輪講をしているのですが、一緒に勉強している同僚と社外から先生として来ていただいている方にこの場を借りて感謝の意を表します。ひとりだとここまで読めなかったと思います。 『型システム入門』 型推論の解説に入る前に少し『型システム入門』について書こうと思います。 『型システム入門』は原著名 “Types and Programming Languag

    型推論のしくみ