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

petite_blue id:petite_blue

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

${{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}}

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

math
ãƒªãƒ³ã‚¯
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
petite_blue 2024/11/10
AI

math
ãƒªãƒ³ã‚¯
èªæ›¸æ„Ÿæƒ³ï¼šæ›²ç·šã®ç§˜å¯† - ãƒã‚®å¼
å›³æ›¸é¤¨ã§å€Ÿã‚ŠãŸæœ¬ã€‚ ã‚µãƒ–ã‚¿ã‚¤ãƒˆãƒ«ã¯ã€Œè‡ªç„¶ã«æ½œã‚€æ•°å¦ã®çœŸç†ã€ã ãŒã€ä½œè€…ã®æŽ²ã’ã‚‹ã‚ãƒ¼ãƒ¯ãƒ¼ãƒ‰ã¯ã€Œå††ã‹ã‚‰æ¥•å††ã¸ã€ã§ã‚ã‚‹ã€‚ ãŸã„ã¸ã‚“é¢ç™½ãèªã‚ãŸã€‚ æ›²ç·šã®ç§˜å¯†ã€€è‡ªç„¶ã«æ½œã‚€æ•°å¦ã®çœŸç† (ãƒ–ãƒ«ãƒ¼ãƒãƒƒã‚¯ã‚¹) ä½œè€…:æ¾ä¸‹æ³°é›„ è¬›è«‡ç¤¾ Amazon ç¬¬1ç« ã¯ã€Œæ›²ç·šã‚’è¦‹ã‚‹ã€ãã—ã¦ä½•ã‚’çŸ¥ã‚‹ã€ ãƒ‡ã‚«ãƒ«ãƒˆã®æ–¹æ³•åºèª¬ã¯æœ‰åã ãŒã€åºèª¬ã¯åºèª¬ã§ã‚ã‚Šã€ãã®å…ˆã®ç‚ºã®æº–å‚™ã§ã‚ã‚‹ã€‚åºèª¬ã«ç¶šãã®ãŒã€Œå¹¾ä½•å¦ã€ã§ã‚ã‚‹ã€‚ç¾ä»£ä½¿ã‚ã‚Œã¦ã„ã‚‹ä»£æ•°ã®è¨˜æ³•ã®å¤šãã¯ãƒ‡ã‚«ãƒ«ãƒˆç”±æ¥ã§ã‚ã‚‹ã€‚ã¾ãŸã“ã®æœ¬ã®ã‚³ãƒ©ãƒ ã§ã¯ãƒ‡ã‚«ãƒ«ãƒˆã«ã‚ˆã‚‹ä»£æ•°ã®å¹¾ä½•çš„è§£æ³•ã‚‚æ›¸ã‹ã‚Œã¦ã„ã‚‹ã€‚ã“ã‚Œã¯æ•°å¦ç§‘ã®å¤§å¦ç”ŸãŒã‚ªãƒžã‚±çš„ã«ç¿’ã†ã€Œè§’ã®ä¸‰ç‰åˆ†ã®ä¸å¯èƒ½æ€§ã®è¨¼æ˜Žã€ã®å‰æã¨ãªã‚‹ã€Œä½œå›³ã¨å››å‰‡æ¼”ç®—ã®å¯¾å¿œã€ã§ã‚ã‚‹ã€‚ ç¬¬2ç« ã¯ã€Œå††ã¨å††å‘¨çŽ‡ã€ ç¬¬3ç« ã¨ç¬¬4ç« ãŒæƒ‘æ˜Ÿè»Œé“ã®è©±ã€‚3ç« ãŒã‚³ãƒšãƒ«ãƒ‹ã‚¯ã‚¹ã§4ç« ãŒã‚±ãƒ—ãƒ©ãƒ¼ã€‚ã‚³ãƒšãƒ«ãƒ‹ã‚¯ã‚¹ã¨ã‚±ãƒ—ãƒ©ãƒ¼ã«å…±é€šã™ã‚‹ã®ã¯ãƒ‡ãƒ¼ã‚¿ã®å°Šé‡ã¨ã„ã†ã“ã¨ã‚‰ã—ã„ã€‚ã‚³ãƒšãƒ«ãƒ‹ã‚¯ã‚¹ã¯å¤©å‹•èª¬ã‹ã‚‰åœ°å‹•èª¬ã¨ã„ã†
petite_blue 2024/10/21
math
ãƒªãƒ³ã‚¯
è‡ªç„¶ç•Œã«å˜åœ¨ã™ã‚‹æ–°ãŸãªå½¢çŠ¶ã€Œã‚½ãƒ•ãƒˆã‚»ãƒ«ã€ãŒç™ºè¦‹ã•ã‚Œã‚‹ã€äºŒæ¬¡å…ƒã§ã¯é‹è§’ã‚’2å€‹æŒã¡ä¸‰æ¬¡å…ƒã§ã¯é‹è§’ã‚’æŒãŸãªã„å½¢çŠ¶
ãƒ–ãƒ€ãƒšã‚¹ãƒˆå·¥ç§‘çµŒæ¸ˆå¤§å¦ã¨ã‚ªãƒƒã‚¯ã‚¹ãƒ•ã‚©ãƒ¼ãƒ‰å¤§å¦ã®ç ”ç©¶ãƒãƒ¼ãƒ ãŒè‡ªç„¶ç•Œã«å˜åœ¨ã™ã‚‹æ–°ãŸãªå½¢çŠ¶ã‚¯ãƒ©ã‚¹ã‚¿ã€ŒSoft cells(ã‚½ãƒ•ãƒˆã‚»ãƒ«)ã€ã‚’ç™ºè¦‹ã—ã¾ã—ãŸã€‚ã‚½ãƒ•ãƒˆã‚»ãƒ«ã¯ã€Œã‚¿ãƒžãƒã‚®ã®æ–é¢ã€ã€Œç‹ç¹Šç¶ã€ã€Œã‚ªã‚¦ãƒ ã‚¬ã‚¤ã®æ®»ã®å†…å´ã€ãªã©å¤šæ§˜ãªå ´æ‰€ã«å˜åœ¨ã—ã¦ãŠã‚Šã€ã€ŒäºŒæ¬¡å…ƒç©ºé–“ã§ã¯é‹è§’ã‚’2å€‹æŒã¡ã€ä¸‰æ¬¡å…ƒç©ºé–“ã§ã¯é‹è§’ã‚’æŒãŸãªã„ã€ã¨ã„ã†ç‰¹å¾´ã‚’å‚™ãˆã¦ã„ã¾ã™ã€‚ Soft cells and the geometry of seashells | PNAS Nexus | Oxford Academic https://academic.oup.com/pnasnexus/article/3/9/pgae311/7754698 What Do Onion Skins and Zebra Strips Have in Common? New Geometric Shapes Identified by BME Mathemat
petite_blue 2024/09/28
math

è¤‡é›‘ç³»
ãƒªãƒ³ã‚¯
åŸºç¤Žä»˜ã‘ä¸»ç¾© - Wikipedia
ã“ã®è¨˜äº‹ã¯æ¤œè¨¼å¯èƒ½ãªå‚è€ƒæ–‡çŒ®ã‚„å‡ºå…¸ãŒå…¨ãç¤ºã•ã‚Œã¦ã„ãªã„ã‹ã€ä¸ååˆ†ã§ã™ã€‚ å‡ºå…¸ã‚’è¿½åŠ ã—ã¦è¨˜äº‹ã®ä¿¡é ¼æ€§å‘ä¸Šã«ã”å”åŠ›ãã ã•ã„ã€‚ï¼ˆã“ã®ãƒ†ãƒ³ãƒ—ãƒ¬ãƒ¼ãƒˆã®ä½¿ã„æ–¹ï¼‰ å‡ºå…¸æ¤œç´¢?:Â "åŸºç¤Žä»˜ã‘ä¸»ç¾©"Â â€“Â ãƒ‹ãƒ¥ãƒ¼ã‚¹Â Â· æ›¸ç±Â Â· ã‚¹ã‚«ãƒ©ãƒ¼Â Â· CiNiiÂ Â· J-STAGEÂ Â· NDLÂ Â· dlib.jpÂ Â· ã‚¸ãƒ£ãƒ‘ãƒ³ã‚µãƒ¼ãƒÂ Â· TWL (2021å¹´11æœˆ) åŸºç¤Žä»˜ã‘ä¸»ç¾©ï¼ˆããã¥ã‘ã—ã‚…ãŽã€è‹±: foundationalismï¼‰ã¨ã¯ã€ä¿¡å¿µã‚„åˆ¤æ–ã®æ§‹é€ ã«é–¢ã™ã‚‹ç«‹å ´ã§ã‚ã‚Šã€å“²å¦ã®ã•ã¾ã–ã¾ãªåˆ†é‡Žã«å˜åœ¨ã™ã‚‹ã€‚ èªè˜è«–ã«ãŠã„ã¦ã¯ã€ä¿¡å¿µãŒæ£å½“åŒ–ã•ã‚Œã‚‹ã®ã¯åŸºæœ¬çš„ãªä¿¡å¿µã«ã‚ˆã£ã¦åŸºç¤Žä»˜ã‘ã‚‰ã‚Œã‚‹ã“ã¨ã«ã‚ˆã£ã¦ã§ã‚ã‚‹ã€ã¨ã„ã†è€ƒãˆæ–¹ã‚’æŒ‡ã™ã€‚ å€«ç†å¦ã«ãŠã„ã¦ã¯ã€å€«ç†çš„åˆ¤æ–ãŒæ£å½“åŒ–ã•ã‚Œã‚‹ã®ã¯åŸºç¤Žçš„ãªå€«ç†åˆ¤æ–ã«ã‚ˆã£ã¦åŸºç¤Žã¥ã‘ã‚‰ã‚Œã¦ã„ã‚‹å ´åˆã§ã‚ã‚‹ã€ã¨ã„ã†è€ƒãˆæ–¹ã‚’æŒ‡ã™ã€‚ çŸ¥è˜ã¨ã¯ã€ã€Œæ£å½“åŒ–ã€ã•ã‚ŒãŸã€ŒçœŸã€ãªã‚‹ã€Œä¿¡å¿µã€ã§ã‚ã‚‹ï¼ˆJustified Tr
petite_blue 2024/09/09
å“²å¦

math

logic
ãƒªãƒ³ã‚¯
Diaconescu's theorem - Wikipedia
In mathematical logic, Diaconescu's theorem, or the Goodmanâ€“Myhill theorem, states that the full axiom of choice is sufficient to derive the law of the excluded middle or restricted forms of it. The theorem was discovered in 1975 by Radu Diaconescu[1] and later by Goodman and Myhill.[2] Already in 1967, Errett Bishop posed the theorem as an exercise (Probl em 2 on page 58 in Foundations of construc
petite_blue 2024/09/04
æ§‹æˆçš„é›†åˆè«–ã«ãŠã„ã¦é¸æŠžå…¬ç†ãŒæŽ’ä¸å¾‹ã‚’å«æ„ã™ã‚‹

math

logic

set-theory
ãƒªãƒ³ã‚¯
Kobe Set Theory Seminar - Abstracts
petite_blue 2024/08/15
math

logic
ãƒªãƒ³ã‚¯
æ•°å¦ã‚’è§£ã‘ã‚‹è¨€èªžãƒ¢ãƒ‡ãƒ«ã€ŒQwen2-Mathã€ãŒç™»å ´ã€GPT-4oè¶…ãˆã®æ•°å¦æ€§èƒ½
ä¸å›½ã®AIç ”ç©¶ãƒãƒ¼ãƒ ãŒæ•°å¦ç‰¹åŒ–ã®å¤§è¦æ¨¡è¨€èªžãƒ¢ãƒ‡ãƒ«ã€ŒQwen2-Mathã€ã‚’å…¬é–‹ã—ã¾ã—ãŸã€‚Qwen2-Mathã¯GPT-4oã‚„Gemini-1.5-Proãªã©ã®ã‚¯ãƒãƒ¼ã‚ºãƒ‰ã‚½ãƒ¼ã‚¹ã®å¤§è¦æ¨¡è¨€èªžãƒ¢ãƒ‡ãƒ«ã‚’ã—ã®ãæ•°å¦æ€§èƒ½ã‚’å‚™ãˆã¦ã„ã¾ã™ã€‚ Introducing Qwen2-Math | Qwen https://qwenlm.github.io/blog/qwen2-math/ QwenLM/Qwen2-Math: A series of math-specific large language models of our Qwen2 series. https://github.com/QwenLM/Qwen2-Math Qwen2-Mathã¯ã€Alibabaã‚°ãƒ«ãƒ¼ãƒ—ã®AIç ”ç©¶ãƒãƒ¼ãƒ ã€ŒQwen Teamã€ãŒé–‹ç™ºã—ãŸå¤§è¦æ¨¡è¨€èªžãƒ¢ãƒ‡ãƒ«ã§ã€æ•°å¦å•é¡Œã®æ£ç”çŽ‡ã®é«˜ã•ãŒç‰¹å¾´ã§ã™ã€‚Qwen2-Mathã¯éžå¸¸ã«é«˜ã„
$æ•°å¦ã‚’è§£ã‘ã‚‹è¨€èªžãƒ¢ãƒ‡ãƒ«ã€ŒQwen2-Mathã€ãŒç™»å ´ã€GPT-4oè¶…ãˆã®æ•°å¦æ€§èƒ½$
petite_blue 2024/08/10
math

gpt
ãƒªãƒ³ã‚¯
Evaluating infinite sums in closed form with polylogarithms
petite_blue 2024/08/05
math
ãƒªãƒ³ã‚¯
ã‚¢ã‚¤ãƒ³ã‚·ãƒ¥ã‚¿ã‚¤ãƒ³ãƒ»ã‚¿ã‚¤ãƒ«ç™ºè¦‹ã€œæ—¥çµŒã‚µã‚¤ã‚¨ãƒ³ã‚¹2023å¹´11æœˆå·ã‚ˆã‚Šï½œæ—¥çµŒã‚µã‚¤ã‚¨ãƒ³ã‚¹
ã‚ã‚‹æ•°å¦æ„›å¥½å®¶ãŒç™ºè¦‹ã—ãŸå¸½åã«ä¼¼ãŸå›³å½¢ã«æ•°å¦ç•ŒãŒæ²¸ãç«‹ã£ã¦ã„ã‚‹ è‹±ãƒ¨ãƒ¼ã‚¯ã‚·ãƒ£ãƒ¼åœ¨ä½ã®æ•°å¦æ„›å¥½å®¶ã‚¹ãƒŸã‚¹ï¼ˆDavid Smithï¼‰ãŒï¼Œã¨ã‚ã‚‹13è§’å½¢ã‚’ç™ºè¦‹ã—ãŸã€‚æ•°å¦è€…ã«ã‚ˆã‚‹æŽ¢ç´¢ã‚’ä½•åå¹´ã‚‚ã‹ã„ããã£ã¦ããŸå›³å½¢ã ã€‚ã„ã‹ã¤ã„å¸½åã«ä¼¼ãŸãã®å½¢ï¼ˆæ¬¡ãƒšãƒ¼ã‚¸ã®å›³ã§å¤ªç·šã§æã‹ã‚Œã¦ã„ã‚‹å›³å½¢ï¼‰ã¯ï¼Œãƒ‰ã‚¤ãƒ„èªžã§ã€Œ1å€‹ã®çŸ³ã€ã‚’æ„å‘³ã™ã‚‹ã€Œã‚¢ã‚¤ãƒ³ã‚·ãƒ¥ã‚¿ã‚¤ãƒ³ã€ã¨ã„ã†åã§å‘¼ã°ã‚Œã¦ã„ã‚‹ã€‚ã‚¢ã‚¤ãƒ³ã‚·ãƒ¥ã‚¿ã‚¤ãƒ³ãƒ»ã‚¿ã‚¤ãƒ«ã‚’ä½¿ã†ã¨æµ´å®¤ã®åºŠã‚’éš™é–“ãªãæ•·ãè©°ã‚ã‚‹ã“ã¨ãŒã§ãï¼Œã—ã‹ã‚‚åŒã˜ãƒ‘ã‚¿ãƒ¼ãƒ³ãŒç¹°ã‚Šè¿”ã•ã‚Œã‚‹ã“ã¨ãŒæ±ºã—ã¦ãªã„ã€‚æµ´å®¤ã®åºŠã ã‘ã§ãªãï¼Œã©ã‚“ãªå¹³é¢ã§ã‚‚ï¼Œãã‚ŒãŒç„¡é™ã«åºƒãŒã£ã¦ã„ã¦ã‚‚ï¼Œã“ã‚ŒãŒå¯èƒ½ã ã€‚ éžå‘¨æœŸçš„ã«ã—ã‹æ•·ãè©°ã‚ã‚‰ã‚Œãªã„ã‚¿ã‚¤ãƒ« æ•°å¦è€…ã¯é•·å¹´ï¼Œæ•·ãè©°ã‚ãŒå¿…ãšéžå‘¨æœŸçš„ã«ãªã‚‹ã€Œå¼·éžå‘¨æœŸçš„ã‚¿ã‚¤ãƒ«å¼µã‚Šã€ã‚’å®Ÿç¾ã™ã‚‹ã‚¿ã‚¤ãƒ«å½¢çŠ¶ã‚’æŽ¢ã—æ±‚ã‚ã¦ããŸã€‚ã¾ãšè¦‹ã¤ã‹ã£ãŸã®ã¯å½¢çŠ¶ãŒæ§˜ã€…ã«ç•°ãªã‚‹ã‚¿ã‚¤ãƒ«ã®ã‚»ãƒƒãƒˆã ã£ãŸã€‚1964å¹´ã«ç™ºè¦‹ã•ã‚ŒãŸæœ€åˆã®ã‚»ãƒƒãƒˆã¯2ä¸‡426ç¨®
petite_blue 2024/06/17
math
ãƒªãƒ³ã‚¯
FFT:NTT
2020/07/13 HCPC 2020/07/13 HCPC /46 !2 2020/07/13 HCPC /46 f(x) n âˆ’ 1 Î¶n 1 n ð’ª(n2 ) ð’ª(n log n) !3 Ì‚ f(t) = nâˆ’1 âˆ‘ i=0 f(Î¶i n)ti 2020/07/13 HCPC /46 !4 2020/07/13 HCPC /46 (x + x2 + x4 )(x3 + x6 + x10 + x15 )[x7 ] = 2 f(x)[xa ] := xa !5 2020/07/13 HCPC /46 f(x), g(x) n m f(x)g(x) n + m âˆ’ 1 f(x) = (1 + 2x) g(x) = (3 + x + 4x2 ) f(x)g(x) = 3 + 7x + 6x2 + 8x3 !6 2020/07/13 HCPC /46 !7 f(x), g(x) n m
petite_blue 2024/06/10
algorithm

math
ãƒªãƒ³ã‚¯
NTT(æ•°è«–å¤‰æ›)ã®ã‚„ã•ã—ã„è§£èª¬ - Senã®ç«¶æŠ€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å‚™å¿˜éŒ²
ã“ã®è¨˜äº‹ã¯ã€é«˜é€Ÿãƒ•ãƒ¼ãƒªã‚¨å¤‰æ›ã®1ã¤ã®ãƒãƒªã‚¨ãƒ¼ã‚·ãƒ§ãƒ³ã§ã‚ã‚‹ã€Numeric Theory Translation(æ•°è«–å¤‰æ›)ã®è©³ã—ã„è§£èª¬è¨˜äº‹ã§ã™ã€‚ ã‚ã¾ã‚Šãªã‹ã£ãŸã®ã§æ›¸ãã¾ã—ãŸã€‚ æ•°è«–å¤‰æ›ã«ã‚ã‚ŠãŒã¡ãª ãªã‚“ã§$ 10 ^ 9 + 7 $ã˜ã‚ƒãƒ€ãƒ¡ãªã®ã‹ åŽŸå§‹æ ¹ã£ã¦ä½•ï¼Ÿ ã¨ã‹ã«ã¤ã„ã¦ã‚‚ã“ã‚Œã‚’è¦‹ã‚Œã°ã‚ã‹ã‚Šã¾ã™ã€‚ å‰æçŸ¥è˜ã¨ã—ã¦ã¯ã€Fast Fourier Translation(é«˜é€Ÿãƒ•ãƒ¼ãƒªã‚¨å¤‰æ›)ãŒå¿…è¦ã§ã™ã€‚ kaageå¤§å…ˆç”Ÿã®Qiitaè¨˜äº‹ã¨ã‹ã¯ä¸é«˜ç”Ÿã«ã‚‚ã‚ã‹ã‚Šã‚„ã™ãæ›¸ã‹ã‚Œã¦ã„ã¾ã™ã€‚ ä¸‹ã«ä¸€å¿œè‡ªåˆ†ã®å‹‰å¼·ãƒŽãƒ¼ãƒˆã‚’è¼‰ã›ã¾ã™ã€‚(ä¸Šã®è¨˜äº‹ã®è¡Œé–“ã‚’åŸ‹ã‚ãŸæ„Ÿã˜ã§ã™) ã§ã¯ã€æ•°è«–å¤‰æ›ã«ã¤ã„ã¦èª¬æ˜Žã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ é«˜é€Ÿãƒ•ãƒ¼ãƒªã‚¨å¤‰æ›ã®å¼±ç‚¹ é«˜é€Ÿãƒ•ãƒ¼ãƒªã‚¨å¤‰æ›ã¯æ£ã—ã„ã§ã™ãŒã€å¼±ç‚¹ã¨ã—ã¦ç²¾åº¦ãŒè¶³ã‚Šãªã„ã¨ã„ã†ã®ãŒã‚ã‚Šã¾ã™ã€‚ ãªãœãªã‚‰ã°ã€è¤‡ç´ æ•°ã®1ã®$ 2 ^ m $ä¹—æ ¹ã¯è¨ˆç®—ä¸Šã§ã¯ã‚Œã£ãã¨ã—ãŸ64bitå€ç²¾åº¦æµ®å‹•å°æ•°ç‚¹
petite_blue 2024/06/10
algorithm

math
ãƒªãƒ³ã‚¯
è¨˜è¿°é›†åˆè«–çš„å‘½é¡Œã®å¼·åˆ¶å¯èƒ½æ€§ã«ã¤ã„ã¦
ã‚¼ãƒ«ãƒ—ã‚¹ãƒˆæ®¿ä¸‹ @tenapyon å¯æ¸¬åŸºæ•°ã¯ãƒ©ãƒ ã‚¼ã‚¤åŸºæ•°ã®å®šç¾©ã®ã€Œã‚µã‚¤ã‚ºÎºã®å‡è³ªé›†åˆã€ã‚’ã€Œå®šå¸¸ãªå‡è³ªé›†åˆã€ã«æ›¸ãæ›ãˆãŸã‚„ã¤ã‚’ã¿ãŸã™ãªã‚ã€‚#å€‹äººã®æ„Ÿæƒ³ã§ã™ 2017-03-08 22:10:29 ã‚¼ãƒ«ãƒ—ã‚¹ãƒˆæ®¿ä¸‹ @tenapyon @tenapyon ã„ã‚„ã€ã„ã¾ã¡ã‚‡ã£ã¨ã€Šè£œè§£æžé›†åˆã«å¯¾ã™ã‚‹å®Œå…¨é›†åˆå®šç†ãŒå¼·åˆ¶æ³•ã§å£Šã›ãªã„ã€‹ã¨ã„ã†å‘½é¡Œã¨åŒå€¤ãªè¦‹ã‹ã‘ä¸Šã‚‚ã£ã¨å¼±ã„å‘½é¡ŒãŒãªã„ã‹ã¨è€ƒãˆã¦ã„ãŸã®ã‚ˆã€‚ã‚“ã§ã€ã€Šã€œã€‹ã®å‘½é¡Œã‚’ä¿è¨¼ã™ã‚‹å·¨å¤§åŸºæ•°å…¬ç†ã¨ã—ã¦ã¯ã€Œã„ãã‚‰ã§ã‚‚å¤§ãã„ãƒ©ãƒ ã‚¼ã‚¤åŸºæ•°ãŒã‚ã‚‹ã€ã£ã¦ã®ãŒã‚ã‚‹ãªã‚ã¨ã€‚ 2017-03-08 22:17:16
petite_blue 2024/06/10
math

logic
ãƒªãƒ³ã‚¯
ABCäºˆæƒ³è¨¼æ˜Žã«æ–°ç†è«–ï¼Ÿã€€æœ›æœˆæ°ã€Œè‘—è€…ã¯ç„¡çŸ¥ã€ã¨ä¸€è¹´ã€æ··è¿·æ·±ã¾ã‚‹ï¼šæœæ—¥æ–°èžãƒ‡ã‚¸ã‚¿ãƒ«
æ•°å¦ã®è¶…é›£å•ã€ŒABCäºˆæƒ³ã€ã‚’è¨¼æ˜Žã—ãŸã¨ã™ã‚‹äº¬éƒ½å¤§ã®æœ›æœˆæ–°ä¸€æ•™æŽˆï¼ˆ55ï¼‰ã®ç‹¬è‡ªç†è«–ã‚’ã‚ãã£ã¦ã€ã€Œç†è«–ã‚’ä¿®æ£ã—ã€æ–°ãŸã«ABCäºˆæƒ³ã‚’è¨¼æ˜Žã—ãŸã€ã¨ã™ã‚‹æ–°ç†è«–ãŒç™»å ´ã—ãŸã€‚ç–‘å•ãŒæŒ‡æ‘˜ã•ã‚Œã€æ£ã—ã•ã‚’ã‚ãã‚‹æ±ºç€ã«1â€¦
petite_blue 2024/06/03
math
ãƒªãƒ³ã‚¯
Why don't mathematicians like second-order logic?
petite_blue 2024/05/21
äºŒéšŽè¿°èªžè«–ç†ãŒæ•°å¦è€…ã«å¥½ã¾ã‚Œãªã„ç†ç”±

logic

math
ãƒªãƒ³ã‚¯
Incomplete Beta Function in C - Code Plea
petite_blue 2024/05/20
math
ãƒªãƒ³ã‚¯
ã‚ã‹ã‚Šã«ãã„ç·šå½¢ä»£æ•°ã‚’æ“ä½œå¯èƒ½ãªå›³ã§è¡¨ç¾ã™ã‚‹ã“ã¨ã§ç°¡å˜ã«ç†è§£ã§ãã‚‹ç„¡æ–™ã®æ•™ç§‘æ›¸ã€ŒImmersive Mathã€
ã€ŒImmersive Mathã€ã¯ã€æ•°å¦ã®ã†ã¡ãƒ™ã‚¯ãƒˆãƒ«ã‚„è¡Œåˆ—ãªã©ã®è¨ˆç®—ã‚’ç ”ç©¶ã™ã‚‹åˆ†é‡Žã§ã‚ã‚‹ã€Œç·šå½¢ä»£æ•°ã€ã«ã¤ã„ã¦ã‚¤ãƒ³ã‚¿ãƒ©ã‚¯ãƒ†ã‚£ãƒ–ãªå›³ã‚’ç”¨æ„ã™ã‚‹ã“ã¨ã§ã‚ã‹ã‚Šã‚„ã™ã•ã‚’å‘ä¸Šã•ã›ãŸç„¡æ–™ã®æ•™ç§‘æ›¸ã‚µã‚¤ãƒˆã§ã™ã€‚ Immersive Math https://immersivemath.com/ila/index.html ã‚µã‚¤ãƒˆã®ãƒˆãƒƒãƒ—ãƒšãƒ¼ã‚¸ã¯ã“ã‚“ãªæ„Ÿã˜ã€‚ã€Œå®Œå…¨ã«ã‚¤ãƒ³ã‚¿ãƒ©ã‚¯ãƒ†ã‚£ãƒ–ãªå›³ã‚’å‚™ãˆãŸä¸–ç•Œã§æœ€åˆã®ç·šå½¢ä»£æ•°æœ¬ã€ã¨è¿°ã¹ã‚‰ã‚Œã¦ã„ã¾ã™ã€‚ ä¸å¤®ã«è¡¨ç¤ºã•ã‚Œã¦ã„ã‚‹ä¸‰è§’å½¢ã®å›³ã¯ã‚¤ãƒ³ã‚¿ãƒ©ã‚¯ãƒ†ã‚£ãƒ–ã§ã€å·¦ä¸Šã‚’ã‚¯ãƒªãƒƒã‚¯ã™ã‚‹ã“ã¨ã§å›žè»¢ãƒ»åœæ¢ã‚’åˆ‡ã‚Šæ›¿ãˆã‚‰ã‚Œã‚‹ã»ã‹ã€å„é ‚ç‚¹ã‚’ã‚¯ãƒªãƒƒã‚¯ã—ã¦ãƒ‰ãƒ©ãƒƒã‚°ï¼†ãƒ‰ãƒãƒƒãƒ—ã™ã‚‹ã“ã¨ã§ä½ç½®ã‚’èª¿æ•´å¯èƒ½ã€‚è‡ªç”±ã«å›³ã‚’ç·¨é›†ã§ãã‚‹ãŸã‚ç†è§£ã—ã‚„ã™ã„ã¨ã„ã†ã‚ã‘ã§ã™ã€‚ ãƒšãƒ¼ã‚¸ã‚’ã‚¹ã‚¯ãƒãƒ¼ãƒ«ã™ã‚‹ã¨ç›®æ¬¡ãŒç¾ã‚Œã¾ã—ãŸã€‚ã¾ãšã¯ã€ŒPreface(åºæ–‡)ã€ã‚’ã‚¯ãƒªãƒƒã‚¯ã€‚ ã€Œã€Žç™¾èžã¯ä¸€è¦‹ã«å¦‚ã‹ãšã€ã¨ã„ã†è¨€è‘‰ã®é€šã‚Šã€ãŸãã•ã‚“ã®è¨€è‘‰ã‚’é‡ã
$ã‚ã‹ã‚Šã«ãã„ç·šå½¢ä»£æ•°ã‚’æ“ä½œå¯èƒ½ãªå›³ã§è¡¨ç¾ã™ã‚‹ã“ã¨ã§ç°¡å˜ã«ç†è§£ã§ãã‚‹ç„¡æ–™ã®æ•™ç§‘æ›¸ã€ŒImmersive Mathã€$
petite_blue 2024/05/20
math
ãƒªãƒ³ã‚¯
Immersive Math
immersive linear algebra by J. StrÃ¶m, K. Ã…strÃ¶m, and T. Akenine-MÃ¶ller v1.1. ISBN: 978-91-637-9354-7 The world's first linear algebra book with fully interactive figures. Learn More Check us out on Twitter and Facebook Preface A few words about this book. Chapter 1: Introduction How to navigate, notation, and a recap of some math that we think you already know. Chapter 2: Vectors The concept of a
petite_blue 2024/05/20
math
ãƒªãƒ³ã‚¯
å¹³é¢ä¸Šã®Nç‚¹ã®ã†ã¡ã¡ã‚‡ã†ã©2ç‚¹ã‚’é€šã‚‹ç›´ç·šã¯å˜åœ¨ã™ã‚‹ã‹ï¼Ÿã€ã‚†ã£ãã‚Šè§£èª¬ã€‘
petite_blue 2024/05/17
math
ãƒªãƒ³ã‚¯
70å¹´ä»¥ä¸Šæœªè§£æ±ºã§ã‚ã£ãŸã€ŒãƒŸãƒ«ã‚ºã®å®šæ•°ã®ç„¡ç†æ•°æ€§ã€ãŒè§£æ±ºã‹ï¼ï¼Ÿ - INTEGERS
æ—§çŸ¥ã®ä»²ã§ã‚ã‚‹æ•°å¦è€… é½‹è—¤ è€•å¤ª æ°ï¼ˆç‘æ³¢å¤§å¦ã€å¦æŒ¯PDï¼‰ãŒã€æ˜¨æ—¥æ•°å¦ã®æœªè§£æ±ºå•é¡Œã‚’è§£æ±ºã—ãŸã¨ã™ã‚‹ãƒ—ãƒ¬ãƒ—ãƒªãƒ³ãƒˆã‚’ãƒ—ãƒªãƒ—ãƒªãƒ³ãƒˆã‚µãƒ¼ãƒãƒ¼arXivã«æŠ•ç¨¿ã•ã‚Œã¾ã—ãŸï¼š arxiv.org è«–æ–‡è‡ªä½“ã¯ã€Œç¾çŠ¶åˆ†ã‹ã‚‹ã¨ã“ã‚ã¾ã§ç ”ç©¶ã—ã¤ãã™ã€ã¨ã„ã†ç´ æ™´ã‚‰ã—ã„æ…‹åº¦ã§åŸ·ç†ã•ã‚Œã¦ã„ã‚‹ã®ã§ä¸»å®šç†ã®è¨˜è¿°ã¯åè¡Œã‚ã‚Šã¾ã™ãŒã€ãã®ç‰¹åˆ¥ãªå ´åˆã‚’ã¨ã‚Šå‡ºã—ãŸ ãƒŸãƒ«ã‚ºã®å®šæ•°ã¯ç„¡ç†æ•°ã§ã‚ã‚‹ ã¨ã„ã†å®šç†ï¼ˆã“ã‚Œã¯è«–æ–‡ã®ã‚¿ã‚¤ãƒˆãƒ«ã«ã‚‚ãªã£ã¦ã„ã¾ã™ï¼‰ãŒã€ã‚ã‚‹ç¨‹åº¦é•·ã„æœŸé–“æœªè§£æ±ºã§ã‚ã£ãŸã¨æ€ã‚ã‚Œã‚‹æ•°å¦ä¸Šã®å•é¡Œã®è§£æ±ºã‚’æ„å‘³ã—ã¦ã„ã¾ã™ã€‚ ç„¡ç†æ•°æ€§ã®è¨¼æ˜Žã¯ã‹ã£ã“ã„ã„ å®Ÿæ•°ã¨ã„ã†æ•°å¦çš„å¯¾è±¡ã¯æœ‰ç†æ•°ã¨ç„¡ç†æ•°ã«åˆ†ã‘ã‚‰ã‚Œã¾ã™ã€‚æœ‰ç†æ•°ã¯ ãªã©ã®ã‚ˆã†ã« ã¨ã„ã†è¡¨ç¤ºã‚’æŒã¤å®Ÿæ•°ã§ã‚ã‚Šï¼ˆã“ã“ã§ã¯è‡ªç„¶æ•°ã¯æ£ã®æ•´æ•°ã‚’æ„å‘³ã™ã‚‹ã‚‚ã®ã¨ã—ã¾ã™ï¼‰ã€æœ‰ç†æ•°ã§ã¯ãªã„å®Ÿæ•°ã®ã“ã¨ã‚’ç„¡ç†æ•°ã¨ã„ã„ã¾ã™ã€‚ é«˜æ ¡æ•°å¦ã§ã‚‚è¨¼æ˜Žè¾¼ã¿ã§å¦ã¶ã“ã¨ã¨æ€ã„ã¾ã™ãŒã€ç„¡ç†æ•°ã®å…¸åž‹ä¾‹ã¨ã—ã¦ã¯ ãŒã‚ã’ã‚‰ã‚Œã¾ã™ã€‚ã“
petite_blue 2024/05/02
math
ãƒªãƒ³ã‚¯
1 2 3 4 5 6 7 8 9 10 æ¬¡ã®ãƒšãƒ¼ã‚¸