misc

1=0

有名な1=0 の「証明」として、 a = b+1 (a-b)a = (a-b)(b+1) a^2-ab = ab+a-b^2-b a^2-ab-a = ab-b^2-b a(a-b-1) = b(a-b-1) a = bここで a = b+1 だったから b+1 = b, ゆえに 0 = 1. Q.E.D. っていうのがある。 さあどこがまずいでしょう。知らない人のネタ…

スクリーンキャスト→mov→gif (mac)

スクリーンキャプチャをgifに変換したいQuickTime Playerで ファイル→新規画面収録 でスクリーンを動画キャプチャ出来る。 Mac OS X で動画のスクリーンキャプチャを撮る方法 - maruko2 Note.movファイルができるが、gifsicleというプログラムでgif形式に変…

引き続きつかれている.週末とはいえ日曜にはゼミの発表がある.ローレンツ群の表現なー. 力学系のゼミはお休みになったが,そのかわりに柏にいく余裕はあるだろうか?ちょっと迷う.あと木曜の午前の1・2限を捨ててしまったので電磁気と光学のノート・レポートを…

もっかいはてブ断とう.

教養時代の知り合いでかつ現同学科の人と帰っていたら久方会わなかったこれも教養時代の知り合いと帰りに遭遇してしばらく話す.たまには別の学科の人と話さないと視野が狭まっているかもしれないという感覚.実行されるかわからないがその久々に遭遇した彼の…

だらだらり

体力が必要.

xyzzyはドキュメントがemacsほど整理されてないのがちょっとあれ.なんの関数が使えるかとかちょっと探すのに困る.行番号とかスペースの表示とかを切り替えるのはwindow.lの担当らしい. $XYZZY/lisp/window.l (export '(count-windows pop-to-buffer other-wi…

memo:作業用BGMとか

http://www.nicovideo.jp/tag/%E6%98%9F%E3%81%AE%E3%82%AB%E3%83%BC%E3%83%93%E3%82%A33%20%E9%9F%B3%E6%A5%BD http://youtube.com/watch?v=6SDEzROdM6I http://www.youtube.com/watch/?v=2u_83y75ZG0

夏休み中にすること

すごく有言不実行になってるのは自覚してるんだけどね…. must 物理実験学レポート(~9/10) 演習の発表準備(~9/6) 代数のレポート CELLを試験範囲分読む(~9/16) λ計算の試験準備 Peskin 2,3,4章読む 冬学期ゼミの本をざっとだけ読む should Lie群,Lie環 TOEFL…

ゼミ用メモ

とりあえず節操なく覗いてみることにしたが果たして.多分ある程度適当に書き足す. 宇宙班 スパークチェンバー. スパークチェンバーってあれずっと高電圧を書けてるわけではないのね.ずっと書けっぱなしだと放電止まらなくなっちゃうからいわれてみれば当たり…

「物理的に意味がないので」

の意味としては何があるだろう エネルギー保存則を破る 波動関数が規格化できない(もしくは非有界) 物理量が虚数になる あとでもうちょっと考えてみようか

場所

あれ,いつの間にかhatena-modeがまともに動くようになった.勉強したことをどこかに上げてみるのもいいのかもなー. ここじゃ日記とかと混ざりそうなので他のところを探すのもいいかもしれない.だとすればはてなグループとかかなあ.

書き散らすのか文章にするのか

意外と検索で人が飛んでくるのでもうちょいまともな文にした方がいいんかな。半分ほど自分用のメモで書いているのだけど。

Blogopolis

Blogopolis はてな界隈のblogを、仮想の都市として可視化するサービス。おもしろい。この日記も辺境に建ってた。 http://blogopolis.jp/view/http://d.hatena.ne.jp/Nos/どっかのカテゴリに入りたい。 雑多なことしか書いてないからなあ。もうちょい纏まった…

早起き生活

すぐに生活リズムが狂うたちなのでどうにかしないといけないなーと思っていたのだけど、早起き生活っていうWebサービスのブログパーツを見かけたのでさっそく→のサイドバーに入れてみた。 起きたらボタンワンクリックでその日の起床時刻を登録できる。前一度…

gebあった

自由意思?

天が描いたシナリオに沿い あなたと私 引き合うの (「だんだん」オープニングより)自由意思ってなんだろうみたいなことを時々考える。 科学者を目指していた*1者としては、世界の全ては究極的にはある理論で説明できるという信条がある。そういう理論が見…

両手両足あっためると眠くなるんだよなあ

gebがどっかいった

勉強しろー

ネットサーフィンしてこんなブログ書く暇があったら宇宙科学勉強しろ >僕 - ほんと集中力ないよなあ。もっと何とかしないと。 レッチリ聴いたことなかったけどいいわー デスノートの影響でsnowを聴いてる でもやっぱミスチルもいいなあ

記号論理学バブルが起きている

眠さで口調がいつもと違うが気にしない。 ゲンツェンシステムがパない。最初は意味不明だったが、ちょっとづつ慣れてきたらなんだかすごいものに触っているのがわかってきた。推論の各ステップで論理記号の数が減らない*1から、増やしたり減らしたりやってみ…

だるひだるひー dürch dürchー - だるい、超だるい(ターミネーターのリズムで) だるい、超だるい(ターミネーターのリズムで) どうにもこうにもだるい。うーむ。

http://mainichi.jp/select/science/news/20090109k0000e040020000c.html mjsk

イタリア科学界の怒りをさらりと静めた南部博士

http://business.nikkeibp.co.jp/article/manage/20081226/181406/ 超感動した。ノーベル賞の舞台裏はそんなに大変なことになっていたのか。南部博士って本当に頭がいいんだなあ。こういう物理屋気質の茶目っ気が僕は大好きだ。ファインマンも随分ないたずら…

http://www.asahi.com/science/update/0105/TKY200901050126.html mjsk

益川さん・小林さんがテレビに出てた

という見出しをつけておきつつ一番はっとしたのは南部さんのメッセージ、論語の「学びて思わざれば則ち罔し、思いて学ばざれば則ち殆うし」。 あーこれだな。座右の銘にし直そう。 そのうち気が向いたら論語読んでみるか。

土台

上に物が載っている状態でその土台をいじれば不安定なことぐらいわかるだろうに。APIが信頼できないプラットフォームで開発なんてできるわけがなかろうが。

寒くて鬱

体を冷やして頭が痛い。

今日の目標

電磁気の範囲を一通り理解 記号論理学をざっと見る 15階位(NetHack) こんなもんか

Windowsからのandlinuxアプリの起動過程を追ってみる

個人的メモ。大したことは全く書いてない。時々更新すると思われる。