気付いた

モデリングの一般論と注意点

注意点がいっぱいあるなー。順不同に: 現象、観察、モデル、検証 をちゃんと区別する。 説明変数と被説明変数という言い方は良いと思う。原因結果であるかどうかは分からないから。 「モデル」において、モデル族(モデルインスタンスの集合)とモデルイン…

決定性オートマトンの圏と非決定性オートマトンの圏はキレン同値

ってことだと思う。 ダニエル・キレン Quillen equivalence in nLab 次のビデオだと、Quillenは「クーレン」に聞こえる。 https://www.youtube.com/watch?v=52HujNvYbAY