ナイキが有名になってから、ストライキやインキの表記を馬鹿にする人が減ったが、
クリプキ・クリプケどっちが標準的なんだろう？