クリプキ クワス算 ローレンツ変換 そして『転校生とブラックジャック』