490. Month Name

ひさびさのgolf。とりあえずまとも(?)に解く。153byte。


Python部門トップが意味不明なんですが?

while 1:
 m=input()
 if m<13:print m,['January','February','March','April','May','June','July','August','September','October','November','December'][m-1]


[追記]:
そういやtime.strftimeがあった。80byte。

import time
while 1:
 m=input()
 if m<13:print m,time.strftime('%B',[1,m]+[1]*7)


[追記その2]:
もうちょっと縮んだ。77byte。

import time
input()
while 1:m=input();print m,time.strftime('%B',[1,m]+[1]*7)


[追記その3]:
75byte。

import time
input()
while 1:m=input();print m,time.strftime('%B',[m]*8+[1])