0963a4 ◆L1L.Ef50zuAv 垢版 | 大砲2018/11/10(土) 10:49:09.72ID:u2fgR3JY >>962 ありがとうございます。そうですね。Coqは名前しか聞いたことなくて、逆に使った ことないんですよ。暗号通信は需要があるみたいなので、実験しておきたかったん ですけど、まだ先になるかもしれません。ご縁があれば実験しましょう。