高橋 薫 | 仙台電波工業高等専門学校 情報通信工学科
スポンサーリンク
概要
関連著者
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
東北大
-
高橋 薫
仙台高等専門学校
-
高橋 薫
東北大学電気通信研究所
-
太田 正孝
(株)高度通信システム研究所
-
加藤 靖
仙台電波工業高等専門学校
-
高橋 薫
東北大学
-
加藤 靖
仙台電波工業高等専門学校情報工学科
-
和泉 諭
東北大学電気通信研究所
-
和泉 諭
東北大学電気通信研究所:東北大学大学院情報科学研究科
-
富樫 敦
宮城大学事業構想学部
-
富樫 敦
宮城大学大学院事業構想学研究科
-
白鳥 則郎
東北大学電気通信研究所
-
岡崎 直宣
宮崎大学
-
岡崎 直宣
宮崎大 工
-
富樫 敦
宮城大学大学院事業構想学部デザイン情報学科
-
本間 圭
宮城大学大学院事業構想学研究科
-
山野 敬一郎
(株)高度通信システム研究所
-
安藤 津芳
(株)高度通信システム研究所
-
安藤 蕉芳
(株)高度通信システム研究所
-
白鳥 則郎
東北大学電気通信研究所 情報科学研究科
-
高橋 薫
(株)高度通信システム研究所
-
朴 美姫
三菱電機(株)情報技術総合研究所
-
更科 克幸
(株)高度通信システム研究所
-
朴 美娘
三菱電機
-
Park Mirang
Information Technology R&d Center Mitsubishi Electric Corporation
-
朴 美娘
神奈川工科大学
-
小林 秀幸
静岡大学創造科学技術大学院
-
和泉 諭
仙台電波工業高等専門学校
-
岡崎 直宣
(株)高度通信システム研究所
-
和泉 諭
東北大学電気通信研究所:情報科学研究科
-
阿部 雄貴
仙台高等専門学校
-
白鳥 則郎
東北大学工学部
-
三上 節子
(株)高度通信システム研究所
-
神長 裕明
情報科学研究科
-
小林 秀幸
仙台高等専門学校
-
板橋 吾一
(株)サイエンティア
-
白鳥 則郎
東北大学
-
板橋 吾一
株式会社サイエンティア
-
栗山 大
仙台電波工業高等専門学校
-
野口 正一
東北大学 電気通信研究所
-
野口 正一
日本大学工学部情報工学科
-
大友 弥生
(株)高度通信システム研究所
-
鈴木 大輝
仙台高等専門学校
-
白鳥 則郎
東北大学情報科学研究科
-
山中 一宏
仙台電波工業高等専門学校
-
板橋 吾一
東北大学大学院情報科学研究科
-
朴 美娘
東北大学
-
野口 正一
東北大学応用情報学研究センター
-
朴 美娘
東北大学電気通信研究所(株)
-
岡崎 直宣
AIC
-
太田 正孝
AIC
-
佐藤 晋也
仙台高等専門学校
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
福沢 尚司
東北大学電気通信研究所情報科学研究科
-
高橋 薫
情報科学研究科
-
白鳥 則郎
仙台電波工業高等専門学校
-
神長 裕明
山形大学工学部電子工学科
-
菅原 佳菜
仙台電波工業高等専門学校
-
菅沼 拓夫
東北大学電気通信研究所情報科学研究科
-
朴 美娘
(株)高度移動通信セキュリティ技術研究所(AMSL)
-
三浦 祐太朗
仙台電波工業高等専門学校
-
野口 正一
東北大学電気通信研究所
-
菅沼 拓夫
東北大学電気通信研究所
-
Park Mirang
Mitsubishi Electric Corporation
-
佐藤 加奈
仙台高等専門学校
-
勝倉 真
東北大学電気通信研究所
-
Dusan Jokanovict
(株)高度通信システム研究所
-
藤木 なほみ
仙台電波工業高等専門学校
-
藤木 ほなみ
仙台高等専門学校
-
笈口 誠志
仙台電波工業高等専門学校 技術管理室
-
岡本 圭史
仙台高等専門学校
-
野口 正一
仙台応用情報学研究振興財団
-
菅沼 拓夫
東北大学情報科学研究科:東北大学電気通信研究所
-
郷 健太郎
山梨大学
-
白鳥 則郎
東北大学:公立はこだて未来大学
-
白鳥 則郎
東北大
-
黄 錦法
東北大学電気通信研究所
-
郷 健太郎
山梨大学工学部
-
朴 美娘
三菱電機(株)情報技術総合研究所
-
安田 尚史
仙台電波工業高等専門学校
-
四倉 涼
仙台電波工業高等専門学校
-
青木 浩之
宮城大学大学院事業構想学研究科
-
湯本 純也
宮城大学大学院事業構想学研究科
-
高橋 圭仁
仙台電波工業高等専門学校
-
安孫子 友美
仙台電波工業高等専門学校
-
根岸 英梨子
仙台電波工業高等専門学校
-
佐藤 明子
仙台電波工業高等専門学校
-
土岐田 義明
(株)高度通信システム研究所
-
ビスタ ベッド
東北大学電気通信研究所 情報科学研究科
-
ビスタ ベッドB.
岩手県立大学大学院ソフトウェア情報学研究科
-
ビスタ ベッド・バハドゥール
東北大学電気通信研究所
-
ビスタ ベッドb.
岩手県立大学ソフトウェア情報学部
-
ベッド バハドゥール
東北大学電気通信研究所
-
佐藤 明子
仙台電波工業高等専門学校:(現)電気通信大学
-
三上 節子
高度通信システム研究所
-
朴 美娘
東北大学応用情報学研究センター
-
黄 錦法
東北大学応用情報学研究センター
-
佐藤 祐太
宮城大学事業構想学部
-
加藤 靖
仙台高等専門学校
-
佐藤 加奈
仙台電波工業高等専門学校
-
佐藤 晋也
仙台電波工業高等専門学校
-
臼井 伸幸
東北大学電気通信研究所
-
Shiratori Norio
Riec Gsis Tohoku University:nict Tohoku Research Center
-
郷 健太郎
東北大学電気通信研究所情報科学研究科
-
臼井 伸幸
東北大
-
郷 健大郎
東北大学電気通信研究所
-
古屋 幸治
仙台電波工業高等専門学校
-
速水 健一
仙台電波高専情報通信工学科
-
速水 健一
仙台電波工業高等専門学校
-
神長 裕明
仙台電波工業高等専門学校
-
白鳥 則郎
山形大学工学部電子工学科
-
宋 国煥
情報科学研究科
-
宗 国煥
東北大学電気通信研究所 情報科学研究科
-
山野 敬一郎
AIC
-
更科 克幸
AIC
-
安藤 津芳
AIC
-
宋 国煥
東北大学電気通信研究所情報科学研究科
-
川口 研治
東北大学応用情報学研究センタ
-
氏家 有
仙台電波工業高等専門学校
-
Dusan Jokanovic
(株)高度通信システム研究所
-
斎藤 洋
宮城日本電気(株)
-
宮木 衛
仙台電波工業高等専門学校
-
藤木 なほみ
仙台電波工業高等専門学校 情報通信工学科
-
伊藤 仁
仙台高等専門学校
-
佐藤 友昭
仙台高等専門学校
著作論文
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- オントロジを利用した健康支援システムの設計と実装
- F_010 オントロジに基づいた健康アドバイス導出システム(F分野:人工知能・ゲーム)
- F_009 健康アドバイス導出のための領域オントロジと推論ルール(F分野:人工知能・ゲーム)
- F_008 Bluetooth通信を用いた生体情報監視システムの構築(F分野:人工知能・ゲーム)
- 健康に関する領域オントロジと健康アドバイス導出ルールの構築(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する : 特に今回はセマンティックWEBの活用にフォーカスする)
- 状態遅延と入力遅延を導入したオートマトンによるディジタル論理とPLCの仕様化
- オントロジーに基づいた暗号学習用のe-Learningシステム(e-Learning教育システムの成果と目指すべきもの/一般)
- オートマトンモデルに基づいたディジタルロジックの仕様化と検証
- 状態マシンモデルに基づいたセキュリテイプロトコルの仕様化
- 種々の手法によるディジタルロジックの仕様記述とそれらの比較
- オブジェクト指向を導入した状態マシン記述
- 形式的手法によるWebアプリケーションのモデル化と検証
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- 相互接続試験系列生成システム : TESGEN
- 2Z-4 プライバシーを考慮した個人・組織情報検索システム(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- F-036 OWLによる個人・組織情報のモデル化とプライバシーの取扱い(人工知能・ゲーム,一般論文)
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- シーケンス図を基本とした通信システム用仕様記述法MSCの提案
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
- 命題論理に基づく要求仕様の詳細化とその支援
- 携帯電話向けWWWページ作成の実習授業への導入
- (71)Webページ作成による教育事例 : 携帯電話向けWebページの作成(マルチメディア(I),第17セッション)
- ピアエンティティ生成に基づくプロトコル合成法
- 通信システムのサービス仕様の変更に基づくプロトコル仕様の自動変更法とその応用
- コミュニケーションプロトコルの適応性を考慮したやわらかい合成支援環境の構築
- システム要求と形式仕様のやわらかい設計支援環境とその試作
- 通信プロトコルのやわらかい合成法
- 要求と形式仕様のやわらかい設計支援システム
- 形式仕様の開発における機能要求への反映
- プロセス仕様の検証のための模倣性判定法
- シミュレーション関係に基づくLOTOS仕様の検証アルゴリズム
- SDLからLOTOSへの変換
- LOTOSによる交換サービス仕様の記述
- GLOER : G-LOTOSエディタの試作
- LOTOSによる交換ソフトウェア仕様検証について
- SDL仕様のLOTOSによる解釈
- 通信ソフトウェア設計支援環境 : ITECS(2) : 仕様作成支援
- 通信ソフトウェア設計支援環境 : ITECS(1) : 全体構成
- LOTOSの図式支援環境について
- 自学型習熟度別プログラミング教育について
- 通信システム仕様の合成支援環境の設計と実現
- 通信ソフトウェア設計支援環境 : ITECS(4) : 試験仕様生成支援
- 通信ソフトウェア設計支援環境 : ITECS(3) : 仕様検証支援
- LOTOS検証システムMetisII
- ASN.1データ定義支援環境の構成
- 命題論理に基づいた並行システムの階層的仕様記述
- D-3-5 NuSMVを用いたRBACモデルの検証(D-3.ソフトウェアサイエンス,一般セッション)
- 命題論理に基づいた並行システムの制約付き仕様記述
- 命題理論に基づいた並行システムの仕様記述
- 命題論理に基づいた並行システムの仕様記述
- 命題論理に基づいた並列システムの仕様記述(並列・分散)
- 規格間干渉の可視化ツールの開発
- B-016 ロールオントロジーに基づいた個人・組織情報への動的なアクセス制御(開発支援・プロジェクト管理,B分野:ソフトウェア)
- B-005 モデル検査ツールNuSMVを用いたオントロジー検証(テスト・検証,B分野:ソフトウェア)
- B-023 RBACモデルの形式検証(電子文書・ソフトウェア科学,B分野:ソフトウェア)
- D-3-2 RBACモデルの検証支援ツール(D-3, ソフトウェアサイエンス)