グレ子とブナ夫だったかグレ夫とブナ子だったか分からなくなるんです，と先日のSDJ39でつぶやいていたら，レディーファースト，と覚えると良いと教えていただきました．

posted at 09:52:02

RT @hyuki: えっ、宮沢賢治のグスコーブドリの伝記がアニメでロードショー！？ ますむらひろしさんの猫で！やった！ 7/7から。

posted at 19:48:18

RT @knxm: @yokoemon2112 の講演情報をつぶやいてみたりして。http://t.co/QviDJb8E数論幾何学セミナー：-a-database-project-of-elliptic-curves-having-everywhere-good-reduction.php

posted at 19:46:22

RT @hayano: 僕らの世代は1960-70年代に毎日セシウム食べ，当時は体内に数百Bqあった．尿からも5Bq/Lぐらい出ていた．でも，大気圏内核実験禁止されてからは体内セシウムは急激に減った．過去のデータありますよ．

posted at 18:20:50

「高校の数学の課程から行列が消えたそうだな」「ｸｸｸ……これぞ渋滞学の勝利！」「ちがうだろ！！」

posted at 18:19:58

@nakayoshix 了解です．ありがとうございます．

posted at 17:59:58

あ，括弧が閉じてませんが察して下さい http://t.co/u1TeZaRD

posted at 17:59:10

RT @nakayoshix: @iwaokimura 確認したところ、やはりそういう設定(初回のみ承認が必要)になってました。そこで気がついたのですが、4/20にnumataさんという方から一件投稿があったのですが、私がその承認メールを見落としてしまってました。これは申し訳ないことを…

posted at 17:58:27

最近のpari-gpはlist comprehensionが使えたりします… [x^2 | x <- primes(20]で，[4, 9, 25, ...（略）]という調子．

posted at 17:58:11

@nakayoshix なるほど！了解です．

posted at 17:46:20

@a_175 はい，そうですか :) Sageについて日本語で議論できる場所が確保されていて良かったです．

posted at 17:44:14

@nakayoshix ありがとうございます．moderatedではないんですよね？

posted at 17:42:45

Sage-Japanに投稿してみたんですけど，配送されてます？ @メンバ各位 http://t.co/dW5QTxbZ

posted at 17:40:17

次の3つの主張(1), (2), (3)が同値であることを示せ，という問題を出すと，それぞれを示そうとする答案が続出……．

posted at 17:28:42

RT @duo6750: 売却が決定した某社の半導体工場が１円スタートでヤフオクに現われたら、とりあえず100円で応札してみたい。

posted at 17:09:41

RT @h_okumura: 数セミ6月号に，日本中で一番使いやすい「TeXインストーラ3」（拙著第5版でも採用）で有名な阿部紀行 @abenori 先生（Webではお名前がミスプリ）の「レポートを書くためのTeX超入門」が http://t.co/6GqE8Dno

posted at 15:10:36

"1. your Android device should have rooted" RT @abenori: TeX Live for Android http://t.co/turjnHOV らしい．ってAndroid持ってないから試せないけど．

posted at 14:22:02

RT @abenori: TeX Live for Android http://t.co/qUDMERVz らしい．ってAndroid持ってないから試せないけど．

posted at 14:19:55

@kagami_hr @tenapi セクション6は「ゲーム」です．そうか，viはゲーム……

posted at 13:11:49

さっそくサイボウズのアカウントに捕まった :)

posted at 13:08:07

@syoiti ワードだと不都合な人のために，と，わざわざPDFにしたものを添付してくれています．ははは，面白い…… :)

posted at 12:55:01

@takashisasaki @syoiti お～，それはとても「ITリテラシー」が高い人たちだけに可能な方法です……．

posted at 12:51:50

@syoiti ありがとうございます．試してみます．なんというか……メールとTeXにしかコンピュータを使わない人に勧められるかどうか，が評価すべき点です．

posted at 12:48:29

原因は，ワードやエクセルでつくった簡易カレンダーをメールに添付して送る，という以上に「簡単な」手段がないことだな．本学教職員はサイボウズのアカウントもあるんだけど，使っているのは一握り．

posted at 12:39:08

. @a_175 ははは．今度やってみます．拡張子をdocxからzipに変更して，解凍してword\document.xmlのバックアップを取って，元のファイルを編集して，diffをとって差分を送ればいいですね :)

posted at 12:29:10

日程調整，というメールに，ワードやエクセルでつくった簡易カレンダーを添付するのはやめましょう．

posted at 12:19:27

団圏という単語（訳語）があるのか……ドイツ語みたいだ．

posted at 09:54:14

RT @musubimeriron: 次回は数学ガール「結び目理論」を期待します。

posted at 22:59:18

木田の公式の岩澤先生による証明が，Chevalley-Weilの公式の代数体版なんだった…… http://t.co/WYI7omRj いずれにせよWashingtonの本では，13章末のNoteでしか言及してないんじゃないかなぁ……．

posted at 22:58:41

@cocycle (Hurwitz-)Chevalley-Weil公式のご説明ありがとうございました．でもWashingtonに出ているというのは，（あるのかもしれませんが）私は思い当たりません．Riemann-Hurwitzの公式の類似（木田の公式）は13章末に言及ありですが．

posted at 22:20:25

子供がべそをかきながら朗読暗誦の宿題をしている。「おじいさんが、ひっく、かぶの…ひっくひっく」私が後を引き取って、「取引に失敗し、巨額の損失を出しました」。（大きなカブ）。

posted at 20:32:19

それはそれとして，小テストのでき具合を見ると，もう一コマ，グラム・シュミットの方法に費やさないといけないな……．

posted at 18:31:18

グラム・シュミットの方法は，ラプラスやコーシーが知っていたそうだ．コーシーはどこにでも出てくるなぁ :) http://t.co/CyJXxQ62

posted at 18:27:08

ちょうどグラム・シュミットの直交化のあたりを授業で扱っていて，Gramの伝記を眺めていた http://t.co/FapYstxd デンマークの人．保険会社に勤め，自分で興した会社も持っていたそうだ．素数分布などでも仕事をしているし，森林学の研究もしていたり，面白い経歴．

posted at 18:20:33

RT @knxm: 立命館大の学生さんが作った Sage の資料 http://t.co/c5q9AgHo #sdj39

posted at 15:06:02

@cocycle もしお手数でなければ，「Hurwitz-Chevalley-Weil公式」とはどういう主張か教えて頂けませんか？

posted at 13:52:09

将来的に，SageのVCSはMercurialからGitへ移行するそうな http://t.co/jhzpel2N

posted at 13:38:31

「ｸｸｸ，クレバリーが破産したようだな．」「まぁおちつけ」

posted at 12:40:38

でも全部のメールにラベルがつくようになっても，逆にそれぞれのメールが埋没してしまうんですよね．

posted at 12:17:35

メールを見る頻度も見ている時間も，以前と比べるとかなり減っているのだが，さすがに重要なメールを見落とすのはまずい……．フィルタをアップデートしておこう．

posted at 12:16:56

「数学ガール ガロア理論 (数学ガールシリーズ 5)」、富山の紀伊國屋書店にて入手できました。

posted at 11:55:08

そうこうしているうちに, Sage 5.0.1rc0がでていたりしますね。

posted at 08:56:25

RT @maanow: May Sale in the MAA eBooks Store! http://t.co/cQTQ1VFM Use coupon code 1874812752 to receive 10% off your entire purchase.Expires: May 31

posted at 07:58:30

「Sage Days #39 in Japan, Kyushu Univ., Fukuoka, 2012/May/26-27.」をトゥギャりました。 http://t.co/IuXvz330

posted at 23:34:02

. @genkuroki さんの，Microsoft WIndows上でSageを使うためのポイントの一連のつぶやきをtogetterにまとめさせて頂きました http://t.co/5phgofrS

posted at 23:21:08

@north_room それだけだと円分体論ですよね．

posted at 22:41:19

同論説内の数値例については，その後色々と記録更新されているようだ．MathWorldなど参照 http://t.co/PQG5kex4

posted at 17:42:14

今日午後のB4ゼミは，やはり教育実習でメンツが揃わないので特別番組．J. Silverman, Taxicabs and Sum of two cubes http://t.co/KAnRVVQI を読んでもらった．Ramanujanの1729の話．

posted at 17:41:27

TL見てたら本屋に行きたくなってきた :)

posted at 17:33:46

Windows版のSageについて http://t.co/xJda0mvD を見たけど，確かにこれはハードル高過ぎ．headlessなサーバOS上でSageを起動して，あとはゲスト側のブラウザを使うようにした方がよいと思った．

posted at 17:28:46

あらら～，帰る時間帯にあわせて降り出したぞ……

posted at 17:24:52

RT @SpringerJapan: 本日ボンにて、数学者のヒルツェブルッフ先生（1927年10月17日生まれ）が亡くなられました。先生のご冥福を謹んでお祈り申し上げます。合掌。(M)

posted at 16:46:35

去年11月末に，数理研での集会に出たとき，宿は瀬田に取ったんだった．

posted at 13:09:21

RT @A_175: Windowsでsageを使うときにVirtual machineを立ち上げるとブラウザが自動で立ち上がるけど, それを一旦閉じてWindows側の普段使っているブラウザを立ち上げて http://localhost:8000 にアクセスするのが日本人ユーザにとっては吉だと思う.

posted at 12:59:17

@noukoknows I'll be back!ですか．かっこい～ :)

posted at 12:50:13

あれ？ @nolimbre さんの消失？

posted at 12:46:33

RT @genkuroki: すべてをやり直しました。今度はVirtualBox内でSage-5.0が無事立ち上がりました！

posted at 12:43:13

@genkuroki http://t.co/JKoIPl49 ←は解決策になりますか？試せればよいのですが，VMWare Workstationを入れているマシンにVirtualBoxを入れる勇気がないので :)

posted at 12:39:05

@iwaokimura @genkuroki すみません私の勘違いでした．mOm

posted at 12:24:53

984,577KBって小さいですか？小数点？ QT @genkuroki: 「仮想アプライアンス "C:\Sage\sage-5.0.ova" のインポートに失敗しました。」となる。あれれ、と思ってよく見てみると sage-5.0.ova が 984,577KB で小さい！

posted at 12:23:14

. @a_175 Sage Days Japan 48の時は48個チケットを切りましょう！ :)

posted at 12:11:09

RT @ysykimura: Sage 5.0では、クラスター代数のライブラリが予めcombinatに入ったので、毎回ライブラリを読み出すことなく使えるようになっている。つまり、本体をインストールして、sage -combinat install で使えるようになっている。

posted at 10:46:08

@a_175 datetime.sty にcurrenttimeというコマンドがあるそうです（試してません） http://t.co/ENtgEUiL

posted at 07:06:53

ギョウ虫のシールを貼ったり，小便を採取したりと朝から忙しい :)

posted at 06:57:10