検索内容:
その補題は、可換四角形の中で各矢印を順に追う図式追跡による定型的な証明で示された。
監査の際、彼女はスキーマ全体の不整合を突き止めるために、いくつかの図式追跡の事例をまとめた。
学生たちは、長い完全列の各段階で完全性を確認するために図追跡を用いた。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★