18/11/10 10:49:09.72 u2fgR3JY.net
>>962
ありがとうございます。そうですね。Coqは名前しか聞いたことなくて、逆に使った
ことないんですよ。暗号通信は需要があるみたいなので、実験しておきたかったん
ですけど、まだ先になるかもしれません。ご縁があれば実験しましょう。
18/11/10 10:49:09.72 u2fgR3JY.net
>>962
ありがとうございます。そうですね。Coqは名前しか聞いたことなくて、逆に使った
ことないんですよ。暗号通信は需要があるみたいなので、実験しておきたかったん
ですけど、まだ先になるかもしれません。ご縁があれば実験しましょう。