{"id":12684,"date":"2021-01-27T03:15:27","date_gmt":"2021-01-27T03:15:27","guid":{"rendered":"https:\/\/club.informatix.co.jp\/?p=12684"},"modified":"2024-10-31T03:00:00","modified_gmt":"2024-10-31T03:00:00","slug":"%e7%b4%a0%e6%95%b0%e5%88%a4%e5%ae%9a%e3%83%97%e3%83%ad%e3%82%b0%e3%83%a9%e3%83%a0%e3%82%92%e6%94%b9%e8%89%af%e3%81%97%e3%81%a6%e3%81%bf%e3%82%88%e3%81%86%ef%bd%9cpython%e3%81%a7%e6%95%b0%e5%ad%a6","status":"publish","type":"post","link":"https:\/\/club.informatix.co.jp\/?p=12684","title":{"rendered":"\u7d20\u6570\u5224\u5b9a\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u6539\u826f\uff5cPython\u3067\u6570\u5b66\u3092\u5b66\u307c\u3046\uff01 \u7b2c5\u56de"},"content":{"rendered":"<div id=\"ez-toc-container\" class=\"ez-toc-v2_0_82_2 counter-hierarchy ez-toc-counter ez-toc-grey ez-toc-container-direction\">\n<p class=\"ez-toc-title\" style=\"cursor:inherit\">\u76ee\u6b21<\/p>\n<label for=\"ez-toc-cssicon-toggle-item-69e45f1268dd0\" class=\"ez-toc-cssicon-toggle-label\"><span class=\"\"><span class=\"eztoc-hide\" style=\"display:none;\">Toggle<\/span><span class=\"ez-toc-icon-toggle-span\"><svg style=\"fill: #999;color:#999\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" class=\"list-377408\" width=\"20px\" height=\"20px\" viewBox=\"0 0 24 24\" fill=\"none\"><path d=\"M6 6H4v2h2V6zm14 0H8v2h12V6zM4 11h2v2H4v-2zm16 0H8v2h12v-2zM4 16h2v2H4v-2zm16 0H8v2h12v-2z\" fill=\"currentColor\"><\/path><\/svg><svg style=\"fill: #999;color:#999\" class=\"arrow-unsorted-368013\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" width=\"10px\" height=\"10px\" viewBox=\"0 0 24 24\" version=\"1.2\" baseProfile=\"tiny\"><path d=\"M18.2 9.3l-6.2-6.3-6.2 6.3c-.2.2-.3.4-.3.7s.1.5.3.7c.2.2.4.3.7.3h11c.3 0 .5-.1.7-.3.2-.2.3-.5.3-.7s-.1-.5-.3-.7zM5.8 14.7l6.2 6.3 6.2-6.3c.2-.2.3-.5.3-.7s-.1-.5-.3-.7c-.2-.2-.4-.3-.7-.3h-11c-.3 0-.5.1-.7.3-.2.2-.3.5-.3.7s.1.5.3.7z\"\/><\/svg><\/span><\/span><\/label><input type=\"checkbox\"  id=\"ez-toc-cssicon-toggle-item-69e45f1268dd0\" checked aria-label=\"Toggle\" \/><nav><ul class='ez-toc-list ez-toc-list-level-1 ' ><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-1\" href=\"https:\/\/club.informatix.co.jp\/?p=12684\/#%E7%B4%84%E6%95%B0%E3%82%92%E3%81%99%E3%81%B9%E3%81%A6%E8%A1%A8%E7%A4%BA%E3%81%99%E3%82%8B\" >\u7d04\u6570\u3092\u3059\u3079\u3066\u8868\u793a\u3059\u308b<\/a><ul class='ez-toc-list-level-3' ><li class='ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-2\" href=\"https:\/\/club.informatix.co.jp\/?p=12684\/#%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0%EF%BC%9Aprime2\" >\u30d7\u30ed\u30b0\u30e9\u30e0\uff1aprime2<\/a><\/li><\/ul><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-3\" href=\"https:\/\/club.informatix.co.jp\/?p=12684\/#%E8%A8%88%E7%AE%97%E6%99%82%E9%96%93%E3%82%92%E8%A1%A8%E7%A4%BA%E3%81%99%E3%82%8B\" >\u8a08\u7b97\u6642\u9593\u3092\u8868\u793a\u3059\u308b<\/a><ul class='ez-toc-list-level-3' ><li class='ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-4\" href=\"https:\/\/club.informatix.co.jp\/?p=12684\/#%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0%EF%BC%9Aprime3\" >\u30d7\u30ed\u30b0\u30e9\u30e0\uff1aprime3<\/a><\/li><\/ul><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-5\" href=\"https:\/\/club.informatix.co.jp\/?p=12684\/#%E3%83%A1%E3%83%AB%E3%82%BB%E3%83%B3%E3%83%8C%E7%B4%A0%E6%95%B0%E3%81%A8GIMPS\" >\u30e1\u30eb\u30bb\u30f3\u30cc\u7d20\u6570\u3068GIMPS<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-6\" href=\"https:\/\/club.informatix.co.jp\/?p=12684\/#%E3%83%A1%E3%83%AB%E3%82%BB%E3%83%B3%E3%83%8C%E7%B4%A0%E6%95%B0%E3%82%92%E5%88%A4%E5%AE%9A%E3%81%99%E3%82%8B\" >\u30e1\u30eb\u30bb\u30f3\u30cc\u7d20\u6570\u3092\u5224\u5b9a\u3059\u308b<\/a><ul class='ez-toc-list-level-3' ><li class='ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-7\" href=\"https:\/\/club.informatix.co.jp\/?p=12684\/#%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0%EF%BC%9Aprime4\" >\u30d7\u30ed\u30b0\u30e9\u30e0\uff1aprime4<\/a><\/li><\/ul><\/li><\/ul><\/nav><\/div>\n\n<h2><span class=\"ez-toc-section\" id=\"%E7%B4%84%E6%95%B0%E3%82%92%E3%81%99%E3%81%B9%E3%81%A6%E8%A1%A8%E7%A4%BA%E3%81%99%E3%82%8B\"><\/span>\u7d04\u6570\u3092\u3059\u3079\u3066\u8868\u793a\u3059\u308b<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p><a href=\"https:\/\/club.informatix.co.jp\/?p=12181\" target=\"_blank\" rel=\"noopener\">\u524d\u56de\u306e\u7d20\u6570\u5224\u5b9a\u30d7\u30ed\u30b0\u30e9\u30e0<\/a>\uff08prime1\uff09\u306f\u300c<a href=\"https:\/\/club.informatix.co.jp\/?p=4737\" target=\"_blank\" rel=\"noopener\">\u7d20\u6570<\/a>\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u300d\u300c\u7d20\u6570\u3067\u3059\u300d\u3060\u3051\u306e\u5224\u5b9a\u3092\u3059\u308b7\u884c\u306e\u30b3\u30fc\u30c9\u3067\u3057\u305f\u3002<\/p>\n<p>\u4eca\u56de\u306f\u3053\u308c\u3092\u3082\u3068\u306b\u3044\u304f\u3064\u304b\u6539\u826f\u3057\u3066\u307f\u307e\u3059\u3002<\/p>\n<h3><span class=\"ez-toc-section\" id=\"%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0%EF%BC%9Aprime2\"><\/span>\u30d7\u30ed\u30b0\u30e9\u30e0\uff1aprime2<span class=\"ez-toc-section-end\"><\/span><\/h3>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 n = int(input(&#8216;\u7d20\u6570\u5224\u5b9a\u3057\u305f\u30442\u4ee5\u4e0a\u306e\u81ea\u7136\u6570n\u3092\u5165\u308c\u3066\u306d n=&#8217;))\u00a0\u00a0 # \u5165\u529b\u3055\u308c\u305fn\u3092\u6574\u6570\u306b\u5909\u63db<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 p = 0\u00a0\u00a0\u00a0 # \u7d04\u6570\u306e\u500b\u6570\u30ab\u30a6\u30f3\u30bf\u30fc<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 for k in range(1,n+1):\u00a0\u00a0 # k=1,&#8230;,n<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 if n % k == 0:\u00a0\u00a0\u00a0\u00a0 # n\u00f7k\u306e\u4f59\u308a\u304c0\u306a\u3089\u3070\u3001\uff08k\u306fn\u306e\u7d04\u6570\u306a\u3089\u3070\uff09<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 print(f'{n} \u306f {k} \u3092\u7d04\u6570\u306b\u3082\u3064&#8217;)\u00a0\u00a0\u00a0 # \u7d04\u6570k\u3092\u8868\u793a<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 p = p + 1\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u7d04\u6570\u306e\u500b\u6570\u30ab\u30a6\u30f3\u30bf\u30fcp\u3092+1<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 if p &gt; 2:\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # for\u6587\u3092\u629c\u3051\u51fa\u3057\u305f\u5f8c \u7d04\u6570\u306e\u500b\u6570\u3067\u6761\u4ef6\u5206\u5c90 2\u500b\u3088\u308a\u3082\u5927\u304d\u3044\u5834\u5408<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f'{n} \u306f\u7d04\u6570\u3092{p}\u500b\u3082\u3064\u5408\u6210\u6570\u3067\u7d20\u6570\u3067\u306f\u3042\u308a\u307e\u305b\u3093&#8217;)<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 else:\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u305d\u3046\u3067\u306a\u3044\u5834\u5408\uff08p=2\uff09<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f'{n} \u306f\u7d04\u6570\u304c2\u500b\u3060\u304b\u3089\u7d20\u6570\uff01 (k={k})&#8217;)<\/p>\n<p>\u7d20\u6570\u5224\u5b9a\u306f\u3001\u4e0e\u3048\u3089\u308c\u305fn\u30921\u304b\u3089\u9806\u306bn\u307e\u3067\u5272\u3063\u3066\u4f59\u308a\u3092\u8a08\u7b97\u3059\u308b\u3053\u3068\u3067\u884c\u3044\u307e\u3059\uff08\u524d\u56deprime1\u306f2\u304b\u3089n-1\u307e\u3067\uff09\u3002<\/p>\n<p>\u4f59\u308a\u304c0\u3059\u306a\u308f\u3061\u306e\u5834\u5408\u306b\u306f\u305d\u306e\u6570\uff08\u7d04\u6570\uff09\u3092\u8868\u793a\u3059\u308b\u3088\u3046\u306b\u3057\u307e\u3059\u3002<\/p>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 print(f'{n} \u306f {k} \u3092\u7d04\u6570\u306b\u3082\u3064&#8217;)\u00a0\u00a0\u00a0 # \u7d04\u6570k\u3092\u8868\u793a<\/p>\n<p><a href=\"https:\/\/club.informatix.co.jp\/?p=12181\" target=\"_blank\" rel=\"noopener\">\u524d\u56de<\/a>\u8aac\u660e\u3057\u305ff\u6587\u5b57\u5217(f-string)\u8868\u793a\u65b9\u6cd5\u3067\u3059\u3002<\/p>\n<p>\u3064\u3044\u3067\u306b\u7d04\u6570\u306e\u500b\u6570\u3082\u30ab\u30a6\u30f3\u30c8\u30fb\u8868\u793a\u3059\u308b\u3088\u3046\u306b\u3057\u307e\u3059\u3002\u30ab\u30a6\u30f3\u30bf\u30fc\u7528\u5909\u6570\u3092p\u3068\u3057\u307e\u3059\u3002<\/p>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 p = 0\u00a0\u00a0\u00a0 # \u7d04\u6570\u306e\u500b\u6570\u30ab\u30a6\u30f3\u30bf\u30fc<\/p>\n<p>\u5272\u308b\u6570k\u304c\u7d04\u6570\u3067\u3042\u308b\u5834\u5408\u306b\u30ab\u30a6\u30f3\u30c8\u30a2\u30c3\u30d7\u3059\u308b\u3088\u3046\u306b\u3057\u307e\u3059\u3002<\/p>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 p = p + 1\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u7d04\u6570\u306e\u500b\u6570\u30ab\u30a6\u30f3\u30bf\u30fcp\u3092+1<\/p>\n<p>\u3055\u3066\u3001\u5272\u308b\u6570k\u304cn\u307e\u3067\u6e21\u308a\u7d42\u308f\u308b\u3068for\u6587\u3092\u629c\u3051\u51fa\u3057\u3001<\/p>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 if p &gt; 2:<\/p>\n<p>\u304c\u5b9f\u884c\u3055\u308c\u307e\u3059\u3002<\/p>\n<p>\u7d04\u6570\u306e\u500b\u6570p\u304c2\u3088\u308a\u5927\u304d\u3044\u5834\u5408\uff08if p &gt; 2 :\uff09\u3001\u3059\u306a\u308f\u30613\u4ee5\u4e0a\u306e\u5834\u5408\u3001n\u306f\u300c\u7d20\u6570\u3067\u306f\u306a\u3044\u300d\u306e\u5224\u5b9a\u3092\u884c\u3044\u3001<\/p>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f'{n} \u306f\u7d04\u6570\u3092{p}\u500b\u3082\u3064\u5408\u6210\u6570\u3067\u7d20\u6570\u3067\u306f\u3042\u308a\u307e\u305b\u3093&#8217;)<\/p>\n<p>\u305d\u3046\u3067\u306a\u3044\u5834\u5408\uff08else:\uff09\u3059\u306a\u308f\u3061\u3001n\u304c2\u3067\u3042\u308b\u5834\u5408\u306b\u306f\u300c\u7d20\u6570\u3067\u3042\u308b\u300d\u5224\u5b9a\u3092\u884c\u3044\u307e\u3059\u3002<\/p>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f'{n} \u306f\u7d04\u6570\u304c2\u500b\u3060\u304b\u3089\u7d20\u6570\uff01 (k={k})&#8217;)<\/p>\n<p>prime2\u3092Google Colaboratory\uff08\u30b0\u30fc\u30b0\u30eb\u30b3\u30e9\u30dc\u30e9\u30c8\u30ea\u30fc\uff09\u306b\u66f8\u3044\u3066\u5b9f\u884c\u3057\u3066\u307f\u308b\u3068\u3001\u6b21\u306e\u3088\u3046\u306b\u8868\u793a\u3055\u308c\u307e\u3059\u3002<\/p>\n<p><span class=\"photoline\"><img decoding=\"async\" class=\"aligncenter size-full wp-image-12687\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-1.jpg\" alt=\"\" width=\"749\" height=\"464\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-1.jpg 749w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-1-300x186.jpg 300w\" sizes=\"(max-width: 749px) 100vw, 749px\" \/><\/span><\/p>\n<h2><span class=\"ez-toc-section\" id=\"%E8%A8%88%E7%AE%97%E6%99%82%E9%96%93%E3%82%92%E8%A1%A8%E7%A4%BA%E3%81%99%E3%82%8B\"><\/span>\u8a08\u7b97\u6642\u9593\u3092\u8868\u793a\u3059\u308b<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p><a href=\"https:\/\/club.informatix.co.jp\/?p=12181\" target=\"_blank\" rel=\"noopener\">\u524d\u56de<\/a>\u300c56547511\u306e\u7d20\u6570\u5224\u5b9a\u306b\u3069\u308c\u307b\u3069\u306e\u6642\u9593\u304c\u304b\u304b\u308b\u304b\u3001\u8a66\u3057\u3066\u307f\u3066\u304f\u3060\u3055\u3044\u300d\u3068\u6700\u5f8c\u306b\u66f8\u304d\u307e\u3057\u305f\u3002<\/p>\n<p>\u305d\u3053\u3067\u3001\u7d20\u6570\u5224\u5b9a\u306b\u304b\u304b\u308b\u8a08\u7b97\u6642\u9593\u3092\u8a08\u6e2c\u30fb\u8868\u793a\u3059\u308b\u3088\u3046\u306b\u30b3\u30fc\u30c9\u3092\u6539\u826f\u3057\u307e\u3059\u3002<\/p>\n<h3><span class=\"ez-toc-section\" id=\"%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0%EF%BC%9Aprime3\"><\/span>\u30d7\u30ed\u30b0\u30e9\u30e0\uff1aprime3<span class=\"ez-toc-section-end\"><\/span><\/h3>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 import time\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # time\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u30a4\u30f3\u30dd\u30fc\u30c8<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 n = int(input(&#8216;\u7d20\u6570\u5224\u5b9a\u3057\u305f\u30442\u4ee5\u4e0a\u306e\u81ea\u7136\u6570n\u3092\u5165\u308c\u3066\u306d n=&#8217;))\u00a0\u00a0 # \u5165\u529b\u3055\u308c\u305fn\u3092\u6574\u6570\u306b\u5909\u63db<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 start = time.time()\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u6e2c\u958b\u59cbUNIX\u6642\u9593<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 p = 0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u7d04\u6570\u306e\u500b\u6570\u30ab\u30a6\u30f3\u30bf\u30fc<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 for k in range(1,n+1):\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # k=1,&#8230;,n<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 if n % k == 0:\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # n\u00f7k\u306e\u4f59\u308a\u304c0\u306a\u3089\u3070<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 print(f'{n} \u306f {k} \u3092\u7d04\u6570\u306b\u3082\u3064&#8217;)\u00a0\u00a0 # \u7d04\u6570k\u3092\u8868\u793a<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 p = p + 1\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u7d04\u6570\u306e\u500b\u6570\u30ab\u30a6\u30f3\u30bf\u30fcp\u3092+1<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 if p &gt; 2:\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u7d04\u6570\u306e\u500b\u6570\u304c3\u4ee5\u4e0a\u306e\u5834\u5408<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f'{n} \u306f\u7d04\u6570\u3092{p}\u500b\u3082\u3064\u5408\u6210\u6570\u3067\u7d20\u6570\u3067\u306f\u306a\u3044&#8217;)\u00a0\u00a0\u00a0 # \u7d20\u6570\u3067\u306f\u306a\u3044<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 t = time.time() &#8211; start\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u6e2c\u7d42\u4e86UNIX\u6642\u9593 -&gt; \u8a08\u7b97\u6642\u9593\u7b97\u51fa<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f&#8217;\u8a08\u7b97\u306b\u304b\u304b\u3063\u305f\u6642\u9593{t}\u79d2&#8217;)\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u7b97\u6642\u9593\u8868\u793a<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 else:\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0# \u305d\u3046\u3067\u306a\u3044\u5834\u5408\uff08p=2\uff09<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f'{n} \u306f\u7d20\u6570\uff01&#8217;)\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u7d20\u6570<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 t = time.time() &#8211; start\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u6e2c\u7d42\u4e86UNIX\u6642\u9593 -&gt; \u8a08\u7b97\u6642\u9593\u7b97\u51fa<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f&#8217;\u8a08\u7b97\u306b\u304b\u304b\u3063\u305f\u6642\u9593{t}\u79d2&#8217;)\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u7b97\u6642\u9593\u8868\u793a<\/p>\n<p>1\u884c\u76ee\u3067time\u30e2\u30b8\u30e5\u30fc\u30eb\u3092\u30a4\u30f3\u30dd\u30fc\u30c8\u3057\u307e\u3059\u3002<\/p>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 import time\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # time\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u30a4\u30f3\u30dd\u30fc\u30c8<\/p>\n<p>\u3053\u308c\u3067\u6642\u9593\u3092\u6271\u3046\u3053\u3068\u304c\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 start = time.time()\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u6e2c\u958b\u59cbUNIX\u6642\u9593<\/p>\n<p>\u3053\u306e\u30b3\u30fc\u30c9\u304c\u5b9f\u884c\u3055\u308c\u305f\u6642\u70b9\u3067\u306eUNIX\u6642\u9593\uff08\u30a8\u30dd\u30c3\u30af\u79d2\uff09\u3092\u53d6\u5f97\u3057\u307e\u3059\u3002<\/p>\n<p>\u6b21\u306e\u30b3\u30fc\u30c9\u3092\u5b9f\u884c\u3057\u3066\u307f\u307e\u3057\u3087\u3046\u3002<\/p>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 import time<br \/>\n&gt;&gt;&gt;\u00a0 \u00a0 \u00a0print(time.time())<\/p>\n<p>1611654943.353461<\/p>\n<p>\u3053\u308c\u304cUNIX\u6642\u9593\uff08\u30a8\u30dd\u30c3\u30af\u79d2\uff09\u3067\u3001\u5358\u4f4d\u306f\u79d2\u3067\u3059\u3002<\/p>\n<p>n\u306e\u5165\u529b\u5f8c\u76f4\u5f8c\u306eUNIX\u6642\u9593\u3092start\u3068\u3057\u3066\u30de\u30fc\u30af\u3057\u307e\u3059\u3002<\/p>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 start = time.time()\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u6e2c\u958b\u59cbUNIX\u6642\u9593<\/p>\n<p>2\u3064\u306e\u5224\u5b9a\u5b8c\u4e86\u5f8c\u305d\u308c\u305e\u308c\u3067\u76f4\u5f8c\u306eUNIX\u6642\u9593\u304b\u3089start\u3092\u5f15\u3044\u3066\u8a08\u6e2c\u6642\u9593<\/p>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 t = time.time() &#8211; start\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u6e2c\u7d42\u4e86UNIX\u6642\u9593 -&gt; \u8a08\u7b97\u6642\u9593\u7b97\u51fa<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f&#8217;\u8a08\u7b97\u306b\u304b\u304b\u3063\u305f\u6642\u9593{t}\u79d2&#8217;)\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u7b97\u6642\u9593\u8868\u793a<\/p>\n<p>prime3\u3092Google Colaboratory\uff08\u30b0\u30fc\u30b0\u30eb\u30b3\u30e9\u30dc\u30e9\u30c8\u30ea\u30fc\uff09\u306b\u66f8\u3044\u3066\u5b9f\u884c\u3057\u3066\u307f\u308b\u3068\u6b21\u306e\u3088\u3046\u306b\u8868\u793a\u3055\u308c\u307e\u3059\u3002<\/p>\n<p><span class=\"photoline\"><img decoding=\"async\" class=\"aligncenter size-full wp-image-12688\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-2.jpg\" alt=\"\" width=\"749\" height=\"564\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-2.jpg 749w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-2-300x226.jpg 300w\" sizes=\"(max-width: 749px) 100vw, 749px\" \/><\/span><\/p>\n<p>8\u684156547511\u306e\u5224\u5b9a\u306b\u304b\u304b\u3063\u305f\u8a08\u7b97\u6642\u9593\u306f6.4\u79d2\u3067\u3057\u305f\u3002<\/p>\n<p>10\u68411234567890\u3092\u8a66\u3057\u3066\u307f\u305f\u7d50\u679c\u304c\u6b21\u3067\u3059\u3002195\u79d2\u3067\u3057\u305f\u3002<\/p>\n<p><span class=\"photoline\"><img decoding=\"async\" class=\"aligncenter size-full wp-image-12689\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-3.jpg\" alt=\"\" width=\"749\" height=\"1331\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-3.jpg 749w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-3-169x300.jpg 169w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-3-576x1024.jpg 576w\" sizes=\"(max-width: 749px) 100vw, 749px\" \/><\/span><\/p>\n<h2><span class=\"ez-toc-section\" id=\"%E3%83%A1%E3%83%AB%E3%82%BB%E3%83%B3%E3%83%8C%E7%B4%A0%E6%95%B0%E3%81%A8GIMPS\"><\/span>\u30e1\u30eb\u30bb\u30f3\u30cc\u7d20\u6570\u3068GIMPS<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p><span class=\"photoline\"><img decoding=\"async\" class=\"aligncenter size-full wp-image-12690\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-4.jpg\" alt=\"\" width=\"800\" height=\"465\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-4.jpg 800w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-4-300x174.jpg 300w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-4-768x446.jpg 768w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/><\/span><\/p>\n<p style=\"text-align: center;\">www.mersenne.org<\/p>\n<p>\u7d20\u6570\u63a2\u67fb\u306f\u3053\u306e\u77ac\u9593\u3082\u4e16\u754c\u4e2d\u3067\u884c\u308f\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>GIMPS\uff08Great Internet Mersenne Prime Search\uff09\u304c\u6d3b\u8e8d\u3057\u3066\u3044\u307e\u3059\u3002<a href=\"https:\/\/club.informatix.co.jp\/?p=3956\" target=\"_blank\" rel=\"noopener\">\u30e1\u30eb\u30bb\u30f3\u30cc\u7d20\u6570<\/a>\u306e\u767a\u898b\u3092\u76ee\u7684\u306b1996\u5e74\u306b\u767a\u8db3\u3057\u305f\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3067\u3059\u3002<\/p>\n<p>\u5206\u6563\u30b3\u30f3\u30d4\u30e5\u30fc\u30c6\u30a3\u30f3\u30b0\u306b\u3088\u308a\u3001\u30a4\u30f3\u30bf\u30fc\u30cd\u30c3\u30c8\u3067\u7e4b\u304c\u308c\u305f\u4e16\u754c\u4e2d\u306ePC\u3092\u4f7f\u3063\u3066\u7d20\u6570\u5224\u5b9a\u306b\u5fc5\u8981\u306a\u8a08\u7b97\u304c\u884c\u308f\u308c\u307e\u3059\u3002<\/p>\n<p>2018\u5e7412\u67087\u65e5\u306b\u5224\u5b9a\u5b8c\u4e86\u3057\u305f\u7d20\u6570\u306f\u3001\u306a\u3093\u30682486\u4e072048\u6841\u3067\u3059\u3002<\/p>\n<p>\u30e1\u30eb\u30bb\u30f3\u30cc\u7d20\u6570\u3068\u306f2\u306en\u4e57-1\uff082<sup>n<\/sup>-1\uff09\u306e\u5f62\u3092\u3057\u305f\u7d20\u6570\u3067\u3059\u3002n\u304c3\u306e\u5834\u54082^3-1=7\u30015\u306e\u5834\u54082^5-1=31\u306f\u30e1\u30eb\u30bb\u30f3\u30cc\u7d20\u6570\u3067\u3059\u3002<\/p>\n<p>\u30e1\u30eb\u30bb\u30f3\u30cc\u7d20\u6570\u306e\u5224\u5b9a\u6cd5\u304c\u7814\u7a76\u3055\u308c\u3066\u304d\u305f\u3053\u3068\u3068\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u306e\u767a\u9054\u306b\u3088\u3063\u3066GIMPS\u304c\u8a95\u751f\u3057\u307e\u3057\u305f\u3002<\/p>\n<h2><span class=\"ez-toc-section\" id=\"%E3%83%A1%E3%83%AB%E3%82%BB%E3%83%B3%E3%83%8C%E7%B4%A0%E6%95%B0%E3%82%92%E5%88%A4%E5%AE%9A%E3%81%99%E3%82%8B\"><\/span>\u30e1\u30eb\u30bb\u30f3\u30cc\u7d20\u6570\u3092\u5224\u5b9a\u3059\u308b<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<h3><span class=\"ez-toc-section\" id=\"%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0%EF%BC%9Aprime4\"><\/span>\u30d7\u30ed\u30b0\u30e9\u30e0\uff1aprime4<span class=\"ez-toc-section-end\"><\/span><\/h3>\n<p>&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 import time\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # time\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u30a4\u30f3\u30dd\u30fc\u30c8<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 import math\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0# math\u30e2\u30b8\u30e5\u30fc\u30eb\u3092\u30a4\u30f3\u30dd\u30fc\u30c8<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 n = eval(input(&#8216;\u7d20\u6570\u5224\u5b9a\u3057\u305f\u30442\u4ee5\u4e0a\u306e\u81ea\u7136\u6570n\u3092\u5165\u308c\u3066\u306d n=&#8217;))\u00a0\u00a0 # \u5165\u529b\u3055\u308c\u305fn\u3092\u8a08\u7b97\u3057\u3066n\u306b\u4ee3\u5165<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 start = time.time()\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u6e2c\u958b\u59cbUNIX\u6642\u9593<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 p = 0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u7d04\u6570\u306e\u500b\u6570\u30ab\u30a6\u30f3\u30bf\u30fc<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 for k in range(1,n+1):\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # k=1,&#8230;,n<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 if n % k == 0:\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # n\u00f7k\u306e\u4f59\u308a\u304c0\u306a\u3089\u3070<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 print(f'{n} \u306f {k} \u3092\u7d04\u6570\u306b\u3082\u3064&#8217;)\u00a0\u00a0 # \u7d04\u6570k\u3092\u8868\u793a<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 p = p + 1\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u7d04\u6570\u306e\u500b\u6570\u30ab\u30a6\u30f3\u30bf\u30fcp\u3092+1<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 if p &gt; 2:\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u7d04\u6570\u306e\u500b\u6570\u304c3\u4ee5\u4e0a\u306e\u5834\u5408<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f'{n} \u306f\u7d04\u6570\u3092{p}\u500b\u3082\u3064\u5408\u6210\u6570\u3067\u7d20\u6570\u3067\u306f\u306a\u3044&#8217;)\u00a0\u00a0\u00a0 # \u7d20\u6570\u3067\u306f\u306a\u3044<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 t = time.time() &#8211; start\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u6e2c\u7d42\u4e86UNIX\u6642\u9593 -&gt; \u8a08\u7b97\u6642\u9593\u7b97\u51fa<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f&#8217;\u8a08\u7b97\u306b\u304b\u304b\u3063\u305f\u6642\u9593{t}\u79d2&#8217;)\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u7b97\u6642\u9593\u8868\u793a<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 else:\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u305d\u3046\u3067\u306a\u3044\u5834\u5408\uff08p=2\uff09<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f'{n} \u306f\u7d20\u6570\uff01&#8217;)\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u7d20\u6570<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 t = time.time() &#8211; start\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u6e2c\u7d42\u4e86UNIX\u6642\u9593 -&gt; \u8a08\u7b97\u6642\u9593\u7b97\u51fa<br \/>\n&gt;&gt;&gt;\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0 print(f&#8217;\u8a08\u7b97\u306b\u304b\u304b\u3063\u305f\u6642\u9593{t}\u79d2&#8217;)\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 # \u8a08\u7b97\u6642\u9593\u8868\u793a<\/p>\n<p>\u305d\u3053\u3067\u30e1\u30eb\u30bb\u30f3\u30cc\u7d20\u6570\u304c\u5224\u5b9a\u3067\u304d\u308b\u3088\u3046\u306b\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u6539\u826f\u3057\u3066\u307f\u307e\u3059\u3002<\/p>\n<p>\u6700\u521d\u306einput\u6587<\/p>\n<p>&gt;&gt;&gt;\u00a0 \u00a0 n = int(input(&#8216;\u7d20\u6570\u5224\u5b9a\u3057\u305f\u30442\u4ee5\u4e0a\u306e\u81ea\u7136\u6570n\u3092\u5165\u308c\u3066\u306d n=&#8217;)) # \u5165\u529b\u3055\u308c\u305fn\u3092\u6574\u6570\u306b\u5909\u63db<\/p>\n<p>\u306f\u5165\u529b\u3055\u308c\u305f\u6587\u5b57\u5217n\u3092\u6574\u6570\u578b\u306b\u5909\u63db\u3059\u308b\u30b3\u30fc\u30c9\u3067\u3059\u3002\u3053\u3053\u306b2**7-1\uff082^7-1\u306e\u3053\u3068\uff09\u3068\u5165\u529b\u3059\u308b\u3068\u3001Python\u306b\u51e6\u7406\u3067\u304d\u306a\u3044\u3068\u53f1\u3089\u308c\u307e\u3059\u3002<\/p>\n<p>2**5-1\uff082^5-1\u306e\u3053\u3068\uff09\u3092\u51e6\u7406\u3067\u304d\u308b\u3088\u3046\u306b\u3059\u308b\u306b\u306f\u3001\u3044\u308d\u3044\u308d\u306a\u30b3\u30fc\u30c9\u3092\u8003\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u304c\u3001\u3053\u3053\u306f\u4e00\u756a\u7c21\u5358\u306a\u5909\u66f4\u3092\u8003\u3048\u3066\u307f\u307e\u3059\u3002<\/p>\n<p>\u30d7\u30ed\u30b0\u30e9\u30e0prime4\u306e\u5909\u66f4\u70b9\u306f1\u7b87\u6240\u3060\u3051\u3002<\/p>\n<p>&gt;&gt;&gt;\u00a0 \u00a0 n = eval(input(&#8216;\u7d20\u6570\u5224\u5b9a\u3057\u305f\u30442\u4ee5\u4e0a\u306e\u81ea\u7136\u6570n\u3092\u5165\u308c\u3066\u306d n=&#8217;)) # \u5165\u529b\u3055\u308c\u305fn\u3092\u8a08\u7b97\u3057\u3066n\u306b\u4ee3\u5165<\/p>\n<p>int\u3092eval\u306b\u5909\u3048\u308b\u3060\u3051\u3067\u3059\u3002eval(\u6587\u5b57\u5217)\u306f\u6587\u5b57\u5217\u3092\u8a08\u7b97\u3057\u3066\u6570\u5024\u3092\u8fd4\u3057\u3066\u304f\u308c\u308b\u9b54\u6cd5\u306e\u30b3\u30fc\u30c9\u3067\u3059\u3002\u3053\u308c\u30672**7-1\u3092\u5165\u529b\u3067\u304d\u307e\u3059\u3002<\/p>\n<p><span class=\"photoline\"><img decoding=\"async\" class=\"aligncenter size-full wp-image-12691\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-5.jpg\" alt=\"\" width=\"751\" height=\"573\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-5.jpg 751w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-5-300x229.jpg 300w\" sizes=\"(max-width: 751px) 100vw, 751px\" \/><\/span><\/p>\n<p>1772\u5e74\u3001\u30aa\u30a4\u30e9\u30fc\u306f2^31-1= 2147483647\u306e\u7d20\u6570\u5224\u5b9a\u306b\u6210\u529f\u3057\u307e\u3057\u305f\u30028\u756a\u76ee\u306e\u30e1\u30eb\u30bb\u30f3\u30cc\u7d20\u6570\u306e\u767a\u898b\u3067\u3059\u3002<\/p>\n<p>\u540c\u3058\u554f\u984c\u3092prime4\u3067\u8a08\u7b97\u3057\u3066\u307f\u307e\u3057\u3087\u3046\u30022**31-1\u3092\u5165\u529b\u3057\u307e\u3059\u30026\u5206\u5f31\u304b\u304b\u3063\u3066\u8a08\u7b97\u3067\u304d\u307e\u3057\u305f\u3002<\/p>\n<p><span class=\"photoline\"><img decoding=\"async\" class=\"aligncenter size-full wp-image-12692\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-6.jpg\" alt=\"\" width=\"750\" height=\"583\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-6.jpg 750w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-6-300x233.jpg 300w\" sizes=\"(max-width: 750px) 100vw, 750px\" \/><\/span><\/p>\n<p>\u9b54\u6cd5\u306eeval\u3092\u5473\u65b9\u306b\u3064\u3051\u305f\u306e\u3067\u3001n\u306b\u306f2**7-1\u4ee5\u5916\u306e\u6570\u5f0f\u3082\u5165\u529b\u3067\u304d\u307e\u3059\u3002\u968e\u4e57\uff085!=1\u30fb2\u30fb3\u30fb4\u30fb5\uff09\u3092\u5165\u529b\u3067\u304d\u308b\u3088\u3046\u306b\u3057\u3066\u307f\u307e\u3059\u3002<\/p>\n<p>&gt;&gt;&gt;\u00a0 import math # math\u30e2\u30b8\u30e5\u30fc\u30eb\u3092\u30a4\u30f3\u30dd\u30fc\u30c8<\/p>\n<p>\u3092\u6700\u521d\u306b\u66f8\u3051\u3070OK\u3067\u3059\u3002math.factorial()\u3067\u968e\u4e57\u304c\u8a08\u7b97\u3067\u304d\u307e\u3059\u3002<\/p>\n<p>&gt;&gt;&gt;\u00a0 import math<br \/>\n&gt;&gt;&gt;\u00a0 factorial(5)<\/p>\n<p>120<\/p>\n<p>\u3067\u306f\u30017!-1\u3092\u5224\u5b9a\u3057\u3066\u307f\u307e\u3057\u3087\u3046\u3002\u300cmath.factorial(7)-1\u300d\u3068\u5165\u529b\u3057\u307e\u3059\u3002<\/p>\n<p>\u7d50\u679c\u306f\u7d20\u6570\u3067\u3057\u305f\u3002<\/p>\n<p><span class=\"photoline\"><img decoding=\"async\" class=\"aligncenter size-full wp-image-12693\" src=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-7.jpg\" alt=\"\" width=\"750\" height=\"583\" srcset=\"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-7.jpg 750w, https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-7-300x233.jpg 300w\" sizes=\"(max-width: 750px) 100vw, 750px\" \/><\/span><\/p>\n<p>\u3044\u304b\u304c\u3067\u3057\u305f\u3067\u3057\u3087\u3046\u304b\u3002\u4eca\u56de\u306f\u7d20\u6570\u5224\u5b9a\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u6539\u826f\u3057\u307e\u3057\u305f\u3002\u307f\u306a\u3055\u3093\u3082\u72ec\u81ea\u306e\u6539\u826f\u3092\u3057\u306a\u304c\u3089\u6570\u5b66\u3092\u5b66\u3093\u3067\u307f\u3066\u304f\u3060\u3055\u3044\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u7d04\u6570\u3092\u3059\u3079\u3066\u8868\u793a\u3059\u308b \u524d\u56de\u306e\u7d20\u6570\u5224\u5b9a\u30d7\u30ed\u30b0\u30e9\u30e0\uff08prime1\uff09\u306f\u300c\u7d20\u6570\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u300d\u300c\u7d20\u6570\u3067\u3059\u300d\u3060\u3051\u306e\u5224\u5b9a\u3092\u3059\u308b7\u884c\u306e\u30b3\u30fc\u30c9\u3067\u3057\u305f\u3002 \u4eca\u56de\u306f\u3053\u308c\u3092\u3082\u3068\u306b\u3044\u304f\u3064\u304b\u6539\u826f\u3057\u3066\u307f\u307e\u3059\u3002 \u30d7\u30ed\u30b0\u30e9\u30e0\uff1aprim &#8230; <\/p>\n","protected":false},"author":4,"featured_media":12690,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4,464,526],"tags":[65,380],"class_list":["post-12684","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-4","category-hito-star-mathmatics","category-526","tag-python","tag-380"],"jetpack_featured_media_url":"https:\/\/club.informatix.co.jp\/wp-content\/uploads\/2021\/01\/20210127-4.jpg","_links":{"self":[{"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/posts\/12684","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=12684"}],"version-history":[{"count":19,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/posts\/12684\/revisions"}],"predecessor-version":[{"id":20730,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/posts\/12684\/revisions\/20730"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=\/wp\/v2\/media\/12690"}],"wp:attachment":[{"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=12684"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=12684"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/club.informatix.co.jp\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=12684"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}