Tanabe Yoshinori / 田辺良則連絡先 氏名: 田辺良則 (たなべよしのり) 所属: 国立情報学研究所 アーキテクチャ科学研究系 GRACEセンター トップエスイープロジェクト mail: y-tanabe (atmark) nii (dot) ac (dot) jp 公開鍵: こちら 仕事 吉岡信和，田辺良則，田原康之，長谷川哲夫，磯部祥尚: モデル検査による設計検証． コンピュータ・ソフトウェア．(採録決定) 逸見港，田辺良則，今井宜洋，萩谷昌己: 検証済みのコードによるCoqからScalaへのコード抽出． 第31回ソフトウェア科学会大会．(2014年9月10日) 坂本一憲, 田辺良則: ハッカソン形式の実践的IT教育の実施報告． 第31回ソフトウェア科学会大会．(2014年9月8日) 島田工，前澤悠太，鄭顕志，田辺良則，本位田真一: Scalaの並行プログラム検査における状態空間探索手法． 第9回ソフトウェアエンジ
