9/11の予定

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


一般1: 9月11日 9:00〜11:30

特別招待講演:山田浩史

Traveling Forward in Time to Newer Operating Systems using ShadowReboot

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

VEE 2013で発表

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

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

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

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

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

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

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

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

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


ソフト: 9月11日 9:30〜11:00

ソフト–1: COINSによる例外処理機構を持つ言語処理系開発支援(産一傑)

産一傑 (広島市立大学 大学院情報科学研究科 情報工学専攻)
川端英之 (広島市立大学 大学院情報科学研究科 情報工学専攻)
北村俊明 (広島市立大学 大学院情報科学研究科 情報工学専攻)

ソフト–2: Assure-It: Assurance Casesの記録管理ツール(内田篤史)

内田篤史 (横浜国立大学)
松村哲郎 (横浜国立大学)
若松悠樹 (横浜国立大学)
志田駿介 (横浜国立大学)
倉光君郎 (横浜国立大学)

ソフト–3: プログラミング初学者向けコンテストシステム(坂本一憲)

坂本一憲 (国立情報学研究所)
鷲崎弘宜 (早稲田大学)
深澤良彰 (早稲田大学)


萌芽1: 9月11日 9:30〜11:30

萌芽1–1: 要求の集約と体系的な可視化を支援する環境の提案(濱登強)

濱登強 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
伊藤恵 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)

萌芽1–2: 要求工程におけるプロトタイプからのUI仕様書の生成支援(曽我知央)

曽我知央 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
伊藤恵 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)

萌芽1–3: ユーザエクスペリエンスを考慮したソフトウェア開発支援(小南祐貴)

小南祐貴 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
伊藤恵 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)

萌芽1–4: D-Case記述のためのドメイン特化言語の設計と実装(中山裕介)

中山裕介 (横浜国立大学)
志田駿介 (横浜国立大学)
倉光君郎 (横浜国立大学)


PPL1: 9月11日 9:30〜11:30

PPL1–1: パッキング配列問題の制約モデリングとSAT符号化(則武治樹)

則武治樹 (神戸大学大学院システム情報学研究科)
番原睦則 (神戸大学情報基盤センター)
宋剛秀 (神戸大学情報基盤センター)
田村直之 (神戸大学情報基盤センター)
井上克巳 (国立情報学研究所情報学プリンシプル研究系)

PPL1–2: Formalization of the Qualitative Spatial Reasoning of Superposition of Rectangles in Proof Assistant(ゴーラビファドワ)

ゴーラビファドワ (関西学院大学理工学部)
高橋和子 (関西学院大学理工学部)

PPL1–3: 多元宇宙多相代数理論(浜名誠)

浜名誠 (群馬大学理工学研究院)
Marcelo Fiore (ケンブリッジ大学計算機研究所)

PPL1–4: Efficient Query Evaluation on Distributed Graph with Hadoop Environment(レドゥックドゥン)

レドゥックドゥン (総合研究大学院大学(総研大))
Quyet Nguyen-Van (Hung Yen University of Technology and Education, Vietnam)
胡振江 (国立情報学研究所)


一般2: 9月11日 15:30〜18:00

特別招待講演:岩崎慶

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で発表

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

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

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

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

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


萌芽2: 9月11日 15:30〜18:00

萌芽2–1: DITAによるソフトウェア関連文書とソースコードの統合管理環境の提案(伊藤恵)

金谷祥平 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
伊藤恵 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
大場みち子 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)
奥野拓 (公立はこだて未来大学システム情報科学部情報アーキテクチャ学科)

萌芽2–2: 整合性維持に着目したソースコードとドキュメントの一元管理環境の提案(赤石裕里花)

赤石裕里花 (公立はこだて未来大学システム情報科学部)
坂井麻里恵 (公立はこだて未来大学大学院システム情報科学研究科)
奥野拓 (公立はこだて未来大学システム情報科学部)
伊藤恵 (公立はこだて未来大学システム情報科学部)

萌芽2–3: プログラミングにおけるコメント自動付与システム ~Origanum~(下里祐介)

下里祐介 (中京大学)
濱川礼 (中京大学)

萌芽2–4: 関心度に基づいたソースコード推薦システム(村上直也)

村上直也 (東京大学大学院総合文化研究科広域科学専攻)
増原英彦 (東京工業大学大学院情報理工学研究科 数理・計算科学専攻)
青谷知幸 (東京工業大学大学院情報理工学研究科 数理・計算科学専攻)


萌芽3: 9月11日 15:30〜17:30

萌芽3–1: Encoding type systems into HyperLMNtal(Alimujiang Yasen)

Alimujiang Yasen (Waseda University)
上田和紀 (早稲田大学理工学術院情報理工学科)

萌芽3–2: GPU環境で動作するメッセージ送信型並行計算モデルにもとづいたプログラミング言語処理系の構想(高柳亘)

高柳亘 (東京工業大学大学院情報理工学研究科)
脇田建 (東京工業大学大学院情報理工学研究科)

萌芽3–3: TypeScript によるソフトウェア開発の効率に関する経験報告(森谷鴻平)

森谷鴻平 (横浜国立大学)
志田駿介 (横浜国立大学)
倉光君郎 (横浜国立大学)

萌芽3–4: 静的型付けスクリプト言語における柔軟なオブジェクト構造(辻康介)

辻康介 (横浜国立大学)
松村哲郎 (横浜国立大学)
井出真広 (横浜国立大学)
倉光君郎 (横浜国立大学)


PPL2: 9月11日 15:30〜18:00

特別招待講演:井上 拓

Adaptive Multi-Level Compilation in a Trace-based Java JIT Compiler

井上 拓(日本IBM東京基礎研究所)

OOPSLA 2012で発表

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

PPL2–2: 変数参照関係を用いた関数型プログラムのコードリーディング支援(百足勇人)

遠藤誠典 (東北大学)
百足勇人 (東北大学)
森畑明昌 (東北大学)
上野雄大 (東北大学)
大堀淳 (東北大学)

PPL2–3: ドメイン特化言語処理系実装支援ライブラリのメタプログラミングによる設計と実装(塩田雅人)

塩田雅人 (電気通信大学大学院情報理工学研究科)
岩崎英哉 (電気通信大学大学院情報理工学研究科)

PPL2–4: MethodとEvent、Advice、およびBehaviorを統合する言語機構(莊永裕)

莊永裕 (東京大学情報理工学系研究科創造情報学専攻)
千葉滋 (東京大学情報理工学系研究科創造情報学専攻)

PPL2–5: Scala 上で実現されたSAT型制約プログラミングシステムのための開発ツール Scarab について(宋剛秀)

宋剛秀 (神戸大学情報基盤センター)
番原睦則 (神戸大学情報基盤センター)
田村直之 (神戸大学情報基盤センター)
Daniel Le Berre (CRIL-CNRS, UMR 8188, Université d’Artois)
Stéphanie Roussel (CRIL-CNRS, UMR 8188, Université d’Artois)

広告