タグ

2009年3月31日のブックマーク (2件)

  • はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
    znz
    znz 2009/03/31
    hg grepは過去リビジョンも探すからhg grep -rでリビジョン指定するとかかなあ。>速い grep 方法
  • Inemuri nezumi diary(2009-03-24)

    いけがみを召喚するには、出現予定を参考にしてください。三週間前までにメールをくだされば、日程を追加するなどしてスケジュールに組み込むことができるかもしれません。勉強会や個人的な会合、中途採用面接などに応じます。 _ Prolog大阪さんの事を論理的に考える集い参加記 前日まで、Agda と型理論とモデル理論の予習をしていた。 当日になって、会場の阪急グランドビルにある「漫画しかおいていない紀伊国屋」で大阪さんの漫画4冊を購入するという泥縄ぶり。 1 巻だけ斜め読みして、大阪さんのキャラクターを把握。その後、Lambda Cube と L Cube の例の記号を暗記できんからむぐーと読み直していたら、あろはさんと合流する。 その後、時間がきたので、アジアンキッチンで 7 人。夕飯後、一階下の喫茶店に移動して 6 人でお茶。 7 人席がなく、コの字型に座ったので、真ん中の二人(ranhaさん

    znz
    znz 2009/03/31
    SDの記事はどれも誤植とかチェックしてなさそうだから、「Haskell について知らないので」という理由ではなさそうなイメージが。>「誤植多し。」