仕事で調べたついでに。 はじめて知ったが、5月31日は、世界保健機関（WHO）が制定した「世界禁煙デー」らしい。僕はタバコを吸わないのだが、別に嫌煙家でもない。だから別に世界規模で「禁煙しようぜ」などと言われても、特に興味はない。やめたい人はやめ…