Non Classical Mathematics 2009 （三日目）

本日のトピックはTrさんの代数的意味論とその限界に関する講演。やっぱり面白い。