型かた理り論ろん
Meanings
Noun
Math
Computing
1. type theory
Kanji used
model
logic
argument
Composed of
type; style; mold; mould; kata (set sequence of positions and movements in martial arts); style (in kabuki, noh, etc.); convention