述語論理に限定継続を追加して、everybodyやsomebodyを表す項を作ってみる。以下、 はそれぞれ shift0, reset0 とする。同時に複数使うと、引数を右から評価するか左から評価するかで継続が異なるため、結果が一意にならず、英語の表現と同様に曖昧になる。…