高橋 薫 | 東北大
スポンサーリンク
概要
関連著者
-
高橋 薫
東北大
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
東北大学電気通信研究所
-
高橋 薫
東北大学
-
高橋 薫
仙台高等専門学校
-
太田 正孝
(株)高度通信システム研究所
-
和泉 諭
東北大学電気通信研究所
-
富樫 敦
宮城大学事業構想学部
-
富樫 敦
宮城大学大学院事業構想学研究科
-
和泉 諭
東北大学電気通信研究所:東北大学大学院情報科学研究科
-
岡崎 直宣
宮崎大学
-
岡崎 直宣
宮崎大 工
-
富樫 敦
宮城大学大学院事業構想学部デザイン情報学科
-
高橋 薫
小山市民
-
本間 圭
宮城大学大学院事業構想学研究科
-
山野 敬一郎
(株)高度通信システム研究所
-
安藤 津芳
(株)高度通信システム研究所
-
安藤 蕉芳
(株)高度通信システム研究所
-
折笠 精一
東北大学医学部泌尿器科学教室
-
星 宣次
東北大
-
折笠 精一
東北大学
-
白鳥 則郎
東北大学電気通信研究所
-
高橋 薫
(株)高度通信システム研究所
-
朴 美姫
三菱電機(株)情報技術総合研究所
-
更科 克幸
(株)高度通信システム研究所
-
朴 美娘
三菱電機
-
Park Mirang
Information Technology R&d Center Mitsubishi Electric Corporation
-
朴 美娘
神奈川工科大学
-
加藤 靖
仙台電波工業高等専門学校
-
加藤 靖
仙台電波工業高等専門学校情報工学科
-
岡崎 直宣
(株)高度通信システム研究所
-
白鳥 則郎
東北大学電気通信研究所 情報科学研究科
-
小林 秀幸
静岡大学創造科学技術大学院
-
阿部 雄貴
仙台高等専門学校
-
白鳥 則郎
東北大学工学部
-
三上 節子
(株)高度通信システム研究所
-
神長 裕明
情報科学研究科
-
栃木 達夫
東北大
-
吉川 和行
東北大
-
白鳥 則郎
東北大学
-
野口 正一
東北大学 電気通信研究所
-
大友 弥生
(株)高度通信システム研究所
-
白鳥 則郎
東北大学情報科学研究科
-
前田 誠
九州工業大学大学院情報工学研究院システム創成情報工学研究系
-
相馬 文彦
八戸市立市民病院泌尿器科
-
木村 正一
東北大
-
今井 克忠
仙台市立
-
今井 克忠
仙台市立病院泌尿器科
-
木村 正一
東北大学泌尿器科学教室
-
和泉 諭
仙台電波工業高等専門学校
-
栗山 大
仙台電波工業高等専門学校
-
朴 美娘
東北大学
-
野口 正一
東北大学応用情報学研究センター
-
奥村 薫
Microsoft Corporation
-
内山 光一
(株)東芝
-
岡田 康治
電子技術総合研究所 情報アーキテクチャ部
-
岡田 康治
電総研
-
内山 光一
東芝
-
奥村 薫
日本IBM
-
小野 昌秀
沖
-
五ノ井 敏行
富士通
-
藤尾 光彦
シャープ
-
藤田 朋生
日本電気
-
前田 誠
日立
-
朴 美娘
東北大学電気通信研究所(株)
-
岡崎 直宣
AIC
-
太田 正孝
AIC
-
佐藤 晋也
仙台高等専門学校
-
福沢 尚司
東北大学電気通信研究所情報科学研究科
-
藤尾 光彦
九州工業大学大学院情報工学研究院システム創成情報工学研究系
-
野口 正一
日本大学工学部情報工学科
-
高橋 薫
情報科学研究科
-
白鳥 則郎
仙台電波工業高等専門学校
-
神長 裕明
山形大学工学部電子工学科
-
菅原 佳菜
仙台電波工業高等専門学校
-
沼田 功
大崎市民病院泌尿器科
-
福崎 篤
東北大学医学部附属病院泌尿器科
-
棚橋 善克
東北大学医学部泌尿器科学教室
-
朴 美娘
(株)高度移動通信セキュリティ技術研究所(AMSL)
-
相馬 文彦
東北大
-
沼田 功
東北大
-
西村 洋介
東北大
-
豊田 精一
東北大学
-
西村 洋介
仙台腎泌尿器科
-
福崎 篤
東北大学医学部泌尿器科学教室
-
西村 洋介
東北大学 泌尿器科
-
福崎 篤
東北大学 医学部 泌尿器科
-
沼田 功
東北大学医学部泌尿器科学教室
-
景山 鎮一
東北大
-
三浦 祐太朗
仙台電波工業高等専門学校
-
真嶋 光
八戸市民
-
野口 正一
東北大学電気通信研究所
-
景山 鎮一
東北大学泌尿器科
-
Park Mirang
Mitsubishi Electric Corporation
-
佐藤 加奈
仙台高等専門学校
-
勝倉 真
東北大学電気通信研究所
-
Dusan Jokanovict
(株)高度通信システム研究所
-
藤木 なほみ
仙台電波工業高等専門学校
-
藤木 ほなみ
仙台高等専門学校
-
笈口 誠志
仙台電波工業高等専門学校 技術管理室
-
棚橋 善克
東北大
-
菅沼 拓夫
東北大学電気通信研究所情報科学研究科
-
菅沼 拓夫
東北大学情報科学研究科:東北大学電気通信研究所
-
郷 健太郎
山梨大学
-
小野 久仁夫
東北大
-
福士 泰夫
東北大
-
鈴木 康義
泉中央病院
-
福士 泰夫
国立仙台病院 泌尿器科
-
久慈 了
東北大学大学院医学系研究科泌尿器科学分野
-
加藤 正和
泉中央病院 泌尿器科
-
加藤 正和
仙台社会保険病院
-
加藤 正和
仙台社会保険
-
平松 正義
東北大学 医学部 泌尿器科
-
千葉 裕
東北公済病院泌尿器科
-
千葉 裕
東北大学医学部附属病院 泌尿器科
-
高橋 勝
東北大学泌尿器科
-
千葉 裕
東北大学 医学部 腎高血圧内分泌内科
-
佐藤 滋彰
さとうクリニック
-
佐藤 和宏
東北大学医学部泌尿器科学教室
-
引地 功侃
東北大
-
加藤 慎之介
東北・京都尿路再建研究グループ
-
久慈 了
東北大学 大学院 医学系研究科 泌尿器科学分野
-
加藤 弘彰
山形県立中央
-
千葉 隆一
福島労災病院泌尿器科
-
佐藤 滋彰
東北大学医学部泌尿器科学教室
-
高橋 勝
東北大学医学部泌尿器科学教室
-
桑原 正明
東北大
-
相馬 文彦
仙台市立
-
鈴木 康義
東北大
-
黒須 清一
東北大学 泌尿器科
-
白井 修一
仙石病院
-
小野 久仁夫
仙台日赤
-
加藤 弘彰
山形県立中央病院泌尿器科
-
加藤 慎之介
東北大学 大学院泌尿器科
-
高橋 勝
東北労災病院
-
平松 正義
石巻赤十字病院
-
今井 克忠
仙台私立病院泌尿器科
-
白鳥 則郎
東北大学:公立はこだて未来大学
-
白鳥 則郎
東北大
-
石川 博夫
東北大
-
石川 博夫
東北大学泌尿器科学教室
-
黄 錦法
東北大学電気通信研究所
-
桑原 正明
東北大学医泌尿器科
-
郷 健太郎
山梨大学工学部
-
朴 美娘
三菱電機(株)情報技術総合研究所
-
安田 尚史
仙台電波工業高等専門学校
-
四倉 涼
仙台電波工業高等専門学校
-
白井 修一
東北大
-
目時 利林也
東北大
-
小野 久仁夫
仙台社会保険
-
木崎 徳
石巻赤十字
-
高橋 喜成
石巻赤十字
-
目時 利林也
東北大学医学部泌尿器科学教室
-
益子 高
東北大薬学部
-
橋本 嘉幸
東北大薬学部
-
佐藤 明子
仙台電波工業高等専門学校
-
土岐田 義明
(株)高度通信システム研究所
-
ビスタ ベッド
東北大学電気通信研究所 情報科学研究科
-
目時利 林也
東北大学医学部泌尿器科学教室
-
木崎 徳
石巻赤十字病院泌尿器科
-
橋本 嘉幸
佐々木研
-
高橋 喜成
桶谷町医療福祉センター
-
益子 高
東北大薬学部衛生化学
-
千葉 隆一
福島労災泌科
-
ビスタ ベッドB.
岩手県立大学大学院ソフトウェア情報学研究科
-
ビスタ ベッド・バハドゥール
東北大学電気通信研究所
-
ビスタ ベッドb.
岩手県立大学ソフトウェア情報学部
-
ベッド バハドゥール
東北大学電気通信研究所
-
菅沼 拓夫
東北大学電気通信研究所
-
佐藤 明子
仙台電波工業高等専門学校:(現)電気通信大学
-
三上 節子
高度通信システム研究所
-
朴 美娘
東北大学応用情報学研究センター
-
黄 錦法
東北大学応用情報学研究センター
-
佐藤 祐太
宮城大学事業構想学部
-
加藤 靖
仙台高等専門学校
-
佐藤 加奈
仙台電波工業高等専門学校
-
佐藤 晋也
仙台電波工業高等専門学校
-
臼井 伸幸
東北大学電気通信研究所
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
Shiratori Norio
Riec Gsis Tohoku University:nict Tohoku Research Center
-
郷 健太郎
東北大学電気通信研究所情報科学研究科
-
臼井 伸幸
東北大
-
郷 健大郎
東北大学電気通信研究所
-
古屋 幸治
仙台電波工業高等専門学校
-
速水 健一
仙台電波高専情報通信工学科
-
速水 健一
仙台電波工業高等専門学校
-
神長 裕明
仙台電波工業高等専門学校
-
白鳥 則郎
山形大学工学部電子工学科
-
宋 国煥
情報科学研究科
-
宗 国煥
東北大学電気通信研究所 情報科学研究科
-
佐藤 和宏
東北大 医
-
山野 敬一郎
AIC
-
更科 克幸
AIC
-
安藤 津芳
AIC
-
宋 国煥
東北大学電気通信研究所情報科学研究科
-
川口 研治
東北大学応用情報学研究センタ
-
氏家 有
仙台電波工業高等専門学校
-
Dusan Jokanovic
(株)高度通信システム研究所
-
斎藤 洋
宮城日本電気(株)
著作論文
- 睾丸腫瘍及び膀胱癌の腫瘍組織内リンパ球 Subpopulation
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- 先天性水腎症における尿輸送能の定量的評価法の研究
- 両側異時発生セミノーマの3例 : 第188回東北地方会
- オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- オントロジを利用した健康支援システムの設計と実装
- F_010 オントロジに基づいた健康アドバイス導出システム(F分野:人工知能・ゲーム)
- F_009 健康アドバイス導出のための領域オントロジと推論ルール(F分野:人工知能・ゲーム)
- 比較的まれな副腎腫瘍の5例(偽嚢腫,リンパ管腫性嚢腫,骨髄脂肪腫,脂肪腫,神経鞘腫)(第197回東北地方会)
- 上部尿路の低流量Pressure-Flow Study : 第74回日本泌尿器科学会総会
- 経口剤による尿酸結石溶解症例について : 第194回東北地方会
- モノクローナル抗体,レクチンを用いた膀胱腫瘍の研究
- 形式的手法によるWebアプリケーションのモデル化と検証
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- 傍膀胱肉腫の1例 : 第185回東北地方会
- LOTOSによるCCRサービス定義の形式記述 : データ型部 : INTAP研究開発委貝会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : プロセス部 : INTAP研究開発委員会プロトコル形式記述WG
- LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG
- 相互接続試験系列生成システム : TESGEN
- 2Z-4 プライバシーを考慮した個人・組織情報検索システム(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- F-036 OWLによる個人・組織情報のモデル化とプライバシーの取扱い(人工知能・ゲーム,一般論文)
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- 胎便性腹膜炎に合併した陰嚢壊死の1例 : 第186回東北地方会
- シーケンス図を基本とした通信システム用仕様記述法MSCの提案
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)
- Prune-Belly症候群の4例 : 第195回東北地方会
- 尿道弁の6例 : 第187回東北地方会
- 尿路腫瘍の腫瘍マーカーの検討 : 特にTPAについて : 第188回東北地方会
- 命題論理に基づく要求仕様の詳細化とその支援
- 携帯電話向けWWWページ作成の実習授業への導入
- (71)Webページ作成による教育事例 : 携帯電話向けWebページの作成(マルチメディア(I),第17セッション)
- 経腹的後腹膜リンパ節吸引生検法 : 第48回東部連合総会
- ピアエンティティ生成に基づくプロトコル合成法
- 通信システムのサービス仕様の変更に基づくプロトコル仕様の自動変更法とその応用
- コミュニケーションプロトコルの適応性を考慮したやわらかい合成支援環境の構築
- システム要求と形式仕様のやわらかい設計支援環境とその試作
- 通信プロトコルのやわらかい合成法
- 要求と形式仕様のやわらかい設計支援システム
- 形式仕様の開発における機能要求への反映
- プロセス仕様の検証のための模倣性判定法
- シミュレーション関係に基づく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分野:ソフトウェア)