2007-10-01から1ヶ月間の記事一覧

UTM騒ぎ

CS

/.-Jで「Wolframが提唱したTuring機械がuniversalだと証明された.これは最小のUTMが見つかったことを意味する」との記事を読んで,これは証明を眺めてみたいと強く思ったのだが,証明の印刷を忘れたまま帰ってきてもう一度/.-Jを見たら,なんと証明に初歩的…

日報

今日も工作.めんどくさーーめんどくさーー 今日は色素レーザーがlabに届いた.4 Wらしいが,パルス幅10 ns,繰り返しレート10 Hzのパルス発振なので1パルス当たり4 / 10 / 1E-8 = 40 MW,何ともパワフルで恐れ入った.よく「SF映画の撃ち合いシーンでレーザ…

溜まってた

数か月振りにarXivのcond-mat, physics, およびquant-phで「タイトルやアブストに "ultracold" を含む過去1年間の論文!」をやってあれこれ覗いてたら家から出るのがめんどくなって2限にめっちゃ遅刻(ぉぃ http://jp.arxiv.org/find/cond-mat,physics,quant…

タスクの依存性

インタプリタのwebインタフェイスを実装するにはサーバ環境を整えなくてはならない それにはサーバ用PCにFreeBSDを入れなくてはならない それにはサーバ用PCの逝ったHDDの代わりを買わなくてはならない それには(店頭で買うのは面倒だし選択肢が狭いので)…

mount(8)のオプションuser

なぜかcoLinuxのcofs機能でマウントしたディレクトリ内でプログラムが実行できなかった.chmod(1)でa+xしても駄目. manすらまともに読んでおらず知らなかったのだが,マウント時に指定していたオプションuserはデフォルトでnoexecを含意するらしい. user …

プール

夕方,停電からの復旧作業が微妙に終わったタイミングで(ぉぃ)研究室の様子を見に行った後,そのままプールに行った.御殿下のプールが修理中なので文京区のプール.今日はクロールでは計1.3 kmくらい泳いだ(間に休憩としてゆっくりの平泳ぎを挟んでいる…

今週のコイル

うーん, 先週の引きからの続きがあっけなく終わり過ぎた イサコの泣き声がハスキー過ぎに思えた 絵に色々違和感があった 設定を台詞に詰め込み過ぎた 等の点で評価の比較的 低い回でした.しかし展開にはやはり引き込まれる.来週は総集編かよ... それにし…

せっかく早起き(7時台)できたのに... 今日はその後をグダグダに過ごしてしまった.反省(何度目だ?

I'm so tired, I haven't slept a wink

I'm so tired, my mind is on the blink... 昨晩の日付変更頃から14時前までぶっつづけで実験をやっていたのでさすがに疲れたし,睡眠不足で眠い*1.無論,1週間前から分割して進めていれば1日たった2時間ずつでできたことですが... 昨晩,ちょろっと適当に…

非調和振動子は無理でしたか

DSolve[{x''[t] == -Sign[ x[t] ], x[0] == 1, x'[0] == 0}, x, t] が返ってこない件について.Reduceに変えたりAssumingで に制限したりしても駄目.がっかりさせないでくれよ... NDSolve(数値解法)を使ってPlotすると放物線らしきものが出て,√2くらいに…

今は秋で,東京の朝は晴れている ⇒ さて?

秋晴れと秋雨と小春日和と花曇りと処暑と冬晴れと... etc. etc. どれが何の季節を指すんだっけ. Google検索窓に「季語 一覧 辞典」とか打ち込みそうになった自分に愕然とした.それは「歳時記」だろ! orz

「検索エンジン」

検索エンジンの作成に関心のある方は Mozilla Developer Center をご覧ください。 世の中の,ここ以外のあらゆる場所では,「検索エンジン」と言った時,ブラウザ内で(例えば)Googleを利用する仕組み(上で指しているもの)のことでなく,(例えば)Google…

BTBとは「便利,大変便利」の略です

先日から,東大のネットワーク内からアメリカ物理学会のPRLとかのサイトを開くと,プロキシ・サーバを経由してなくてもPDFで全文が読めるように変わっていることに気付いた.NatureやElsevier系列は前からそうだったと思うが,便利なように変わってくれてう…

現実との戦い(冷蔵庫編)

わーい,昨日ゴキブリを見失ったのと同じ棚の瓶を動かしてよく探したら,昨日のゴキブリがいたよー.寒いせいか生きてるのか死んでるのかよく分からない状態になってた.出しっぱなしだった掃除機でそのまま吸い込んだ.許せ. さて,後はゴミとして捨てるだ…

「物理」と「物理学的現象」

私にとっては未だに(日本語の)「物理」とは自然科学の一分野を指す分類の名で,「物理学的メカニズム」や「物理学的な現象」を指して「物理」と言う言い方*1には,何と言うか違和感と言うかスノビズムを感じてしまう.英語(米語?)の用法としてはそちら…

これはもう駄目かも分からんね

portsでnmapか何かをコンパイル中に突然再起動,その後BTX loaderでHDDがカリカリ言って(何かをスキャンしてる?)その後に下のメッセージが: FreeBSD/i386 bootstrap loader, Revision 1.1 (root@dessler.cse.buffalo.edu, Fri Jan 12 06:40:38 UTC 2007)…

目を背けたい現実(冷蔵庫編)

冷蔵庫を開けたら1 cmくらいの小ゴキブリが扉の内側の棚を這い回ってて,すげー嫌な気分なんですが... よく見ると放置中だった野菜室の下に黒い液体が溜まったりしてるし.奴は瓶の間に入り込んで見えなくなったまま動きがないので,掃除機で吸い込もうと取…

SRM 372 (Div2)

返り際,眠気で居室の机に崩れ落ちそうになりつつもふとtopcoder.comを開いたらSRMの案内が出ててびっくり(忘れてた).迷ったがその場でregisterして,ダッシュで*1家に帰ったら開始時刻の0時を3分過ぎ.急いでenter,眠い頭を振り絞って参戦. 例によって…

寝坊

朝,珍しくすき屋で豚汁納豆朝食なんてものを頼んで腹いっぱい食べてしまったのがいけなかったか.「学校行くまでこの論文を読んでおこう,今日のミーティングの余り時間辺りで実験計画の立て具合に関してあれこれ尋ねられそう出し,付け焼刃でもしておかな…

バリで怪我

今日はバリで指先を切ってしまった.9号館の工作室が閉まった後も工作を進めたかったので,実験室の回路机のハンドドリルで金属ケースにネジ止め用貫通穴とかを開けていた.しかしそこのハンドドリルはさすがにドリル径のラインナップが少なく,φ6を超えるド…

逆に考えるんだ*1

桁から先に覚えるんだ.例: Planck定数hは「6.63かける10の-34乗」でなく「(10の)-34乗かける6.63」 電荷素量eは「1.60かける10の-19乗」でなく「-19乗かける1.60」 Boltzmann定数は「1.38かける10の-23乗」でなく「-23乗かける1.38」 せっかく掛け算は可…

本棚の整理 → 酷いことに

机脇の本棚が満杯で用を為さなくなって久しかったので,最近開いてない本をごそっと出して余裕を持たせるようにした(メモや学校で印刷した論文とかも楽にしまえるように).その結果,机は大幅に片付いたのだが,出した本を床上に置いたままの状態で休日が…

Sendmailの停止,アンインストール

BSD

噂ではBSDは質実剛健,堅実なタイプだと聞いていたが,なんで命じてもないのに最初からsendmail(8)が動いてるんだ? おまけにpackageではインストールされたことになってない... 停止(と言うか次から起動しないように設定)にも,Debianのupdate-rc.d(8)(R…

SRM 371 Div2

休日につき心置きなくTopCoder.毎回 休日にやってよ... Div2の250点,500点問題共に30分以上かけるというレベルの低い戦いぶりだったが,周囲が全然解けてなかったのでDiv2の中では比較的高い成績(150位/759人)だった. http://www.topcoder.com/tc?modul…

2日連続でお酒を飲んじゃったよ〜ん

今日は井上研の,私の所属していないもう一つのグループ ("E2 group") で大きな達成があったので,夕方,お祝いにみんなでワインを開けた.原子種が2種類なので2本. E2 groupのH君(同期)より私の方が飲んでたような... ごめんね.

歓迎会

上田プロジェクト理論グループに中国から新任のポスドクさんがいらしたので,歓迎会が開かれた.東大病院内にあるカワナ食堂で,高さ30 cmくらいのマグロの兜焼きを筆頭に色々変わったメニューが出ていた.顔,特に目の周辺の肉は脂っこいですね...

エンドミルを折った

フライス盤で銅を削ってたらφ5のエンドミルを折ってしまった... さすがに深さ10 mmを一気に削っていくのは無理があったか.無理があるとは思ってたけど,なんかKbさんはそれで済ませたらしかったのでやっちゃったんだよな... ハンドルを回してワークを送ろう…

驚いた

今日になって気付いたんだが,さいたま氏はいなくなってしまうのか... 思えば駒場2年の電磁気(宮野先生)の試験の出来が駄目駄目だった話をここに書いたのがきっかけだったが,これまでに私がさいたま氏の顔を見たのはたった2回でしたね. 複数ページのメモ…

運転免許の更新

また東西線で東陽町に行ってきた.またけっこう待たされたが,さすがに日曜のような常軌を逸した行列はなかった.手続きと2時間の講習の後,New運転免許ゲット. 今の免許証はICカードらしい.本籍地は表面には印字しておらずIC内に保存されているとか.それ…

SRM 370 Div2

駄目駄目.1軍入りどころかランク落ちるな... 2軍 (Div2) の250点問題しかsubmitできないまま500点問題にてこずって時間切れ.おまけに250点問題はSystem Testで落ちて0点... Challengeは全然分からなかったし(実際,System Test Failureの人は私の部屋には…