プログラム(PDF版:2011年9月9日公開)

• タイムテーブル(予定)
• 基調講演
• チュートリアル(当日の資料へのリンク有り：2011/09/20更新)
• ポスター発表
• クロージングパネル

■タイムテーブル（予定）

■基調講演1　9月13日 10:00〜11:00

講演者: 丸山　直子 (東京女子大学)

講演題目
日本語学とコンピュータ
概要
日本語学がコンピュータとどうかかわってきたかという歴史を、創立50年あまりの学会、計量国語学会の歴史と重ね合わせて振り返ると同時に、最近ようやく日本語研究においてもさかんになってきたコーパス言語学について、現状と問題点を述べる。 最近は、人が開発したソフトウェアを使わせていただくことが増えてきた。広く、データやツールを共有して研究を進めて行くことができるのは大変有益であるが、データもツールも使えるものを使う（使えるものだけ使って満足する）という傾向が見られるのは、反省すべき点である。
司会
野田夏子(NEC)

■基調講演2　9月14日 10:00〜11:00

講演者: 本位田　真一（国立情報学研究所／東京大学)

講演題目
しなやかなソフトウェアシステムを目指して
概要
システムとして、「想定外」の事象や環境の変化、状況の変化に「しなやかに」対応することが求められている。この「しなやかさ」を実現するために、システム制御系、人工知能系などの分野では、以前よりさまざまな研究が行われている。 ソフトウェア工学の世界でも、古くて新しいテーマとして、動的進化(Dynamic Evolution)、動的保守(Dynamic Maintenance)、自己適応(Self-Adaptive, Self-healing) システムといった研究テーマで、さまざまな研究アプローチが提案されてきている。本講演では、それらの研究アプローチを概観し、その一つとして我々の研究内容を紹介する。
司会
中谷　多哉子(筑波大学)

■チュートリアル　当日の資料（2011/9/20 アップロード）

●チュートリアル1 (9/13 13:20-14:50)
講演題目
「要求工学の現状と要求工学知識体系(REBOK)第１版の紹介」
講演者
青山 幹雄(南山大学)
講演概要
近年，現場における要求工学の必要性の高まりと共に，その知識，技術の整理体系 化が進み，ビジネス分析知識体系(BABOK)や要求エンジニア認定試験(CPRE)が提供さ れている．ここでは，要求工学国際会議などを中心とする要求工学の研究ならびに 実践の現状と動向を紹介し，あわせて，要求工学知識体系(REBOK)第1版の要点を 紹介する．


●チュートリアル2 (9/13 16:15-17:45)
講演題目
「世界を目指す論文の書き方」
講演者
鵜林 尚靖（九州大学）
講演概要
研究において論文を書くという行為は非常に重要です。どんなに優れた研究成 果を持っていたとしても、それを伝える努力をしなければ、その研究は存在し ないと言われても仕方がありません。コンピュータサイエンスの世界では、国 際論文誌や国際会議で論文発表することが極めて重要です。本チュートリアル では、これからのソフトウェア工学研究を担う若い学生や研究者に向けて、ど のように論文を書けば良いかについてお話します。ソフトウェア工学ではICSE などのトップカンファレンスに論文を通すことが目標の一つになりますが、そ の想いを叶えるのは必ずしも容易ではありません。チュートリアルでは、論文 の書き方に関する教科書的な話ではなく、講師がトップカンファレンスに論文 を通した際の経験談を中心にお話したいと思います。トップカンファレンスの 合、通常、一回のみの投稿で論文が採択されるのは困難です。論文不採録の コメントから何を学び、それを次の投稿にどうつなげて行くかが重要となりま す。その辺りの知見を実例で紹介したいと思います。


●チュートリアル3 (9/13 16:15-17:45)
講演題目
「サービス・クラウド技術をSEに活かす」
講演者
（石川 冬樹・国立情報学研究所，村上 陽平・情報通信研究機構，田仲 正弘・情報通信研究機構）
講演概要
近年のWebサービス・クラウドコンピューティングの発展により，ソフトウェア 機能をサービスとしてネットワーク越しに利用できるようにしたり，それを 動かす（仮想）計算機環境を動的・柔軟に割り当てたりすることが容易になって いる．これにより，研究者が自身のツールをより手軽に，広く使ってもらったり， 開発者が様々な仮想計算機環境・資源を用いての自動テストなどを行ったりする 可能性が大きく広がっている．本チュートリアルにおいては，自動テストなどに 関する実演を通して，ツールのサービス化と公開，仮想計算機環境の動的・柔軟 な割り当てを行うための基本的な流れを解説する．


●チュートリアル4 (9/14 13:40-15:10)
講演題目
「原理から学ぶモデル検査」
講演者
土屋 達弘(大阪大学）
講演概要
モデル検査とは，情報システムの動作を状態遷移システムと見なし，状態探索に 基づいて性質を検証する自動検証手法である．近年様々な場面で応用されつつあ るが，システムのモデル化や検証したい性質の表現など，利用に際して障害とな るポイントがいくつか見受けられる．本チュートリアルでは，トライアルアンド エラーではなく，原理を学ぶことが理解への近道であるという立場から，モデル 検査の動作アルゴリズムや，性質を表現する時相論理の定義・解釈について，予 備知識を前提とせずに解説する．

■ポスター発表

「意図に基づくコンテキストアウェアサービス提供モデル」
牧慶子，山崎綾，青山幹雄（南山大学）
「Eacov:特徴語抽出を用いた仕様-コード間対応復元」
遠藤侑介，酒井政裕，今井健男，岩政幹人（東芝）

■クロージングパネル　9月14日　15:30-17:15

題目
「企業の技術者・研究者から見た大学との連携」
パネリスト
橋本 良太（日本電気），上原 忠弘（富士通研究所），吉村 健太郎（日立製作所），立石 孝彰（日本IBM）
司会
石尾 隆（大阪大学）
概要
産学連携の重要性については広く認識されているが， 一部大学と企業との間で個別に実施されている共同研究以外では， 大学と企業の研究者が十分に交流しているとは言い難い． ソフトウェア工学の研究発表の場への企業からの参加は少ない要因の 1つに，大学で行われている研究に魅力が乏しいとの声も聞かれる． このパネルでは，企業の現場にいる技術者，研究者の方々に，
• 現在取り組んでいる具体的な課題の例
• 大学の研究に求めていること，興味のある要素技術
• 「ここまでは大学でやってほしい」と思う論文発表／実験／ツール開発の形
を語っていただき，経営的な側面ではなく， 現場で実際に技術を適用する，研究を行う立場から見た 産学連携の意義や効果的な実施方法を議論したい．