Skip to content
View Lisanju's full-sized avatar
🐝
🐝

Highlights

  • Pro
Block or Report

Block or report Lisanju

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Lisanju/README.md
Português Brasileiro 日本語

Welcome to my profile 🐝

Hello! I'm Elisa Anju Lardapide, a brazilian-gypsy and BSc Linguistics student. =)

I'm interested mainly in the formal semantics of natural languages and natural language processing (NLP). My projects concerns theoretical linguistics, formal logic and NLP-oriented data.

lisanju.contato@gmail.com

If you want to contact me, send me an email =u=

Formal Semantics

After all, what is formal semantics?

Formal semantics is a field of theoretical linguistics which provides mathematical formalizations for the meaning of natural language expressions. I like studying topics related to (anti-)comitativity (such as comitative modifiers, like 'alone' and 'sozinho') and expressive meanings (such as honorifics and slurs, like 'いらっしゃる' and 'pra caralho').

The theory of formal semantics can be implemented computationally, which means that the theory can also be expressed as running code rather than just mathematical formalizations.

Natural Language Processing

Regarding NLP, I'm studying the (semi-)automatic production of linguistics resources like mono-bi-tri-lingual dictionaries and concept-based glossaries / WordNet databases.

Pinned

  1. geoki-jiten geoki-jiten Public

    Dicionário bilíngue do português brasileiro para o okinawano implementado em um sistema de busca com informações de entonação, verbete e classe gramatical

    JavaScript 1 1

  2. CS-Intro CS-Intro Public

    Repositório para o estudo introdutório de tópicos em Ciência da Computação.

    Python

  3. romani-lav romani-lav Public

    Léxico cigano da variedade linguística romani calón implementado em um sistema de busca com informações de classe gramatical, categoria morfossintática e contraparte em português brasileiro

    CSS

  4. Montague-Test Montague-Test Public

    Forked from zwanzigerc/Montague-Test

    Formalização semântica de sentenças pelo Teste de Montague implementada em Agda

    Agda 1

  5. Lambda-Integrated-System Lambda-Integrated-System Public

    Destinado à semanticistas e filósofos da linguagem, o Lambda Integrated System (LIS) é um programa que automatiza o cálculo semântico de sentenças de linguagem natural

    2

  6. semantic-system semantic-system Public

    Framework semântico em Haskell que computa rendimentos, condições de verdade, infere tipos e simplifica termos, além de simular Context-Free Grammars (CFG)

    Haskell