タグ

2009年10月15日のブックマーク (5件)

  • Practical Scheme

    Shiro Kawai まだ下書き Schemeの特徴をあげるときに、「継続」や「call/cc」が出て来ないことはない。 でも、R5RSのcall/ccの項をいくら読んでも、どうもよくわからない。 call/ccを使えばC言語のbreakみたいなのとか、コルーチンとかいう スレッドもどきとかが書ける、というのはわかったけど、一体そういうのが書けて 何が嬉しいのか、そこんとこがピンと来ないんだ。 今、そこにある継続 プログラミングの世界の概念には、禅の公案のようなものがある。 それを説明する文章はほんの一文なのに、最初に目にする時、 その文は全く意味をなさない、暗号のように感じられる。 だがひとたびその概念を理解すると、 その概念の説明は確かにその一文で説明されているのがわかるのだ。 そんな、「分かれば分かる」という禅問答の中でも 「継続」は最も謎めいたものの一つと言えるだろう。 文献を紐

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

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

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
    hirafoo
    hirafoo 2009/10/15
  • はてなブログ | 無料ブログを作成しよう

    顔に見える?最近「送水口」が気になるという話 「送水口」が気になる今日この頃 最近街中で気になる存在、それがこの「送水口」です。地上のフロアが7階以上あるビルなど、一定の条件を満たした建築物には設置が義務付けられているもので、火事が発生したフロアにただちに水を送るために使われるものです。ポンプ車…

    はてなブログ | 無料ブログを作成しよう
  • ぼちぼち散歩 Macでurxvt + screen + zsh + vim再び

    2010年2月14日追記: 全体的に最新の内容に書き換えました. 前回環境を作ってからなんやかんやでiTermに戻ってた.iTermは最新版では機能的には良い感じになってたけど,その変わりもっさり具合がひどくなってて,特にVimでNERD_treeを表示していると1秒間に2行ぐらいしかスクロールできないほど重い感じ.というわけで,前回の続きでurxvtに再挑戦することに. 前回満足いかなかった点としては,無理矢理「英数」「かな/カナ」キーでIMEをon/offしてたので時折変な挙動を示したいた点と,フォント設定がうまくいってなくて見た目がださかった点が大きかった.この2点がそこそこ解決できたので簡単に説明してみる.ちなみに,環境は10.5 Leopardなので,もしかしたら10.6 Snow Leopardではうまくいかない点があるかも.現在10.6の環境で運用中.たぶん大丈夫だけど,むし

    hirafoo
    hirafoo 2009/10/15
  • MySQLでutf8を扱う場合。 - ×××Diary

    デフォルトの文字コードがlatin1になっている為 日語を投げて取り出した時にlatin1で返ってきて えらい勢いで文字化けしちゃうって話ですが 笑 設定ファイル(/etc/my.cnf)に記述して期待した通りの 挙動をしてもらおうじゃん。 って話で、よく見かける設定のそれぞれの意味ってなんだろ?? ってことでちょいと調べてみたってお話のめもめも。 よくみかける設定の例。 [client] default-character-set=utf8 [mysqld] default-character-set=utf8 skip-character-set-client-handshake character-set-server=utf8 collation-server=utf8_general_ci init-connect="SET NAMES utf8" [client] defau

    MySQLでutf8を扱う場合。 - ×××Diary