Planarity.net のゲームは自動でランダムにグラフを生成しているようだが，「たまに解けない問題を出してしまうバグが残っています．御容赦ください」とあった．Wikipediaによれば，あるグラフが平面グラフになる必要十分条件は「そのグラフの部分グラフのう…

流行からちょっと遅れて今頃やってみた Planarity.net でLv. 10まで行った．いくらでも時間を吸い込みそうなので強い意志をもって封印．てかこんな面白いゲームを作られたらグラフ理論を勉強したくなっちゃうじゃないか... orz

ちなみに私は理情の講義で1単位たりとも貰ったことはない．今のところ貰える予定もない．ところで友人には理情の講義で単位を得た／得そうな人が何人かいる．そこで私は彼らより理情から遠いという結論が導かれるが，これに異議はあるまい．

スピルバーグのミュンヘンには期待しているんだが，ターミナルなるドラマも撮っていたのか． http://www.allcinema.net/prog/show_c.php?num_c=320268 まぁ当たりそうもない，小品だな．ストーリーは「空港から出られなくなった男」というのがコンセプトらし…

机に向かって興に乗ると，立ち上がるのすら面倒という境地（？）に達することがあるんだが，そういうときでも空腹を感じない訳ではない．予め買っておいたパンはそこに至るまでに食べ尽くしている．カップ麺では焼け石に水だ．そこで仕方なく今度からピザー…

東京TVの経済番組で文房具の特集をやってて，ボールペンの先に入ってるベアリングの技術の話になり，真球度の高いベアリングとそのへんのパチンコ玉を比べる実験をしてた．坂道を転がした後に3回くらいバウンドさせて筒の中に入るか，という実験で，パチンコ…

UTMCのOB関係の会計の仕事を多少進めた．めんどい...

背理法は「ぱっと眺めたところでは正しそうだけど，どうもきっちり証明しづらい」ような命題を疑問の余地なく明確に証明したいときに便利だ．しかしときどき，最初から「自明」の一言で瞬殺してよいような命題を時間をかけて背理法で示す愚を犯してしまいが…

呻吟singin'

あーレポートが進まない... レポートを書くために必要な予備知識が全然足りてないので困る． とりあえず提出は，4年生の卒研発表会のときに諸先生を捕まえて提出すればいいかな... ？ だめぽ

電通大の校章はLissajous図形だと知った． http://www.uec.ac.jp/uec/uec-logo/uec-logo-history.html 校章の由来 http://www.uec.ac.jp/uec/uec-logo/lissajous-connection.html 電気通信大学とリサジュー図形とはどの様な関係？ こういうアイディアはけっ…

うーん，O社の編集者さんからいただいたファイルを参考にしつつ版型や字の大きさ，行幅等を制御するTeXのパラメタをあれこれいじってコンパイルしてみたのだけど，どうやっても本の中身が易しくなったりすることはないのね... 当たり前だが．

Yさんに実験計画（案）を説明した後，（試料を作るのは伊藤研＠柏 でやるので）土井研では何をやっていくか，どの設備／機器が使えるかを伺って，偏光顕微鏡を置くetc. で私たちが使える場所を空けてもらった． しかし透明電極を塗ったガラス板の間に液晶を…

先日，懇親会があったらしい． ふと気付いたが，もうECCS相談員をやっていた時期（1年夏学期から2年夏学期）より辞めてからの時期の方が長くなってしまったのだな．辞めたってか単に勤務申し込みしてないだけだけど，まぁ言ってみれば半年毎に契約更新な訳で…

プロジェクトマネジメントと言えば，これも理情の先輩に教えていただいたのだが，こんな皮肉な1コママンガがある： http://www.dashiblog.com/blog/archives/project_comedy_l.gif 顧客が本当に必要だったもの ITプロジェクトの実態とは！ : Dashi Blog で和…

三田線神保町駅から手描きの地図でO社へ．家にはプリンタがないのでO社webサイトの地図を手帳に写したのだ． 無事たどり着けた．学士会館の次にあるはずの税務署が分からなくて道路を1本分通り過ぎてしまったが，前回の記憶があったのと割と格子状で分かりや…

かなり古い（1992年）が，東大教官の出身に関するデータが載っている． http://www-masuda.cs.uec.ac.jp/~masuda/ide200106.html 大学教官のインブリーディングを排除せよ

ここ1か月の間に会話を交わした女の子全員からチョコをもらっちゃいました．あはははは

まぁこんな下らないことを書いてはいるが，何より大事なのは，今日は固体物理の試験だったことだ... だ め ぽ 正直，問題文の意味すら怪しかった．なんかこんな現状だと「工学部固体物理学科」にいる意義が分からなくなってくる． 詳細は後ほど

昼過ぎからストレス解消のためにCS図書館にこもっていたのだが，16時半頃になって外に出たら風が暖かくて驚いた．今日は雲ひとつない晴れだったせいもあるのかな？ 5月頃かと思ったよ．セーターとカーディガンを重ね着していたのがおかしく思えるくらい．ま…

How many Hamiltonians must a student perturbate Before you call him a physicist? Yes, how many Fermi seas must an electron sail Before it contributes paramagnetism? Yes, how many times must final exams be held Before they're forever banned…

割と簡単なレポート（光学）1枚仕上げるのに6時間以上かかったりする私は一体何なんでしょうか...

ポルノグラフィティのベスト盤でmugenという歌を久々に聴いた．この歌はNHKが前回のサッカー ワールドカップの放送をするときのテーマソングで，あの頃は繰り返し流していたっけ．「幻想とじゃれあって ときに傷付くのを... ♪」 で，あれは2002年だったわけ…

とうとう明日だ... ど う す れ ば い い ん だ やばいやばいやばい

最後の関門，固体物理の試験勉強を... しようと思ったが，積もったレポートの処理に追われてあまりできなかった．うぅ... それにしても総合図書館が19:00で閉まるってのは何なんだ．早過ぎる...

今度は原始帰納法．もちろん単なるif文でいけるのだけど，それだとちょっと見栄えが違うので違和感があるのと，一般の分岐ができてしまう普通のif文ではうっかり原始帰納法に依らないコードを書いてしまいそうな気がして．ただエラーチェックはしてないんで…

>

μx.f(x,y) は y |-> Min{ x | f(x, y) == 0 } の意味．そのようなxが存在しなければ値はボトムとなる（解なし，停止しない）．Schemeでそれっぽいものを実装してみた． 使用例： gosh> (define-M (sqrt-int (mu x) x2) ; μx を (- (* x x) x2) に作用させた …

15時過ぎに「ピンポーン」とドアホンが鳴って，なんか知らんが電話帳が来た．久しぶりだ．考えてみれば電話帳ってNTTが作って，加入者に対して配ってるのかな？

昼に2年生のお二人がまた本郷に来たので，私もひさびさに様子を見に一緒に土井研に行った． 高分子のシートに，溶液にした金を染み込ませてから還元して金を固定する，という作業．ちょっと作業したら1日待って，また作業して2時間待って... みたいなのを繰…