データタイプ理論データタイプりろんdeetataipurironnoundata type theoryKanji in this word理logic論argumentStudy it in Yanamino