9/13の予定

9/10の予定9/11の予定9/12の予定9/13の予定


一般4: 9月13日 9:00〜11:30

特別招待講演:福田 健介

A Measurement of Mobile Traffic Offloading

福田 健介(NII)

PAM2013で発表

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

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

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

一般4–3: XPath 問合せのWork Efficient な分散並列評価(森畑明昌)

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

一般4–4: A High Throughput Computing Scheme on Many-core Processors(朱軼青)

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

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

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


MACC: メカニズムデザインの最前線: 9月13日 9:00〜11:30

MACC–1: Auctions and Mechanism Design (伊藤孝行)
MACC–2: クラウドソーシングとメカニズムデザイン (松原繁夫)
MACC–3: 制約付きマッチングのメカニズムデザイン (横尾真)
特別招待講演:平山勝敏

DeQED: an Efficient Divide-and-Coordinate Algorithm for DCOP

平山勝敏(神戸大学)

AAMAS 2013で発表

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


PPL4: 9月13日 9:00〜11:30

PPL4–1: 永続性と減少ダイアグラム法に基づく合流性証明法(内田和真)

内田和真 (東北大学電気通信研究所)
青戸等人 (東北大学電気通信研究所)
外山芳人 (東北大学電気通信研究所)

PPL4–2: 定性空間表現PLCAのモデル化と妥当性の証明について(後藤瑞貴)

後藤瑞貴 (関西学院大学理工学部)
高橋和子 (関西学院大学理工学部)

PPL4–3: グラフ書換え系におけるグラフ構造の効率的な一意バイト列生成手法(宮原和大)

宮原和大 (早稲田大学大学院基幹理工学研究科情報理工学専攻)
上田和紀 (早稲田大学理工学術院情報理工学科)

PPL4–4: A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches(浅田和之)

浅田和之 (東京大学)
日高宗一郎 (国立情報学研究所)
加藤弘之 (国立情報学研究所)
胡振江 (国立情報学研究所)
中野圭介 (電気通信大学)

特別招待講演:海野 広志

Automating Relatively Complete Verification of Higher-order Functional Programs

海野 広志(筑波大学)

POPL 2013で発表

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


FOSE1: 9月13日 9:30〜11:30

特別招待講演:前田 直人

Feedback-Directed Unit Test Generation for C/C++ using Concolic Execution

前田 直人(NEC)

ICSE 2013で発表

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

FOSE1–2: DITAを用いたソフトウェアドキュメンテーションにおけるトピックの意味検索手法の提案(坂井麻里恵)

坂井麻里恵 (公立はこだて未来大学大学院)
大場みち子 (公立はこだて未来大学)
伊藤恵 (公立はこだて未来大学)
奥野拓 (公立はこだて未来大学)

FOSE1–3: メソッド抽出リファクタリングが行われるメソッドの特徴調査(後藤祥)

後藤祥 (大阪大学)
吉田則裕 (奈良先端科学技術大学院大学)
藤原賢二 (奈良先端科学技術大学院大学)
崔恩瀞 (大阪大学)
井上克郎 (大阪大学)

FOSE1–4: トピック抽出を用いたソフトウェア開発履歴の可視化ツール(吉田則裕)

山田悠太 (奈良先端科学技術大学院大学)
吉田則裕 (奈良先端科学技術大学院大学)
藤原賢二 (奈良先端科学技術大学院大学)
飯田元 (奈良先端科学技術大学院大学)


招待講演 New Era of Computing

久世 和資(日本アイ・ビー・エム株式会社 執行役員 研究開発担当)

従来の「定型業務を効率よく処理する」モデルから、今後は「知識や情報を柔軟に活用してビジネスの価値を高める」モデルへ移行が急速に進みつつある。新世代のシステムは、先進技術を柔軟に取り入れ、ワークロードの最適化や拡張可能なアーキテクチャーを持つことにより、情報中心の社会や企業を支えることが求められる。このようなシステムの実現のためには、Cognitive ComputingとSoftware Defined Environmentの両者を活かして、その価値を最大限にすることが重要となる。新しいワークロードの事例とともに、新しい時代のコンピューティングシステムについて議論する。


一般5: 9月13日 15:00〜17:30

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

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

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

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

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

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

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

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

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

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


FOSE2: 9月13日 15:00〜17:00

FOSE2–1: LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装に関する研究(上野篤史)

上野篤史 (東京工業大学大学院)
望月翔平 (東京工業大学大学院)
島川昌也 (東京工業大学大学院)
萩原茂樹 (東京工業大学大学院)
米崎直樹 (東京工業大学大学院)

FOSE2–2: 自己適応システムの安全なコンポーネント置き換え(中島震)

中島震 (国立情報学研究所)

FOSE2–3: DFDを用いた要求仕様の洗練化のためのトレーサビリティ構築と条件の抜け漏れ検出(和田大輝)

和田大輝 ((株) 東芝ソフトウェア技術センター)
弓倉陽介 ((株) 東芝ソフトウェア技術センター)
鷲見毅 ((株) 東芝ソフトウェア技術センター)
藤本宏 ((株) 東芝ソフトウェア技術センター)
村田由香里 ((株) 東芝ソフトウェア技術センター)

FOSE2–4: 人為的欠陥の意味と耐性解析(永藤直行)

永藤直行 (有限会社 プレシステム)
渡部卓雄 (東京工業大学)


萌芽5: 9月13日 15:00〜16:30

萌芽5–1: 差分的に記述された解析表現文法に対する構文解析器の合成(森健輔)

森健輔 (東京工業大学大学院情報理工学研究 科)
脇田建 (東京工業大学大学院情報理工学研究 科)

萌芽5–2: 二次元平面上のP2Pオーバレイネットワークにおける経路表の順序関係に基づいたルーティング手法(北條真史)

北條真史 (東京工業大学)
長尾洋也 (東京工業大学)
宮尾武裕 (東京工業大学)
首藤一幸 (東京工業大学)

萌芽5–3: LSM-treeにおけるC1 treeの数と読み出し性能の関係(高塚康成)

高塚康成 (東京工業大学)
矢口尭 (東京工業大学)
首藤一幸 (東京工業大学)


PPL5: 9月13日 15:00〜17:30

PPL5–1: BiFlux: A Bidirectional Functional Update Language for XML(ザントオ)

ザントオ (総合研究大学院大学)
ウゴパチェコ (国立情報学研究所)
胡振江 (国立情報学研究所)

PPL5–2: LMNtalにおけるグラフ書換え操作のCoqによる形式化(信夫裕貴)

信夫裕貴 (早稲田大学大学院基幹理工学部研究科情報理工学専攻)
田辺良則 (国立情報学研究所)
上田和紀 (早稲田大学理工学術院情報理工学科)

PPL5–3: ラムダ計算の型問題を支配する本質的情報について(藤田憲悦)

藤田憲悦 (群馬大学)

PPL5–4: 閉包操作に基づく項書き換えシステムの到達可能性判定(四方駿作)

四方駿作 (東北大学電気通信研究所)
青戸等人 (東北大学電気通信研究所)
外山芳人 (東北大学電気通信研究所)

PPL5–5: 自動検証のためのプログラム変換(佐藤洸一)

佐藤洸一 (東北大学 電気通信研究所)
菊池健太郎 (東北大学 電気通信研究所)
青戸等人 (東北大学 電気通信研究所)
外山芳人 (東北大学 電気通信研究所)

広告