It comes from martial arts. I don't know which martial art specifically, but the word seems Japanese.
As referenced in in the story there are often a number of different types to choose from depending on what you are trying to achieve (relaxation, a specific move/technique, different fight situations). They also generally get harder and more refined as you go up belts/levels.
Never heard of it before in the coding world though, might take it up, definitely looks useful!