POPLは数学かサイエンスか_第19回POPLプログラム委員長報告 - 共立出版コンピュータサイエンス誌『bit』