.*5ਂֶशೖΛຊޠͰղઆʢΠϯτϩʣ IUUQTXXXZPVUVCFDPNXBUDI WOLH&6;L6MJTU1-[T)V@$[#X.3TUP@EECM':R*@ w /FVSBM/FUXPSL$POTPMF IUUQTXXXZPVUVCFDPNDIBOOFM6$357Q+T97:5E:Q5+&$3" w ࣄͰ͡ΊΔػցֶशୈ൛ΦϥΠϦʔδϟύϯʢIUUQTBN[OUPSWZ)2Pʣ w $PVSTFSB IUUQTXXXDPVSTFSBPSHTQFDJBMJ[BUJPOTEFFQMFBSOJOH BCPVU
7BSJBUJPOBM%J ff VTJPO.PEFMT w 1POEFS/FU-FBSOJOHUP1POEFS w 3FUIJOLJOH1PTJUJPOBM&ODPEJOH w "3FJOGPSDFNFOU-FBSOJOH&OWJSPONFOUGPS.BUIFNBUJDBM3FBTPOJOHWJB1SPHSBN4ZOUIFTJT w %FQUITVQFSWJTFE/F3''FXFS7JFXTBOE'BTUFS5SBJOJOHGPS'SFF w 'PDBM4FMGBUUFOUJPOGPS-PDBM(MPCBM*OUFSBDUJPOTJO7JTJPO5SBOTGPSNFST
5IF.PEFSO.BUIFNBUJDTPG%FFQ-FBSOJOH w $-*1%SBX&YQMPSJOH5FYUUP%SBXJOH4ZOUIFTJTUISPVHI-BOHVBHF*NBHF&ODPEFST w 5IF#FODINBSL-PUUFSZ w 3FWJTJUJOHUIF1SJNBDZPG&OHMJTIJO;FSPTIPU$SPTTMJOHVBM5SBOTGFS w 3FBM5JNF4VQFS3FTPMVUJPO4ZTUFNPG,7JEFP#BTFEPO%FFQ-FBSOJOH w &WJM.PEFM)JEJOH.BMXBSF*OTJEFPG/FVSBM/FUXPSL.PEFMT w "4VSWFZPO%BUB"VHNFOUBUJPOGPS5FYU$MBTTJ fi DBUJPO
number of sample s :param c: number of correct sample s :param k: k in pass@$k $ "" " if n - c < k: return 1.0 return 1.0 - np.prod(1.0 - k / np.arange(n - c + 1, n + 1) ) ୯७Խ
BQQFOEUPFNQUZMJTUGBDUPS EJ ff FSFOUJBUFNPE HDE EJWJEFT JTQSJNFMDN MDE QSJNFGBDUPST FWBMVBUFGVODUJPOOPUPQ 5ZQF)JFSBSDIZ ʢྫɿ Y Zʣ ʢྫɿ Y ʣ ྫɿG Y Y ʣ ʢྫɿʣ ʢྫɿYʣ ʢྫɿʣ
Δάϧʔϓʹ͚ɺͲͷख๏͕ඇৗʹ༗Ͱ͋Δ͔Λࣔ͢࠷ઌͷจݙΛఏڙ͍ͯ͠·͢ʢ$ʣɻ࠷ޙʹɼকདྷͷݚڀͷͨΊͷϏϧσΟ ϯάϒϩοΫΛߏ͢ΔՄೳੑͷ͋ΔݚڀͷలΛࣔ͠·͢ʢ$ʣɻ w ݩͷσʔλྔ͕ेʹେ͖͍ඞཁ͕͋Δ w ݩσʔλʹແ͍ྨͰ͖ͳ͍ w ݴޠϞσϧʹόΠΞεؚ͕·Ε͍ͯΔ͜ͱ͕͋Δ w ͕͔͔࣌ؒΔ