For easy performance of Lorentz microscopy with simultaneous electric measurements, a special specimen holder for transmission electron microscopy (TEM) has been developed that has electromagnets to generate magnetic field and four leads for electric measurements. This TEM holder was evaluated by checking experimental results of permalloy (Ni 0.8 Fe 0.2 ) patterns. Clear observations of domain wall injection into a nanowire and movement of magnetic vortices as well as magnetoresitance during the development of magnetic domains were performed. It appeared possible to apply in-plane magnetic fields along any direction with intensities of less than about 15.9 kA/m (200 Oe).

We have implemented an optimization that specializes type-generic array accesses after inlining of polymorphic functions in the native-code OCaml compiler. Polymorphic array operations (read and write) in OCaml require runtime type dispatch because of ad hoc memory representations of integer and float arrays. It cannot be removed even after being monomorphized by inlining because the intermediate language is mostly untyped. We therefore extended it with explicit type application like System F (while keeping implicit type abstraction by means of unique identifiers for type variables). Our optimization has achieved up to 21% speed-up of numerical programs.