多項式で成り立つことは、複素関数でも成り立つ?
— きーねくℵ (@Keyneqq) 2018年9月7日 - 23:38
こういう類似があると圏で書いてみたくなる意識が醸成される pic.twitter.com/w1wj2NFNoQ
1664年の今日、ニューヨークが誕生
— あざらしアイドル組 (@huusenazarasi) 2018年9月8日 - 06:45
した記念日🇺🇸
自由の女神ですが、銅で出来ている
ので、元は茶色でしたが、長い間外に
設置、酸化し現在の色になりました🗽
#今日は何の日 #白露
#ニューヨークの日
#マスカラの日… twitter.com/i/web/status/1…
onna goo.gl/KKPrjH
— ナカナカピエロ (@NakanakaPierrot) 2018年9月8日 - 09:05
onna - 2 goo.gl/GuZa4X
— ナカナカピエロ (@NakanakaPierrot) 2018年9月8日 - 09:23
onna - 3 goo.gl/8t7SPW
— ナカナカピエロ (@NakanakaPierrot) 2018年9月8日 - 09:54
onna - 4 goo.gl/uoTw1C
— ナカナカピエロ (@NakanakaPierrot) 2018年9月8日 - 10:13
#今日の圏論
— 結城浩 (@hyuki) 2018年9月8日 - 16:08
充満関手。フリクションボールペンを0.38と細くしてみた。細かく書けるけどちょっと細すぎかもしれない。 pic.twitter.com/Z5QTFkqeOr
#今日の圏論
— 結城浩 (@hyuki) 2018年9月8日 - 16:28
さっき #圏論の基礎 ハッシュタグ付け忘れてた。
忠実な関手。 pic.twitter.com/cxYGQDMAN5
#今日の圏論 #圏論の基礎
— 結城浩 (@hyuki) 2018年9月8日 - 16:30
T抜けてた。
忠実な関手。 pic.twitter.com/3O8m1iqGlK
kiss goo.gl/EHpBei
— ナカナカピエロ (@NakanakaPierrot) 2018年9月8日 - 16:44
#今日の圏論 #圏論の基礎
— 結城浩 (@hyuki) 2018年9月8日 - 17:02
忘却関手Grp→Setは充満ではないが忠実。充満ではないことを示す例が作れん…😢忠実であることはあたりまえと言える😊 pic.twitter.com/lJmNUb4Zhk
コラージュ楽しいな ♬
— ナカナカピエロ (@NakanakaPierrot) 2018年9月8日 - 17:16
#今日の圏論 #圏論の基礎
— 結城浩 (@hyuki) 2018年9月8日 - 17:41
「忘却関手T:Grp→Setは充満ではない」は理解しました。Setの側ではTc→Tc’という射は任意の関数で構わないので、もしTが充満だったら台集合の任意の写像が群準同型になってしまう。そんなことはない… twitter.com/i/web/status/1…
#今日の圏論 #圏論の基礎
— 結城浩 (@hyuki) 2018年9月8日 - 17:50
「忘却関手T:Grp→Setは忠実である」も理解していましたが、忘却関手一般でも、射fがTfに移ったとして、fとTfは等しいから(※ここを精密にすること)、Tf_1=Tf_2ならばf_1=f_2になって… twitter.com/i/web/status/1…
そう思う。弊社にはもともとデータ分析系のグループがあったけど、それとは別にエンジニアリンググループにAI・機械学習チームを作った。
— nishiba (@m_nishiba) 2018年9月8日 - 10:10
> AI成功の鍵はアルゴリズムではなくエンジニアリング:従来のデータサイエンティストの領域ではない… twitter.com/i/web/status/1…
なんかこれがよさそう:Docker/Kubernetes 実践コンテナ開発入門 | 山田 明憲 | コンピュータ・IT | Kindleストア | Amazon amazon.co.jp/Docker-Kuberne…
— Atsushi Sakai (@Atsushi_twi) 2018年9月8日 - 10:54
量子力学の連続スペクトル周辺の話は数学でよくわかっていることをふまえて書くべきだと思う。もうディラクの時代じゃないんだから。
— Hal Tasaki (@Hal_Tasaki) 2015年6月17日 - 00:08
ぼくの教科書でのスペクトルの定義は近似点スペクトルを使う。これは標準の定義より物理の人に馴染むと思う。 pic.twitter.com/EUGIIPNZ9u
コラージュにはまる goo.gl/48JBqA
— ナカナカピエロ (@NakanakaPierrot) 2018年9月8日 - 19:43
2) 量子力学の連続スペクトルを数学的にまともに扱うために、フォンノイマンは自己共役作用素のスペクトル理論を作ったのだし、その確率解釈もフォンノイマン自身が示しています(量子力学の数学的基礎)。この段階で離散化を言う必要はありません。@ayumu_sugita
— TANIMURA Shogo (@tani6s) 2015年6月17日 - 12:04
#今日の圏論 #圏論の基礎
— 結城浩 (@hyuki) 2018年9月8日 - 20:23
充満関手が全射っぽくて、忠実関手が単射っぽいという感覚の答えが次に出て来ました。hom(c,c’)からhom(Tc,Tc’)への関数を考えて、単射と全射の言葉を使って充満と忠実を言いあらわせる。 pic.twitter.com/Vx2hcj2f6h
onna - 5 goo.gl/ym4sN9
— ナカナカピエロ (@NakanakaPierrot) 2018年9月8日 - 20:38
onna - 6 goo.gl/5rDzA8
— ナカナカピエロ (@NakanakaPierrot) 2018年9月8日 - 20:49