okagawaのブックマーク / 2008年2月3日

okagawa id:okagawa

2008年2月3日のブックマーク (4件)

Mathematical Structures in Computation Models
okagawa 2008/02/03
数学
リンク
Mathematical Structures in Computer Programs
okagawa 2008/02/03
Haskell
リンク
Flexでターミナルエミュレータ & Telent - Blog by Sadayuki Furuhashi
ふと思い立ってFlexでターミナルエミュレータとTelnetクライアントを書いてみました。（と言ってもCからActionScriptへの移植なわけですが）巷で話題のSocketとByteArrayをバリバリ使ってます。エスケープシーケンスの処理が破滅的に大変で丸一日かかってしまったのですが、ここにきてvimが動いた！ので、とりあえずスクリーンショットだけ公開。 ↑vimでウィンドウ分割しています。 screenも使えます。ANSI Colorにもしっかり対応。マルチバイト文字も大丈夫。文字コードはEUC-JPもいけます。今のところの問題点としては… 文字の背景色が出ないカーソルが見えない矢印キーが使えないスクロールバッファがないうーむ。矢印キーが使えないのはキーイベント周りを直せばいいとしても、スクロールバッファは難しそうな気がする。 ※追記：ソースコードも公開しました→続・
okagawa 2008/02/03
JavaScript
リンク
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記はてなグループ日記のエクスポートデータは2020年2月28
okagawa 2008/02/03
型推論

Python
リンク
- 2008年2月4日
- 2008年2月3日
- 2008年1月30日