Ernst Specker

FortnowとGaraschのブログより．Ernst Speckerが亡くなったというニュース．御冥福をお祈りします．

私がチューリヒにいた頃，既にSpeckerは退職していたけど，セミナーやコロキウムにはたまに出てきたりしていた．杖をつきながらではあったが，歩くことには全く問題はなく，元気そうだったことを鮮明に覚えている．私になじみのあるSpeckerの結果はpartial satisfactionに関するLieberherrとSpeckerの論文である．MAX SATの近似アルゴリズムを語るときによく出てくる論文で，その話題のはしりとなったものといってもいいかもしれない．