18/12/30 21:43:57.07 XvYA62fB.net
>>3
計算機でだしていいなら
Prelude> let n = 12*7*5 in [(a,b) | a<-[0..n-1],b<-[0..n-1],mod (7*a + 5*b) 12 ==1,mod (12*a*b + 5*b) 7 == 5,mod (12*a*b+7*a) 5 == 1]
[(1,102),(2,103),(3,380),(4,381),(7,288),(8,25),(9,26),(11,52),(12,293),(14,211),(16,117),
(17,58),(18,395),(19,216),(21,302),(22,123),(23,40),(24,401),(26,307),(28,225),(29,46),
(31,72),(32,73),(33,230),(36,137),(37,138),(38,415),(39,416),(42,323),(43,60),(44,61),
(46,87),(47,328),(49,246),(51,152),(52,93),(53,10),(54,251),(56,337),(57,158),(58,75),
(59,16),(61,342),(63,260),(64,81),(66,107),(67,108),(68,265),(71,172),(72,173),(73,30),
(74,31),(77,358),(78,95),(79,96),(81,122),(82,363),(84,281),(86,187),(87,128),(88,45),
(89,286),(91,372),(92,193),(93,110),(94,51),(96,377),(98,295),(99,116),(101,142),
(102,143),(103,300),(106,207),(107,208),(108,65),(109,66),(112,393),(113,130),
(114,131),(116,157),(117,398),(119,316),(121,222),(122,163),(123,80),(124,321),
(126,407),(127,228),(128,145),(129,86),(131,412),(133,330),(134,151),(136,177),
(137,178),(138,335),(141,242),(142,243),(143,100),(144,101),(147,8),(148,165),
(149,166),(151,192),(152,13),(154,351),(156,257),(157,198),(158,115),(159,356),
(161,22),(162,263),(163,180),(164,121),(166,27),(168,365),(169,186),(171,212),
続く