高橋 薫 | 仙台電波工業高等専門学校
スポンサーリンク
概要
関連著者
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
高橋 薫
東北大
-
高橋 薫
仙台高等専門学校
-
加藤 靖
仙台電波工業高等専門学校
-
加藤 靖
仙台電波工業高等専門学校情報工学科
-
高橋 薫
東北大学電気通信研究所
-
白鳥 則郎
東北大学電気通信研究所
-
太田 正孝
(株)高度通信システム研究所
-
高橋 薫
東北大学
著作論文
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- オントロジを利用した健康支援システムの設計と実装
- F_010 オントロジに基づいた健康アドバイス導出システム(F分野:人工知能・ゲーム)
- F_009 健康アドバイス導出のための領域オントロジと推論ルール(F分野:人工知能・ゲーム)
- F_008 Bluetooth通信を用いた生体情報監視システムの構築(F分野:人工知能・ゲーム)
- 健康に関する領域オントロジと健康アドバイス導出ルールの構築(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する : 特に今回はセマンティックWEBの活用にフォーカスする)
- 状態遅延と入力遅延を導入したオートマトンによるディジタル論理とPLCの仕様化