WEKO3
アイテム
形式手法通論カリキュラム：立案と実施の経験
https://ipsj.ixsq.nii.ac.jp/records/182263
https://ipsj.ixsq.nii.ac.jp/records/1822637374d92d-c535-4ed0-879c-9f8e7d80b1df
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-EMB17045001.pdf (1.1 MB)
|
Copyright (c) 2017 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-06-23 | |||||||
| タイトル | ||||||||
| タイトル | 形式手法通論カリキュラム：立案と実施の経験 | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 国立情報学研究所／総合研究大学院大学 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| NII / SOKENDAI | ||||||||
| 著者名 |
中島, 震
× 中島, 震
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 大学院修士課程相当向け形式手法コースのカリキュラム立案と講義実施経験を報告する．形式手法の全体像として何を学ぶべきかは標準的な内容が整理されていない．そこで，試行錯誤で教材を開発した．一方，2009 年に最初の講義を行って以来，形式手法を取り巻く環境も大きく変化している．研究者との議論や受講生の意見を参考に，本コースのカリキュラムを改訂してきた．特徴的な教材の紹介を含めてコースの概要を紹介し，同様なカリキュラム立案の参考とすべく，当初の内容から最新版 （2016 年） への変更点と理由を説明する． | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA12149313 | |||||||
| 書誌情報 |
研究報告組込みシステム（EMB） 巻 2017-EMB-45, 号 1, p. 1-8, 発行日 2017-06-23 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 2188-868X | |||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
