---
title: "型理論（かたりろん）のリトアニア語の意味：tipų teorija | Kotoba.lt"
canonical_url: "https://ja.kotoba.lt/jp/2868820/型理論"
cover: "https://ja.kotoba.lt/og/jp/2868820.png?v=52748b44"
source: "Kotoba, Japanese–Lithuanian dictionary (kotoba.lt)"
---

# 型理論（かたりろん、katariron）

名詞

## 意味

- *名詞 · 数学 · コンピュータ*: tipų teorija

## 漢字

- 型 – forma (liejimo), tipas, modelis, pavyzdys · 音: ケイ · 訓: かた、-がた · 9 画 · JLPT N2 · 小学5年
- 理 – logika, tvarka, priežastis, teisingumas · 音: リ · 訓: ことわり · 11 画 · JLPT N4 · 小学2年
- 論 – argumentas, samprotavimas · 音: ロン · 訓: あげつら.う · 15 画 · JLPT N2 · 小学6年

---
Source: Kotoba, Japanese–Lithuanian dictionary — https://ja.kotoba.lt/jp/2868820/型理論
Cite as: [型理論（かたりろん）のリトアニア語の意味：tipų teorija | Kotoba.lt](https://ja.kotoba.lt/jp/2868820/型理論)