Msato's lecture notes
www.hpcs.cs.tsukuba.ac.jp