This section contains unordered memos for my personal use. So the quality is not guaranteed. The content may be obsolete.