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

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2012-02-14から1日間の記事一覧

出来の悪い演繹系に関する理論

Catyに型安全性の判定系を付けようとしています。Catyは既に動いているので、あまり大幅な変更はしたくありません。そもそも、我々のように人的リソースが極小のプロジェクトでは、一度に大きな労力をかけることは不可能なので、ボチボチ・チビチビとやって…

寒いとホントにダメェー

気温が低いだけで不調ですわ。僕はなんかもう、夏虫か爬虫類なんじゃないか、と。でも冬眠できるわけでもないし。やたらに厚着をして外出もしないで耐え忍んでおります。喉を冷やさないようにネックウォーマーは必須。ある人から、あったかくていいと登山の…