必要なものリスト
音響機器が不足していた
- マイクがあと一本くらい欲しかった
- Zoomの音声や会場の音声を一本にまとめて入出力できるものが欲しかった
# こんな質問をされた
# CbCを使う(もしくはCbC自体の)メリット，デメリットは？ metaを切り分けるとどんなことが良いのか
CbCのメリットはmeta処理と実処理を分けて考えることができること． metaでは証明やモデル検査を行うが，実処理と分かれていることによって証明や検査を 行う行わないを切り替えることができる．
デメリットは記述が難しいこと．全てをContextから参照するので…
# スッタクを積まないことの利点は？
スタックを積むとモデル検査の処理で数GBのメモリをくってしまうので， スタックを積まないようにコーディングする必要がある．
# ファイルシステムはやるが，x.v6自体の信頼性の検証はどうするのか
x.v6はCbCをGearsAgdaにトランスパイルすれば証明に入れることができる．
# 証明に関しての話が少なかったが，プロジェクトとして分かれているのか
証明は論文としては分かれてるけど，一緒のことと思った方が良いと考える．