理解者はコアスリーのみで
今回のその他の講演者はまだまだ理解できていない。
証明ができるかどうかの理解にもたどり着いていない。
これは前からわかっていたこと。
その理解をすすめていこうとしているのが今回のワークショップ。