https://ja.wikipedia.org/wiki/MERGE_%28SQL%29 http://www.shift-the-oracle.com/sql/merge.html これを利用すると、指定した条件に応じて挿入(INSERT)、更新(UPDATE)を実行するSQL文。俗にいうupsertが実現できる。 結果的にupsertが実現できるとは言え、…

ある人が他の人に、自分の持っている数学的な命題が真であることを伝えるのに、真であること以外の何の知識も伝えることなく、それを証明できるようなやりとりの手法。 例えば、個人情報を用いてユーザ認証を行う場合を考える。このとき以下の性質を満たして…