理系SFはどういう処理になる?