以前、重要性を感じつつ、疎外感にさいなまされたディクロニウス圏の道具立てが見えてきた。 なんとなく、(有名な)詰将棋の趣アリ。さしずめ図式が盤面、条件は持ち駒ってとこかな。 こういう証明の仕方を図式追跡というそうですね。 数学は、もはやこうで…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。