黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
2012年09月17日(月)
MarriageTheorem @MarriageTheorem
@kagami_hr 選択公理→ツォルンの証明は置換公理無しで大丈夫そうですが、ツォルンから選択公理の証明で、与えられた非空集合族についてその「部分選択関数全体」が集合になることをいうときに置換公理を使わなくて大丈夫かどうかが心配です。（「集合族」の定義によるかもしれませんが。）
タグ：
posted at 01:11:48
MarriageTheorem @MarriageTheorem
@kagami_hr もう少し考えてみましたところ、「与えられた集合族の和が集合である場合に制限した選択公理」とツォルンの補題がZ上同値だけれども、「」と一般の集合族に関する選択公理がZ上同値かどうかが（少なくとも私には）わからない、という考えに至りました。
タグ：
posted at 01:52:13
ゲラゲラ "@hymathlogic: 日本化学会「スーツで来るように。服装が悪いと何言われるかわからんぞ」 物理学会「スーツ着用の必要はない。スーツの人も居るけど服装をとやかく言う人はいない」 数学会「着衣で来るように。服着てないと何言われるかわからんぞ」"
タグ：
posted at 21:21:24
2012年09月18日(火)
どうも掛け算の順序とか、ましてや面積や体積の式の順序とか、子供からだけでなく親からも文句があるみたいで、逆に学校全体で、順番が違ってたらバツにはしませんが減点します、ということを決めているよう。決定事項だから逆らうな、と。教師個人の裁量とかもなさそう。なんだかなあ．．．
タグ：
posted at 21:41:14
2012年09月20日(木)
日本数学会からの通達：数学会「着衣で来るように。服着てないと何言われるかわからんぞ」というツイートが拡散されているが、きっと誰も本気にしない。本当は事実であることを学会員は秘密にするように！まあでもしかし本気にする人はいないだろうから大丈夫か。本質的問題ではない！～だそうです。
タグ：
posted at 01:49:08
非公開
タグ：
posted at xx:xx:xx
というわけで数学会で発表してきたけれど、久しぶりに15分という短い発表だったので、ペース配分の感覚が掴めず、早口＆雑な発表になってしまった。反省。たぶん調子が狂ったのは着衣していたせい。
タグ：
posted at 23:08:43
2012年09月21日(金)
2012年09月22日(土)
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
NAKAGAWA Shohei @Zimmyisfakestar
数学最強すぎる
＞数学会「着衣で来るように。服着てないと何言われるかわからんぞ」
『学会でのドレスコード論争が意外と面白い！』t.co/fPEL8T3y t.co/oS3F4D5d
タグ：
posted at 08:52:00
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
“@Zimmyisfakestar: 数学最強すぎる
＞数学会「着衣で来るように。服着てないと何言われるかわからんぞ」
『学会でのドレスコード論争が意外と面白い！』t.co/x2oWwVIl t.co/mFNjk5y9” 数学…ゴクリ
タグ：
posted at 21:21:00
非公開
タグ：
posted at xx:xx:xx
2012年09月23日(日)
非公開
タグ：
posted at xx:xx:xx
予備選が始まるかなり前に人気があった Michelle Bachmanさん。ミネソタ選出の下院議員だそうで、debt ceilingの投票に出ずに地元に帰って「私がObamaにこれ以上金を使っていいとか投票すると思う？？」とか支持者に言ってた。ディフォルトさせたいのかよ。
タグ：
posted at 00:42:01
予備選開始頃に旬だったRick Perryさん。三角関数の授業でFとったそうな。ディベートがへろへろで「だって僕実行の人だし~」とか言っていたけどいつの間にかいなくなった。
タグ：
posted at 00:44:57
Rick Santorumさん。この人はRomneyの座をおびやかせるポジションだったのだけど、娘さんが亡くなられたために選挙から身を引いたそうだ。入院という話はきいていたけれども。ご冥福をお祈りします。
タグ：
posted at 00:55:05
とにかく、Rick Santorumは社会右派というか宗教右派の人たちに大人気だった。政教分離は絶対でないといい、公共の責務と個人的の信教は別というJFKの発言を激しく非難した。政策はもちろんゴリゴリの右派なんだけど、昔は中絶に反対してなかったのね。(´∀｀*)ｳﾌﾌ
タグ：
posted at 00:58:41
言わずと知れたRon Paulさん。支持者の支持っぷりがすごすぎて怖い。詳細を忘れたけど、FRBに関するとんでもない陰謀論をバーナンキに対する国会質問でぶって、「それに少しでも近いことを聞いたことは全くありません」とか返されてた。この人にかかったら災害対策チームすら解体されるから
タグ：
posted at 01:03:33
Newt Gingrichさん。この人はキチガイってわけじゃないけど、クリントン一期の中間選挙での共和党大勝の立役者になったときが旬で、なにをいまさら感が強い。その後の国会運営が大失敗だったそうで（詳細知らない）、そこで終わっている人ということでよいのだろう。
タグ：
posted at 01:06:20
あ、でも移民政策はすごく強硬だったな。Gingrichにつつかれなかったら、Romneyはもっと穏やかな不法移民へのポリシーをもって総選挙にいけただろうにね。
タグ：
posted at 01:16:02
Gingrichは、Freddie Macから巨額のコンサルタント料をもらっていたっていう、共和党で支持を集めるには致命的なウィークポイントがあったし、NCでの棚ぼた勝利以外はまあ大したことはなかったな。
タグ：
posted at 01:19:02
忘れてた、Herman Cain。一律9%の所得税、一律9%の法人税、一律9%の消費税という大幅な税制改革をやるというので、一気に人気をえたのだけど、なんか女性スキャンダルで一気にへこんだ。わかりやすいけど実現不可能なプランで一時的に人気を得ただけの人としてよい。
タグ：
posted at 01:28:43
こう見ると、Santorumの社会右派的なところ、BachmanやPerryの財政保守ぶり、Gingrichの強硬な移民政策を引き継いでRomneyのポジションは出来上がってきているのね。本当に自分の意見のないひとだ。
タグ：
posted at 01:31:16
Hiraku Nakajima @hirakunakajima
@kyon_math 20110531に @yujitach さんに聞いたとき t.co/HYgUqeBX も分からなかったのですが、杓子定規に数学の定義そのままに取ったらいけない、のだと思います。
タグ：
posted at 09:07:33
@hirakunakajima @kyon_math あれから考えました(というかGreg Mooreに教えてもらった)が、QFT A と B のHomは物理では domain wall というものです。まず、d 次元 QFT Q=(V,Z) の Z は、d次元境界つき多様体Xに
タグ：
posted at 10:45:44
@hirakunakajima @kyon_math ついてはZ(X)∈H(∂X) を定めて、∂X=-∂YならZ(Y)∈H(∂Y)=H(∂X)^* なので、境界無しのW=X∐YについてはZ(W)=<Z(X),Z(Y)>∈C みたいになっているものなんですけれども
タグ：
posted at 10:48:55
@hirakunakajima @kyon_math (ただしH(M)はホモロジーでなくて、境界に対応する線形空間)。 Q=(V,Z,H) と三つ組みだと思ったほうがいいのですが、さて、Q'=(V',Z',H')が与えられたとき、Hom(Q,Q')の元は、H(M)→H'(M) の
タグ：
posted at 10:51:14
@hirakunakajima @kyon_math 線形写像のあつまりで、f∈Hom(Q,Q') と∂X=-∂Y なる X, Y が与えられれば <Z'(Y),f Z(X)>∈C が定まっていろいろ性質をみたすものです。一般にQ=(V,Z) と書いたとき、V は点つき多様体の
タグ：
posted at 10:54:02
@hirakunakajima @kyon_math 点に載せるラベルなわけですが、同様に勝手な k 次元部分多様体をつけてそれにラベルを載せてもいいのです。でも、ラベルのなす空間が代数でなくて圏とかになるので難しい。Hom は特に (d-1) 次元部分多様体につけるラベルです。
タグ：
posted at 10:56:08
@anairetta そうでしょうね。一般に k 次元部分多様体のラベルは k 次元 QFT (にさらに構造が入ったもの)で、点のラベルが代数なのは、0次元QFTがだいたい代数だからですね。
タグ：
posted at 11:17:47
５００ページの論文をわざわざ印刷してTVで見せてたけどあれに何の意味があるのかと．他のコメンテーターが「証明って数式じゃないの？」「何か文章ばっかり」とかいってたけど，世間の人の数学の認識ってこんなもんなのか
タグ：
posted at 11:38:58
例えば大学入試２次試験だと数式だけじゃなくちゃんと日本語も書かないと減点対象になるんだけどなあ．理系文系に拘らず，ね．そんなことも忘れちゃった人たちがコメンテーターとして偉そうに教育問題だの語ってるのかあ
タグ：
posted at 11:40:12
早口で言ってたから間違えてるかもしれないけど，最初はこれが宇宙とかに関わる物理の問題の解決にも関係するかも（主語：数学）→途中から証明に数学じゃない物理学のアイデアが使われている（だから数学者が一番ショックを受けている，ポアンカレ予想の証明との類比）という風に何か主客が逆転してた
タグ：
posted at 11:47:23
まずこの証明に物理学のアイデアが使われているかどうかは知らん（そんなニュース見たことないけど実際そうなのかもしれない）．けど百歩譲っても「数学じゃない」ものがたくさん取り入れられてショック云々って論調は明らかにおかしいよなあ
タグ：
posted at 11:48:54
歴史的に見ても数学は物理学など他の科学ともほとんど同じ学問で，後に純粋数学として独立したってだけじゃないのかなあ．中学高校教育で数学と物理が切り離されて教えられてるからそう思ってしまうのも無理ないのかもしれないけどさ
タグ：
posted at 11:51:15
Hiraku Nakajima @hirakunakajima
@yujitach @kyon_math 射の例を知らないから分からないのかな？ 30pのハイパーケーラー多様体の圏の射はなんですか？
タグ：
posted at 16:20:56
@hirakunakajima @kyon_math ハイパーケーラー多様体 X, Y に対して、ハイパーケーラー多様体 Z で Z→X, Z→Y とそれぞれ部分ハイパーケーラー多様体として埋め込めるものとかは射です。
タグ：
posted at 19:24:24
Hiraku Nakajima @hirakunakajima
@yujitach @kyon_math 複素部分多様体だとしても、合成をどう定義したらいいのか分かりません。
タグ：
posted at 21:22:11
Hiraku Nakajima @hirakunakajima
@yujitach @kyon_math 共通部分ですか... 特異点が出てくる可能性があるので、部分多様体よりももっと広げる必要がありますが、合成積と似ていますね。
タグ：
posted at 21:31:12
ABC予想の面白さが分かる（であろう）、、、初等的な専門的解説！Mazurさんの”Question about Numbers”：t.co/xeZgsWvI FermatもMordell予想も出てきます．
タグ：
posted at 21:50:39
非公開
タグ：
posted at xx:xx:xx
