型推論かたすいろんkatasuironnountype inferenceKanji in this word型mould推conjecture論argumentStudy it in Yanamino