@article{weko_15117_1, author = "福井,眞吾", title = "バーチャルタイムアルゴリズムの改良", journal = "情報処理学会論文誌", year = "1989", volume = "30", number = "12", pages = "1547--1554", month = "dec" }