2010-04-01から1ヶ月間の記事一覧

被爆治療83日間の記録

1999年9月30日に起きた東海村での臨界事故ニュースを聞いたときは高校生だった。 バケツでウラン溶液を均質化を行なっていたという事実だけにしか当時は注意がいかなくて、その被害者の壮絶な闘病生活まで思いが至らなかった。 リンク先は衝撃的な内容になっ…

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

告知:第二十四回「層・圏・トポス 現代的集合像を求めて」勉強会 トポス四回目 日程:4月24日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:14ー211 テキスト 竹内外史 「層・圏・トポス—現代的集合像を求めて」 p106 第…

第二回層圏トポス合宿 (8月9日-10日)@代々木オリンピックセンター

場所の確保に失敗したのでとりあえず中止です。第二回層圏トポス合宿 (8月9日-10日)@代々木オリンピックセンター今年もやっちゃおうかと思います。 第二回層圏トポス合宿(8月9日-10日)@代々木オリンピックセンター日程 2010/8/9(月)18:00-8/10(火)22:00場所 …

けんろん!

Takayuki Kihara (@tri_iro) | Twitterさんの発言 けんろん!:圏論部に入部した女子高生4人組+αの日常を描いた作品圏論、Haskell、あるいは圏論部。 - Togetter女子高生でも高校生でもないかたは、 層圏トポス勉強会へ http://groups.google.co.jp/group/sh…

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

新規参加者熱烈歓迎!! 圏の世界へようこそ!! 層がわからなくても大丈夫。 圏がわからなくても大丈夫。新規参加者が出た場合、「トポス浅漬」を行ってトポスを理解するのに必要な圏の知識を確認します。参加申し込みは、ここのコメント欄か、メーリングリス…

将棋プログラム

注 探索手数の考察が間違ってたので、修正しました。(2010/5/1) コンピュータと女流棋士による戦争が勃発する。 情報処理学会が将棋連盟に挑戦状 米長会長、「いい度胸」と受けて立つ - ITmedia NEWS 情報処理学会の白鳥会長 「漸くにして名人に伍する力あり…

世の中が不可逆なのは、

田崎さんの日記Hal Tasaki's logW 1003を読んでたら こんなことが書いてあった。 このテーマの最終目標を、あえて仰々しく書くと、なぜ時間に向きがあるのかを、量子力学にもとづいて理解することだと言える。 ただし、「時間の向き」と言っても(なんで明日…