米国テキサス・インスツルメンツ社の通称．