JAIST Repository: 抽象実行に基づく Java プログラムの発展的プロトタイピングに関する研究

全文

(1)JAIST Repository https://dspace.jaist.ac.jp/. Title. 抽象実行に基づく Java プログラムの発展的プロトタイピングに関する研究. Author(s). 尾崎, 弘幸. Citation Issue Date. 2004-03. Type. Thesis or Dissertation. Text version. author. URL. http://hdl.handle.net/10119/949. Rights Description. Supervisor:片山卓也, 情報科学研究科, 博士. Japan Advanced Institute of Science and Technology.

(2) . . . . . . . . . 6. 8. V. 9. 3. :. ;. 5. =. W. >. O. ?. P. . a. b. -. %. 3. '. j. . (. . 8. l. W. F. !. X. Z. ?. M. . . (. ). @. [. 6. O. `. o. !. !. F. 1 L. %. Q. 0. 1. R. 2. %. 1. . 3. 5. !. -. U. `. 0. '. . . . . M. h J. W. -. P. %. C. 8. +. M. _. . *. M. M. D. Z. '. ^. B ?. n. %. L. \. @. F ^. J. [. . ^. $. 8. F. >. ". H. J. 9. . . C. . k. . 9. 6. . @. 5. 9. W. . D. ?. M. 2. . B. @. 9. . . p. q. \. . L. . . . . F r. \. t. u. s. i. J. \. L. v. . . . x. y. z. {. ". |. }. %. 1. 3. 5. q. ~. . . ". . . 9. . . . \. 9. i. a. b. W. . x \. \. W. y. . 1. L. a. b. F. . . ~ \. " \. L. . . . . . . . a. @. ^. J. . M. . . ". 6. . . L. . b. F. . . . . . . . . 8. F. . . . F. (. . . . . . . `. O. P. F. J. Q. R. . \. 8. ~. @. !. F. (. J. X. . ". x. y. . -. @. J. \. W. . . . . O. P. -. ^. . '. (. M. X. F. (. (. 9. J. \. X. . ". . . . . . L. F. x. y. . . @. . . . . F. (. X. M. . . J. \. . x. . y. . (. F. x. y. (. X. -. . . . L. X. (. ". . . . . . . . 9. ~. @. . . F. . . ". . . -. 9. \. `. . . W. . ^. \. L. . j. k. l. W. . . ~. . . q. 9. 9. . F. . =. . . . k. . \. L. . ". ¡. ¢. £. ¤. W. ~. . . . 9. i. ¥. ¦. § F. ¨. ©. . ª. ". " . " ². . q . . . . J. . \. ¶. L. . ^. ·. ³. ´ =. . x. y. (. X. . . . ". |. }. %. '. . ¥ %. x. . y. ®. (. 9. X. ³. ¦ F. y. °. ±. ¯. ´. L. µ. ¶. ·. (. 9. x. L. «. 9. ~. @. . n. . =. µ \. . . . ). F. 9. (. X. F. (. -. ¹. J. \. . º. ». D ". ^. . `. ½. %. C. L. =. . =. . . x. y. (. X. W. . . v. ¶. . . 8. . . y. . . F. . . -. W J. q. x. y. (. X. F. \. 6. '. k. 0. 1. . . =. l. W. . . . . . . . . x.

(3). 9. . . ¾ F. . ¿ !. L. # . . . . . @. \. %. L. %. M. -. @. j \. D B. . . 8. (. =. ?. . . M. r. @. F À r. %. %. '. . . . . À. . XML . . . F. . . q. ". h. '. -. @. J. \. `. *. +. W. \. ". . W. o. W \. . (. ). q. ". . . . . F. a. b. 9. J. L. j. ~. -. `. ^. o. ^. ,. \. r. s. . . . 9. 9. /. F. 0. 2. -. .. J. \. W. ^ 9. fragile base class problem 3. o. %. 4. O. D B. =. =. 5. 6 F. (. W. o. -. @. \. F. 7. D B. ^. J. L. 5. 6 . . . . . . @. @. . . Á. 9. -. r. À 9. :. =. \. . . . ©. . 9. W. . . <. \. L. M. 6. M. fragile base class problem -. '. =. q. M. 8. . B. M. D. n. \. 5. ?. `. 6. @. F. =. A. J. j \. (. @. . B. \. C. ~. k. l. W. . . . C. ~. . . ". . . . -. . C. D. E. ". . D B. L. \. 5. @. J. \. W. D. E. F. `. ^. 3. o. % =. J. fragile base class problem. ^. F. 6. ¾. . §. 9. . I. C. L. 7 J. L. G. H. F.

(4)