プログラム ナンバー |
情-1-3 |
---|---|
報告年度 | 2022年度 |
部会 | 情報工学部会 |
題目 | 演習課題提出システムへのモデル検査の組み込みによる機能拡張に向けて |
著者名 | 南條匠、関澤俊弦 |
キーワード | なんじょうたくみ、せきざわとしふさ、Cプログラム評価、モデル検査 |
講演要旨 | PDF![]() |
プログラム ナンバー |
情-1-3 |
---|---|
報告年度 | 2022年度 |
部会 | 情報工学部会 |
題目 | 演習課題提出システムへのモデル検査の組み込みによる機能拡張に向けて |
著者名 | 南條匠、関澤俊弦 |
キーワード | なんじょうたくみ、せきざわとしふさ、Cプログラム評価、モデル検査 |
講演要旨 | PDF![]() |