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

今回は諸事情により4人でした。 今回もozekiさんが予習をしてきてくれたおかげでスムーズに勉強会を進めることができました。p16の層の第一定義 すべてのAの部分集合Fが Fの任意の二元f_1,f_2が必ず両立している。 という条件を満たしている時に、次の条件を…

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

今回は12時から5時までやりました。参加者は7人でした。復習がメインだったのと時間が短かったので、新しいところは2ページぐらいでしょうか。もう少し進捗速度をあげたいのと思いますが、そうはいってもなるようにしかなりませんね。」otoさん 第14回 層・…

10人集まりました。10時間ほんとうに有意義な時間がすごせ楽しかったです。 otoさん 第14回 層・圏・トポス読書会 | Flickr

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

学部3年生と「場の古典論」を読んだ。15時から19時までやった。場の古典論を読みたいけど学部生だけでは読むのが難しいので見て欲しいと言われたのがきっかけだ。初版が1939年だからかなり古い。名著なのは間違いないのが、相対論で使ってる数学が古くて読み…

告知：第一回層圏トポス寄せ鍋 日程:11月21日 土曜日 時間:10時から20時30分 待ち合わせ場所:日吉駅 9時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:11棟21番教室 こんにちは、圏論に興味ありませんか？圏論は、プログラム言語の背景として使…

サークルKCS(慶應義塾電子計算機研究会)が50周年を迎えて、何か大きなイベントをするみたい。http://www.db.ics.keio.ac.jp/kcs-ob/top.htmlKCS(慶應義塾電子計算機研究会)は歴史が古くて、もともとは理工学部が学部生にコンピューターが使える機会を作るた…

拘束条件を課せられたときに、ある多変数関数の最小値または最大値を求める方法だけど、英語のwikiの説明がすごくわかりやすい。等高線を使った説明だけど、こういうイメージが持てるような説明は理解の助けになる。 Lagrange multiplier - Wikipedia

2009年10月24日(土)に第十二回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計5人で13時から20時まで行いました。p11-p16の前層、層を読みました。はじめにのところに面白いことが書いてあります。p9 直観論理はもっと人間的な論理です。も…

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

今日はすごいものを見てしまった。 Faith and Brave - C++で遊ぼうさんが、勉強会を開くとつぶやいて、Boost.勉強会 : ATNDの参加募集をかけたところ、あっというまに一時間で80人の席が埋まってしまった。米田祭りに参加したくれた闇のC++軍団の方のエネル…

CPS変換って何？って聞いたら、まともにコード書く人なら誰でも知っていると言われた。プログラマーではないし、まともでもないので、参考文献を教えてもらった。 http://practical-scheme.net/docs/cont-j.html CPS（継続渡し方式）変換で裏返る理由 - 檜山…

10月10日に「第一回層圏トポス米田フェスティバル@矢上祭」を行いました。参加者は計15人(新規9人)でした。 お茶代は、6503円でした。合宿であまったお金6547円から出しました。関西からわざわざ(謎だらけの勉強会に)来てくれた人もいて、遠路はるばる来てい…

場所が不安な人は僕にメールください。携帯の連絡先を教えます。 hiro.k.f{あっとv(^^)}ヂーメール.com部屋25-601 日吉駅で待ち合わせの場合には、 9時40分に米田祭りと書いたボードを改札のところで掲げます。 第一回層圏トポス米田フェスティバル日程 2009…

ニュースで「ルーブル美術館、「盗品」展示＝エジプトが協力停止発表」とあった。 ルーブル美術館、「盗品」展示＝エジプトが協力停止発表10月7日21時56分配信 時事通信 【パリ時事】エジプト考古最高評議会のザヒ・ハワス事務局長は7日、パリのルーブル美術…

米田祭りの部屋が決定しました。 告知：第一回層圏トポス米田フェスティバル@矢上祭 - hiroki_fの日記 25-601@矢上キャンパス。 待ち合わせ:日吉駅 9時40分 今回は新規の方が10人くらい来ます。迷子になりそうな人は遅刻しないでくださいね。 新規の方でメー…

2009年10月4日(日)に第十回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計9人で13時から20時まで行いました。告知：第十回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記やっと圏の章が終わりました。米田祭りの後は層の…

最近、ブログを書いてない。 気がついたら、告知と報告だけ。忙しいこともあるけど、なんとなく書くことに慎重になってしまった。書くことに時間がとられるのが嫌だったりする。思いつきで書くと間違ったことを書く可能性が高いんで下書きに保存したりするん…

It's not that I'm so smart, it's just that I stay with problems longer.アインシュタインが言った言葉らしい。

秋の学生実験でモンテカルロシュミレーションを担当することになった。引継ぎということで、木曜日担当の先生の実験を見学させてもらった。机が空いてたので、その席で実際にシュミレーションを動かしてみた。学生はワークステーションにリモートでアクセス…

コンピュータ界の有名人スピーチ - What is your value?を読んで思ったこと。コンピュータ界はまぶしいんだよね。ラリーペイジの偉大なところは以下のように考え、 12 歳のとき発明家になりたいと思った。そしてあるとき、テスラーの伝記を読んだ。テスラー…

告知：第十回「層・圏・トポス 現代的集合像を求めて」勉強会日程が10月4日13時開始に変更されました。 日程:10月4日 日曜日 時間:13時から20時 待ち合わせ場所:日吉駅 12時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教室 テキス…

「第一回層圏トポス米田フェスティバル@矢上祭」 開催が決定しました。第一回層圏トポス米田フェスティバル(10月10日)@矢上祭 をやります。祭りでは主に復習にして、参加できない人に配慮するとともに新規参加者を迎える場所にしたいと思います。 第一回層圏…

2009年9月12日(土)に第九回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計5人で13時から20時まで行いました。告知：第九回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記p83~p88随伴が終わり、巾に入りました。後一回や…

告知：第九回「層・圏・トポス 現代的集合像を求めて」勉強会サマータイムで開始時間は1時間遅れて13時からです。 日程:9月12日 土曜日 時間:13時から20時 待ち合わせ場所:日吉駅 12時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教…

hitomiさん情報で Conceptual Mathematics: A First Introduction to Categoriesの第二版がでると聞いたので買ってみた。 hitomiさん曰く高校生でも読めるとのこと。層圏トポス勉強会でだいぶ圏論のことが分かるようになったけど、圏論の適用例がいろいろと…

2009年8月22日(土)に第八回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計8人で13時から20時まで行いました。(巡回にきた警備員がいつ終わるのですかと聞いてきました。)告知：第八回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiro…

学部一年くらいでならう力学だと 初期条件が与えられて、状態の発展は運動方程式に従う。つまり、現在の状態を決めてるのはそれ以前に与えた条件となる。ところが解析力学によると、初期と終端で与えた条件によりその間の状態が決まる。つまり、変分原理によ…