数理論理学

Gendai Shiso July 2020 Special Feature: The World of Sphere Theory — The Forefront of Modern Mathematics Reading Memo

Application of abstraction using sphere theory, an important theory in modern mathematics, to areas such as physics, computer science, biology, linguistics, and aesthetics.

2021.12.18

数理論理学

Structures, Algorithms, and Functions

The meaning of words from the perspective of algebraic structures, formal logic and mathematical logic

2021.04.28

アルゴリズム:Algorithms数理論理学:Mathematical logic機械学習:Machine Learning自然言語処理:Natural Language Processing

Formal Languages and Mathematical Logics

Overview of formal linguistics and semantics as a basis for programming languages and natural language processing

2021.03.18

数理論理学:Mathematical logic