論理的に100%同値ではないが、相互に置き換えてもいい命題を表すために、'' を使う。 a∈X a:1→X in Set A∈|C|, C A:☆→C in CAT f:A→B in C f::A⇒B:☆→C in CAT 左が集合論的、右が圏論的な発想だといってよい。圏論的な発想では、要素や対象がなくても話は進…

声の役割が重要。滑舌・発声に気をつける、練習する。演劇役者／声優的なスキル。 身振り手振りとか、フリップ（スケッチブックや小さなサイズのホワイトボードの利用）は意外に効果がない。 やはり共有ホワイトボードが欲しい。

https://news.livedoor.com/article/detail/18167498/ まとめると： 遅延や操作ミスなどの細かい違和感の積み重ね モード（e.g. 仕事／プライベート）を変えにくい アイコンタクトが取れない 複数人が並列配置される状況（現実には起こりえない） 新型コロナ…