Static vs. dynamic typing is pretty well always understood to mean compile time vs. run time  type checking, so you've got that one.

On the other hand, there's no widely accepted definition of strong vs. weak typing. So I'm pretty sure there's at least one definition for which you're right. Both C and Ruby fit definitions for both strong and weak typing, and there are probably definitions that have them swap places. Perl and Haskell may always be considered weakly and strongly typed (respectively), but I wouldn't bet on it.

    <mike