板橋 吾一 | 東北大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
板橋 吾一
(株)サイエンティア
-
加藤 靖
仙台電波工業高等専門学校
-
高橋 薫
仙台電波工業高等専門学校
-
板橋 吾一
株式会社サイエンティア
-
高橋 薫
仙台高等専門学校
-
板橋 吾一
東北大学大学院情報科学研究科
-
加藤 靖
仙台電波工業高等専門学校情報工学科
-
白鳥 則郎
東北大学電気通信研究所 情報科学研究科
-
白鳥 則郎
東北大学電気通信研究所
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
菅沼 拓夫
東北大学電気通信研究所情報科学研究科
-
高橋 圭仁
仙台電波工業高等専門学校
-
安孫子 友美
仙台電波工業高等専門学校
-
根岸 英梨子
仙台電波工業高等専門学校
-
原本 欽朗
仙台電波工業高等専門学校電子システム工学専攻2年
-
菅沼 拓夫
東北大学電気通信研究所
-
原本 欽朗
仙台電波工業高等専門学校
著作論文
- オントロジーに基づいた暗号学習用のe-Learningシステム(e-Learning教育システムの成果と目指すべきもの/一般)
- 状態マシンモデルに基づいたセキュリテイプロトコルの仕様化
- オブジェクト指向を導入した状態マシン記述
- 契約ネットプロトコルの形式的仕様化と解析
- オブジェクト指向を導入した状態マシン記述