このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

[参照用 記事]

2006-03-02から1日間の記事一覧

もっと型理論

「今風の型理論入門(本編)」で説明したサンプル(ByteInputStream)を雑誌記事でも使ったのですが、いかんせん4ページだからたいしたことは書けませんでした(昨日のエントリー参照)。こっち(日記)はこっちで、もう少し先まで話を進めていくことにしま…

「はてな」の使い勝手と「はてな」の文化

別にかき集めたわけじゃないのだけど、「はてな」が難しい/使いにくいってハナシが目に付いた。 はてなが(私にとって)難しい理由http://d.hatena.ne.jp/Mayura/20060222/1140599324 はてなって難しい(汗)http://d.hatena.ne.jp/Mayura/20060209/1139485…