『プãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®åœè«–ã€ã¯ã“ã‚Œã¾ã§ã®åˆ†ã‚’ã¾ã¨ã‚ã¦PDFファイルã«ã—ã¾ã—ãŸã€‚å‚考ã«ã—ã¦ãã ã•ã„。
プãƒã‚°ãƒ©ãƒžãƒ¼ã®ãŸã‚ã®åœè«–（上） - bitterharvest’s diary
『プãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®åœè«–ã€ã¯ã“ã‚Œã¾ã§ã®åˆ†ã‚’ã¾ã¨ã‚ã¦PDFファイルã«ã—ã¾ã—ãŸã€‚å‚考ã«ã—ã¦ãã ã•ã„。
「確率変数ã€ã®æ£ä½“ã¯ç±³ç”°åŸ‹ã‚込㿠- 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
確率変数（random variable, stochastic variable）ã¨ã„ã†è¨€è‘‰ã®æ„味ãŒåˆ†ã‹ã‚‰ãªã„ï¼ ã¨ä½•åº¦ã‹æ›¸ã„ã¦ã„ã¾ã™ã€‚ 2015-05-26 「確率変数ã€ã¨è¨€ã†ã®ã¯ã‚„ã‚よㆠ2015-05-27 「分布ã€æ¸¬åº¦ã€å¯†åº¦ã€ã¯åŒã˜ã‹é•ã†ã‹ 2015-06-17 ã¾ã 「確率変数ã€ãŒåˆ†ã‹ã‚‰ãªã„ çµå±€åˆ†ã‹ã‚‰ãªã„ã¾ã¾ã§ã—ãŸã€‚「慣れã€ã®å•é¡Œã‹ã‚‚？ ã¨æ€ã£ãŸã“ã¨ã‚‚ã‚ã‚Šã¾ã™ã€‚ 2015-05-28 「慣れれã°åˆ†ã‹ã‚‹ã€å•é¡Œ 慣れるã“ã¨ã‚‚出æ¥ã¾ã›ã‚“ã§ã—ãŸã€‚ 最近ã€ã€Œã“ã‚Œãªã‚‰ç´å¾—ã§ãã‚‹ã‹ãªã€ã¨ã„ã†è§£é‡ˆã«å‡ºä¼šã„ã¾ã—ãŸã€‚ [追記 date="翌日"]最後ã«åˆ†ã‹ã‚Šã‚„ã™ã„マトメを付ã‘ã¾ã—ãŸã€‚[/追記] 内容： 「確率変数ã€ã¯ãªãœåˆ†ã‹ã‚‰ãªã„ã®ã‹ アレックス・シンプソンã®ã‚¢ã‚¤ãƒ‡ã‚£ã‚¢ 「確率変数ã€ã®2ã¤ã®ç”¨æ³• 確率空間ã¨åœProb 測度論的確率変数 曖昧ãªç¢ºçŽ‡å¤‰æ•° å‰å±¤ã¨ç±³ç”°åŸ‹ã‚込㿠米田埋ã‚è¾¼ã¿ã¨ã—ã¦ã®ç¢ºçŽ‡å¤‰
æ±å¤§ ç†å¦éƒ¨æƒ…å ±ç§‘å¦ç§‘ï¼å¤§å¦é™¢æƒ…å ±ç†å·¥å¦ç³»ç ”ç©¶ç§‘ï½œæƒ…å ±ç§‘å¦ç§‘NAVIgation
ãã‚ã‚ã¦æŠ½è±¡åº¦ãŒé«˜ãã€ãれゆãˆã«è¿‘寄りãŒãŸã„å°è±¡ãŒã‚‚ãŸã‚Œã¦ã„ã‚‹åœè«–。ãã®åœè«–ã®ã‚‚ã‚ーã£ã¨ã—ã¦ã„ã‚‹å…¥å£ã¸æ¡ˆå†…ã—ã¾ã™ã€‚ã¨ã¯ã„ãˆã€åœè«–ã®ãã¡ã‚“ã¨ã—ãŸå®šç¾©ã‚’ã‚ãšã‹ãªæ–‡ç« ã§ç¤ºã—ã¦ã‚‚ã‚ã‹ã‚Šã«ãã„ã°ã‹ã‚Šãªã®ã§ã€ã“ã“ã§ã¯ã¾ãšå°ã•ãªä¾‹ã§é›°å›²æ°—ã‚’ã¤ã‹ã‚“ã§ãã ã•ã„。興味ãŒã‚ã„ãŸã‚‰ã€æœ€å¾Œã«ç´¹ä»‹ã™ã‚‹æ–‡çŒ®ã‚’ã©ã†ãžã€‚ 矢å°ã°ã£ã‹ã‚Šæã„ã¦ã„ã‚‹ã®ã æ•°å¦ã§ã¯æ™®é€šã€ã€Œé›†åˆ A ãŒã‚ã£ã¦ã€ãã®å…ƒ a ∈ A ãŒã‚ã£ã¦â€¦â€¦ã€ã¨ã„ã†ã‚ˆã†ã«ã€é›†åˆãƒ™ãƒ¼ã‚¹ã§è©±ãŒé€²ã¿ã¾ã™ã€‚åœè«–ã¨ã„ã†ã®ã¯ã€ä»£ã‚ã‚Šã«å¯¾è±¡ã¨å°„を使ã†æ•°å¦ã®ã‚³ãƒˆãƒã§ã™ã€‚ã±ã£ã¨è¦‹ã§ã„ãˆã°ã€ã€ŒçŸ¢å°ã°ã‹ã‚Šæã„ã¦ã„ã‚‹ã€ã¨ã„ã†å°è±¡ã«ãªã‚‹ã§ã—ょã†ã€‚ 次ã®å›³ã‚’見ã¦ãã ã•ã„。 Xã€Yã€Zã€X ⊔ Y ã¨ã„ã†ã®ãŒå¯¾è±¡ã§ã€ãã®é–“ã«æã„ã¦ã‚る矢å°ãŒå°„ã§ã™ã€‚ åœè«–ã§ã¯ã“ã®å›³ã‚’〠Xã€Y ãŒä¸Žãˆã‚‰ã‚ŒãŸã¨ã〠特別㪠X ⊔ Y ã¨ã€Îº1ã€Îº2 ãŒã¨ã‚Œã‚‹ã€‚ ã©ã†ç‰¹åˆ¥ã‹ã¨ã„ã†ã¨ã€ã»ã‹ã« Z ã¨fã€g ã¨ã„ã†ã‚‚
åœè«–ã¨ã¯ä½•ã‹
æ•°å¦ã«åœè«–ã¨ã„ã†åˆ†é‡ŽãŒå‡ºæ¥ã¦ã‹ã‚‰åŠä¸–ç´€ã»ã©çµŒã¤äº‹ã«ãªã‚‹ï¼Žå¤§å¦ã®æ•°å¦ç§‘éŽç¨‹ã§ç™»å ´ã™ã‚‹é›†åˆä½ç›¸ï¼Œè¤‡ç´ 解æžï¼Œç’°è«–体論ãªã©ã¨æ¯”ã¹ã‚Œã°ï¼Œã“ã‚Œã¯ã‹ãªã‚Šã®ã€Œè‹¥æ‰‹ã€ã§ã‚る．ãれゆãˆã‹ï¼Œã„ã¾ã ã«æ—¥æœ¬ã®æ•°å¦èª²ç¨‹ã§åœè«–ã®æŽˆæ¥ãŒè¡Œã‚れるã“ã¨ã¯ï¼ˆé›†ä¸è¬›ç¾©ãªã©ã‚’除ã‘ã°ï¼‰ã»ã¨ã‚“ã©ãªã„．（ã“ã‚Œã¯æµ·å¤–ã§ã‚‚大差ãªã„ã¨ã„ã†è©±ã‚’èžã．）ã—ã‹ã—，ã²ã¨ãŸã³å¤§å¦é™¢ã«å…¥ã‚‹ã¨ï¼Œå¹¾ä½•å¦ã‚„代数å¦ã‚’扱ã†äººã¯ï¼Œå‹æ‰‹ã«ã€Œåœè«–ã€ã®è¨€è‘‰ãŒå‡ºã¦ãる事ã«é©šãã‹ã‚‚ã—ã‚Œãªã„．åœè«–ã¯ç¾ä»£æ•°å¦ã®è¨€è‘‰ã¨ã—ã¦å½“然ã®ã‚ˆã†ã«ç”¨ã„られ，ãã®åŸºç¤Žå¦ç¿’ã¯è‡ªç¿’ã«ä»»ã•ã‚Œã‚‹ã¨ã„ã†ã®ãŒç¾çŠ¶ã§ã‚る． ã—ã‹ã—，ã“ã®ã“ã¨ã¯å¤§ããªå•é¡Œã‚’生ã¿å‡ºã—ã¦ã„る．ã¨ã„ã†ã®ã‚‚，少ã—齧ã£ãŸç¨‹åº¦ã®è‡ªç§°ã€Œå°‚門家ã€ãŒæ§˜ã€…ãªã€Œåœè«–万能論ã€ã¨ã„ã£ãŸæ€ªæƒ…å ±ã‚’ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã«ç™ºä¿¡ã—ã¦ã—ã¾ã£ã¦ã„る事ãŒå¤šã見å—ã‘られる．ã¾ãŸï¼Œå½“然ã®ã“ã¨ãªãŒã‚‰ã€Œã©ã®ç¨‹åº¦å‹‰å¼·ã™ã‚‹ã‹ã€ã¨ã„ã†ã®ã¯ï¼Œä½•ã‚’ã©ã®ã‚ˆã†ã«å°‚æ”»ã—ã¦ã„ã‚‹ã‹ã«ä¾å˜ã™ã‚‹ï¼Žã«ã‚‚é–¢ã‚らãš
The Typeclassopediaを訳ã—ã¾ã—ãŸ, The Typeclassopedia - #3(2009-10-20)
â– [Haskell] The Typeclassopediaを訳ã—ã¾ã—㟠The Monad.Readerã®Issue 13ã«æŽ²è¼‰ã•ã‚ŒãŸThe Typeclassopediaã¨ã„ã†è¨˜äº‹ãŒã€Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowã¨ã„ã£ãŸã‚ˆã†ãªåž‹ã‚¯ãƒ©ã‚¹ã«ã¤ã„ã¦è‰¯ãã¾ã¨ã¾ã£ã¦ã„ã¦ã€ãã®ã‚ãŸã‚Šã‚’知りãŸã„時ã®å–ã£æŽ›ã‹ã‚Šã«ãªã‚Šãã†ã ã£ãŸã®ã§ç¿»è¨³ã—ã¦ã¿ã¾ã—ãŸã€‚ 作者ã®Brent Yorgeyã•ã‚“ã‹ã‚‰ã‚‚許å¯ãŒã„ãŸã ã‘ãŸã®ã§å…¬é–‹ã—ã¾ã™ã€‚翻訳ã«æ…£ã‚Œã¦ã„ãªã„ã®ã§å¤‰ãªæ—¥æœ¬èªžï¼ˆç‰¹ã«å°‚門用語ã®æ—¥æœ¬èªžè¨³ã¯ã‹ãªã‚Šæ€ªã—ã„）ãŒã‚ã£ãŸã‚Šã€ãã‚‚ãã‚‚é–“é•ã£ã¦ã„ãŸã‚Šã™ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã®ã§ã€ä½•ã‹è¦‹ã¤ã‘ãŸã‚‰ã‚³ãƒ¡ãƒ³ãƒˆã‚’é ‚ã‘ã‚‹ã¨åŠ©ã‹ã‚Šã¾ã™ã€‚ â– [Haskell] The Typeclassopedia by Brent Yorgey <first
åœè«–的指数ã®å‘¨è¾ºï¼šãƒ©ãƒ ダ計算ã€ãƒ‡ã‚«ãƒ«ãƒˆé–‰åœã€ãƒŽã‚¤ãƒžãƒ³åž‹ã‚³ãƒ³ãƒ”ュータ - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
åœè«–勉強会ã¯ã€ã‚³ãƒ¼ãƒ’ーãŒãªã‚“ã¨160円ã§é£²ã‚るベãƒãƒ¼ãƒã‚§ã§å®Ÿæ–½ã•ã‚Œã¾ã—ãŸï¼ˆå‚考→http://www.sampou.org/cgi-bin/haskell.cgi?CategoryTheory%3a%b7%f7%cf%c0%ca%d9%b6%af%b2%f1&l=jpã€â†’http://d.hatena.ne.jp/bonotake/20070812/1186947754）。 僕ãŒå‚åŠ ã—ã¦ã„ãŸæ™‚間（1時間ã»ã©ï¼‰å†…ã«ã§ããŸå”¯ä¸€ã®å•é¡Œï¼ˆ2.3.2 Exercise）ã«ã¤ã„ã¦è¿°ã¹ã¦ã¿ã¾ã™ã€‚å•é¡Œè‡ªä½“ã¯ç°¡å˜ãªã®ã§ã€å‘¨è¾ºäº‹æƒ…ã¨ã‹ã‚‚入れã¦ã€é›°å›²æ°—やココãƒãŒä¼ã‚るよã†ã«æ›¸ãã¤ã‚‚り。ã§ã€æ›¸ã„ã¦ã¿ãŸã‚‰é•·ããªã£ã¡ã‚ƒã£ãŸã‚ˆã€‚ 内容： ベータ変æ›ã¨ã‚¤ãƒ¼ã‚¿å¤‰æ› ラムダ計算ã¨ãƒ‡ã‚«ãƒ«ãƒˆé–‰åœ 指数をコンピュータã®è¨€è‘‰ã§èªžã‚Œã° インタプリタã¨ã‚³ãƒ³ãƒ‘イラを分類ã™ã‚‹ モジュールã®å®Ÿè¡Œç’°å¢ƒ ノイマンï¼ã‚²ãƒ¼ãƒ‡ãƒ«ã®ç®±åºé¢¨æ™¯ Exerci
Categorical quantum mechanics - Wikipedia
Categorical quantum mechanics is the study of quantum foundations and quantum information using paradigms from mathematics and computer science, notably monoidal category theory. The primitive objects of study are physical processes, and the different ways that these can be composed. It was pioneered in 2004 by Samson Abramsky and Bob Coecke. Categorical quantum mechanics is entry 18M40 in MSC2020
A categorical semantics of quantum protocols
View PDF Abstract: We study quantum information and computation from a novel point of view. Our approach is based on recasting the standard axiomatic presentation of quantum mechanics, due to von Neumann, at a more abstract level, of compact closed categories with biproducts. We show how the essential structures found in key quantum information protocols such as teleportation, logic-gate teleporta
categorical.org - A portal site on category theory
ã¯ã˜ã‚㫠本サイトã¯åœè«–（カテゴリー論）ã«ã¤ã„ã¦ç®¡ç†äººã®ç›®ã«ç•™ã¾ã£ãŸæƒ…å ±ã‚’ æƒ…å ±ã‚’é †æ¬¡æŽ²è¼‰ã—ã¦ã‚†ãサイトã§ã™ï¼Ž 良ã„æƒ…å ±ãŒã‚ã‚Šã¾ã—ãŸã‚‰ã¾ã§ãŠçŸ¥ã‚‰ã›ä¸‹ã•ã„． （管ç†äººã¯ãã®ã†ã¡Wikiã«ã—ã¦çš†æ§˜ã®åŠ›ã‚’ãŠå€Ÿã‚Šã—よã†ã¨ç›®è«–ã‚“ã§ãŠã‚Šã¾ã™ï¼‰ï¼Ž 『åœè«–ã®åŸºç¤Žã€å‡ºç‰ˆ Saunders Mac Lane, Categories for the Working Mathematician, Second Edition, Springer-Verlag, ISBN0-387-98403-8, 1997.（ページ下å‚照） ã®é‚¦è¨³ã§ã‚る，ソーンダース・マックレーン著，三好åšä¹‹ï¼é«˜æœ¨ç† 訳， 『åœè«–ã®åŸºç¤Žã€ï¼Œã‚·ãƒ¥ãƒ—リンガー・フェアラークæ±äº¬ï¼Œ ãŒ2005å¹´7月1æ—¥ã«å‡ºç‰ˆã•ã‚Œã¾ã™ï¼Ž ã“ã®ã‚µã‚¤ãƒˆã«ã¯è¨³è€…ã«ã‚ˆã‚‹æœ¬æ›¸ã® サãƒãƒ¼ãƒˆãƒšãƒ¼ã‚¸ãŒç½®ã‹ã‚Œã‚‹äºˆå®šã§ã™ï¼Ž よã†ã‚„ã『åœè«–ã®åŸºç¤Žã€ãŒamazon.co.jpã«è¼‰ã‚Šã¾ã—ãŸï¼Ž(2
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Amazon.co.jp: Category Theory (Oxford Logic Guides): Awodey, Steve: 本
{{#tags}}- {{label}}
{{/tags}}