タグ

2009年4月21日のブックマーク (4件)

  • Reddit - Dive into anything

    bellbind
    bellbind 2009/04/21
    dependent-typeのコア言語PiSigma。Lazynessのbox項がある。
  • Haskabelle

    bellbind
    bellbind 2009/04/21
    haskell上のIsabelle
  • 講習会「文字集合と文字エンコーディング」を開催しました — ディノオープンラボラトリ

    「文字集合と文字エンコーディング」というタイトルで、経験2〜3年目の人をターゲットに社内勉強会を開催しました。文字集合という単語を知っている必要はないですけど、少なくともUTF-8とShift_JISとでは扱える文字の種類数が違うことだけは伝えたかったので、その意味では目標が達成できたと思っています。 まとめ 文字集合とは、扱える文字の集合 JIS X 0208なら6000文字くらいの日語の文字 UCS-2なら60000文字くらいの世界中の主要な文字 文字エンコーディングとは、文字の集合をバイト列に直す方式 Shift_JISはJIS X 0208(など)を1〜2バイトにする UTF-8はUCS-2を1〜3バイトにする 文字エンコーディング関連のツールを使いこなそう nkfやlvを使いこなそう 日語を探すならlgrep 最終兵器:hexjaで16進ダンプ ムービー

    bellbind
    bellbind 2009/04/21
    UCS2とUTF16は、番号と数値が同値でも、前者が「文字の集まり全体」を指し、後者がそういった文字集合上の番号とデータ表現との「変換手法」を指すもの。概念として区別したほうがいい。↓符号化とフォーマットは別物
  • 定額給付金の申請手続きで添付書類の不備が多発 | スラド

    ストーリー by reo 2009年04月21日 11時00分 その振り込め詐欺、仕事早すぎませんか ? 部門より 定額給付金の給付手続きが多くの自治体で開始されている。手続きは、受取人が申請書類に必要事項を記入した上、振込先の銀行口座の通帳のコピーを添付して提出することになっている場合が多いようだが、香川県高松市では申請のうち 7 割程度に通帳のコピーが添付されておらず、書類を返送しているという (四国新聞社の記事より) 。 そもそも、振込を依頼するのにどうして通帳のコピーが必要なのかわからない。記事によれば「東かがわ市でも、同様にコピーが同封されていないものが 2 割弱あるが、市は『申請書の記入内容と照らし合わせるためのもので、記入があればそのまま受け付ける』としている」とあり、実は必須なものではないのではないか。全く無駄なコストがただただ浪費されているように思えてならない。 また、毎

    bellbind
    bellbind 2009/04/21
    市区町村によって必要なものが違うのか。まぎらわしい。