Lyx 2.0のインストールの仕方 レポジトリがあるのでそれを加えてupdateとupgradeをする。 sudo add-apt-repository ppa:lopeztobal/maths apt-get update && apt-get upgrade 参考 http://linuxmusica.com/lyx-2-0-beta-1-en-ubuntu-maverick/ubuntu標準の1.…

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

kernelのversionが新しくなった関係でvmplayerが起動しない。参考 url reid.ai: VMware vmmon compilation issues on 64-bit kernel 2.6.35 修正方法は以下の通り cd /tmp tar xvf /usr/lib/vmware/modules/source/vmmon.tar -C /tmp perl -pi -e 's,_range,…

2万円以内で買える椅子というのが話題になってたので、自分も椅子について書いてみたくなった。一年位前に、椅子を買った。 前は2万円くらいの椅子で高校生の頃から10年くらい使っていた。高校生で2万円の椅子だなんて贅沢な感じだが、中学生の時に競泳のバ…

論文が出版されました。誰でも無料で見ることが出来ます。 ipap.jp - このウェブサイトは販売用です！ -&nbspipap リソースおよび情報完全流体の変分原理について議論してます。物理学会「大阪府立大学中百舌鳥キャンパス(2010/9/23(木)-26(日))」で発表しま…

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

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

論文を書くのにlyxを使っていた。英語だとsynapticからlyxをインストールすれば何も設定しなくて使えたけど、日本語だと少々設定が必要。 1 jsarticleクラスのインストール apt-get install okumura-clsfiles 2 クラスをデフォルトのarticleからjsarticleに…

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

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

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 ＲＩＭＳ共同研究「オイラー方程式の数理：力学と変分原理250年」 はなかなか刺激的な会だった。今回は自分も発表させてもらったのだが、そ…

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

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

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

なぜ、相対論で考えたいのかみたいなことを聞かれHal Tasaki's logW 1006、「カッコいいから」とアホな答え方をしてしまったが、なぜカッコいいかをここで、説明してみたい。相対性理論は、日常の感覚とはずいぶん異なる結論を出す。例えば、 ウラシマ効果：…

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

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

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

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

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

場所の確保に失敗したのでとりあえず中止です。第二回層圏トポス合宿 (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を読んでたら こんなことが書いてあった。 このテーマの最終目標を、あえて仰々しく書くと、なぜ時間に向きがあるのかを、量子力学にもとづいて理解することだと言える。 ただし、「時間の向き」と言っても（なんで明日…

細谷先生からおもしろい演劇の話を聞きました。 http://watanabemihoko.com/ticket.html 量子力学演劇 「光子の裁判」[原作] 朝永振一郎（1965年ノーベル物理学賞受賞） [構成・演出] 渡辺美帆子 [日程]2010年4月15日（木） 開場16時50分 開演17時10分[場所]…

層圏トポス勉強会では新規参加者を募集してます。で、広告を載せる計画が進行中です。メーリングリストに投稿した内容を以下にコピペです。 http://groups.google.co.jp/group/sheaf-category-and-topos 広告の件について昨日、お酒を飲みながら話し合った内…

新規参加者熱烈歓迎!!層がわからなくても大丈夫。 圏がわからなくても大丈夫。今回も「トポス浅漬」を行って、トポスを理解するのに必要な圏の知識を確認します。参加申し込みは、ここのコメント欄か、メーリングリストにメッセージを投稿してください。 htt…