自学型習熟度別プログラミング教育の実践
スポンサーリンク
概要
- 論文の詳細を見る
In the class of Programming for the third-year students of the Department of Information and Communication Engineering, Sendai National College of Technology, we used to give lessons according to a common and ordinary education style in which lecture and practice are repeated. However, in 2002, we changed the education style into a different one in which the education based on self-learning, degree of skill and explanation for self-understanding is targeted. By the enforcement of this style, the students seem to have shown a great improvement in their motivation of programming. This paper presents the characteristics of this education style and the results of the questionnaire to the students.
- 2013-03-00
著者
-
高橋 薫
仙台高等専門学校
-
菅原 浩弥
仙台高等専門学校
-
速水 健一
仙台高等専門学校専攻科情報電子システム工学専攻
-
笈口 誠志
仙台高等専門学校教育研究技術支援室
-
菅原 浩弥
仙台高等専門学校教育研究技術支援室
関連論文
- 仙台電波高専教育用電算機システムの概要とその利用--11号棟(創造教育棟)コンピュータ演習室について
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- オントロジを利用した健康支援システムの設計と実装
- F_010 オントロジに基づいた健康アドバイス導出システム(F分野:人工知能・ゲーム)
- F_009 健康アドバイス導出のための領域オントロジと推論ルール(F分野:人工知能・ゲーム)
- F_008 Bluetooth通信を用いた生体情報監視システムの構築(F分野:人工知能・ゲーム)
- 健康に関する領域オントロジと健康アドバイス導出ルールの構築(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する : 特に今回はセマンティックWEBの活用にフォーカスする)
- 状態遅延と入力遅延を導入したオートマトンによるディジタル論理とPLCの仕様化
- オントロジーに基づいた暗号学習用のe-Learningシステム(e-Learning教育システムの成果と目指すべきもの/一般)
- オートマトンモデルに基づいたディジタルロジックの仕様化と検証
- 状態マシンモデルに基づいたセキュリテイプロトコルの仕様化
- エージェントによるファイル交換システム
- エージェントによるアプリケーション共有
- 種々の手法によるディジタルロジックの仕様記述とそれらの比較
- 複数グループ間におけるスケジュール調整支援システムの開発
- オブジェクト指向を導入した状態マシン記述
- A State Machine with Time Constraint
- 契約ネットプロトコルの形式的仕様化と解析
- 状態マシンモデルに基づいた並行システムの複合的仕様化手法
- 命題論理に基づいた並行システムの制約付き仕様記述
- 場と有限状態機械の概念に基づいたモバイル並行システムの仕様化手法とその適用(マルチメディアコミュニケーションシステム)
- 有限状態モデルに基づくモバイルシステムの仕様化
- 移動性を考慮した有限状態モデルに基づく並行システムの仕様化
- 動的再構成システムの仕様化と検証
- Composition Method of Service and protocol Specifications
- 並行計算πFを用いたモバイルシステム管理
- 動的再構成システム仕様の挙動検証
- 地理的制約を考慮した並行計算
- 位相的観点に基づく段階的仕様記述
- 位相的観点からの仕様記述
- 時制論理に基づくプロトコルの LOTOS 仕様の合成
- LOTOSに基づいたプロトコルの論理検証支援システムの実現
- LOTOS仕様の分割支援システム
- 形式的手法によるWebアプリケーションのモデル化と検証
- オブジェクト指向を導入した状態マシン記述
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- 3-108 組込みシステム技術者育成のための教育システムの開発と研修プログラムの実践(口頭発表論文,(11)ものつくり教育-III)
- みやぎカーインテリジェント人材育成センターでの組込みシステム設計技術者教育
- 並行計算πFを用いたモバイルシステム管理
- 有限状態モデルに基づくモバイルシステムの仕様化
- 2Z-4 プライバシーを考慮した個人・組織情報検索システム(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- F-036 OWLによる個人・組織情報のモデル化とプライバシーの取扱い(人工知能・ゲーム,一般論文)
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
- 組込み系ディジタルシステム設計技術修得プログラムにおける技術者育成について
- K-056 実践的eラーニングシステムを活用した組込みシステム設計教育(教育工学・福祉工学・マルチメディア応用,一般論文)
- 第1学年物理実験指導の評価-平成13年度アンケート調査より-
- 組込みシステム技術者育成のための教育システムの開発と研修プログラムの実践
- D-3-5 NuSMVを用いたRBACモデルの検証(D-3.ソフトウェアサイエンス,一般セッション)
- 自学型習熟度別プログラミング教育の実践
- 国際交流を中心とした海外研修旅行が学生にもたらす効果
- 地域に開かれた高専を目指した取組み
- B-016 ロールオントロジーに基づいた個人・組織情報への動的なアクセス制御(開発支援・プロジェクト管理,B分野:ソフトウェア)
- B-005 モデル検査ツールNuSMVを用いたオントロジー検証(テスト・検証,B分野:ソフトウェア)
- B-023 RBACモデルの形式検証(電子文書・ソフトウェア科学,B分野:ソフトウェア)
- ユーザコンテキストに基づいた個人・組織情報へのアクセス制御(経路・アクセス制御,応用,インターネットやイントラネットの信頼性,品質,計測,監視,セキュリティ,トラヒック理論及び一般)
- A-7-11 ユーザコンテキストに基づいた個人・組織情報へのアクセス制御(A-7.情報セキュリティ)
- D-3-2 RBACモデルの検証支援ツール(D-3, ソフトウェアサイエンス)