ailev.livejournal.com/1486211.html

Preview meta tags from the ailev.livejournal.com website.

Linked Hostnames

27

Thumbnail

Search Engine Appearance

Google

https://ailev.livejournal.com/1486211.html

Foundational ontologies -- типы в языках программирования против БД (1/2)

Когда мы работали с ISO 15926, то вместо триплов одним из вариантов формализма рассматривалась теория категорий — вот, например, я писал об ISO15926L как языке программирования с логическими/категорными вычислениями, и там же идея avlasov рассматривать ISO15926 как язык описания типов в языках…



Bing

Foundational ontologies -- типы в языках программирования против БД (1/2)

https://ailev.livejournal.com/1486211.html

Когда мы работали с ISO 15926, то вместо триплов одним из вариантов формализма рассматривалась теория категорий — вот, например, я писал об ISO15926L как языке программирования с логическими/категорными вычислениями, и там же идея avlasov рассматривать ISO15926 как язык описания типов в языках…



DuckDuckGo

https://ailev.livejournal.com/1486211.html

Foundational ontologies -- типы в языках программирования против БД (1/2)

Когда мы работали с ISO 15926, то вместо триплов одним из вариантов формализма рассматривалась теория категорий — вот, например, я писал об ISO15926L как языке программирования с логическими/категорными вычислениями, и там же идея avlasov рассматривать ISO15926 как язык описания типов в языках…

  • General Meta Tags

    21
    • title
      Foundational ontologies -- типы в языках программирования против БД (1/2): ailev — LiveJournal
    • charset
      utf-8
    • viewport
      width=device-width,minimum-scale=1,initial-scale=1
    • X-UA-Compatible
      IE=edge
    • theme-color
      #004359

  • Open Graph Meta Tags

    5
    • og:description
      Когда мы работали с ISO 15926, то вместо триплов одним из вариантов формализма рассматривалась теория категорий — вот, например, я писал об ISO15926L как языке программирования с логическими/категорными вычислениями, и там же идея avlasov рассматривать ISO15926 как язык описания типов в языках…
    • og:image
      https://l-stat.livejournal.net/img/sign.png
    • og:title
      Foundational ontologies -- типы в языках программирования против БД (1/2)
    • og:type
      article
    • og:url
      https://ailev.livejournal.com/1486211.html

  • Link Tags

    14
    • apple-touch-icon
      https://l-stat.livejournal.net/img/apple-touch-icon.png?v=17026
    • canonical
      https://ailev.livejournal.com/1486211.html
    • contents
      https://www.livejournal.com/site/
    • help
      https://www.livejournal.com/support/
    • home
      https://www.livejournal.com/

Links

78