編集にあたって(<特集>フォーマルメソッドの新潮流) 塚田 恭章 一般社団法人情報処理学会 情報処理 04478053 49 5 491 492 2008-05-15 2008-05-15 110006666230 AN00116625 JPN CJP CJPref NII-ELS 3 2 1 Foreword(<Special Features>New Trends in Formal Methods) TSUKADA Yasuyuki Information Processing Society of Japan (IPSJ) Journal of Information Processing Society of Japan 塚田 恭章 TSUKADA Yasuyuki 日本電信電話(株)NTTコミュニケーション科学基礎研究所 NTT Corp.