|
|
バスの本数は少ないそうです.が徒歩圏内です.
利用予定の会議室は http://www.cs.shinshu-u.ac.jp/map/campus.jpg の太田記念館(画面,右の中央くらい)です.
★ソフトウェアサイエンス研究会(SS)
専門委員長 佐伯 元司 副委員長 坂部 俊樹
幹事 権藤 克彦, 松下 誠
日時 2005年 6月23日(木) 13:00~17:00
2005年 6月24日(金) 09:00~12:15
会場 信州大学 太田国際記念館(〒380-8553 長野市 若里 4-17-1.JR長野駅よりバス8分,または徒歩20分.http://www.cs.shinshu-u.ac.jp/map/map.html.海谷 治彦.026-269-5469)
議題 一般
6月23日(木) 午後 (13:00~17:00)
(1) 13:00 - 13:30
特定分野のソフトウェアに関する特性の相関を用いた要求獲得法
○長田 晃・小澤大伍・海谷治彦・海尻賢二(信州大)
(2) 13:30 - 14:00
協調フィルタリングに基づくソフトウェア開発技術の推薦
○秋永知宏・大杉直樹・柿元 健・角田雅照・門田暁人・松本健一(奈良先端大)
−−− 休憩 ( 15分 ) −−−
(3) 14:15 - 14:45
状態遷移表における無効セルの検証方法
○松本充広(福岡県産業・科学技術振興財団/九大)・山下直仁(福岡県産業・科学技術振興財団)・鈴木郁子(シャープ)・福田 晃(九大)
(4) 14:45 - 15:15
プログラマの視線を用いたレビュープロセスの分析
○上野秀剛・中道 上・井垣 宏・門田暁人・中村匡秀・松本健一(奈良先端大)
(5) 15:15 - 15:45
動的に演算定義が可能な拡張正規表現照合システム
○岡田吉文・山本博章(信州大)
−−− 休憩 ( 15分 ) −−−
(6) 16:00 - 17:00
[招待講演]自己増殖型ソフトウェアプロダクト診断
○海尻賢二(信州大)
6月24日(金) 午前 (09:00~12:15)
(7) 09:00 - 09:30
A Static Analysis using Tree Automata for XML Access Control
○Isao Yagi・Yoshiaki Takata・Hiroyuki Seki(NAIST)
(8) 09:30 - 10:00
オントロジーを用いたソフトウェア設計法の一検討
○吉田 寛・井上貴司・松雪康巳・山村哲哉(NTT)
(9) 10:00 - 10:30
A Formal Model for Stateful Trust Management Systems
○Hisashi Mouri・Yoshiaki Takata・Hiroyuki Seki(NAIST)
−−− 休憩 ( 15分 ) −−−
(10) 10:45 - 11:15
強計算性に基づいた単純型項書換え系の停止性証明法
○草刈圭一朗・櫻井敬大・西田直樹・酒井正彦・坂部俊樹(名大)
(11) 11:15 - 11:45
難読プログラミング言語Malbolgeにおけるプログラム構成手法
○飯澤 恒・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹(名大)
(12) 11:45 - 12:15
ナローイング計算の停止性証明のための依存グラフ法
○三浦浩一・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹(名大)
招待講演:発表 45 分 + 質疑応答 15 分
◎海谷先生から頂いた会場情報です.http://kaiya.cs.shinshu-u.ac.jp/2005/ohta/
◎6/23研究会終了後,懇親会を予定していますのでご参加ください.参加される方は人数を把握するため権藤(gondow @cs.titech.ac.jp)までご連絡下さい.
☆SS研究会今後の予定 [ ]内発表申込締切日
8月4日(木)~5日(金) 小樽商科大学 407教室 [6月15日(水)] テーマ:一般
【問合先】
権藤克彦(東京工業大学)
TEL 03-5734-2810
FAX 03-5734-2772
E-mail: gondow @cs.titech.ac.jp
◎最新情報は,SIGSS研究会ホームページ http://www.sde.cs.titech.acjp/ss/
をご覧下さい.
Last modified: 2005-05-26 12:17:37
|
ご注意: 迷惑メール対策のためメールアドレスの一部の文字を置換しております.ご了承ください.
|
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
|
[研究会発表・参加方法,FAQ] ※ ご一読ください
|
[SS研究会のスケジュールに戻る] /
|
|
[研究会発表申込システムのトップページに戻る]
[電子情報通信学会ホームページ]
|