論理生命学の学生（林君，中村君）が優勝しました．おめでとう！ http://mill.ucsd.edu/index.php?page=Main このコンテストは，2004年から開催されており，今年で6回目．今年は，134大学，31国が参加したそうです．優勝したのは，Task 1で総勢201チームが参…