#WWDC2013 の keynoteで使われてたこのフォントなんだろー？