2005-03-01から1ヶ月間の記事一覧

食事

朝 Family Martのスパゲティナポリタン 昼 駒場生協のパン 晩 眠くなって寝てしまった

タイトル

今日,駒場で進学決定者に名前があるのを確認.それに伴い日記タイトルから「内定」を外した.あーあこんな私が進学していいんですかね.

Lisp v.s. regex

http://jp.franz.com/ に行くと 2004年6月10日〜11日の2日間に渡って開催された特別イベント「2日間みっちり!Lispチュートリアル&Lispセミナー&事例紹介」の発表資料 and/or 概要が、掲載されました。 とあるんだが,その中に「ACL7.0の新しい正規表現ラ…

On Lisp出版?

"On Lisp" の邦訳をどっかの出版社から本にしたらいいじゃん,という話.はてさてあのようなニッチな本*1を日本で売り出したところでどの位の需要があるのだろう. もちろんプリンタから印刷して束ねるのより専門の印刷所で本にしてもらった方がずっと読みや…

ブランド名

FirefoxなのかFirebirdなのか最近よく間違える.どっちだっけ,と悩んだ挙げ句に間違える.現在,正解は次の通り. ブラウザ Firefox データベース Firebird 携帯音楽プレイヤーを全て「ウォークマン」と呼んでしまう人の気持ちが分からなくもない.

CS図書館

今日は Jones and Lester, Implementing Functional Language: A Tutorial, Pretince Hall を理7号館3FのCS図書館に返しに行った.これはHaskellみたいな遅延評価の純粋関数型言語の処理系を実装するチュートリアルである. リンク先にPDFが置いてあり,それ…

春休みの成果

どうもこの春は「線形代数」で終りそうだ... いや,まだ気を緩めるとそれすら怪しいかも.

石坂公成

花粉症に悩む人は多いようですね... 私は幸い平気だが*1,突然発症する人も珍しくはないらしいからなぁ. さて帰省中はマンションの新聞は止めてもらっていたんだが,その間に「私の履歴書」の石坂 "IgE" 公成*2の連載が終了してしまっていたようだ.医学系…

有限群の列挙&分類

位数2000までの全ての有限群を始めとする,多岐に渡る群がライブラリ化されている群論向け数式処理系GAPをインストールしてみた. http://www.gap-system.org/ GAP System for Computational Discrete Algebra かなり大きなソース・アーカイヴの中身は主にラ…

授業進度の方程式

一般に,授業が進むにつれ,学生はそれまでに習った内容の復習等の負担のために新たな内容を理解する余裕がなくなってくる.よって最初は進度を早く,次第に遅くしてゆくことが望ましい.この考えから,最適な授業進度関数を与える微分方程式を立式できない…

IP電話

帰省中にVoIPが開通してたので設定した.実家にもVoIPが引いてあるので電話代タダ.つーかNTTイラネ*1(笑 NTTの電話番号は奇跡的に下4桁が2048という素晴しい番号だったのだが,もう使うことはめったにないだろう.残念ながらVoIPの方はあまり楽しい番号で…

上京

あーせっかく持ち帰ったデジカメで雪の富士山でも写してくればよかった.毎日見て育つと希少感がないのよね...

対話的CGI

対話的インタフェイスを持つプログラムをCGI越しに利用するにはどうすればよいのだろうか.基本的にCGIは一セッション一プロセスである.それに再読み込み,ページの前進/後退,突然の切断,と対応し辛いことで一杯だ.もう何年も前からぼんやりと悩んでる.…

自動車免許

春休みが終わる前に急いで取ってしまわねばならない.筆記試験の勉強を久しぶりにした.駐車禁止はどこから何m以内だの最大積載サイズは地上から何cmだの,やってらんないよな全く.どうせペーパードライバーになるんだし.今,学科教習の内容をすっかり忘れ…

書いているもの

最近書き溜めているものがいくらかあるんだが,どれも中途半端なままで日の目を見るまでにずいぶんかかりそうだ.IEEE Std. 754のfloatをintに読み替えてごにょごにょ,みたいなワンポイントから気に入った教科書の書評&要点ガイドみたいなのまで規模はそれ…

ぼくは量子力学ができない(小ネタ

山田美,ぼくは量子力学ができない.キメ台詞は「この時、初めて、演算子を時間発展させることを覚えた」

Ajax

とりあえずUTMC内部ページのIRCログ検索をインクリメンタル化したものを作ってみた.先輩が先日Cで高速で使い勝手のよい検索プログラムを書いて下さったのだが,それを使おうと思い立ったのだ.おかげでそこそこの「インクリメンタルっぽさ」がきちんと出た…

有限群の列挙&分類

応物の前原氏に日記の存在がバレた... やはりはてなは恐い. それはともかく,素晴しい情報へのポインタをいただいたようだ.落ち着いたら読んでみよう.しかしよくこんなプレプリをご存知ですな.

ドイツ花文字

最近は少なくなったが,数学では特定の対象を表す記号にいわゆるドイツ花文字,フラクトゥーア体が使われることがたまにある.しかし読めないわけだ,例えちょっと位ドイツ語を習っていた人間ですら. で,置換群を表すやつがGでなくSだと知った20歳の春.読…

帰省

しかし今日から数日間静岡に帰省するので書き込みは少ないであろう.

ADSLキター

ASAHI-NetでフレッツADSLに申し込みしてたのが開通しますた.

有限群の列挙&分類

Cayley表を埋める時点で結合律を確認する方法が浮かばなかったので,とりあえず生成されたCayley表においてあらゆる3元*1の組み合わせをチェックするルーチンを加える.コストが輪をかけてひどいことになったが仕方ない. 5x5のCayley表で本当に群に対応して…

Google Maps

Ajaxがどうのと言いつつ id:flappphys:20050303#p1 今までGoogle MapsやGoogleサジェストを試したことがなかったのだけれど*1,今日初めて使ってみた.何と言うか,特にMapsは未来のテクノロジーだと思った.ブラウザ上の地図でこんな「ぐりぐり」が実現でき…

Safariさよなら

もう(自分からは)二度とSafariは起動しないことに決めた.今まで「せっかくのiMac端末 & MacOS Xなんだから」と大目に見てやってきたが,Safariの文字コード判定は腐り過ぎている.http-equiv がないと何もできないのか? AppleはよくもまぁあんなものをOS…

有限群の列挙&分類

位数n 零元と呼ばれるある元eがあって,任意のxに対しxe=ex=x 任意のxに対しxの逆元と呼ばれる元yがあって,xy=yx=e 任意のx, y, zに対し (xy)z = x(yz) を満たさなければならない.今,3元から成る群についてCayley表を書くと以下のようになる*1. *012 001…

地下の祭り

今日は地下で*1CPU祭りがあった.「プロセッサ実験 学期末発表会」. 生協で親に頼まれていた東大チョコを買い,カレーを食べてから行ったら30分遅れ,最初の1班分見逃す.「我こそは」という順で発表していくらしいので非常に損をしてしまった訳だ(その班…

進学

さて明日は進学者発表だそうな.事実上「4学期の語学の単位取得者発表」に過ぎない*1ようなので大した興味もない.誰かに確認を頼もうかな? 正直,確認を頼むことすら興味が湧かないが,進学決定したら一応色々---日記のタイトルを変えるとか (ショボ)---…

Political Compass

おまけだ.最近周囲で流行っている http://www.politicalcompass.org/ の診断.「政治/経済観の右寄り/左寄りチェック」とでも言おうか? Your political compass Economic Left/Right -4.88 Social Libertarian/Authoritarian -5.90 こっちは予想通りか. …

恋愛成績表

たまたま見つけた id:SNMR:20050312#1110628117 より.以前「ヲタチェック」「ロリコンチェック」をやったとき id:flappphys:20050123#p7 には友人を喜ばせる結果を連発してしまったが... 恋愛レベル 「発情ニワトリ級」 (18段階中 17位) 恋愛タイプ 「無…

料理

もう料理のやり方なんてすっかり忘れてしまったぜい.生協食堂となか卯とFamily MartとLawsonとゑちご屋(近所の食堂)とほっかほっか亭とその他のエトセトラの日々. ... しかし親の注文したガスレンジが届いたので設置(もう料理しないかもしれないって言…