０７６萌ＳＮＳ
  • Login

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

pilinsin (pilinsin@social.076.moe)'s status on Saturday, 19-Aug-2023 18:17:44 JST

  1. pilinsin (pilinsin@social.076.moe)'s status on Saturday, 19-Aug-2023 18:17:44 JST pilinsin pilinsin
    数学の述語論理を用いた人工言語を考えることがよくある。述語論理の記号を使えば特定の自然言語に依存しないので良いと思ったが、万人に理解し辛いだけだった。
    In conversation about a year ago from web permalink

Feeds

  • Activity Streams
  • Atom
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

０７６萌ＳＮＳ is a social network, courtesy of ０７６. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All ０７６萌ＳＮＳ content and data are available under the Creative Commons Attribution 3.0 license.