2010-01-01から1年間の記事一覧

物理と圏論

3月はいろいろ出かけていた。後で詳しく書くかも。 量子情報のセミナー KEK量子情報の勉強会は、昼間は入門講義で夜のポスターセッションでは専門的な話っていうわけ方だった。最終日の23時過ぎたあたりから、圏論の入門講義を突如やることになった。 僕も…

Port Fowardingの設定

PC

やっぱ、Port Forwardingは必要。昔、Fedora coreを使ってたころはterminalから適当にコマンドを打ってやっていたが、そんなのは面倒。ボタンをポチッとやってPort Forwardしたい。UbuntuでもPuttyは使えた。それとFire FoxのアドオンとしてFoxyproxyを使っ…

Ubuntu 10.04

PC

いろいろ試した結果。Ubuntu 10.04 α2がよいことが分かった。DVDを見る。引用 Medibuntuのレポジトリを追加。 DVDの再生に必要なlibdvdcss2パッケージ、各種バイナリコーデックを含むパッケージをinstall。手順 リポジトリの追加sudo wget http://www.medibu…

Ubuntu

PC

コンピューターを換装した。 前までは CPU AMD64 OS windows2000 Suse Linux で5年くらい使ってた。ほとんどWindows2000を使ってた。 さすがに調子悪くなってきたのと、Win2000対応のソフトがなくなりいよいよyoutubeもみれなくなるので、換装することにした…

告知:第二十一回「層・圏・トポス  現代的集合像を求めて」勉強会

新規参加者熱烈歓迎!! いよいよトポスになります。これを機会に新規参加者を募集します。 層がわからなくても大丈夫。 圏がわからなくても大丈夫。今回は「トポス浅漬」を行って、トポスを理解するのに必要な圏の知識を確認します。参加申し込みは、ここのコ…

Lenovo G550 2958GCJ

PC

5年間使ってたLavie LL900BDが流石に調子悪くなってきたので、ノートパソコンを買った。特にこだわりはなくコストパフォーマンスが良ければ何でも良かった。価格ドットコムで調べるとLenovoのG550がよく売れているらしい。 価格.com - Lenovo G550 2958GCJ …

告知:第二十回「層・圏・トポス  現代的集合像を求めて」勉強会

日程:2月20日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:24棟419番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p34 第一章 層の章 教室に直接来て下さい。 部屋が違います。

安全柵

東京都杉並区のJR高円寺駅で15日夜、線路に転落した女性を助けたとして、JR東日本は16日、都内在住の児童福祉施設職員、佐藤弘樹さん(24)に感謝状を贈った。 JRが線路に落ちた人を助けたということで感謝状を贈ったとのことだけれど、ふざけるな…

告知:第十九回「層・圏・トポス  現代的集合像を求めて」勉強会

告知:第十九回「層・圏・トポス 現代的集合像を求めて」勉強会 日程:2月13日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:14棟211番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p27 第一章 層の章…

確実性の終焉

最近、プリゴジンの本を読んでいる。コンピュータの計算能力の向上に伴って、非平衡状態をシミュレーションする研究も盛んだ。ここでは、シミュレーションの話を希ガスの話に限定したいと思う。希ガスのシミュレーションは、ざっくばらんに説明すると沢山の…

告知:第十八回「層・圏・トポス 現代的集合像を求めて」勉強会

日程:1月23日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p23 第一章 層の章教室に直接来て下さい。

告知:第十七回「層・圏・トポス  現代的集合像を求めて」勉強会

日程:1月9日 土曜日 時間:12時から20時 待ち合わせ場所:日吉駅 11時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟208番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p22 第一章 層の章