|
|
|
|
バスの本数は少ないそうです．が徒歩圏内です．
利用予定の会議室は 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研究会のスケジュールに戻る] /
|
|
|
[研究会発表申込システムのトップページに戻る]
[電子情報通信学会ホームページ]
|