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

モナド納涼会参加募集 8月21日(土)20:30開始@渋谷

層圏トポス勉強会も一区切りがついたので飲み会をします。今回は飲み会だけです。参加者募集します。モナド納涼会 : ATND ビアガーデンでモナドについて語りませんか? CLTT勉強会と層圏トポス勉強会の合同飲み会です。 圏論、モナドに興味ある方は是非参加…

プログラミングの魔導書 / Vol.1 Construct the World, C++

PC

C++闇の軍団様より プログラミングの魔導書 〜Programmers' Grimoire〜 Vol.1 「Construct the World, C++」 献本感謝!層圏トポス勉強会の広告を載させてもらった上に本まで送っていただきありがとうございます。この本のタイトルと執筆者のリストを見たと…

21世紀の技術立国日本

20世紀の企業において市場で競争力をもつ方法は、独自技術を開発しそれを囲い込むことだった。20世紀の日本企業のサクセスストーリのほとんどは独自技術開発し、それを市場に投入して利益を上げていくものだった。NHKの番組のプロジェクトXでは、そういうス…

完全流体の変分法

そろそろ研究についても書いてみようかなと思う。arXivにも置いてみた。 [1007.3093] Clebsch Potentials in the Variational Principle for a Perfect Fluidとりあえず京都の研究集会 「オイラー方程式の数理: 力学と変分原理250年」@京都大 部屋:420 期…

もう物理に微分方程式なんて古いよね。

京都の研究集会 「オイラー方程式の数理: 力学と変分原理250年」@京都大 部屋:420 期間:2010-07-12〜2010-07-14 RIMS共同研究「オイラー方程式の数理:力学と変分原理250年」 はなかなか刺激的な会だった。今回は自分も発表させてもらったのだが、そ…

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

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

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

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

マッハ原理について

マッハの力学史は古い本で初版が1883年。内容はニュートン力学の絶対空間についての批判である。ニュートン力学によると慣性系の中で特別な系として絶対静止系と呼ばれるものがある。よくよくニュートンの言説をみると、ニュートンは絶対静止系について注意…