タグ

ologに関するmasterqのブックマーク (1)

  • Olog - Wikipedia

    For the traditional female communal dormitories of the Bontoc people of the Philippines, see Dap-ay. The theory of ologs is an attempt to provide a rigorous mathematical framework for knowledge representation, construction of scientific models and data storage using category theory, linguistic and graphical tools. Ologs were introduced in 2012 by David Spivak and Robert Kent.[1] Etymology[edit] Th

    Olog - Wikipedia
    masterq
    masterq 2022/01/21
    自然言語を使って圏論の図式を描く話なんだろうか。UMLで抽象的なモデリングをしている人材に意見を聞いてみたい。
  • 1