数学
集合
クラス，タイプ，カテゴリ
階型理論
ZDD
還元と創発
線形代数
外積の計算手順を覚えるための一般化