John Baez's Stuff
John Baez’s Stuff I'm the Maxwell Fellow in Public Engagement at the University of Edinburgh and an emeritus professor in the mathematics department at U. C. Riverside. I'm a mathematical physicist. I use category theory to study networks and help researchers use them in scientific software, such as quickly adaptable models of infectious disease. I'm also working on categorified ring theory. I exp
Closure Conversion as CoYoneda
2017-08-28 :: Yoneda, coYoneda, category theory, compilers, closure conversion, math By: Max New The continuation-passing style transform (cps) and closure conversion (cc) are two techniques widely employed by compilers for functional languages, and have been studied extensively in the compiler correctness literature. Interestingly, typed versions of each can be proven to be equivalence preserving
「確率変数ã€ã®æ£ä½“ã¯ç±³ç”°åŸ‹ã‚込㿠- 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
確率変数（random variable, stochastic variable）ã¨ã„ã†è¨€è‘‰ã®æ„味ãŒåˆ†ã‹ã‚‰ãªã„ï¼ ã¨ä½•åº¦ã‹æ›¸ã„ã¦ã„ã¾ã™ã€‚ 2015-05-26 「確率変数ã€ã¨è¨€ã†ã®ã¯ã‚„ã‚よㆠ2015-05-27 「分布ã€æ¸¬åº¦ã€å¯†åº¦ã€ã¯åŒã˜ã‹é•ã†ã‹ 2015-06-17 ã¾ã 「確率変数ã€ãŒåˆ†ã‹ã‚‰ãªã„ çµå±€åˆ†ã‹ã‚‰ãªã„ã¾ã¾ã§ã—ãŸã€‚「慣れã€ã®å•é¡Œã‹ã‚‚？ ã¨æ€ã£ãŸã“ã¨ã‚‚ã‚ã‚Šã¾ã™ã€‚ 2015-05-28 「慣れれã°åˆ†ã‹ã‚‹ã€å•é¡Œ 慣れるã“ã¨ã‚‚出æ¥ã¾ã›ã‚“ã§ã—ãŸã€‚ 最近ã€ã€Œã“ã‚Œãªã‚‰ç´å¾—ã§ãã‚‹ã‹ãªã€ã¨ã„ã†è§£é‡ˆã«å‡ºä¼šã„ã¾ã—ãŸã€‚ [追記 date="翌日"]最後ã«åˆ†ã‹ã‚Šã‚„ã™ã„マトメを付ã‘ã¾ã—ãŸã€‚[/追記] 内容： 「確率変数ã€ã¯ãªãœåˆ†ã‹ã‚‰ãªã„ã®ã‹ アレックス・シンプソンã®ã‚¢ã‚¤ãƒ‡ã‚£ã‚¢ 「確率変数ã€ã®2ã¤ã®ç”¨æ³• 確率空間ã¨åœProb 測度論的確率変数 曖昧ãªç¢ºçŽ‡å¤‰æ•° å‰å±¤ã¨ç±³ç”°åŸ‹ã‚込㿠米田埋ã‚è¾¼ã¿ã¨ã—ã¦ã®ç¢ºçŽ‡å¤‰
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}