リーディングプロジェクト　e-society

一般セッション・学生セッション

リーディングプロジェクト　e-society

一般セッション［1L会場］（3月13日（木）13:00～15:00）
リーディングプロジェクト　e-society：高信頼性組み込みソフトウェア（1）　　座長　中島　達夫（早大）

1L-1	モデル検査技術によるUML設計検証に関する考察 ○岸　知二（北陸先端大），野田夏子（NEC）
1L-2	モデル検査によるリアルタイムオペレーティングシステムの検証実験 ○青木利晃（北陸先端大）
1L-3	UML設計に対するモデル検査のための検証パターン ○金井勇人，岸　知二（北陸先端大）
1L-4	高信頼組込みソフトウェア構築技術の統合 ○細合晋太郎（北陸先端大），菅谷みどり（早大），鵜川始陽（京大）
1L-5	SMPアカウンティングシステムの設計及び実装 ○菅谷みどり，中島達夫（早大）

一般セッション［2L会場］（3月13日（木）16:30～18:30）
リーディングプロジェクト　e-society：高信頼性組み込みソフトウェア（2）　　座長　青木　利晃（北陸先端大）

2L-1	マルチOS環境におけるアカウンティングシステムの実装 ○巻島一雄，杵渕雄樹，菅谷みどり，中島達夫（早大）
2L-2	セキュアOSにおける動的アクセス制御の実装 ○香取知浩，杵渕雄樹，神田　渉，湯村　悠，中島達夫（早大）
2L-3	SPUMONE:軽量なCPU仮想化手法 ○湯村　悠，神田　渉，香取知浩，杵渕雄樹，中島達夫（早大）
2L-4	仮想化環境におけるCPU資源管理 ○追川修一（筑波大）
2L-5	スタックスキャンを中断させるリターンバリアごみ集め ○鵜川始陽，湯淺太一（京大）

一般セッション［3L会場］（3月14日（金）9:30～12:00）
リーディングプロジェクト　e-society：自然な音声対話処理技術（1）　　座長　猿渡　　洋（奈良先端大）

3L-1	音声情報案内システム「たけまるくん」の運用 ○鹿野清宏，Tobias Cincarek，竹内翔大，川波弘道（奈良先端大），李　晃伸（名工大），西村竜一（和歌山大），猿渡　洋（奈良先端大）
3L-2	音声情報案内システム「キタロボ」と「キタちゃん」の運用 ○川波弘道，Tobias Cincarek，竹内翔大，猿渡　洋，鹿野清宏（奈良先端大）
3L-3	大規模文書を知識ベースとする音声対話システム ○翠　輝久，河原達也（京大）
3L-4	多様な利用環境における楽曲検索音声対話システムのフィールドテストと評価 ○原　　直，宮島千代美（名大），伊藤克亘（法大），北岡教英，武田一哉（名大）
3L-5	音声入力Webシステムによる音声認識アプリケーションの構築技術 ○西村竜一（和歌山大），三宅純平（奈良先端大），河原英紀，入野俊夫（和歌山大）
3L-6	大語彙連続音声認識エンジンJuliusバージョン4.0の構成と機能 ○李　晃伸（名工大）
3L-7	大語彙連続音声認識ソフトウェアJuliusのマイコンへの実装 ○小窪浩明（日立），李　晃伸（名工大），河原達也（京大），鹿野清宏（奈良先端大）

一般セッション［4L会場］（3月14日（金）15:30～17:30）
リーディングプロジェクト　e-society：自然な音声対話処理技術（2）　　座長　河原　達也（京大）

4L-1	話者方位推定に基づくリアルタイム発話区間検出システムの開発 ○西浦敬信，傳田遊亀（立命館大），猿渡　洋，鹿野清宏（奈良先端大）
4L-2	空間的サブトラクションアレーに基づくハンズフリー音声認識システムの開発 ○猿渡　洋（奈良先端大），庄境　誠，長濱克昌，山田真士（旭化成），西浦敬信，傳田遊亀（立命館大），高橋　祐，鹿野清宏（奈良先端大）
4L-3	ハンズフリーロボット対話実験システムの構築 ○猿渡　洋，高橋　祐，Tobias Cincarek，酒井啓行，竹内翔大，大迫慶一，宮部滋樹，森　康充，川波弘道（奈良先端大），李　晃伸（名工大），鹿野清宏（奈良先端大）
4L-4	微弱振動子とNAMマイクを用いた発話障害者補助 ○中村圭吾，戸田智基，中島淑貴，猿渡　洋，鹿野清宏（奈良先端大）
4L-5	STRAIGHTに基づく柔軟な音声合成技術の開発 ○河原英紀，大西壮登，森勢将雅，高橋　徹，西村竜一（和歌山大），坂野秀樹（名城大），入野俊夫（和歌山大）
4L-6	隠れマルコフモデルに基づく音声合成システム ○全　炳河，徳田恵一（名工大）

一般セッション［5L会場］（3月15日（土）9:30～12:00）
リーディングプロジェクト　e-society：WebアーカイブとWebデータ解析技術　　座長　豊田　正史（東大）

5L-1	全世界のWebページのTLD・言語分布解析 ○平手勇宇，山名早人（早大）
5L-2	アンカーテキストを用いたタイトルタグからの新語抽出法の提案 ○下山剛司，秋岡明香，村岡洋一（早大）
5L-3	日本語Webページを対象としたタイトルタグの傾向と分析 ○秋岡明香，下山剛司，村岡洋一（早大）
5L-4	単語の半教師ありクラスタリング ○鍜治伸裕，喜連川優（東大）
5L-5	大規模Webアーカイブにおけるコンテンツ解析支援機構 ○田村孝之（三菱），喜連川優（東大）
5L-6	ウェブからの分析対象文書抽出手法の検討 ○高山泰博，今村　誠（三菱），鍛冶伸裕，豊田正史，喜連川優（東大）

一般セッション［6L会場］（3月15日（土）14:30～17:00）
リーディングプロジェクト　e-society：Storage Fusion　　座長　中野美由紀（東大）

6L-1	Storage Fusion: データベース処理を意識したディスクストレージ省電力化の一考察 ○合田和生，喜連川優（東大）
6L-2	Storage Fusion: データベース処理を意識したディスクアレイ省電力化のための電力消費モデルの構築 ○平井　遥，星野　喬，合田和生，喜連川優（東大）
6L-3	Storage Fusion: 自己再編成ストレージシステムの高度化に関する一考察 ○星野　喬，合田和生，喜連川優（東大）
6L-4	Storage Fusion:ログ同期ディザスタリカバリ方式の性能評価 ○鈴木芳生，藤原真二，水野和彦，渡辺　聡（日立）
6L-5	Storage Fusion:同期・非同期切り替えディザスタリカバリ方式の提案と評価 ○水野和彦，藤原真二，鈴木芳生，渡辺　聡（日立）
6L-6	Storage Fusion:クエリプラン利用先読み技術における先読み絞り込み機能の開発 ○出射英臣，西川記史，茂木和彦（日立）
6L-7	Storage Fusion: DBMSにおける排他待ち問題解決支援機能の開発 ○西川記史，茂木和彦，河村信男，根本直一（日立）

一般セッション［3M会場］（3月14日（金）9:30～12:00）
リーディングプロジェクト　e-society：高信頼プログラミング言語と構造化文書変換技術　　座長　鯵坂　恒夫（和歌山大）

3M-1	プログラミング言語SML# ○大堀　淳（東北大）
3M-2	VITC: 情報流解析による高安全Cコンパイラ ○古瀬　淳（東大）
3M-3	双方向変換に基づくウェブパブリッシング支援システム Vu-X ○中野圭介，劉　東喜，林　康史，胡　振江，武市正人（東大）
3M-4	依存関係記述スキーマによる双方向XMLアプリケーションの開発 ○林　康史，劉　東喜，中野圭介，胡　振江，武市正人（東大）
3M-5	Developing Bidirectional XML Applications with Bi-X ○Dongxi Liu，林　康史，中野圭介，胡　振江，武市正人（東大）

一般セッション［4M会場］（3月14日（金）15:30～17:30）
リーディングプロジェクト　e-society：高信頼ソフトウェア・WebWare開発支援システム　　座長　松下　　誠（阪大）

4M-1	相関ルールを用いたシステム障害対応データの傾向分析 ○十九川博幸（日立システムアンドサービス），森崎修司，松村知子，門田暁人，松本健一（奈良先端大）
4M-2	バースマークを用いたソフトウェア拡張開発での流用度合いの測定 ○玉田春昭，森崎修司，門田暁人，松本健一（奈良先端大）
4M-3	規模当たりの要員数を考慮したソフトウェア開発工数見積モデル ○角田雅照，門田暁人，松本健一（奈良先端大）
4M-4	細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器 ○金子伸幸，今井敬吾（名大），山本晋一郎（愛知県大），阿草清滋（名大）
4M-5	細粒度マークアップに基づくJSPコーディング検査器の適用実験 ○森川和明，吉田勝人，並河英二，中元秀明（野村総研）
4M-6	WebブラウザのCSSレンダリング妥当性検査手法の提案 ○近藤裕佑，大久保弘崇，粕谷英人，山本晋一郎（愛知県大）
4M-7	ルールセットの類似性を用いたCSSリファクタリング手法の提案 ○山本優三，福安直樹，満田成紀，吉田　敦，松延拓生，鯵坂恒夫（和歌山大）

学生セッション［1ZK会場］（3月13日（木）13:00～15:00）
リーディングプロジェクト　e-society：コードクローン検出によるソフトウェア開発技術　　座長　吉田　　敦（和歌山大）

1ZK-1	レガシーソフトウェア保守プロセスにおける開発者によるコードクローン認識についての観察 ○山科隆伸，上野秀剛，伏田享平，亀井靖高，名倉正剛，川口真司，飯田　元（奈良先端大）
1ZK-2	ソフトウェア開発プロセスにおける定量的管理計画の立案・共有支援システム ○高田　純，伏田享平，名倉正剛，川口真司，飯田　元（奈良先端大）
1ZK-3	コードクローンのメトリクス値と開発者の相関の調査 ○東　　誠，肥後芳樹，早瀬康裕，松下　誠，井上克郎（阪大）
1ZK-4	コードクローン検出に基づくデザインパターン適用支援手法の提案と実現 ○吉田昌友，吉田則裕，井上克郎（阪大）
1ZK-5	複数のコードクローン検出ツールによって検出されるコードクローンの差異を用いた不具合検出手法 ○澤　健一，肥後芳樹，楠本真二（阪大）