お知らせ 研究会の開催と会場に参加される皆様へのお願い(2022年6月開催~)
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前の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 YagiYoshiaki TakataHiroyuki SekiNAIST
(8) 09:30-10:00 オントロジーを用いたソフトウェア設計法の一検討 吉田 寛井上貴司松雪康巳山村哲哉NTT
(9) 10:00-10:30 A Formal Model for Stateful Trust Management Systems Hisashi MouriYoshiaki TakataHiroyuki SekiNAIST
  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-: gondow @cs.titech.ac.jp 
お知らせ ◎最新情報は,SIGSS研究会ホームページ http://www.sde.cs.titech.acjp/ss/
をご覧下さい.


Last modified: 2005-05-26 12:17:37


ご注意: 迷惑メール対策のためメールアドレスの一部の文字を置換しております.ご了承ください.

[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 

[研究会発表・参加方法,FAQ] ※ ご一読ください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

[SS研究会のスケジュールに戻る]   /  
 
 トップ  戻る   前のSS研究会 / 次のSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


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

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


IEICE / 電子情報通信学会