initial-value initial-value theorem theorems initial-value initialization data 初期値定理 diskette initialize