電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前のSS研究会 / 次のSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

バスの本数は少ないそうです.が徒歩圏内です. 利用予定の会議室は http://www.cs.shinshu-u.ac.jp/map/campus.jpg の太田記念館(画面,右の中央くらい)です.



ソフトウェアサイエンス研究会(SS) [schedule] [select]
専門委員長 佐伯 元司
副委員長 坂部 俊樹
幹事 権藤 克彦, 松下 誠

日時 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
お知らせ ◎海谷先生から頂いた会場情報です.http://kaiya.cs.shinshu-u.ac.jp/2005/ohta/
◎6/23研究会終了後,懇親会を予定していますのでご参加ください.参加される方は人数を把握するため権藤(gondow @cs.titech.ac.jp)までご連絡下さい.

6月23日(木) 午後 
13:00 - 17:00
(1) 13:00-13:30 特定分野のソフトウェアに関する特性の相関を用いた要求獲得法 ○長田 晃・小澤大伍・海谷治彦・海尻賢二(信州大)
(2) 13:30-14:00 協調フィルタリングに基づくソフトウェア開発技術の推薦 ○秋永知宏・大杉直樹・柿元 健・角田雅照・門田暁人・松本健一(奈良先端大)
  14:00-14:15 休憩 ( 15分 )
(3) 14:15-14:45 状態遷移表における無効セルの検証方法 ○松本充広(福岡県産業・科学技術振興財団/九大)・山下直仁(福岡県産業・科学技術振興財団)・鈴木郁子(シャープ)・福田 晃(九大)
(4) 14:45-15:15 プログラマの視線を用いたレビュープロセスの分析 ○上野秀剛・中道 上・井垣 宏・門田暁人・中村匡秀・松本健一(奈良先端大)
(5) 15:15-15:45 動的に演算定義が可能な拡張正規表現照合システム ○岡田吉文・山本博章(信州大)
  15:45-16:00 休憩 ( 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)
  10:30-10:45 休憩 ( 15分 )
(10) 10:45-11:15 強計算性に基づいた単純型項書換え系の停止性証明法 ○草刈圭一朗・櫻井敬大・西田直樹・酒井正彦・坂部俊樹(名大)
(11) 11:15-11:45 難読プログラミング言語Malbolgeにおけるプログラム構成手法 ○飯澤 恒・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹(名大)
(12) 11:45-12:15 ナローイング計算の停止性証明のための依存グラフ法 ○三浦浩一・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹(名大)

講演時間
招待講演発表 45 分 + 質疑応答 15 分

問合先と今後の予定
SS ソフトウェアサイエンス研究会(SS)   [今後の予定はこちら]
問合先 権藤克彦(東京工業大学)
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研究会のスケジュールに戻る]   /  
 
 トップ  戻る   前のSS研究会 / 次のSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会