型推論と型検査は同じ技術なのか?