お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム		 技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前の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 / 電子情報通信学会