• CbCにたどり着くまでの道のり

# 調べること

• 赤黒木ってなんだっけ
  • アルゴリズムとデータ構造にあった気が
• モデル検査
  • モデルとは
  • first order logic
  • あらゆる変数の可能な値を調べていく
  • あらゆる可能な実行を調べていく
  • agdaの場合は証明があるかどうか?
  • Java Pathfinderがあやふや
  • プログラミングの中でモデル検査や定理証明ができたら良いなぁという感じらしい．

# メモ

webpageとmercurialをfireflyからdalmoreに移行する droneとcircleci amaneとdalmoreにCbCをビルドできるsingularityがあるよ(mk)

• singularity shell /ie-ryukyu/singularity/cbc_gcc/cbc_gcc.sif ついにmacでもsingularityが！（beta版, まだbuildはできない shellやrunだけ）
• https://sylabs.io/singularity-desktop-macos/ なんかvimrcエラー吐くからから直す