В честь какого лауреата Пу́литцеровской премии названа машина, известная в Японии как «Переключатель Пифаго́ра»?