Mod13ã¹ãã¼ãã¯ããã
ãã®è¨äºã¯coins Advent Calendar 2023 - Adventarã®13æ¥ç®ã®è¨äºã§ãï¼
ã¯ããã«
çããï¼å¥½ããªãã©ã³ãã²ã¼ã ã¯ããã¾ããï¼
ãã©ã³ãã²ã¼ã ã¯æ§ã ããï¼æåãªã®ã¯ç¥çµè¡°å¼±ï¼7並ã¹ï¼å¤§å¯è±ªï¼ããæãï¼ã¹ãã¼ãï¼ç´ æ°å¤§å¯è±ªï¼Mod13ã¹ãã¼ããããã§ããããï¼
ãã®ä¸ã§ãã¹ãã¼ãã¯çæéã§åè² ãæ±ºãããã¨ãã§ãï¼ãå¿ããã§ãããçããã§ããµã¯ãã¨åè² ããããã¨ãã§ãã¾ãï¼ã§ãã¹ãã¼ãã®ã«ã¼ã«ãç¥ã£ã¦ããæ¹ãªãåããã¨æãã¾ããï¼æ£ç´ãã¾ãé¢ç½ã¿ããªãã§ãããï¼é£½ãã¾ãï¼ã§ããMod13ã¹ãã¼ããã¯éãã¾ãï¼ãã®è¨äºã§ã¯ï¼ç§ãæè¿åºä¼ã£ããMod13ã¹ãã¼ãããçããã«å¸æãããã¨æãã¾ãï¼
ãåã¯èª°
çæ³¢å¤§å¦çå·¥å¦ç¾¤å·¥å¦ã·ã¹ãã å¦é¡4å¹´çããããã¦ããã£ã¦ã¾ãï¼ããã¶ããã§ãï¼
å®ã¯coinsã§ã¯ããã¾ããï¼
å¦å ã«çãã¦ãããã¦ã¤ãããåã£ã¦é£ã£ã¦ãããã¦ã¾ãï¼
Mod13ã¹ãã¼ãã¨ã¯ä½ã§ãã
ãã®ãããç°¡åã«è¨ãã¨ï¼ãMod13ã§ã¹ãã¼ãããããã§ãï¼ä½ã®ãã¨ããã£ã±ããããã¾ãããï¼é ã追ã£ã¦èª¬æãã¾ãããï¼æ¥½ããæ¥½ãããã ã®ã²ã¼ã ã«ããã¾ããããï¼ãªã©ãã¯ã¹ãã¦èªãã§ãã£ã¦ãã ããï¼
以ä¸ã«Mod13ã¹ãã¼ãã®è©³ç´°ãªã«ã¼ã«ã¨ãã¯ããã¯ãæ¸ããã¦ããææ¸ãããã¾ãï¼ç§ãæ¸ããããã§ã¯ããã¾ãããï¼ãã²ãä¸èªãã ããï¼
ãMod13ã¹ãã¼ãã®ã«ã¼ã«ã¨ãã¯ããã¯ã
http://nadamath2012.web.fc2.com/bushi/2006_simoo.pdf
æ®éã®ã¹ãã¼ãã®èª¬æ
æ®éã®ã¹ãã¼ãããåç¥ã§ããããï¼ç¥ã£ã¦ããæ¹ã¯ãã®é ç®ã¯é£ã°ãã¦ããã£ã¦æ§ãã¾ããï¼ç°¡åãªã²ã¼ã ã®æµãã¯ä»¥ä¸ã®ã¨ããã§ãï¼
ï¼ï¼ãã©ã³ã52æãã·ã£ããã«ãã¦26æãã¤è£åãã«æã¡ã¾ã
ï¼ï¼æå ã«4æã®ã«ã¼ãã表ãåãã¦åºãã¾ã
ï¼ï¼ããã¼ã®ãã®æãå£°ã§æã«æã£ã¦ããã«ã¼ããã1æãã¤å ´ã«åºãã¾ã
ï¼ï¼å ´ã«ããæ°åã®Â±1ç°ãªãæ°ãï¼è¡¨åãã«ãã¦ãã4æã®ã«ã¼ãã®ä¸ãã該å½ããã«ã¼ãã®ä¸ã«éãã¦ï¼ç¸æãããæ©ãåºãã¾ãï¼ãããã¹ãã¼ãè¦ç´ ï¼ï¼ã©ã¡ãã®ãã¬ã¤ã¤ã¼ãåºããæ°åããªãã¨ãã¯3ã«æ»ãã¾ã
ï¼ï¼è¡¨åãã«ãªã£ã¦ããã«ã¼ãã3æä»¥ä¸ã«ãªã£ããï¼æã«æã£ã¦ããã«ã¼ãããè£å ãã¾ãï¼è£å ã®ã¿ã¤ãã³ã°ã¯ãã¤ã§ããã¾ãã¾ãã
ï¼ï¼4ã¨5ãç¹°ãè¿ãï¼ã¹ãã¼ãã£ã¼ã«ï¼è¡ãï¼è¡¨åãã«ãªã£ã¦ãã4æã®ã«ã¼ããå«ãï¼ææãå ã«å ¨ã¦å ´ã«åºãããã¬ã¤ã¤ã¼ã®åå©ã§ã
Â
ä¾ãã°ä»¥ä¸ã®ãããªç¤é¢ã®å ´åï¼ãã¬ã¤ã¤ã¼Aï¼Bã¯ããããã©ã®ã«ã¼ããåºããã¨ãã§ããã§ããããï¼
ãã¬ã¤ã¤ã¼Aã¯5ã®ä¸ã«6ãï¼7ã®ä¸ã«6ãåºããã¨ãã§ãã¾ãï¼
ãã¬ã¤ã¤ã¼Bã¯5ã®ä¸ã«4ã¾ãã¯6ï¼7ã®ä¸ã«6ãåºããã¨ãã§ãã¾ãï¼
Mod13ã¹ãã¼ãã®èª¬æ
ã²ã¼ã ã®é²è¡ã¯ã»ã¼æ®éã®ã¹ãã¼ãã¨åæ§ã§ããï¼2ç¹ã ãï¼ã ãï¼ï¼å¤§ããç°ãªãç¹ãããã¾ãï¼
ï¼ã¤ç®ã¯ï¼ä»»æã®å´ã®å ´æã®ä¸ã«ã«ã¼ããåºãããã¨ã§ãï¼ã¤ã¾ãï¼èªåãé£ç¶ãã¦ã«ã¼ããåºããããã«ï¼ç¸æãã«ã¼ããåºããªãããã«ï¼ã«ã¼ããåºãå±±ãæ±ºãããã¨ãã§ãã¾ãï¼
2ã¤ç®ã¯ï¼åºããæ°ã§ãï¼æ®éã®ã¹ãã¼ãã§ã¯ï¼å ´ã®æ°ã®Â±1ç°ãªãæ°ãåºããã¨ãã§ãã¾ããï¼Mod13ã¹ãã¼ãã§ã¯ï¼å ´ã«ããæãããããaï¼bã¨ããã¨ï¼a+bï¼a-bï¼b-aï¼a*bï¼a/bï¼b/a ã®Mod13ã§ã®æ¼ç®çµæãåºããã¨ãã§ãã¾ãï¼ãªãã»ã©ãªãã»ã©(?)
Â
ããåãããªãã¨æãã®ã§ï¼åãããã«ä»¥ä¸ã®ç¤é¢ãèãã¦ã¿ã¾ãããï¼ãã¬ã¤ã¤ã¼Aï¼Bã¯ããããã©ã®æ°ãå ´ã«åºããã¨ãã§ããã§ããããï¼
ã¾ããã¹ã¦ã®æ¼ç®ããã¦ã¿ã¾ãããï¼
ä»ï¼a=5ï¼b=7ã¨ããã¨ï¼13ãæ³ã¨ããæ¼ç®çµæã¯ä»¥ä¸ã®ããã«ãªãã¾ãï¼
a+bâ¡12ï¼a-bâ¡11ï¼b-aâ¡2ï¼a*bâ¡9ï¼a/bâ¡a*2â¡10ï¼b/aâ¡b*8â¡4
å²ãç®ã«ã¤ãã¦ï¼ã¯ï¼ã¨æãããããããã¾ãããï¼ãã®ãã¨è§£èª¬ãã¾ãï¼
ãããã£ã¦ãã¬ã¤ã¤ã¼Aã¯10ãï¼ãã¬ã¤ã¤ã¼Bã¯4ï¼11ï¼9ãå ´ã«åºããã¨ãã§ãã¾ãï¼
ã¨ããã§å²ãç®ã£ã¦ã©ãããã®ï¼
ã¾ãï¼ãã®ä¸ã®ä¸ã«ã¯éæ°ã¨ãããã®ãå®ç¾©ããã¦ããï¼ä¾ãã°2ã®éæ°ã¯1/2ã§ãï¼éæ°ã®å®ç¾©ã¯ï¼ä»»æã®æ° a ã«å¯¾ãã¦ããã¦1ã«ãªãæ° b ã®ãã¨ã§ãï¼ã¤ã¾ãï¼a*b=1ã«ãªã b ã a ã®éæ°ã¨ããã¾ãï¼
ãããMod13ã§ããã¨ã©ããªãã§ããããï¼å®ç¾©ã«åãã¨ï¼a*bâ¡1 (mod13)ã§ãã b ã a ã®éæ°ã§ãï¼ãããã¢ã¸ã¥ã©éæ°ã¨ããã¾ãï¼ä¾ãããã¤ãèãã¦ã¿ã¾ãããï¼
2*7â¡1 (mod13) ããï¼2ã®ã¢ã¸ã¥ã©éæ°ã¯7ã§ãï¼éã«7ã®ã¢ã¸ã¥ã©éæ°ã¯2ã§ãï¼
3*9â¡1 (mod13) ããï¼3ã®ã¢ã¸ã¥ã©éæ°ã¯9ï¼9ã®ã¢ã¸ã¥ã©éæ°ã¯3ã§ãï¼
åæ§ã«ï¼4ã¨10ï¼5ã¨8ï¼6ã¨11ï¼12ã¨12ï¼1ã¨1ã¯ããããã¢ã¸ã¥ã©éæ°ã®é¢ä¿ã«ããã¾ãï¼
次ã«å²ãç®ãèãã¦ã¿ã¾ãããï¼
ä»»æã®æ° a ãä»»æã®æ° b ã§å²ãï¼ã¤ã¾ã a/b ã¯ï¼a ã« b ã®éæ°ããããï¼ã¤ã¾ã a*(bã®éæ°ï¼ã¨çããã§ãããï¼ãããã£ã¦ï¼ä¾ãã° 11/2â¡11*7(2ã®ã¢ã¸ã¥ã©éæ°)â¡12 (mod13)ã¨ãªãã¾ãï¼
ããã§å²ãç®ããã¹ã¿ã¼ãã¾ããï¼ååæ¼ç®ã¯å®ç§ã§ããï¼
Mod13ã¹ãã¼ãã«åºä¼ã£ãæ¥ã®è©±
ç§ãMod13ã¹ãã¼ããã©ã®ããã«ãã¦ç¥ã£ããã話ããã¾ãï¼
2023å¹´10æ31æ¥ï¼ãã¤ãã®ããã«æ¥ãæ²ãã ãã¨ã«ç 究室ã«èµ´ãï¼ä»¥ä¸ã®è¨äºãåèã«ããªããã¢ã¸ã¥ã©éæ°ãæ±ããããã°ã©ã ãæ¸ãã¦ãã¾ããï¼ï¼å®ã¯ã¾ã Mod13ã¹ãã¼ãã«åºä¼ã£ã¦2ã¶æãçµã£ã¦ãã¾ãã)
Â
ï½¶ï¾ï½¶ï¾......ï¾ï½¶ï¾ï¾ï½°
Â
ãï¼
Â
ããã«ã¯ãMod13ã¹ãã¼ããã®æåãï¼
ã¹ãã¼ãã«ã¢ã¸ã¥ã©éæ°ã使ãï¼ãªãã ããã¯ï¼çµ¶å¯¾é¢ç½ããããªããï¼ããããï¼
Mod 13 ã¹ãã¼ãï¼èª°ãããããhttps://t.co/REJEt6skYp pic.twitter.com/CRpE1QsRQf
â ããã¶ãã (@Emblen_noya) 2023å¹´10æ31æ¥
ãããã¨ãï¼ç«¶ããï¼ç«¶ããããã£ã¦ããªãã£ããMod13ã¹ãã¼ããç¥ããã¨ã¯ãªãã£ãã§ãããï¼
æ©éãã£ã¦ã¿ã
ãããç¥ã£ãç¬éã«ï¼ç 究室ã®å 輩æ¹2åãå·»ãè¾¼ãã§å¯¾æ¦ãå§ãã¾ããï¼ä¸æ¦ãã£ã¦ã¿ããã¨ã£ã¦å¤§äºã§ãï¼ä¸æ¦ãï¼
æåã¯ã¹ãã¼ãè¦ç´ ã®ãããããªãã©ãããï¼åºããæ°ã声ã«åºãã¦è¨ç®ãã¦ãäºãã«æãåãï¼ï¼ã¨ãããã¨ããã£ã¦ãã¾ããï¼
Â
ãã£ã¦ãããã¡ã«ï¼åé ã§ç´¹ä»ããè³æã®ä¸ã§æ°ã«ãªãå®çãè¦ã¤ãã¾ãï¼
ãå ´ã«ããæ°ã®åã13ã®ã¨ãï¼å¿ ã12ãåºããã
æ¬å½ãï¼ãªãï¼æ©éCå 輩ãExcelã§è¨ç®ãå§ãã¾ãï¼åãã£ãã®ã¯ï¼å ´ã«ããæ°ã®åã13ã«ãªãã¨ãï¼å²ãç®ãããã¨çããå¿ ã12ã«ãªããã¨ã§ãï¼12ã®ã¢ã¸ã¥ã©éæ°ã¯12ãªã®ã§ï¼å²ãç®ã¯2éãããã¾ããçµæã¯ã©ã¡ãã12ã«ãªãã¾ãï¼
Cå 輩ã証æãã¦ããã¾ããï¼
ï¼è¨¼æï¼
å ´ã«ãã2ã¤ã®æ°ã a, b ã¨ç½®ãï¼
ä»ï¼åææ¡ä»¶ã¨ãã¦a+b=13ã§ããããï¼b=13-aã§ããï¼
ããã§b/aãèããã¨ï¼b/a = (13-a)/a .
Mod13ä¸ã§ã® a ã®éå ã x ã¨ç½®ãã¨ï¼éå ã®æ§è³ªãã a*x â¡1 (mod13) .
(13-a)/a â¡ (13-a)*x â¡ 13*x - a*x â¡ -a*x â¡ -1 â¡ 12 (mod13).
ï¼è¨¼æçµããï¼
Â
a/bã®å ´åãï¼a=13-bã¨ããåææ¡ä»¶ããåæ§ã«å°ããã¨ãã§ãã¾ãï¼
Â
ããï½ã¢ã¸ã¥ã©éæ°é¢ç½ããªï¼
Â
ãããã¦1ãæåã®éMod13ã¹ãã¼ããããç¶ãï¼æ¬¡ã®ããã«ãªã£ã¦ãã¾ãã¾ããï¼
ã»è¶³ãç®ãã§ããªããªã
ã¢ã¸ã¥ã©éæ°ãè¦ãããï¼å²ãç®ãããããªãã¾ãï¼å²ãç®ããèãã¦ãã¾ãï¼è¶³ãç®ãçãã«ãªã£ãçµæï¼ã6+9ã£ã¦ãªãã ã£ããã®ããã«é ããã°ãã¾ãï¼
ã»ã©ã®æ¼ç®ããããå¿ãããã©åºããã«ã¼ãã ãåãã
ãå¤åããåºãããã ãã...ãã¨ï¼ããããã¨å ´ã«ã«ã¼ããåºãå ´é¢ã«ä½åº¦ãééãã¾ããï¼ã10ã¨7ãå ´ã«ããã¨ãã¯10ã7ãåºããããã¨ãï¼ã12ãå ´ã«ããã¨ãã¯å ´ã®ãã䏿¹ã®æ°ã±1ããæ°ãåºãããããªã©ã¨ãã£ãæ³åãè¦ã¤ããããããã«ãªã£ã¦ãã¾ãã
èªå·±ç é½ããã°ã©ã ãæ¸ã
ãããªã«æ¥½ããã²ã¼ã ï¼äººéã2人ããªãã¨ã§ããªãã®ã¯å¿ä½ãªãã§ãããï¼ã§ãããPCã¨å¯¾æ¦ããããã°ã©ã ãæ¸ãã¦ã¿ã¾ãããï¼
Â
ã§ãã¾ããï¼
ã³ã³ã½ã¼ã«ä¸ã§ã®å¯¾æ¦ã§ï¼å ¥åã¯ã³ãã³ããæã£ã¦ããåå§çãªã¢ããªã§ããï¼èªå·±ç é½ã«ã¯ååã§ãï¼ä»æ§ã¨ãã¦ï¼
ã»å ¥åã誤ã£ã¦ãã¾ãã¨ãã®ã¿ã¼ã³ã¯åºããªã
ã»ç¸æï¼CPUï¼ãåºãã¾ã§ã®æéã調ç¯ã§ãã
ã¨ãããã®ãããã¾ãï¼çç¢ºãªæãåºãæ£ç¢ºæ§ãåããï¼ç¸æãããæ©ãåºãä¿ææ§ãå¹ããã¨ãã§ãï¼èªå·±ç é½ã«å¤§ãã«å½¹ç«ã¡ããã§ããï¼
Â
ãã®ã³ã¼ãã¯GitHubã§å ¬éãã¦ãã¾ãï¼èªå·±ç é½ããããæ¹ã¯åæã«èªåã§ã³ã³ãã¤ã«ãè¡ã£ã¦CPUã¨å¯¾æ¦ãã¦ã¿ã¦ãã ããï¼
Â
ãªãåããã¨ãã¯æåãããã®ã®ï¼ã²ã¨ãã§PCã«åãåãã ããªã®ã§
Â
ã飽ãã¾ãã
Â
ãããã«
人éã¨å¯¾æ¦ããã»ããé¥ãã«æ¥½ããã§ãï¼çãã¬ã¤ã¤ã¼ã«ãªã£ã¦ç§ã¨å¯¾æ¦ãã¦ãã ããï¼ããã§ã¯ï¼è¯ãMod13ã¹ãã¼ãã©ã¤ãããéããä¸ããï¼
Â
æå¾ã«ï¼ç 究室å ããã®ä»æ§ã ãªã¨ããã§Mod13ã¹ãã¼ãã叿ããã«ããã£ã¦è¨ãããæè¨ãç´¹ä»ãã¾ãï¼
ãé ãããããã
ãè³ãç ´å£ãããã
ãè¶³ãç®ã¨å¼ãç®ã¨æãç®ã¾ã§ã¯ãããï¼å²ãç®ã¯ç¡çã
ãå æ°ãªã¨ãã«ããã¨æ¥½ããã®ãããããªãã
ã絶対ã«ãããããªãã
Â
以ä¸ã§ãï¼
Â