黒木玄 Gen Kuroki(@genkuroki)/2017年03月/Page 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月 » Page10

«< 前のページ 7 8 91011 12 13 次のページ >»

並び順 : 新→古 | 古→新

2017年03月10日(金)

Limg @LimgTW

17年3月10日

次に、小数＋小数＝整数を教える観点でも、4.0自体が整数を表すので4.0で済みます。0を斜線で消す操作は、整数から整数になるだけで、操作を守る以上の意味はあ無いです。
「4.0は小数であり、整数でない」と勘違いする大人も居るので、むしろ「4.0で整数」と教えるべきです。
#超算数

タグ：超算数

posted at 04:13:06

Limg @LimgTW

17年3月10日

大変興味深いアンケート。#超算数もさりげなく#ニセ科学入り

中学生の6割は「月は西からのぼる」と信じている。（1） hirorin.otaden.jp/e439923.html

タグ：超算数

posted at 04:37:16

N(eutral).W(-boson). @math_phys

17年3月10日

今日はiphoneでは、人が描かれた絵画を写そうとしたら、きちんと顔認識機能が働いているカメラしか撮ってないので、すぐに上げられる写真が見当たらないー。

タグ：

posted at 05:19:12

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽 distill.pub/2016/misread-t...

タグ：数楽

posted at 06:05:46

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽高次元のデータを可視化するt-SNEの効果的な使い方 | DeepAge deepage.net/machine_learni...

タグ：数楽

posted at 06:07:15

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽以下のリンク先がきっかけになって、「LU分解ブーム」が来ているらしい。

ちなみに、LU分解X=LUを使ってXに関する簡単な線形方程式を書き直した結果はソリトン方程式の理論において佐藤・ウィルソン方程式と呼ばれています。

twitter.com/sho_yokoi/stat...

タグ：数楽

posted at 06:26:58

黒木玄 Gen Kuroki @genkuroki

17年3月10日

#数楽例えば、dX/dt=XAをLU分解X=LUを使って書き直すと、(dL/dt)U+L(dU/dt)=LUA、∴L^{-1}dL/dt+(dU/dt)U^{-1}=UAU^{-1}なので、UAU^{-1}の対角成分を除く下三角部分をB=(UAU^{-1})_-と書くと〜続く

タグ：数楽

posted at 06:42:06

黒木玄 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

黒木玄 Gen Kuroki @genkuroki

17年3月10日

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

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

タグ：数楽

posted at 06:55:14

黒木玄 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日

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

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

タグ：数楽

posted at 07:14:07

黒木玄 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日

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

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

タグ：数楽

posted at 07:29:32

黒木玄 Gen Kuroki @genkuroki

17年3月10日

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

タグ：数楽

posted at 07:37:07

黒木玄 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日

#数楽続き。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日

#数楽だから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日

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

タグ：数楽

posted at 07:58:29

黒木玄 Gen Kuroki @genkuroki

17年3月10日

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

タグ：数楽

posted at 08:01:24

黒木玄 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日

#数楽続き～書くと、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日

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

タグ：数楽

posted at 08:22:57

黒木玄 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日

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

タグ：数楽

posted at 08:29:09

黒木玄 Gen Kuroki @genkuroki

17年3月10日

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

タグ：数楽

posted at 08:31:47

黒木玄 Gen Kuroki @genkuroki

17年3月10日

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

タグ：数楽

posted at 08:34:58

黒木玄 Gen Kuroki @genkuroki

17年3月10日

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

タグ：数楽

posted at 08:37:52

黒木玄 Gen Kuroki @genkuroki

17年3月10日

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

タグ：数楽

posted at 08:40:59

黒木玄 Gen Kuroki @genkuroki

17年3月10日

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

タグ：数楽

posted at 08:43:24

M. Watanabe @labidochromis

17年3月10日

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

タグ：

posted at 08:48:48

郊外鉱山 @bonanzainbeach

17年3月10日

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

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

タグ：

posted at 09:21:49

seasonticket @seasonticket

17年3月10日

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

タグ：

posted at 09:45:13

黒木玄 Gen Kuroki @genkuroki

17年3月10日

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

タグ：数楽

posted at 11:26:35

黒木玄 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

上原哲太郎/Tetsu. Uehara @tetsutalow

17年3月10日

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

タグ：

posted at 17:23:51

上原哲太郎/Tetsu. Uehara @tetsutalow

17年3月10日

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

タグ：

posted at 18:37:25