黒木玄 Gen Kuroki(@genkuroki)/2017年03月10日

黒木玄 Gen Kuroki

@genkuroki

いいね数 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 を見て下さい。

Favolog ホーム » @genkuroki » 2017年03月10日

« 次の日| 前の日 »

並び順 : 新→古 | 古→新

2017年03月10日(金)

math_jin @math_jin

17年3月10日

ザハ・ハディドがデザイン、「数学」をテーマにしたギャラリー。 casabrutus.com/architecture/3...
「建築を学ぶ以前、大学で数学を専攻していたザハ。従来の建築の在り方を覆す、幾何学的あるいは流線的フォルムで知られる彼女の作品は、コンピューターで情報処理されたパラメ…」

タグ：

posted at 23:27:59

佐々真一 @sasa3341

17年3月10日

運営交付金の〆日だったので、欲しかった本を買ってきた。マックレーンの圏論本（日本語版）。ラインスター圏論本の日本語版の訳者書きをみていると、やはり２章は難しいのか、、ふむふむ、とつい日本語版も買ってしまった。あと、「界面の物理の化学」や平岡さんの「タンパク質構造とトポロジー」も。

タグ：

posted at 22:40:15

たかはしよしぴろ @ 誰も知らない存在理 @TheYoshipiro

17年3月10日

「考える算数」を考えないで教えようとする大人の罪がでかい。 #はじき #モルグリコ

タグ：はじきモルグリコ

posted at 20:38:46

那智暴虐の連珠石（五目並べ） @nachirenju

17年3月10日

【名局鑑賞】
黒:Ando Meritee 白:飯尾義弘　03年世界選手権

黒55にて白投了
世界選手権を4度制したメリティーによる圧巻の詰み。黒23からの追い詰めは、過去の実戦例でも最長クラスであり、是非並べてほしい。
#連珠 pic.twitter.com/A3b2G03wZR

タグ：連珠

posted at 19:41:59

那智暴虐の連珠石（五目並べ） @nachirenju

17年3月10日

全く関係ないが、個人的に連珠にはまり込んだきっかけの一つの棋譜を貼ってみる

タグ：

posted at 19:37:21

こと @coto_labo

17年3月10日

「テレビを見るとバカになる」みたいな話、古くはドリフや欽ちゃんがテレビで絶頂的な人気を得ていた時代にそういう番組を見ている子供を大人がたしなめるような感じで言われていたような気がするけど、いま問題になっているのはバラエティではなく種々の情報番組だからわりと救いようがない。

タグ：

posted at 18:55:50

上原哲太郎/Tetsu. Uehara @tetsutalow

17年3月10日

@ac1965 あー日付ないのは不親切でしたね。www.matcha139.jp/workshop/30thw... ここで喋ったスライドなので2015年7月の話ですね。

タグ：

posted at 18:37:25

上原哲太郎/Tetsu. Uehara @tetsutalow

17年3月10日

異動とか退職とかシステム更新の時期でPCのHDD消去って話がチラホラ見えますが、未だにDoD方式で消去するポリシーの組織があるらしく気の毒。あの規格は10年以上前に非推奨になってます。時間かかる割にリスクは残り意味ない。推奨はこちら。www.slideshare.net/tetsutalow/ss-...

タグ：

posted at 17:23:51

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽リンクメモ

A. Wald.
An Essentially Complete Class of Admissible Decision Functions (1947)
projecteuclid.org/euclid.aoms/11...

タグ：数楽

posted at 14:16:38

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽尤度比検定が最強力であることの証明 pic.twitter.com/6wmemvOED7

タグ：数楽

posted at 11:26:35

seasonticket @seasonticket

17年3月10日

@youandme53 入れ替えても答えは同じ、というのはあくまで計算式での話で、文章題を解くにあたっては単価×枚数に当てはめて計算するよう指導しているようです、日常において買い物では単価より枚数のほうが変化する頻度が高いし、生活に直結した学びだとは思います (´･ω･`)

タグ：

posted at 09:45:13

郊外鉱山 @bonanzainbeach

17年3月10日

@seasonticket
そういう意味を持たせることの意味は…
そして逆でも全く同じ答えが出るのにそれをしてはいけないと定義する根拠は…
明示されないのですね。

これって公立だけなんですか？私立もやってるんだろうか。差があってもなくても変だけど…

タグ：

posted at 09:21:49

M. Watanabe @labidochromis

17年3月10日

@genkuroki そうだったのか！それは知りませんでした。＞「適切に非可換性を入れて正準量子化すると違う世界が見えて来る。」

タグ：

posted at 08:48:48

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽知人のコンサル女子から「LU分解の正準量子化ってなに？」という質問が飛んできたりしないものかなwww

タグ：数楽

posted at 08:43:24

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き。というわけで、私のガチな専門(の一つ)は「LU分解の正準量子化に関係した事柄」と言ってもらって構わないということになっています。素朴には大学一年での線型代数やプログラミングの演習レベルの話なのですが、適切に非可換性を入れて正準量子化すると違う世界が見えて来る。

タグ：数楽

posted at 08:40:59

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き。具体的な計算では非可換分数の計算を必死になってやって最後に分母のある項達が奇跡的にキャンセルして非可換多項式になるということを確認するのですが、証明ではBGG圏の構造を使っている。何か意味ありげでもあり、この証明の方針が最終的なものであるかどうかもわからない。

タグ：数楽

posted at 08:37:52

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き。量子化する前のτ函数は行列式だという理由でWeyl群作用の結果も(従属変数について)多項式になるのですが、量子化した後は同じ方針で(非可換)多項式性を証明できてなくて、Kac-Moody代数の表現のBGG圏の構造を使って証明するということになっています。続く

タグ：数楽

posted at 08:34:58

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き。量子化されたτ函数の部分は、色々ミステリアスな感じで、Kac-Moody代数や量子展開環に関する一般論の中のどこに位置付けられるのかを私は理解していません。現時点ではτ函数に関する非可換性を手で入れている感じ。続く

タグ：数楽

posted at 08:31:47

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き。量子展開環まで行かなくても、Kac-Moody代数のレベルでの量子化も可能です。(注意：この意味の量子化は正準量子化の意味での量子化、量子展開環の意味での量子化はここではq差分化と解釈される。) LU分解での対角成分＝τ函数の量子化もできています。続く

タグ：数楽

posted at 08:29:09

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き。ここからがガチで私の専門(研究)の話になるのですが、「隣り合った列の互換」のZ↦G_P(Z)ZPの成分の変換の公式であれば、一般の対称化可能一般Cantan行列(GCM)が定める量子展開環のケースに一般化できます。Weyl群のZへの双有理作用が量子化される！続く

タグ：数楽

posted at 08:26:20

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き。あ、正確に言えば、隣り合った2つの列の互換のケースであればG_P(Z)を容易に計算できます。上三角行列Zの隣り合った2つの列を互換すると2×2のブロック分だけ上三角行列でなくなるのですが、左から対角成分が1の下三角行列をかけて上三角行列にできます。大学1年レベル。

タグ：数楽

posted at 08:22:57

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き～書くと、X↦XPは

W↦G_P(Z)W、Z↦G_P(Z)ZP

と書き直されます。だからもしもG_P(Z)の形を具体的に計算できれば列の置換の操作をLU分解を通して見ることができます。一般のPだとややこしいのですが、2つの列の互換のケースなら容易に計算できます。

タグ：数楽

posted at 08:19:57

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽で、行や列の置換について。行や列の置換の操作もLU分解を通して見直せます。置換行列Pによって列を置換する操作X↦XP=W^{-1}ZPはZPのLU分解をZP=G_P(Z)^{-1}(G_P(Z)ZP) (G_P(Z)は対角成分が1の下三角、残りは上三角)と～続く

タグ：数楽

posted at 08:11:15

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き～以上のようなほぼ大学一年生レベルの超絶シンプルな理解がソリトン方程式の佐藤理論によって得られてしまったわけです。私は佐藤幹夫先生の集中講義を2年続けて聴いたのですが、本当に大学一年生でも聞いてわかるような素朴な巨大行列式(∞×∞)の操作をしまくっていました。続く

タグ：数楽

posted at 08:01:24

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き。行列Xに関する線形微分方程式dX=AXを"LU分解"で書き直すと非線形微分方程式が得られるのですが、KdV方程式のような非線形のソリトン方程式はそのような操作で得られる非線形方程式だということです。ソリトン方程式が「線形化」＝「逆散乱法」によって解けることには～続く

タグ：数楽

posted at 07:58:29

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽だからWAW^{-1}の対角成分を含む上三角部分をBと書くと、
(dZ/dt)Z^{-1}=B、-(dW/dt)W^{-1}=WAW^{-1}-B
すなわち
dZ/dt=BZ、dW/dt=BW-WA.
これが所謂Sato-Wilson方程式です。Bは時間依存、Aは定数。

タグ：数楽

posted at 07:56:14

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き。dX=AXをX=W^{-1}Zで書き直すと、
-W(dW/dt)W^{-1}Z+W^{-1}(dZ/dt)=AW^{-1}Z
∴-(dW/dt)W^{-1}+(dZ/dt)Z^{-1}=WAW^{-1}
と左辺は-(対角成分が0の下三角)+(上三角)の形になる。続く

タグ：数楽

posted at 07:51:24

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き。あ、流儀をまた変えます。最近やっていないので流儀を混乱していました。ソリトン方程式の文脈でよく使われているスタイルは

X=W^{-1}Z、Wは対角成分が1の下三角行列、Zは対角部分を含む上三角行列

です。これはまさにLU分解。L=W^{-1}、U=Zです。

タグ：数楽

posted at 07:47:39

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽 LU分解では計算途中でzero division errorが出ないようにするために「行の置換」が必要になるのですが、ソリトン方程式の佐藤理論の文脈では(転置したスタイルに移っているので)「列の置換」が出て来ます。数学者はWeyl群作用と呼んでいます。続く

タグ：数楽

posted at 07:37:07

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽 twitter.com/genkuroki/stat...

コンパクトRiemann面の無限遠点に住んでいて「世界」を支配しているX氏の話はそのままソリトン方程式の佐藤理論によるKP方程式系の準周期解の話になっています。

タグ：数楽

posted at 07:29:32

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽佐藤幹雄講義録は repository.kulib.kyoto-u.ac.jp/dspace/handle/... から誰でも無料でダウンロードできます。非常に面白いです。
twitter.com/genkuroki/stat...

タグ：数楽

posted at 07:24:47

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽極めてシンプルなソリトン方程式の基本パターンについては→ www.math.tohoku.ac.jp/~kuroki/LaTeX/...

極めてシンプルな話(大学一年生レベルに近い話)なので、詳細に入る前の段階で、ごちゃごちゃと複雑に見えていたら、「誤解している」ということになると思う。

タグ：数楽

posted at 07:14:07

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽ソリトン方程式の文脈ではXを転置した方で扱っていることが多く、X=Z^{-1}W、Wは対角成分が1の上三角行列で、Zは下三角行列で、dX=AXというスタイルになることが多いです。スタイルの問題でしかないのですが。詳しくは→ www.math.tohoku.ac.jp/~kuroki/LaTeX/...

タグ：数楽

posted at 07:11:29

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽続き。Uの方の非自明な対角成分が佐藤のτ函数で、Xの左上ブロックの主小行列式になります。だから、τ函数は行列式で書ける。

このように、ソリトン方程式の佐藤理論は大学一年生レベルの線形代数を知っていれば理解できます！実際には無限次元化の部分がちょっと面倒なのですが。

タグ：数楽

posted at 06:55:14

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽 L^{-1}dL/dt=B、(dU/dt)U^{-1}=UAU^{-1}-Bすなわち

dL/dt=LB
dU/dt=UA-BU

となります。これが所謂Sato-Wilson方程式。KdVの類もこの形で書ける。Aはtによらない定数だが、Bはそうでないことに注意。続く

タグ：数楽

posted at 06:46:45