富樫 敦 | 宮城大学大学院事業構想学部デザイン情報学科
スポンサーリンク
概要
関連著者
-
富樫 敦
宮城大学大学院事業構想学部デザイン情報学科
-
富樫 敦
宮城大学事業構想学部
-
本間 圭
宮城大学大学院事業構想学研究科
-
高橋 薫
仙台高等専門学校
-
富樫 敦
宮城大学大学院事業構想学研究科
-
高橋 薫
東北大
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
和泉 諭
東北大学電気通信研究所
-
和泉 諭
東北大学電気通信研究所:東北大学大学院情報科学研究科
-
和泉 諭
東北大学電気通信研究所:情報科学研究科
-
阿部 雄貴
仙台高等専門学校
-
中尾 光之
東北大学大学院情報科学研究科
-
曽根 秀昭
東北大学情報シナジーセンター
-
樋地 正浩
東北インターネット協議会
-
岩本 正敏
東北学院大学 工学部
-
富樫 敦
宮城大学
-
岩本 正敏
東北学院大学
-
岩本 正敏
東北学院大
-
脇山 俊一郎
仙台電波工業高等専門学校
-
脇山 俊一郎
仙台電波高専
-
樋地 正浩
日立東北ソフトウェア(株)
-
宮西 洋太郎
(株)仙台ソフトウェアセンター
-
中尾 光之
東北大学
-
庄子 栄光
(株)仙台ソフトウェアセンター
-
樋地 正浩
(株)日立東日本ソリューションズ
-
脇山 俊一郎
仙台高等専門学校
-
曽根 秀昭
東北大学
-
西城 英之
(有)シルフィード
-
鈴木 智充
宮城大学大学院事業構想学研究科
-
山田 智子
宮城大学大学院事業構想学研究科
-
山田 智子
宮城大学大学院:(財)仙台応用情報学研究振興財団
-
村上 隆生
(株)サイエンティア
-
佐藤 祐太
宮城大学事業構想学部
著作論文
- ベクトル空間法を基礎としたカテゴリーマッピング法によるWebページの自動分類(セッション1:検索)
- 変数を用いたWebアプリケーションのモデル化と形式的手法による検査(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- 形式的手法によるWebアプリケーションのモデル化と検証
- 1B-3 画面遷移を用いたWebアプリケーションのモデル化とSPINによる検証(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- 形式的手法によるWebアプリケーションのモデル化と検証
- Webアプリケーションの変数を用いたモデル化と形式的手法による検査
- RO-004 学生の研究活動におけるプロジェクトマネジメントの有効性(O分野:情報システム,査読付き論文)
- RO-003 理念共有型の地域産学協同IT人材育成体系の形成(O分野:情報システム,査読付き論文)
- 2Z-6 NuSMVを用いたオントロジ検証(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2P-2 形式的手法と検査ツールによるモデル検査事例と考察(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-015 モデル検査を用いたオントロジの検証(ソフトウェア,一般論文)