それだけ

メインで使ってたパソコンがめでたく昇天。電源周りがいかれたっぽく，最初は電源だけ取り替えようとしたけども，筐体と電源が見事に一体化してて断念．いきなりVISTAに買い替え．HDDとかFDDははずして，そのうちデータを取り出して流用しよう．CPUとメモリ…

年末は忙しい・・・はずなんだけども，妙に定時帰りができる．業界的にはかな〜りまずい気もするが，それなりに忙しい．400ページの初校出稿後，中一日で責了とかいう「それでいいのか！？」みたいな案件もあったり（日本人なら誰でも知ってる出版社なんだが…

思いっきり周回遅れの上に，朝日の青Beの記事で思い出したという体たらく．インストールして放置してあった「ちょろめ」を使ってみました．・・・何これ．体感速度違うよね．測る気も分析する気もないけど，体感は間違いなく速い．Haskell，とくにMonad/Monad…

いろいろ書き散らかしているうちに結構な分量になっているような気がします．そろそろ整理と修正・補正してブラッシュアップすべきかも．最近気がついたのですが，MonadFixの雑文が別のところからリンクされてたりします．

Project Euler Problem 17をみてちょっと萎えた．んー，ああいう特定の自然言語および習慣に依存するような問題はなんとなくなんだなあ．解くこと自体はきっとすぐなんだろうが．ということで，何か新ネタを物色・・・というか「harrorth」とか「S式」とか，…

レポジトリが応答しない なぜかレポジトリが落ちててemacsが入りませんでしたが，これはレポジトリを変えればOKでした．http://www.ubuntulinux.jp/switch-archive-mirror を参照． 「マウスのホイール（wheel）が動かない」「マウスがシームレスに動かない」…

壊れてしまった．特定の，そしてよく使うキーを押しても入力されない．小型のキーボードに買い換えたら・・・小さすぎて入力に慣れるまでしんどい。。。

GHCを6.8.2に更新してみました．どうやらデバッガがついたみたい．それと起動時のロゴがでないのがちょっとさびしい・・・．Project Euler Problem 8，なんか毛色が変わってすっきり思いつかない．Haskellの文字列の扱いがよくわかってないということだろう…

Archived Problems - Project Eulerというのを発見しました．現在186問の（数学的なバックグラウンドを必要とするような）プログラムの問題が公開されています．日本からの参加者もそこそこいるようです．サイボーズの人の「どう書く.org」もみてると楽しい…

おお・・・ミクアーガが見られる．DSのナムコミュージアム持ってるからドルアーガは今でもできるが，PC版のナムコミュージアムはXPではろくに動かない．かなしい．

textfile.org経由で，小島さんの話題．小島寛之さんというと私には，SEGの中学数学のリーダーというイメージです．中学校のユークリッド幾何と「原論的ユークリッド幾何」の橋渡しになるような問題提起的な問題や「ロバの橋」を真正面から扱ったテキストは面…

馬車馬のように働いてた．すっかりHaskellとも縁遠くなった．存在証明で更新してみる(苦笑)

Haskell本，それも日本人による日本語の本の三冊目以降が出ませんね．Haskellの「尖がった」ところが前面にでるような本が出てくれると勉強になるのですが．とりあえず現在頑張ってParsecのドキュメント読み中． ParsecでRPNからASTを作る なんてくらいのこ…

とにかく暑い・・セミは夜中まで元気．ふさふさおけけで散歩してるワンコも暑そうです．そんな中カレーを作ってたらますます暑くなった(苦笑)．

仕事が忙しかった．疲れた．頼むから25日のPM3:00と26日のPM2:00に持ってきて，27日のPM3:00までに223ページ+53個の図版修正なんてやめてくれ．他の案件がほとんど止まってしまったではないか．カレンダをみると，ここに何か書いてる日とそうでない日が見事…

ほぼ同感．結城さんのバランス感覚はとにかく見事としか思えません．ただ，数学英語に関するくだりについては反論．「ガール」か「ガールズ」かは単なる主観です． 404 Blog Not Found まず「数学ガール」とはなんですか、hyukiさん、これじゃ「僕」はミルカ…

記法ができるということで，はてなを選んだわけですが，どうなっているでしょうか・・・おお出来てる．すばらしい．