地域に開かれた高専を目指した取組み
スポンサーリンク
概要
- 論文の詳細を見る
Each individual student should consider himself/herself to be a member of the local community where the school islocated so that they can spend a safe, secure and fulfilling student life. Colleges of Technology also need to be a usefulexistence in and for the community. Sendai National College of Technology Hirose has been actively involved in thecommunal activities and has contributed to the community through such activities as the Student Council members'regular participation in the communal events and exchanges of opinions by local residents and the college staff. This paperintroduces some examples of approaches aiming at a college openhearted to the local community and considers thesignificance of promoting the interaction between the college and the local community.
- 独立行政法人国立高等専門学校機構の論文
- 2012-03-00
著者
-
高橋 薫
仙台高等専門学校
-
小松 京嗣
仙台高等専門学校
-
久保田 佳克
仙台高等専門学校広瀬キャンパス総合科学系
-
佐藤 公男
仙台高等専門学校情報ネットワーク工学科
-
關 成之
仙台高等専門学校知能エレクトロニクス工学科
-
佐藤 公男
仙台高等専門学校広瀬キャンパス情報ネットワーク工学科
関連論文
- ナノ粒子分散ポリマーの創製と熱光学効果制御(光部品・電子デバイス実装技術,一般)
- カーボンナノチューブを可飽和吸収体として用いた波長1.5μm帯フェムト秒ソリトンファイバレーザ(光・電子デバイス実装,デバイス技術,及び一般)
- C-4-1 カーボンナノチューブ含有ポリカーボネート可飽和吸収体の作製と波長1.5μm帯フェムト秒ファイバソリトンレーザへの応用(C-4. レーザ・量子エレクトロニクス,一般セッション)
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- オントロジを利用した健康支援システムの設計と実装
- F_010 オントロジに基づいた健康アドバイス導出システム(F分野:人工知能・ゲーム)
- F_009 健康アドバイス導出のための領域オントロジと推論ルール(F分野:人工知能・ゲーム)
- F_008 Bluetooth通信を用いた生体情報監視システムの構築(F分野:人工知能・ゲーム)
- 健康に関する領域オントロジと健康アドバイス導出ルールの構築(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する : 特に今回はセマンティックWEBの活用にフォーカスする)
- 状態遅延と入力遅延を導入したオートマトンによるディジタル論理とPLCの仕様化
- オントロジーに基づいた暗号学習用のe-Learningシステム(e-Learning教育システムの成果と目指すべきもの/一般)
- オートマトンモデルに基づいたディジタルロジックの仕様化と検証
- 状態マシンモデルに基づいたセキュリテイプロトコルの仕様化
- エージェントによるファイル交換システム
- エージェントによるアプリケーション共有
- 種々の手法によるディジタルロジックの仕様記述とそれらの比較
- 複数グループ間におけるスケジュール調整支援システムの開発
- オブジェクト指向を導入した状態マシン記述
- 三次元導波路型光接続デバイスの作製(ポリマー光回路,光機能性材料,一般)
- 電気光学ポリマーと光導波路デバイス
- 3次元光接続技術の展開(要素技術,光回路実装の現状と将来展望)
- 電気光学高分子材料の分極処理における保護膜の効果(ポリマー光回路,光機能性材料,一般)
- 新規イオン性有機非線形光学結晶の合成 : DAST誘導体の合成(ポリマー光回路,光機能性材料,一般)
- 接合型ポリマー光導波路とその簡易作製技術
- C-4-3 カーボンナノチューブを可飽和吸収体として用いたソリトンファイバレーザ(C-4.レーザ・量子エレクトロニクス,一般講演)
- ポリシアヌレート系耐熱性電気光学ポリマー光導波路(ポリマー光回路,光機能性材料,一般)
- 機能性ポリマー光回路作製プロセス
- 電子線描画による有機非線形光学結晶のパターン形成
- C-4-7 カーボンナノチューブをPMMA, PS中に含有した波長1.5μm帯可飽和吸収ポリマーの作製とフェムト秒レーザへの応用(C-4.レーザ・量子エレクトロニクス,一般講演)
- A State Machine with Time Constraint
- 契約ネットプロトコルの形式的仕様化と解析
- 状態マシンモデルに基づいた並行システムの複合的仕様化手法
- 命題論理に基づいた並行システムの制約付き仕様記述
- 場と有限状態機械の概念に基づいたモバイル並行システムの仕様化手法とその適用(マルチメディアコミュニケーションシステム)
- 有限状態モデルに基づくモバイルシステムの仕様化
- 移動性を考慮した有限状態モデルに基づく並行システムの仕様化
- 動的再構成システムの仕様化と検証
- Composition Method of Service and protocol Specifications
- 並行計算πFを用いたモバイルシステム管理
- 動的再構成システム仕様の挙動検証
- 地理的制約を考慮した並行計算
- 位相的観点に基づく段階的仕様記述
- 位相的観点からの仕様記述
- 時制論理に基づくプロトコルの LOTOS 仕様の合成
- LOTOSに基づいたプロトコルの論理検証支援システムの実現
- LOTOS仕様の分割支援システム
- 形式的手法によるWebアプリケーションのモデル化と検証
- オブジェクト指向を導入した状態マシン記述
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- 並行計算πFを用いたモバイルシステム管理
- 有限状態モデルに基づくモバイルシステムの仕様化
- 2Z-4 プライバシーを考慮した個人・組織情報検索システム(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- F-036 OWLによる個人・組織情報のモデル化とプライバシーの取扱い(人工知能・ゲーム,一般論文)
- カリックスアレーン光導波路の作製(光機能性有機材料・デバイス、光非線形現象,一般)
- カリックスアレーン光導波路の作製(光機能性有機材料・デバイス,光非線形現象,一般)
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
- カリックスアレーン重合体の屈折率制御(ポリマー光回路,光機能材料,一般)
- カリックスアレーン光導波路の作製
- 4-328 6高専共同による女子中高生を対象とした理系進路選択支援活動 : 女子中高生の理系に対するイメージを変える全国規模の活動((06)工学教育の個性化・活性化-V,口頭発表論文)
- 理系進路に対する女子中高生のイメージチェンジを図る取り組み
- D-3-5 NuSMVを用いたRBACモデルの検証(D-3.ソフトウェアサイエンス,一般セッション)
- 仙台高等専門学校の高度化再編(高専制度50周年特集シリーズ-高専制度の変遷と高度化への展望-)
- 自学型習熟度別プログラミング教育の実践
- タイ研修生受け入れ事業における日本語・日本文化ワークショップへの取り組み2
- 国際交流を中心とした海外研修旅行が学生にもたらす効果
- 地域に開かれた高専を目指した取組み
- B-016 ロールオントロジーに基づいた個人・組織情報への動的なアクセス制御(開発支援・プロジェクト管理,B分野:ソフトウェア)
- B-005 モデル検査ツールNuSMVを用いたオントロジー検証(テスト・検証,B分野:ソフトウェア)
- B-023 RBACモデルの形式検証(電子文書・ソフトウェア科学,B分野:ソフトウェア)
- ユーザコンテキストに基づいた個人・組織情報へのアクセス制御(経路・アクセス制御,応用,インターネットやイントラネットの信頼性,品質,計測,監視,セキュリティ,トラヒック理論及び一般)
- A-7-11 ユーザコンテキストに基づいた個人・組織情報へのアクセス制御(A-7.情報セキュリティ)
- D-3-2 RBACモデルの検証支援ツール(D-3, ソフトウェアサイエンス)
- 中学校理数系教員の指導力向上に向けた取り組み
- 高専における規律違反に対する停学処分のあり方についての一提案