高橋 薫 | 仙台高等専門学校
スポンサーリンク
概要
関連著者
-
高橋 薫
仙台高等専門学校
-
高橋 薫
仙台電波工業高等専門学校
-
加藤 靖
仙台電波工業高等専門学校
-
加藤 靖
仙台電波工業高等専門学校情報工学科
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
高橋 薫
東北大
-
和泉 諭
東北大学電気通信研究所
-
和泉 諭
東北大学電気通信研究所:東北大学大学院情報科学研究科
-
板橋 吾一
(株)サイエンティア
-
富樫 敦
宮城大学事業構想学部
-
板橋 吾一
株式会社サイエンティア
-
富樫 敦
宮城大学大学院事業構想学研究科
-
富樫 敦
宮城大学大学院事業構想学部デザイン情報学科
-
本間 圭
宮城大学大学院事業構想学研究科
-
小林 秀幸
仙台高等専門学校
-
白鳥 則郎
東北大学電気通信研究所 情報科学研究科
-
白鳥 則郎
東北大学電気通信研究所
-
和泉 諭
仙台電波工業高等専門学校
-
安藤 敏彦
仙台電波高専
-
加藤 靖
仙台電波高専
-
安藤 敏彦
仙台電波工業高等専門学校
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
安藤 敏彦
仙台電波工高専
-
和泉 諭
東北大学電気通信研究所:情報科学研究科
-
小林 秀幸
静岡大学創造科学技術大学院
-
阿部 雄貴
仙台高等専門学校
-
板橋 吾一
東北大学大学院情報科学研究科
-
栗山 大
仙台電波工業高等専門学校
-
板橋 吾一
仙台電波工業高等専門学校
-
高橋 薫
仙台電波高専
-
鈴木 大輝
仙台高等専門学校
-
岡本 圭史
仙台高等専門学校
-
山中 一宏
仙台電波工業高等専門学校
-
押野 敬之
仙台電波工業高等専門学校情報システム工学専攻1年
-
高橋 薫
東北大学電気通信研究所
-
佐藤 晋也
仙台高等専門学校
-
伊藤 仁
仙台高等専門学校
-
菅沼 拓夫
東北大学電気通信研究所情報科学研究科
-
三浦 祐太朗
仙台電波工業高等専門学校
-
松浦 隼人
株式会社デジタルテクノロジー
-
小松 京嗣
仙台高等専門学校
-
加納 稔久
仙台電波工業高等専門学校
-
白鳥 則郎
東北大学工学部
-
菅沼 拓夫
東北大学電気通信研究所
-
佐藤 加奈
仙台高等専門学校
-
野口 正一
日本大学工学部情報工学科
-
高橋 薫/加藤
仙台電波工業高等専門学校/仙台電波工業高等専門学校
-
久保田 佳克
仙台高等専門学校広瀬キャンパス総合科学系
-
青野 雅樹
豊橋技術科学大学
-
野口 正一
仙台応用情報学研究振興財団
-
加藤 貴司
東北大学電気通信研究所
-
菅沼 拓夫
東北大学情報科学研究科:東北大学電気通信研究所
-
白鳥 則郎
東北大学:公立はこだて未来大学
-
白鳥 則郎
東北大
-
高橋 薫
(株)高度通信システム研究所
-
安田 尚史
仙台電波工業高等専門学校
-
四倉 涼
仙台電波工業高等専門学校
-
青木 浩之
宮城大学大学院事業構想学研究科
-
湯本 純也
宮城大学大学院事業構想学研究科
-
高橋 圭仁
仙台電波工業高等専門学校
-
安孫子 友美
仙台電波工業高等専門学校
-
根岸 英梨子
仙台電波工業高等専門学校
-
原本 欽朗
仙台電波工業高等専門学校電子システム工学専攻2年
-
只野 良一
仙台電波工業高等専門学校
-
佐藤 明子
仙台電波工業高等専門学校
-
ビスタ ベッド
岩手県立大学
-
ビスタ ベッド
岩手県立大学ソフトウェア情報学部
-
野口 正一
東北大学応用情報学研究センター
-
野尻 尚稔
仙台電波工業高等専門学校情報工学科
-
高橋 秀樹
仙台電波工業高等専門学校情報工学科
-
但木 誠
仙台電波高専
-
藤田 健司
仙台電波高専
-
馬渕 博之
東北大学工学部
-
海野 啓明
仙台高等専門学校情報システム工学科
-
馬渕 博之
Nttデータ通信株式会社
-
加藤 貴司
東北大学
-
佐藤 明子
仙台電波工業高等専門学校:(現)電気通信大学
-
原本 欽朗
仙台電波工業高等専門学校
-
千葉 慎二
仙台高等専門学校
-
菅原 浩弥
仙台高等専門学校
-
佐藤 祐太
宮城大学事業構想学部
-
加藤 靖
仙台高等専門学校
-
佐藤 加奈
仙台電波工業高等専門学校
-
佐藤 晋也
仙台電波工業高等専門学校
-
Shiratori Norio
Riec Gsis Tohoku University:nict Tohoku Research Center
-
青野 雅樹
豊橋技術科学大学情報・知能工学系
-
海野 啓明
仙台高等専門学校
-
小松 京嗣
仙台高等専門学校総合科学系
-
松浦 隼人/押野
株式会社デジタルテクノロジー/仙台電波工業高等専門学校情報システム工学専攻1年/仙台電波工業高等専門学校/仙台電波工業高等専門学校
-
押野 敬之/松浦
仙台電波工業高等専門学校情報システム工学専攻1年/株式会社デジタルテクノロジー/仙台電波工業高等専門学校/仙台電波工業高等専門学校
-
千葉 慎二
仙台高等専門学校ICT先端開発センター
-
速水 健一
仙台高等専門学校専攻科情報電子システム工学専攻
-
笈口 誠志
仙台高等専門学校教育研究技術支援室
-
矢澤 睦
仙台高等専門学校広瀬キャンパス総合科学系
-
矢澤 睦
仙台高等専門学校総合科学系
-
久保田 佳克
仙台高等専門学校総合科学系
-
菅原 浩弥
仙台高等専門学校教育研究技術支援室
-
佐藤 公男
仙台高等専門学校情報ネットワーク工学科
-
關 成之
仙台高等専門学校知能エレクトロニクス工学科
-
佐藤 公男
仙台高等専門学校広瀬キャンパス情報ネットワーク工学科
-
高橋 薫
仙台高等専門学校情報システム工学科
-
佐藤 友昭
仙台高等専門学校
著作論文
- 変数を用いた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アプリケーションの変数を用いたモデル化と形式的手法による検査
- 並行計算πFを用いたモバイルシステム管理
- 有限状態モデルに基づくモバイルシステムの仕様化
- 2Z-4 プライバシーを考慮した個人・組織情報検索システム(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- F-036 OWLによる個人・組織情報のモデル化とプライバシーの取扱い(人工知能・ゲーム,一般論文)
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
- 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, ソフトウェアサイエンス)