昨日の夜：父親：「今日はエイプリルフールだったんだな」次男：「今日の朝友達に電話して『サッカーの集合場所が変わった』って嘘言った」父親：「えー、それでどうなったの？」次男：「さー。グランドに行ってみたら誰もいないから、ダマされたとわかった…

「大域計算モデルと局所計算モデル」で、計算モデルを少なくとも二種類（それが、大域計算モデルと局所計算モデル）は使ったほうが良さそうだ、と書きました。大域計算モデルは圏論ベースのモデルで、局所計算モデルはその圏のなかの対象を台として構成され…