[B! math] kirakkingã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

kirakking id:kirakking

mathã«é–¢ã™ã‚‹kirakkingã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (27)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

128ãƒ“ãƒƒãƒˆç¬¦å·ä»˜ãæ•´æ•°ã®æœ€å¤§å€¤ã¯ç´ æ•° - Rustã§ä»»æ„ç²¾åº¦æ•´æ•°æ¼”ç®—
æ¦‚è¦ 2^n-1 åž‹ã®æ•°ã¯ãƒ¡ãƒ«ã‚»ãƒ³ãƒŒæ•°ã¨å‘¼ã°ã‚Œã€æ›´ã«ç´ æ•°ã§ã‚ã‚‹å ´åˆã«ãƒ¡ãƒ«ã‚»ãƒ³ãƒŒç´ æ•°ã¨ã„ã„ã¾ã™ã€‚æœ¬è¨˜äº‹ã§ã¯ã€ãƒ¡ãƒ«ã‚»ãƒ³ãƒŒæ•°ã«å¯¾ã™ã‚‹é«˜é€Ÿãªç´ æ•°åˆ¤å®šæ³•ã§ã‚ã‚‹ãƒªãƒ¥ã‚«ãƒ»ãƒ¬ãƒ¼ãƒžãƒ¼ãƒ†ã‚¹ãƒˆã‚’ã€Rustã®ä»»æ„ç²¾åº¦æ¼”ç®—ç”¨ã‚¯ãƒ¬ãƒ¼ãƒˆ rug ã‚’åˆ©ç”¨ã—ã¦å®Ÿè£…ã—ã¾ã™ã€‚ å®Ÿè¡Œç’°å¢ƒ CPU: Intel Core i7 1.8GHz ãƒ¡ãƒ¢ãƒª: 16GB OS(ãƒ›ã‚¹ãƒˆ): Windows 10 Home 21H1 WSL2: Ubuntu 20.04.3 rustc: Ver. 1.55.0 cargo: Ver. 1.55.0 ç¬¦å·ä»˜ãæ•´æ•°åž‹ã®ç¯„å›²ã«ã¤ã„ã¦ Rustã«ã¯çµ„ã¿è¾¼ã¿ã®æ•´æ•°åž‹ã¨ã—ã¦ 8,\,16,\,32,\,64,\,128 ãƒ“ãƒƒãƒˆæ•´æ•°[1]ãŒãã‚Œãžã‚Œç¬¦å·ä»˜ããƒ»ç¬¦å·ãªã—ã§å‚™ã‚ã£ã¦ã„ã¾ã™[2]ã€‚ãã®ã†ã¡ç¬¦å·ä»˜ãæ•´æ•°ã¯ã€ä»–ã®å¤šãã®è¨€èªžã¨åŒæ§˜ã€2ã®è£œæ•°ã«ã‚ˆã£ã¦è² ã®æ•°ãŒè¡¨ç¾ã•ã‚Œã¾ã™ã€‚ã—ãŸãŒã£ã¦ã€ãƒ“ãƒƒãƒˆæ•° n = 8,
kirakking 2021/09/30
ã‚µãƒ©ãƒƒã¨èªã‚ã‚‹ã®ã«ãƒ¡ãƒ«ã‚»ãƒ³ãƒŒæ•°ã«åŸºã¥ã„ãŸç´ æ•°åˆ¤å®šã®æµã‚ŒãŒé ã«å…¥ã‚‹ã™ã”ã„åŠ›ä½œã ã£ãŸã€‚ã‚„ã£ã±ã‚Šæ•´æ•°è«–é¢ç™½ã„ãªã‚ã€‚

rust

math

programming
ãƒªãƒ³ã‚¯
http://www.math.kobe-u.ac.jp/Asir/ca.pdf
kirakking 2019/01/07
ãŸã¾ãŸã¾è¦‹ã¤ã‘ãŸã€‚Grobner bases ã“ã¨ Buchberger ã®ã‚°ãƒ¬ãƒ–ãƒŠãƒ¼åŸºåº•ã«ã¤ã„ã¦ã€‚

æ•°å¦

math

ä»£æ•°

algebra
ãƒªãƒ³ã‚¯
æœ‰é™é›†åˆã¨ã¯ä½•ã ã‚ã†ï¼ˆã‚¹ãƒˆãƒ¼ãƒªãƒ¼ä»˜ãç·´ç¿’å•é¡Œé›†ï¼‰ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
ã€ŒXã¯æœ‰é™é›†åˆã§ã‚ã‚‹ã€ã¨ã‹ã€ŒXã¯æœ‰é™é›†åˆã§ãªã„ã€ã¨ã‹ã®è¡¨ç¾ã¯ã‚ˆãå‡ºã¦ãã¾ã™ãŒã€ã“ã®æœ‰é™æ€§ã£ã¦ã®ã¯ã„ã£ãŸã„ä½•ãªã‚“ã§ã—ã‚‡ã†ï¼Ÿ å°‘ã—ãƒžã‚¸ãƒ¡ã«è€ƒãˆã¦ã¿ã‚‹ã“ã¨ã«ã—ã¾ã™ã€‚ã“ã‚Œã¨ã„ã£ãŸäºˆå‚™çŸ¥è˜ã‚’è¦æ±‚ã—ã¾ã›ã‚“ãŒã€ãƒžã‚¸ãƒ¡ã«è€ƒãˆã‚‹æ…‹åº¦ã¯å¿…è¦ã§ã™ã€‚ å®Ÿã¯ã€æœ‰é™æ€§ã‚’èª¿ã¹ã‚‹ã®ã¯ç›®çš„ã˜ã‚ƒãªãã¦æ‰‹æ®µã§ã™ã€‚è¨¼æ˜Žã®â€œãŠè†³ç«‹ã¦â€ã‚·ãƒªãƒ¼ã‚ºã¨ã‹ã€è‡ªç„¶æ¼”ç¹¹ãƒ€ãƒ¡ã˜ã‚ƒã‚“ã‚·ãƒªãƒ¼ã‚ºï¼ˆã£ã¦ã€ãã‚“ãªã‚·ãƒªãƒ¼ã‚ºããˆã‘ã©ã€ã€Œå˜åœ¨è¨˜å·ã®é™¤åŽ»è¦å‰‡ã«ã¤ã„ã¦è€ƒãˆã‚‹ã€ã¨ã‹ï¼‰ã«å¯¾ã—ã¦ã€ä¾‹é¡Œã‚’æä¾›ã™ã‚‹ã®ãŒã€ã“ã®è¨˜äº‹ã®ä¸»ãŸã‚‹ç›®çš„ã§ã™ã€‚ã“ã®è¨˜äº‹ã‚’èªã¿ãªãŒã‚‰ã€ãƒãƒƒã‚ãƒªã¨ã¯æ›¸ã„ã¦ãªã„è¨¼æ˜Žã‚’å…¨éƒ¨æ›¸ã„ã¦ã„ãã“ã¨ãŒç·´ç¿’å•é¡Œã«ãªã‚Šã¾ã™ã€‚å†…å®¹çš„ã«ã¯è¶…ã‚«ãƒ³ã‚¿ãƒ³ï¼ˆå½“ãŸã‚Šå‰ï¼‰ãªã®ã§ã€æ˜Žç¤ºçš„ãªè¨¼æ˜Žã¯é€†ã«ãƒãƒ¼ãƒ‰ã§ã™ã€‚ å†…å®¹ï¼š è‡ªç„¶æ•°ã«ã¤ã„ã¦ã‚ˆãçŸ¥ã£ã¦ã„ã‚‹ã¨ã™ã‚‹ è«–ç†è¨˜å·ãªã© æœ‰é™æ€§ã®å®šç¾© å€‹æ•°å‹˜å®šã®åŽŸç† å€‹æ•°å‹˜å®šã®è£œé¡Œã¨é³©ã®å·£åŽŸç† å€‹æ•°å‹˜å®šã®è£œé¡Œã¨æ•°å¦çš„å¸°ç´æ³• ã‚‚ã†å°‘ã—æ•°å¦çš„å¸°ç´æ³•ã®ãŸã‚ã®
kirakking 2017/11/30
math

å¸°ç´æ³•

proof
ãƒªãƒ³ã‚¯
LaTeXã‚’ä½¿ã£ãŸæ•°å¼ã®å…¥åŠ›ãŒWordã‚„PowerPointã§å¯èƒ½ã«ã€‚ãƒžã‚¤ã‚¯ãƒã‚½ãƒ•ãƒˆãŒæ˜Žã‚‰ã‹ã«ï¼ˆè¿½è¨˜ã‚ã‚Šï¼‰
LaTeXã‚’ä½¿ã£ãŸæ•°å¼ã®å…¥åŠ›ãŒWordã‚„PowerPointã§å¯èƒ½ã«ã€‚ãƒžã‚¤ã‚¯ãƒã‚½ãƒ•ãƒˆãŒæ˜Žã‚‰ã‹ã«ï¼ˆè¿½è¨˜ã‚ã‚Šï¼‰ æ¥æœˆã®Office 365ã®ã‚¢ãƒƒãƒ—ãƒ‡ãƒ¼ãƒˆã«ã‚ˆã£ã¦ã€Wordã‚„PowerPointã§LaTeXã‚’ç”¨ã„ãŸæ•°å¼ã®å…¥åŠ›ãŒå¯èƒ½ã«ãªã‚‹ã“ã¨ãŒã€Microsoft Officeã®é–‹ç™ºã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã®ãƒ–ãƒã‚°ã«æŠ•ç¨¿ã•ã‚ŒãŸè¨˜äº‹ã€ŒLaTeX Math in Officeã€ã§æ˜Žã‚‰ã‹ã«ãªã‚Šã¾ã—ãŸã€‚ ãƒ–ãƒã‚°ã«ã¯ã€ŒNext month youâ€™ll be able to use LaTeX math in Office 365 math zones.ã€ï¼ˆæ¥æœˆã«ã¯ã€Office 365ã®æ•°å¼æž ã§LaTeXã®æ•°å¼ãŒä½¿ãˆã‚‹ã‚ˆã†ã«ãªã‚‹ï¼‰ã¨æ›¸ã‹ã‚Œã¦ã„ã¾ã™ã€‚ Wordã§æ•°å¼ã‚’å…¥åŠ›ã™ã‚‹ãƒ¢ãƒ¼ãƒ‰ã«ã—ãŸã¨ãã®ãƒªãƒœãƒ³ãƒ¡ãƒ‹ãƒ¥ãƒ¼ã«ã¯ã€ä¸‹è¨˜ã®ã‚ˆã†ã«ã€ŒLaTeXã€ã®é …ç›®ãŒè¿½åŠ ã•ã‚Œã‚‹ã“ã¨ãŒç¤ºã•ã‚Œã¾ã—ãŸã€‚ æ—¥æœ¬èªžç‰ˆã®Office 365ã‚„Wordã®å¯¾
kirakking 2017/08/01
ãƒ—ãƒã®LaTeXè·äººã®ä½œã£ãŸè³‡æ–™ãŒã¨ã‚“ã§ã‚‚ãªã„ã‚¯ã‚ªãƒªãƒ†ã‚£ã§ã³ã³ã£ãŸNå¹´å‰ã€‚æ•°å¼ã‚’ãã£ã¡ã‚Šæ›¸ããŸã„ã¨ãã¯ã‚„ã£ã±ã‚ŠTeXç³»ã ã‚ˆãªãƒ¼ã€‚

latex

math

TeX

Microsoft
ãƒªãƒ³ã‚¯
æ—¥æœ¬æ•°å¦ä¼š(MSJ)--é‚¦æ–‡èªŒã€Œæ•°å¦ã€-è«–èª¬-ã€€ï¼‘ æ•°ç†è«–ç†ã¨åŸºç¤Žè«–
æ—¥æœ¬æ•°å¦ä¼šæƒ…å ±ã‚·ã‚¹ãƒ†ãƒ é‹ç”¨å§”å“¡ä¼šä½œæˆ | TOP PAGE Copyright(C) 2008- Mathematical Society of Japan æœ€çµ‚æ›´æ–°æ—¥ï¼š Aug 19, 2010
kirakking 2017/07/28
math

æ•°å¦

ã‚ã¨ã§èªã‚€
ãƒªãƒ³ã‚¯
æ•°å¦
Online ISSN : 1883-6127 Print ISSN : 0039-470X ISSN-L : 0039-470X
kirakking 2017/07/26
math

pdf

è³‡æ–™

å¦ä¼š
ãƒªãƒ³ã‚¯
Mathematical proof - Wikipedia
P. Oxy. 29, one of the oldest surviving fragments of Euclid's Elements, a textbook used for millennia to teach proof-writing techniques. The diagram accompanies Book II, Proposition 5.[1] A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, suc
kirakking 2017/06/22
çµæ§‹å……å®Ÿã—ã¦ã‚‹ã€‚ãªã‚“ã‹æ™‚é–“ã¤ã¶ã—ã«é¢ç™½ãã†ã€‚

math

proof

wikipedia

ã‚ã¨ã§èªã‚€
ãƒªãƒ³ã‚¯
æœ‰ç†æ•°ã¨ã‹æœ‰é™ä½“ã¨ã‹ã®ã¯ãªã— - Qiita
ã¨ã„ã†ã®ãŒã‚¢ãƒªã¾ã™ã€‚ ã‚°ãƒ¬ãƒ–ãƒŠãƒ¼åŸºåº•ã§æœ€è¿‘æœ‰åãªã“ã®æœ¬ã§ã¯è‰²ã€…ãªè¨¼æ˜Žã®ç‚ºã®$\mathbb{C}$ã€ï¼ˆé€£ç¶šçš„ãªï¼‰çµµã‚„ã‚°ãƒ©ãƒ•ã‚’æã„ãŸã‚Šã™ã‚‹ç‚ºã®$\mathbb{R}$ã€ãã—ã¦è¨ˆç®—æ©Ÿã®ä¸ã§ã¯$\mathbb{Q}$ã¨ã„ã†æ›¸ãæ–¹ã‚’ã—ã¦ã„ãŸã®ãŒå°è±¡çš„ã§ã™ã€‚ ##æœ‰ç†æ•°ã®è¨ˆç®—ã¯ã‚³ã‚¹ãƒˆãŒé«˜ã„ï¼Ÿ ä¾‹ãˆã°è¨ˆç®—æ©Ÿã®ä¸ã§ç´ æœ´ã«å‰²ã‚Šç®—ã‚’ã™ã‚‹ã¨å¤§ããæƒ…å ±ã‚’æãªã†å¯èƒ½æ€§ãŒé«˜ã„ã®ã¯çš†ã•ã‚“ã”å˜çŸ¥ã ã¨æ€ã„ã¾ã™ã€ä¸Šã§ã‚ã’ãŸé›»å“ã®ä¾‹ãŒãã‚Œã«å½“ãŸã‚Šã¾ã™ã€‚ è¨€ã†ã¾ã§ã‚‚ç„¡ã„ã“ã¨ã§ã™ãŒã€è¨ˆç®—æ©Ÿä¸Šã§ç„¡é™ã®ç²¾åº¦ã§å‰²ã‚Šç®—ã‚’è¡Œã†ã“ã¨ã¯ç´ æœ´ã«ã¯ç„¡ç†ã§ã€ä¾‹ãˆã°æµ®å‹•å°æ•°ç‚¹æ•°ã«ä¸¸ã‚ã¦è¨ˆç®—ã™ã‚‹ã¨æ™®é€šã¯æœ›ã‚€çµæžœã§ã¯ç„¡ã„ã‚‚ã®ã«ãªã£ã¦ã—ã¾ã„ã¾ã™ã€‚ ç´ æœ´ãªè§£æ±ºç–ã¯ã€Int ã‚’äºŒã¤å–ã£ã¦ããŸæ–°ã—ã„ãƒ‡ãƒ¼ã‚¿åž‹ã§æœ‰ç†æ•°ã‚’è¡¨ç¾ã™ã‚‹ã¨ã„ã†æ–¹æ³•ã§ã™ã€‚ ã“ã‚Œã¯ã¾ãã†ã¾ãã„ãã¾ã™ã€ã—ã‹ã—è¨ˆç®—ã®é€”ä¸ã§åˆ†æ¯åˆ†åã®Int ãŒæ¡è½ã¡ã—ã¦ãªã„ã“ã¨ã¯ä¸€èˆ¬ã«ã¯ä¿éšœã•ã‚Œã¾ã›ã‚“ã€‚ ãŸã¨ãˆå…¥åŠ›ã¨
kirakking 2016/12/24
ã€Œèª¤è§£ã‚’æã‚Œãšã«è¨€ãˆã°ã€é›»å“ã®æ¡è½ã¡å•é¡Œã¯æœ‰ç†æ•°ä½“ã®æ¿ƒåº¦ãŒç„¡é™ã ã¨ã„ã†ã“ã¨ã«èµ·å› ã—ã¾ã™ã€å¾“ã£ã¦æœ‰é™ãªä½“ãŒã‚ã‚Œã°ã‚‚ã—ã‹ã—ãŸã‚‰ã€ã€ã€ã¨ã„ã†ã®ãŒå¸Œæœ›ã§ã‚ã‚Šã€ä»Šå›žã®è©±ã®ãƒ¢ãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³ã«ã¤ãªãŒã‚‹ã‚ã‘ã§ã™ã€‚ã€

math

algebra

haskell

programming
ãƒªãƒ³ã‚¯
The On-Line Encyclopedia of Integer Sequences (OEIS)
For more information about the Encyclopedia, see the Welcome page.
kirakking 2016/04/21
math

sequence

web service
ãƒªãƒ³ã‚¯
BLOOMS: Strobe Animated Sculptures Invented by John Edmark
DEMO VIDEOS Get to know everything Vimeo can do for your business. Watch now
kirakking 2015/01/19
ç¶ºéº—è»¢ã€‚

arg

å‹•ç”»

math
ãƒªãƒ³ã‚¯
Order Theory: Definition
kirakking 2014/04/15
quasi = pre, + antisymã§pertialã€‚åŸºæœ¬reflexiveã¨transitive

math

order

definition
ãƒªãƒ³ã‚¯
2ã¤ã®ãƒœãƒ¼ãƒ«ã‚’ã¶ã¤ã‘ã‚‹ã¨å††å‘¨çŽ‡ãŒã‚ã‹ã‚‹ - å¤§äººã«ãªã£ã¦ã‹ã‚‰ã®å†å¦ç¿’
ä¸€ã‹æœˆã»ã©å‰ã« New York Times ã§ç´¹ä»‹ã•ã‚Œã¦ã„ãŸè¨˜äº‹ã€‚ The Pi Machine - NYTimes.com ã“ã“ã§ç´¹ä»‹ã•ã‚Œã¦ã„ã‚‹ã®ã¯ã€ãªã‚“ã¨é©šãã¹ãã“ã¨ã«ã€2ã¤ã®ãƒœãƒ¼ãƒ«ã‚’ã¶ã¤ã‘ã‚‹ã ã‘ã§å††å‘¨çŽ‡ï¼ˆ3.1415...ï¼‰ã®å€¤ãŒã‚ã‹ã‚‹ã€ã¨ã„ã†å†…å®¹ã€‚ ã“ã‚Œã ã‘ã ã¨ã€å…¨ç„¶ãƒ”ãƒ³ã¨ã“ãªã„ã¨æ€ã†ã®ã§ã€ã‚‚ã†å°‘ã—è©³ã—ãèª¬æ˜Žã™ã‚‹ã¨ã€æ¬¡ã®ã‚ˆã†ãªã“ã¨ãŒæ›¸ã‹ã‚Œã¦ã„ã‚‹ã€‚ â†“2ã¤ã®ãƒœãƒ¼ãƒ«ã‚’ã€ä¸‹ã®å›³ã‚ˆã†ã«å£ã¨åºŠã®ã‚ã‚‹ç©ºé–“ã«ç½®ãã€‚ â†“ãã®å¾Œã€å£ã‹ã‚‰é ã„æ–¹ã®ãƒœãƒ¼ãƒ«ã‚’ã€ä»–æ–¹ã«å‘ã‹ã£ã¦è»¢ãŒã™ã€‚ å¾Œã¯ã€ãƒœãƒ¼ãƒ«ãŒè¡çªã™ã‚‹å›žæ•°ã‚’ã‚«ã‚¦ãƒ³ãƒˆã™ã‚‹ã ã‘ã§ã€å††å‘¨çŽ‡ãŒã‚ã‹ã‚‹ã‚‰ã—ã„ã€‚ ã“ã‚Œã§ã‚‚ã€ãªã‚“ã ã‹ã‚ˆãã‚ã‹ã‚‰ãªã„ã€‚ ã¾ãš2ã¤ã®ãƒœãƒ¼ãƒ«ãŒåŒã˜è³ªé‡ã§ã‚ã‚‹å ´åˆã‚’è€ƒãˆã¦ã¿ã‚ˆã†ã€‚ ã¾ãšã€æ‰‹å‰ã®ãƒœãƒ¼ãƒ«ãŒä»–æ–¹ã®ãƒœãƒ¼ãƒ«ã«ã¶ã¤ã‹ã‚‹ï¼ˆã“ã‚ŒãŒ1å›žã‚ï¼‰ã€‚ ç¶šã„ã¦ã€ã¶ã¤ã‹ã£ãŸãƒœãƒ¼ãƒ«ãŒç§»å‹•ã—ã¦å£ã«ã¶ã¤ã‹ã‚‹ï¼ˆã“ã‚ŒãŒ2å›žã‚ï¼‰ã€‚ å£ã«ã¶ã¤ã‹ã£ãŸãƒœãƒ¼ãƒ«ãŒè·³ãè¿”ã£ã¦ãã¦
kirakking 2014/04/10
math

è«–æ–‡

ãƒã‚¿
ãƒªãƒ³ã‚¯
ã€Œåœè«–ã€ã¯é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ã€Œãƒ¢ãƒŠãƒ‰ã€ã«å½¹ç«‹ã¤ã€‚å…¥é–€PDFç‰ã®ãƒªãƒ³ã‚¯é›† - å‹‰å¼·ãƒ¡ãƒ¢ ï¼ˆå¤§å¦ã®è¬›ç¾©å‹•ç”»ã‚„ï¼Œè³‡æ ¼è©¦é¨“ã®å¯¾ç–ï¼‰
æ•°å¦ã®è§£èª¬ã‚³ãƒ©ãƒ ã®ç›®æ¬¡ã¸ åœè«–ã‚’å¦ã¶ç›®çš„ã¯ï¼ŒHaskellã‚„Scalaãªã©ã®é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’ã‚ˆãç†è§£ã™ã‚‹ãŸã‚ï¼Œã¨ã—ã¦ã‚ˆã„ã€‚ ãƒ¢ãƒŠãƒ‰ã‚’å®Ÿè£…ã™ã‚‹ãŸã‚ã«å¿…è¦ã¨ã„ã†å¿œç”¨ãŒã‚ã‚‹ã€‚ ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ã§åœè«–ã‚’å¦ã¶ãŸã‚ã®æ•™ç§‘æ›¸ï¼š å½¹ã«ç«‹ã¤èªã¿ç‰© é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨é–¢é€£ãŒæ·±ã„ ã¨ãã«ï¼Œãƒ¢ãƒŠãƒ‰ã‚’è€ƒãˆã‚‹ãŸã‚ã«åœè«–ãŒå¿…é ˆï¼ æœ¬æ ¼çš„ã«å¦ã¶ã«ã¯ï¼Ÿ ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ã§åœè«–ã‚’å¦ã¶ãŸã‚ã®æ•™ç§‘æ›¸ï¼š ã€Œåœã¨é–¢æ‰‹å…¥é–€ã€ http://www.math.nagoya-u.ac.jp/~hasim... 100ãƒšãƒ¼ã‚¸ä»¥ä¸Šã‚ã‚‹ã‚ªãƒ³ãƒ©ã‚¤ãƒ³å…¥é–€æ›¸ åœè«–ã¯é¢ç™½ã„ï¼ˆï¼‘ï¼‰ã€€ãƒ¡ã‚¿ã‚°ãƒ©ãƒ• : tnomuraã®ãƒ–ãƒã‚° åœè«–ã¯é¢ç™½ã„(3)ã€€ãƒ¡ã‚¿åœ : tnomuraã®ãƒ–ãƒã‚°ï¼ˆ2ã¯å˜åœ¨ã—ãªã„ï¼‰ åœè«–ã¯é¢ç™½ã„(4)ã€€ãƒ¡ã‚¿åœ(2) ãƒ¢ãƒŽã‚¤ãƒ‰ : tnomuraã®ãƒ–ãƒã‚° åœè«–ã¯é¢ç™½ã„(5)ã€€ é–¢æ‰‹ : tnomuraã®ãƒ–ãƒã‚° åœè«–ã¯é¢ç™½ã„(6)ã€€ è‡ªç„¶å¤‰æ› :
kirakking 2014/04/05
haskell

åœè«–

ã‚ã¨ã§èªã‚€

math

programming
ãƒªãƒ³ã‚¯
Criterion -- from Wolfram MathWorld
kirakking 2014/03/14
ãªãœã‹æ•°å¦ç³»ã§ã¯Criterion = sufficient condition = ååˆ†æ¡ä»¶ã€‚ãã—ã¦characterization = å¿…è¦ååˆ†æ¡ä»¶ã€‚

definition

math

theorem
ãƒªãƒ³ã‚¯
Hungarian algorithm - Wikipedia
The Hungarian method is a combinatorial optimization algorithm that solves the assignment probl em in polynomial time and which anticipated later primalâ€“dual methods. It was developed and published in 1955 by Harold Kuhn, who gave it the name "Hungarian method" because the algorithm was largely based on the earlier works of two Hungarian mathematicians, DÃ©nes KÅ‘nig and JenÅ‘ EgervÃ¡ry.[1][2] However,
kirakking 2014/01/17
backtrackã‚’ä½¿ã†ã‚ˆã†ãªå ´åˆã€ã“ã„ã¤ã§åŠ¹çŽ‡çš„ã‚‰ã—ã„ãŒã€‚

algorithm

math
ãƒªãƒ³ã‚¯
1+1ãŒã§ããªã„åã¨ç·šå½¢è«–ç† - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
1+2ã¨1+1 æ£®æ¯…ã•ã‚“ãŒæ›¸ã„ã¦ã„ãŸã®ã ã£ãŸã‹ãªï¼Ÿ ã€Œ1+2ã¯ã§ãã‚‹ãŒã€1+1ã¯ã§ããªã„åã€ã®è©±ã‚’èªã‚“ã ã“ã¨ãŒã‚ã‚Šã¾ã™ã€‚ã¡ã‚ƒã‚“ã¨ã¯æ†¶ãˆã¦ãªã„ã®ã§ã™ã‘ã©ã€ã ã„ãŸã„æ¬¡ã®ã‚ˆã†ãªã“ã¨ã ã£ãŸã‹ã¨ï¼š å¤§äººï¼šã¾ãš1ãŒã‚ã‚‹ã ã‚ã†ã€‚ åä¾›ï¼šã†ã‚“ã€‚ å¤§äººï¼šãã“ã«2ã‚’æŒã£ã¦ãã¦ã€‚ åä¾›ï¼šã†ã‚“ã€‚ å¤§äººï¼šä¸€ç·’ã«ã—ãŸã‚‰ã„ãã¤ã ï¼Ÿ åä¾›ï¼š3 ã¨ã€1+2=3ã¯OKã€‚ å¤§äººï¼šã¾ãš1ãŒã‚ã‚‹ã ã‚ã†ã€‚ åä¾›ï¼šã†ã‚“ã€‚ å¤§äººï¼šãã“ã«ã¾ãŸ1ã‚’æŒã£ã¦ãã¦ã€‚ åä¾›ï¼šãˆã£ã€1ã¯ã•ã£ãæŒã£ã¦ãã¡ã‚ƒã£ãŸã‹ã‚‰ã€ã‚‚ã†ãªã„ã˜ã‚ƒã‚“ã€‚ å¤§äººï¼šåˆ¥ãª1ã‚’æŒã£ã¦ãã‚‹ã€‚ åä¾›ï¼šåˆ¥ã®ã ã£ãŸã‚‰ã€1ã˜ã‚ƒãªã„ã§ã—ã‚‡ã€‚ åƒ•ã‚‚ä¼¼ãŸæ„Ÿè¦šã‚’æŒã£ãŸã“ã¨ãŒã‚ã‚‹ã®ã§ã€ã“ã®åã®ç™ºæƒ³ã¯ç†è§£ã§ãã¾ã™ã€‚è¨ˆç®—çµæžœã‚’å‡ºã™å‰ã«ã€è¨ˆç®—å¼ã‚’çµ„ã¿ç«‹ã¦ã‚‹ã¨ã—ã¦ã€ãã®ã¨ãã€â–¡+â–¡ ã®ã‚ˆã†ãªãƒ†ãƒ³ãƒ—ãƒ¬ãƒ¼ãƒˆã‚’è€ƒãˆã¾ã—ã‚‡ã†ã€‚ã¾ãŸã€ã“ã®ãƒ†ãƒ³ãƒ—ãƒ¬ãƒ¼ãƒˆã¨ã¯åˆ¥ã«ã€ï¼ˆä¸€æ¡ã®æ•°ã«é™å®šã—ã¦ï¼‰1ã‹ã‚‰9ã®æ•°ãŒæ›¸ã„ã¦ã‚ã‚‹ã‚«ãƒ¼ãƒ‰ãŒãã‚Œãž
kirakking 2013/12/26
math

è«–ç†å¦

linear logic

logic

ç·šå½¢è«–ç†
ãƒªãƒ³ã‚¯
Well-founded relation - Wikipedia
indicates that the column's property is always true for the row's term (at the very left), while âœ— indicates that the property is not guaranteed in general (it might, or might not, hold). For example, that every equivalence relation is symmetric, but not necessarily antisymmetric, is indicated by in the "Symmetric" column and âœ— in the "Antisymmetric" column, respectively. All definitions tacitly r
kirakking 2013/12/03
forall x [forall y .yRx -> P(y)) -> P(x)] -> forall x. P(x)ã€‚

math

definition

relation

well-founded
ãƒªãƒ³ã‚¯
LaTeX - Use of math symbols and equations ï¿½ Machine Intelligence ?
Machine Intelligence ? Ideas, opinions and comments related to machine intelligence, cognitive science, computer vision, etc. By Joao KÃ¶gler. Series on Blogging with LaTeX This is the 2nd post in the series. Previous one: Basics and overview This series shows my first experiences with using the mathematical expressions handling tools provided by WordPress for blogging. They use a version of the La
kirakking 2013/12/02
tex

latex

math

syntax
ãƒªãƒ³ã‚¯
BÃ¼chi automaton - Wikipedia
A BÃ¼chi automaton with two states, and , the former of which is the start state and the latter of which is accepting. Its inputs are infinite words over the symbols . As an example, it accepts the infinite word , where denotes the infinite repetition of a string. It rejects the infinite word . In computer science and automata theory, a deterministic BÃ¼chi automaton is a theoretical machine which e
kirakking 2013/11/28
infinite automata

automata

math

definition
ãƒªãƒ³ã‚¯
Noetherian ring - Wikipedia
kirakking 2013/11/26
ãƒãƒ¼ã‚¿ãƒ¼ç’°ã€‚

math

algebra
ãƒªãƒ³ã‚¯
1 2 æ¬¡ã®ãƒšãƒ¼ã‚¸