■

一応、終了。英文チェックに時間かかるというより、４０本以上の独立の論理構造をジャッジするのが疲れるんだな。英語とか関係なく。
パシパシつくった判定文（英語）の方に、スペルチェックかけてセンド。アベレージでいえば、英国以外の欧州とアジアは低調、米国は相変わらず。日本は（よい意味で）2流の仕事が多いな。優秀な個人は大陸によらず偏在してるが、理論系の進歩は見かけ上鈍ってるな気がするけど。