http://www2.informatik.hu-berlin.de/lics/lics07/でポーランドのWroclaw（ヴロツワフと読むらしい）という町?に来ています。実況は…POPL以上に内容がテクニカルなのでパス。すみません。最初の招待講演は、本人が証明したケプラー予想（球の最密充填）の、…