昨日歯を抜きましたが、結局麻酔が抜けてもあんまり痛くなかったなあ。鎮痛剤のおかげなんだろうか。今は抗生物質だけ飲んでます。本当にあっさりしていましたが、今朝起きたら口に少し血が固まっていてびびりました。今はもう大丈夫です。
Dell の Windows7 無料アップグレードの登録をしてあったのですが、注文をすっかり忘れていました 。今急いでしましたが、いつ届くんだろうか。[追記]お届け予定日12/1になっとるが……。届いたら早速アップグレードしたいなあ、と思います。Vista に比べたらいろいろいい噂を聞くので。過度な期待はしていないですけどね。
この数日・数週間で、いろんな点で劇的に環境が改善されていってるけれど、環境をよくするだけじゃなく、ちゃんと勉強も開発も進めなくちゃなあ。
]]>今年はいろいろ手術を受けますねえ。
]]>まず、Twitter を始めました。いや、実はアカウントは前から取ってあったのですが、いつ始めようかなあと、タイミングを伺っていたのです……いや伺ってないでさっさと始めろよという話なのですが、なんとなく。SNS ってほとんどやったことないですからね……まあ、さすがに今度は大丈夫なのではと思うけど。あと、早速右に tweet を表示してみました。
次に、iPhone を始めました。先月にスパボから解放されたので、前々から使ってみたかった iPhone にシフトなのです。元々ソフトバンクなのでメール周りは楽でいいです。今は慣れるのに夢中です。もうすでに楽しい。
そして最後に、Microsoft DreamSpark を始めました。知らないうちに、国際学生証だけじゃなくて学生SNSのアカウントでも取れるようになっていたので。学生であることの確認は、大学のメールアドレスで行うみたい。確認に１～２営業日かかったけど、国際学生証取るよりはずっと早くすみます。早速 VS2008Professional をインストールしました。
一日で一気にいろいろやったから疲れた……。
]]>今回は、前2巻とは少し変わって数学基礎論についてのお話です。公理の話なんかは、第二弾フェルマーの最終定理でも群や環などの定義で出てきましたが、今回はそこを思いっきり掘り下げていくような話です。前巻までの数学の世界からディープな論理の世界へと行くための架け橋として、ε-δやペアノ算術の話が出てきます。例によってこれでもかってほどに丁寧に疑問を解決してくれているので、ここら辺が苦手な人はぜひ。
前巻では、フェルマーの最終定理を証明する段では大まかな流れを示すにとどまりましたが、今回の最後で取り組むゲーデルの不完全性定理の証明は、かなり細かいところまで書かれています。一部の定理で証明を省いていますが、さすがに仕方がないか。細かく書く分、さすがに解説はそこそこ端折っていますが。わからない人は雰囲気をくみ取るだけでもいいだろうし、わかりたかったらペンと紙を持って挑めということでしょう。
今回は僕もちゃんとは知らないテーマだったので、今まで以上に楽しめた気がします。数学ガールが健在でうれしかった。
ところで、今受けている数理心理学の授業で先生が、ε-δ以外の極限の定式化という話をしていました。極限の公理を5つほど入れると、ε-δによる定義と等価になるらしい。気になる。
]]>という報告だけして今日はおしまい……という勢いです。今日は机と椅子を組み立てて、新しいPCにいろいろ必要なソフトをインストールし続けていましたが、まだ終わらない……Vistaに慣れていないのが悪い気がします。
実は今回思い切って64bit版に乗り換えてみたのですが、今のところこれといった問題は発生していなくてほっとしています。そのうち Windows7 が届いたらインストールしてみようかなあ (今回は Dell で買ったので、送料だけでアップグレード版がもらえるのです)、すぐやるか、しばらく待つか、悩みどころです。
引っ越しが完了したら始めよう、と思ってたことがいくつかあるけれど、まだバタバタしてるし、もうしばらく後回し。とか言ってるとまた永遠に始まらなくなっちゃって、残念なことになるのですが。大丈夫、ここで自分に釘を刺しておけば、後で必ず抜いてくれる……はず……。
]]>お引っ越しは、水曜搬出、金曜搬入、ということになりそうです。単身パックにしたから1日じゃ済まないんですが、まあほら、どうせ運ぶのは大量の本、カラーボックス、服、印刷機、小さな本棚というメンツなのにわざわざ見積もりに来てもらうのも面倒だし、ということで。本棚が入るかなあどうかなあ。
先週の日曜に定期券が切れたのですが、今の家からの定期を継続して買うともったいないので、でもまだ引っ越してないので、今定期ないんですよね。定期ないとこんなに電車賃かかるんだなあとしみじみ実感中です。お金足りないです。早く定期買ってしまいたい。僕という人間は、一気にどばっとお金を使うときにはわりかし躊躇しない、でも普段使うお金は気になってしまう、そんなタイプです。
とりあえず、勉強しなくちゃ。
]]>荷物は大半が本と紙類……思っていたより量が多いので、すぐに送らなくていいかなという分については見送ることにしました。それでもだいぶ、この家から僕の物は減るはずです。
デスクトップ PC は妹弟が使うということもあって置いていくのですが、データの移行をそろそろやらないといけません。ポータブル HDD はもう買ってあるんですけど、データ移すのって、地味にめんどくさいです。
今は、新生活（といっても一人暮らしではないけど）に少し夢描いている段階です。主に PC とネット周りに。それって住んでる場所関係なくないか。一方で覚悟も必要です。おばあちゃんの手伝いいっぱいしないとなあ。
いくつかのタスクを引っ越し後に棚上げしているので、落ち着いたらやらなきゃなあとか。
関係ないですが、数理心理学の授業がやっぱり楽しそう。
]]>最近はその Wii で GC 版である F-ZERO GX やってます。まだやってるのかよ。ちなみに GX はもう発売して 6 年ほど経ちます。グラフィックが綺麗ですが、ただ細部まで作り込まれているだけでなく、すべてが爽快感を生み出すために作られていて、そのリアルなグラフィックの中をオーバーマッハで駆け抜けるときの、建造物だったり自然物だったり半透明だったり光ったりするものが高速で後ろに駆け抜けていくのがたまらなくキモチイイのです。
ついつい語りそうになります。もう一個語ると、GX ではマシンの排気ガスに強い光エフェクトがかけられていて、リプレイ画面などを見るとまるで流れ星が走っているようでまたキレイ、キモチイイ、というのもよかったなあ。
GX の話はここら辺にしよう。たまに SFC 版も X もやってます。どんだけ F-ZERO が好きなんだ。僕はあまり何かに猛烈にはまることってないんですが、F-ZERO は例外ですね。また作ってくれないかなあ、任天堂。期待するのは次作または 64DD 版の VC への移植です。64DD 版やったことないですからね……当時の僕にはあんな高いハードをたった一つのソフトのために買ってもらうことはできなかったから仕方なかったのですが……。
GBA 版も持ってて、チャンピオンシップのインターネット大会に参加したりしたのも懐かしい思い出。残念ながら 47 位というしょっぱい結果でしたが……当時中２。すべてが懐かしい……GBA シリーズはクライマックスだけやってません。ファルコン伝説から少し好みと変わってしまったので……でもどうなんだろうやったことないからちゃんとしたことは言えないんだよなあ今からでも買ってみようかなあ。
でもやっぱりゲームはテレビの前に座ってやりたいという気持ちがありまして。どうしても携帯ゲーム機用ゲームにはまれない理由です。ああやっぱり据え置き機でまた F-ZERO 作って欲しいなあ。
]]>とりあえず本の梱包をはじめてみましたが、ちゃんと予定を組まないといけなさそうです。大学が始まってしまったので、平日一日は取りづらいのがなかなか難しいところです。今は新しいパソコンと一緒に暮らす日々を想像してそれを力にがんばるのみなのであります。
ところで今日は後期初授業で、応用数学XCがありました。昨日書いたヤツ。とりあえず、話がだいぶ抽象的で、何の道具を定義しているのかという点がいまいちわからなかったので、ちんぷんかんぷんでした。先学期の続きというし、どうしようかこれ……まあ次回も出てみて考えます。
]]>明日というか今日というか、10月入って初日、理学部は早速始動なわけであります。僕も早速授業に出席して参ります。まじめだね、全く。といっても明日は完全に興味本位な参加で、というのも数理心理学の授業なのです。もうタイトルからして楽しそう。まあ、まだこのプレプリントは読んでないのですが。去年の続きをやるそうで、初めての人にも配慮してくれるとは概要に書かれていましたが、はてさてどうなることやら。楽しそうだったらちゃんと読んで受けてみようかと思います。
他にも何となく授業を選んでみたら、火水木金と1コマずつという絶妙な入り方。お引っ越ししたら家が近くなって大学行くのも億劫でなくなると信じているので、そうなったら家を出る口実として授業があるのは良いことなのです。
しかしそのお引っ越しをするまではやっぱり大学行くの億劫です。まあ、初回付近の授業ってのはリラックスして楽しめるので、まだ気が楽で良いのですが。
関係ないですけどこの数日間に、森博嗣の「すべてがFになる」を読んでみたり、映画「ガタカ」を観てみたりしてました。森博嗣は水柿助教授シリーズを2冊読んだことがあるだけ(この入り方は間違いだった気がしてならない、けどダジャレ満載で好きという楽しみ方)でした。森博嗣、なんとなく、「小説ハッカー」っぽい。イメージとして。今続き読んでます。ガタカはSFと思って観たらかなりしんみりしました。良い映画でありました。
]]>かなり変な時期の転居になりますが、まあ理由はいろいろありまして。来年に向けてというのがもちろん一番ですが、早めに移って生活に慣れておきたいというのもあるし、でも今までできなかった理由もいろいろあって、ということでこのタイミング。
いろいろややこしそうですけど……がんばる。
]]>この改装で一番のポイントというか変更点は、HTML5 に移項したというところです。さすがに、早まったな、という感じに聞こえますが、論理マークアップの点では使うだけなら使えるのです。実際、移項したって偉そうに言っておきながら、実際に使っているのは section とか article とか time とかのごく一部の要素だけですから。保守的な HTML5、とでも言いましょうか。自己満足ともいう。
そういうわけでエキサイティングな部分は少しもありませんが、コード中の div がだいぶ減っていて、CSS デザイン中の罪悪感が減ったような気はします。セクショニングのルール (HTML 構造とセクション構造は交差してもよい) は便利ですねえ。
実験的に、という色合いが強いです。個人ブログだからね！ でも、代償がないわけではなくて、IE6/7 で閲覧する場合には Javascript を ON にしておかないとまともに見られないと思われます。そこだけはご了承ください。つまりはみんな早く IE8 に上げてね！ ということなのだけれど。ちなみにこれは、IE7 以前では未知の要素 (ここでは HTML5 で追加された要素) を正しく認識させるために Javascript で document.createElement("要素名") をしておく必要があるためです。この技は IE5.5 ～ IE7 で使えるらしい。
ということで一段落一段落。
]]>といっても見た目はあんまり変わってませんが……今日はもう遅いので、詳しくは後日。不具合調査もまだ不十分ですが……それも後日。
]]>さてと……今、このブログの改装の準備をしています。デザインはほとんど変わらない予定ですが、じゃあ何が改装なのかと言えば、ソースコードです。要するに、見ている人にはあまり伝わらない変化なわけですが、まあちょっとした好奇心ですので。できれば、トップ絵も刷新したりしたいなあ、なんて思ってみたりしたりして。実現すればそこだけは、見て下さっている方々にも見える変化になるでしょう。
じゃんくが復活したので、サークルで一緒に作っていたゲームのプロジェクトも再開してます。まあ、じゃんくがいない間にいろいろ進めとけよって気がしなくもない、特にプログラム担当の僕が……今は音声と描画の同期を実現するために FFmpeg (の一部である libav* 系ライブラリー) というなかなか手強い奴を相手にしてまして、これがまたまともな公式ドキュメントがないという恐ろしい子で、苦戦してます。なんか、絶対他にも方法があると思うのだけど、ここでがんばれば動画も読める！という期待と共にがんばり中です。まあこれも含め、僕の場合完璧主義がすべての障害となってプロジェクトの進行を著しく妨げているわけでありますが……！
]]>院試の合格発表があって、無事に合格していました！
ホント……よかった……なんていうか、喜びというより、安堵です。一つ気になるのはまだ研究室が発表になっていないことで、近日中に届くらしい書類に書いてあるのかどうか。まあそれはわかったら考えることにして、とりあえずは、一安心です。
]]>読んだのは、親に勧められたってのが6割、数学者と物理学者の戦いだ（読む前のイメージが）というのが4割、って感じだったのですが、実際数学科的にも面白かったと思います。数学の話がどうこうというよりも、トリックとか情報の出し方とかが。数学の問題を出されて、ヒントを小出しに与えられてるような気分になります。人によっては途中で答えが（エッセンスだけでも）わかると思います。ミステリーってトリックわかっちゃうとつまらなくなるものもあると思いますが、この小説はそれがわかっても答え合わせが楽しい、と感じました。まあどのヒントの段階で気づくかにもよるかもしれないけど。
あと、この小説ではいくつか有名問題が出てきますが、特にメインで出てくるのが四色問題です（P≠NP問題も出てくるけど）。四色問題って、知ってるけどほとんど考えたことがなかったので、いい機会だと思って少し調べてます。グラフ理論は先学期勉強したばかりだし（組合せ最適化の本でだけど）。
]]>僕が受けたのは数理情報なので関係ないけれど、こういうことってあるもんなんですねえ。恐ろしや。
]]>院試が終わった今はぐうたら生活してます。合格発表は月曜ですが、専門の勉強はぼちぼち始めてます。まあ、半分は趣味のようなものとして。今日は髪切りに行くらしいです。もういい加減長いですからね……もさっと。マスクしていきます、怪しい人です。
弟が iPhone を買ってもらってて、いいなあ、僕も欲しいなあ、と身をよじってます。しかしまだスパボが残っている。とりあえず今度の Apple の発表会を待ってから考えようとは思ってるけど、場合によっては iPod touch でもいいかもしれない、という気分です。無線LANで十分なのではという。携帯でウェブ見てるとお金かかりますしね。
あとおととい、久しぶりに秋葉原に行って同人誌など買い漁っていました。夏コミに行けなかったのの回収！とばかりに。今回は結構いろいろと買いました。次の冬コミは行きたいな……今回行けなかったし、それまでの2回もサークルで店番やってたので自分の買い物はほとんどしていないというか、行きたいものと日にちがずれてて残念というか（2日連続で行く元気はなかった）、とにかく回ってないですからね。まあそのためにはまずはその日に元気でいることが第一条件ですが。のど痛ぇ。
同人誌読んでるとお絵かきしたくなります。お絵かき……ぼちぼち落書き程度にしてます。やりたいって言ってずっとしてない改装もさすがにそろそろしたいかな……と、言葉にして強制力を、と思ってもやらないこの僕！ でも今は割とゆるゆるな気分なので、それに乗じてゆるゆるっと達成してくれるかもしれません。
関係ないけど新しい数学ガール（ゲーデルの不完全性定理）が楽しみでしょうがない今日この頃。
]]>これはよくないから、なんかしよう。遊びでもいいから。
久しぶりに拍手がきてたのでレスします。というかむしろこのエントリーの本体はここからだ。
＞計算ミスをなくすコツとかありますかね？夏の東大模試で悔しい思いをしたので・・・
計算ミスは未だに僕もしますし、なかなか厄介ですよね。気合い不足と言われればそれまでなんですが、一定の頻度で起こるのは仕方がないことだと思います。
対策は大きく分けて三つあると思います。
計算法は、複雑そうな計算にがむしゃらに突っ込まないことですよね。計算を省くのに頭を使おうっていう。簡単なところでは、分数は約分しないで取っておくとか、積分はできるだけ原点対称な区間で行って奇関数の分を省くとか。こういうのって細かなテクニックになっちゃいますけど……対称性を使って計算省略は重要だと思います、時間も短縮できるし。
結果の検証っていうのは、ありえない答に気づこうっていうものです。確率の問題で、直感に反する答が出たら見直すとか、出てきた値が満たすべき等式を考えて当てはめてみるとか、そういう感じの。案外これ気にしてると、ミスに気づくことがあります。特に解答の途中に出てくる値とかでこれに気づけるようになったら、結構強いです。
もう一つの検算が一番重要ですよね。時間がないとアレなんですけど、僕が東大受験の際にやってたのは、2回解くっていう方法です。試験時間の最初の5～15分くらいは全部の問題に目を通すのに使います。少し考えれば、A：解法の概要がすぐ思いつく問題、B：ちゃんと考えれば解けそうな問題、C：悩んでも解けるかどうか微妙な問題、に分けられます。この作業を終えたら、Aの問題から、問題用紙上に解答のラフスケッチを書いていきます。ちゃんと計算もして、内容的には8割方解答そのものって感じで、でも細かい言葉とかは省略して(ここの省略具合は個人の好み)。慣れると結構高速でできます。Aの問題全部のスケッチを書き終えたら、それを解答用紙に清書していきますが、この際計算はもう一度やるのがポイント。というか、このときまず解き方は覚えてるはずなので、先ほど書いたスケッチは見ないで解答を書きます。それで、同じ結果になったらOK、途中で食い違ったら見なおし。
これをBの問題でも同じようにやります。ただ、残り時間と相談して、危なそうだったらいきなり解答用紙に書く、とかいう柔軟性はあった方がいいです。検算のために解答が書き始められないんじゃ仕方ないですから。Cの問題もそうです。
慣れるまでは時間配分が難しいですが、慣れてくると確実に点を取るための戦略として使えるだけでなく、計算ミスまで減って一石二鳥な感じです。個人的には、一回目と二回目(検算に相当)で間があいてるのがポイントだと思ってます。直後に検算やると同じ間違いをしたりしますから……。あくまで試験のための方法ですが、一つの方法として参考にしていただけたらと思います。僕も結構悩んだとこだからなあ。
(久しぶりの拍手に全力でレスしすぎた気がしないでもないですが話のネタになったのでいいですよね、というか感謝です！)
]]>今日は10分弱の口述試験でした。時間から予想できた通り、あっさりしてました。学術的なこと聞かれるかなあと少し心配してましたが、志望動機とか、そういうことを聞かれただけでした。でも、部屋入ったら教授・准教授陣が10人以上も座ってたの見たときにはびびりましたｗ
あとは受かっていることを願うのみ……結果発表は9/7だそうです。
しばらくは、専門に向けて勉強したり、遊んだり、サークルやったり、遊んだりしようと思います。
]]>