一般5

セッション「一般5」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013一般


一般5: 9月13日 15:00〜17:30,工学部2号館1階211号室

1. Haskellによる非破壊的木構造を用いたCMSの実装(當眞大千)

當眞大千 (琉球大学大学院)
河野真治 (琉球大学)
永山辰巳 (株式会社 Symphony)

2. 匿名性を考慮したリアルタイムなWebアンケートシステムの実現(井上良太)

井上良太 (名古屋工業大学大学院情報工学専攻)
白松俊 (名古屋工業大学大学院情報工学専攻)
大囿忠親 (名古屋工業大学大学院情報工学専攻)
新谷虎松 (名古屋工業大学大学院情報工学専攻)

3. ジェスチャーで操作可能なスライドオブジェクトに基づくプレゼンテーション支援システムについて(山田裕之)

山田裕之 (名古屋工業大学大学院工学研究科)
丹羽佑輔 (名古屋工業大学大学院工学研究科)
白松俊 (名古屋工業大学大学院工学研究科)
大囿忠親 (名古屋工業大学大学院工学研究科)
新谷虎松 (名古屋工業大学大学院工学研究科)

4. スライド検索のためのスライドリポジトリにおけるスライド構造について(加藤雄大)

加藤雄大 (名古屋工業大学大学院工学研究科情報工学専攻)
白松俊 (名古屋工業大学大学院工学研究科情報工学専攻)
大囿忠親 (名古屋工業大学大学院工学研究科情報工学専攻)
新谷虎松 (名古屋工業大学大学院工学研究科情報工学専攻)

5. 発表者の実像を利用した動的なプレゼンテーション操作環境の実現(丹羽佑輔)

丹羽佑輔 (名古屋工業大学大学院工学研究科)
片山真也 (名古屋工業大学大学院工学研究科)
白松俊 (名古屋工業大学大学院工学研究科)
大囿忠親 (名古屋工業大学大学院工学研究科)
新谷虎松 (名古屋工業大学大学院工学研究科)

広告

一般4

セッション「一般4」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013一般


一般4: 9月13日 9:00〜11:30,工学部2号館1階211号室

特別招待講演:福田 健介

A Measurement of Mobile Traffic Offloading

福田 健介(NII)

PAM2013で発表

ここをクリックして論文の情報を検索

2. 大規模なノード故障やネットワーク分断に対する可用性を持つ受動的複製手法(西田尚史)

西田尚史 (筑波大学コンピュータサイエンス専攻)
長谷部浩二 (筑波大学コンピュータサイエンス専攻)
加藤和彦 (筑波大学コンピュータサイエンス専攻)

3. XPath 問合せのWork Efficient な分散並列評価(森畑明昌)

森畑明昌 (東北大学電気通信研究所)

4. A High Throughput Computing Scheme on Many-core Processors(朱軼青)

朱軼青 (筑波大学システム情報工学研究科)
鷹野駿介 (筑波大学システム情報工学研究科)
陳ウェイ (筑波大学システム情報工学研究科)
岡瑞起 (筑波大学システム情報工学研究科)
加藤和彦 (筑波大学システム情報工学研究科)

5. 確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法(冨田尭)

冨田尭 (東京工業大学情報理工学研究科計算工学専攻)
山崎徹郎 (東京工業大学情報理工学研究科計算工学専攻)
萩原茂樹 (東京工業大学情報理工学研究科計算工学専攻)
米崎直樹 (東京工業大学情報理工学研究科計算工学専攻)

一般3

セッション「一般3」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013一般


一般3: 9月12日 9:00〜11:30,工学部2号館1階211号室

1. ハイブリッドシステム制約言語HydLaの数式処理実行系へのアフィン演算の導入(松本翔太)

松本翔太 (早稲田大学基幹理工学研究科情報理工学専攻)
上田和紀 (早稲田大学理工学術院情報理工学科)

2. 最強事後条件の計算を用いたハイブリッドオートマトンの帰納的検証(石井大輔)

石井大輔 (東京工業大学)
Guillaume Melquiond (INRIAサクレ / パリ第11大学)
中島震 (国立情報学研究所)

特別招待講演:我妻広明

Extending the World to Sense and Behave: A Supportive System Focusing on the Body Coordination for Neurocognitive Rehabilitation

我妻広明(九州工業大学)

COGNITIVE 2012で発表

ここをクリックして論文の情報を検索

4. FMEAとモデル検査を組合せた高信頼設計プロセスの提案(若林昇)

若林昇 (株式会社日立製作所 横浜研究所)
吉岡信和 (国立情報学研究所 GRACEセンター)

5. 情報制御システムに対するSPINを用いた段階的モデル検査手法(小山恭平)

小山恭平 (茨城大学)
小飼敬 (茨城工業高等専門学校)
上田賀一 (茨城大学)
山形知行 (株式会社 日立製作所)
武澤隆之 (株式会社 日立製作所)

一般2

セッション「一般2」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013一般


一般2: 9月11日 15:30〜18:00,工学部2号館1階211号室

特別招待講演:岩崎慶

Interactive Bi-scale Editing of Highly Glossy Materials

岩崎慶(和歌山大学)

SIGGRAPH ASIA 2012で発表

ここをクリックして論文の情報を検索

特別招待講演:土橋宜典

An Inverse Problem Approach for Automatically Adjusting the Parameters for Rendering Clouds Using Photographs

土橋宜典(北海道大学)

SIGGRAPH ASIA 2012で発表

ここをクリックして論文の情報を検索

特別招待講演:井上克巳

Learning Revised Models for Planning in Adaptive Systems

井上克巳(NII)

ICSE 2013で発表

ここをクリックして論文の情報を検索

4. 凹凸付きスマートフォンケースにおけるタッチ精度の評価(深津佳智)

深津佳智 (筑波大学)
箱田博之 (筑波大学)
野口杏奈 (筑波大学)
志築文太郎 (筑波大学)
田中二郎 (筑波大学)

5. 研究活動支援環境におけるスライドリポジトリの実現(武馬賢志郎)

武馬賢志郎 (名古屋工業大学大学院工学研究科情報工学専攻)
白松俊 (名古屋工業大学大学院工学研究科情報工学専攻)
大囿忠親 (名古屋工業大学大学院工学研究科情報工学専攻)
新谷虎松 (名古屋工業大学大学院工学研究科情報工学専攻)

一般デモ・ポスター

一般デモ・ポスターの内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013一般


一般デモ・ポスター: 9月12日 16:00〜18:00,工学部2号館中庭

1. Simplifying the Implementation of Fast Java EDSLs by Using Metaprogramming Techniques (Maximilian Pascal Scherr,千葉滋)
2. 高速な多次元配列操作のための型検査方式の検討 (八杉昌宏)
3. Coq によるセキュリティプロトコルの実装の検証 (アフェルトレナルド,坂口和彦)
4. 分散処理向けXMLパースライブラリ開発 (川村高之,前田秀樹,松崎公紀)
5. JavaScriptのプログラム可視化を用いたデバッガ (徐駿剣,脇田建)
6. OCamlのシェルプログラミングのための安全な領域特化言語の提案 (朝倉泉,青谷知幸,増原英彦)
7. TT-liftingによる模倣関係・双模倣関係 (佐藤哲也)

一般1

一般セッション1の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.

#jssst2013 #jssst2013一般

特別招待講演:山田浩史

Traveling Forward in Time to Newer Operating Systems using ShadowReboot

山田浩史(東京農工大学)

VEE 2013で発表

ここをクリックして論文の情報を検索

一般1–2: ファイル共有サービスにおけるアクセス傾向予測を用いた分散ストレージシステムの省電力化手法(大越淳平)

大越淳平 (筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻)
長谷部浩二 (筑波大学システム情報系情報工学域)
加藤和彦 (筑波大学システム情報系情報工学域)

一般1–3: ゲーム理論を用いた大規模分散ストレージシステムの省電力化手法(澤田匠)

澤田匠 (筑波大学コンピュータサイエンス専攻)
長谷部浩二 (筑波大学コンピュータサイエンス専攻)
加藤和彦 (筑波大学コンピュータサイエンス専攻)

一般1–4: Data Segment の分散データベースへの応用(大城信康)

大城信康 (琉球大学大学院)
杉本優 (琉球大学)
河野真治 (琉球大学)
永山辰巳 (株式会社 Symphony)

一般1–5: 関数型言語からキーバリューストアへの型安全なアクセス機構(上野雄大)

上野雄大 (東北大学電気通信研究所)
大堀淳 (東北大学電気通信研究所)