1月15日(月)のつぶやき

プログラミング言語 ”Julia” goo.gl/pTFCnJ

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 00:01

人間って無意識のうちに共通性と差異を認識しているだなあって思った。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 08:33

コホモロジーに隔世遺伝はない。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 08:50

宇宙（圏）から宇宙（圏）を結ぶのが関手。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 08:55

層のコホモロジー理論といいますのは、開集合で決まる関手FとCの対象である層との関係をC'の対象であるアーベル群で調べようという仕組みです。（「コホモロジーのこころ」より）

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 09:29

矢印が同じ矢印のままなら共変関手。矢印が逆の矢印に変わったら反変関手。HomHom。。。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 09:38

位相空間の圏の射って、U⊂Vの”⊂”のことなんだあ。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 09:44

前層は位相空間の圏からSet圏の関手で、U⊂VがF(U)←F(V)となる反変関手。見慣れた言葉でいうと制限写像のこと。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 09:47

自然変換というのは関手を射とみたときの関手間の射のこと。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 09:53

F' : HomB(X,Y) →HomC(FX,FY)でF'が単射のときF:B→Cは忠実な関手。F'が全射のときFは充満な関手という。Fが忠実な関手で、Fの対象に対しても忠実のとき、FはBからCへの埋め込みという。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 10:06

Homの集合から欲しい対象のHomが見つかった時、その対象は共変関手の表現という。その時、共変関手のことを表現可能関手という。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 10:15

うわーん。米田の補題！（今更感あり。）

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 10:33

「群と表現」（吉川圭二著）で爆死。
リー群、リー環、リー代数、表現論分かりてえ！

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 12:11

高校数学の復習。高校数学の美しい物語さんお世話になっています。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 13:47

mathtrain.jp/gradient

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 13:56

mathtrain.jp/tangentplane

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 13:59

mathtrain.jp/koubai

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 14:02

一旦、復習終了。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 14:03

My name is Pierrot Nakanaka and I am funky

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 14:36

「コホモロジーのこころ」（加藤五郎著）で、矢印をいっぱい見たせいか、頭が重い。。。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 14:45

JIT持ってるの強いな。
JuliaのQA on @Qiita qiita.com/bicycle1885/it…

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 16:57

JuliaはGPGPUに関しては、CUDA Cとまだ同等レベルの記述しかできないのか。。。これがクリアできないとPythonは抜けないな(と思う)。最新情報はどうかのかな。
julialang.org/blog/2017/03/c…

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 17:13

BLAS程度ならラッパーがあるのか？アセンブラコードを追えるのはありがたいな。
devblogs.nvidia.com/parallelforall…

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 17:27

一応OpenMPもどきの@parallelってゆうのはあるんだな。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 17:34

この論文面白いな。Deep Learning の浮動小数点数は16ビットが主流だが9ビットまで減らせるとある。
arch.info.mie-u.ac.jp/project/GradTh…

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 17:56

センター試験の数学、新聞で見たけど、確率・統計の割合多いの時代を感じる。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 18:30

現状、NVIDIAの独り勝ちみたいなのどうなの？そのうち独禁法に触れたりして。。。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 18:36

資本主義とは、生産手段の私的所有および経済的な利潤追求行為を基礎とした経済体系である。(Wikipedia)
つまり法の下で許された、人々の欲望が入り交じって動く欲望の経済力学なのだと思う。力の強いものが勝ち、弱いものが負ける。力学とはそういうものだと思う。

— ナカナカピエロ (@NakanakaPierrot) 2018年1月15日 - 20:25

Deep Learningにおける知識の蒸留 (via @Pocket) #longreads codecrafthouse.jp/p/2018/01/know…

— aidiary (@sylvan5) 2018年1月15日 - 20:25

矢印病

矢印病

 

以下の読書録にも書いたが「コホモロジーのこころ」で圏論とか完全系列とかで、計算式というよりは矢印の絵ばかり追っていて、慣れておらず頭が重くなった。数式でもなければ、プログラムコードでもないし、ある意味カルチャーショックかも。でもマスターしたいんだなあ。

 

今日は5時起床、6時半アジト。以下読書。

・「工学部で学ぶ数学」

　（千葉逸人著）（P.279/383読了）

・「コホモロジーのこころ」

　（加藤五郎著）（P.30/202読了）

・「群と表現」

　（吉川圭二著）（P.120/237読了）爆死。

・「多様体とモース理論」

　（横田一郎著）（P.92/193読了）

 

「工学部で学ぶ数学」は、第5章フーリエ解析の5.3"偏微分方程式３～変数分離法"を読んだ。変数分離法は前にも勉強したことがあるので、理解はスムースでした。

 

「コホモロジーのこころ」（加藤五郎著）は、何とか米田の補題、埋め込みのところまで読みました。矢印病になりそうです。完読できるか不安。

 

「群と表現」は、第6章”連続群とリー代数”、第7章”回転群”を読んだところで爆死。一体どうすれば、リー群、リー環、リー代数、表現論をマスターできるのだろうか。。。

 

「多様体とモース理論」は第2章”可微分多様体”を読み終わりました。長年勘違いしていた箇所があったので高校数学の復習をしました。以下参考文献。

－－－－－－－－－－－－－－－

法線ベクトルの求め方と応用 | 高校数学の美しい物語 

https://mathtrain.jp/gradient 

 

接平面の方程式の求め方 | 高校数学の美しい物語 

https://mathtrain.jp/tangentplane 

 

勾配ベクトルの意味と例題 | 高校数学の美しい物語 

https://mathtrain.jp/koubai

－－－－－－－－－－－－－－－

 

また明日頑張る。

 

寝る。