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


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

日時 2004年 8月 2日(月) 13:00 - 17:15
2004年 8月 3日(火) 10:00 - 15:00
議題 一般 
会場名 公立はこだて未来大学 585教室 
住所 〒041-8655 北海道函館市亀田中野町 116番地2
交通案内 函館空港またはJR函館駅からバスにて未来大学下車
http://www.fun.ac.jp/location/index.html
会場世話人
連絡先
情報アーキテクチャ学科・宮本衛市
0138-34-6223
お知らせ ◎8月2日研究会終了後,懇親会を予定していますのでご参加下さい.会場予約の都合上,参加希望の方は7/22までに幹事(gondow @cs.titech.ac.jp)までご連絡をお願いします.

8月2日(月) 午後 
13:00 - 17:15
(1) 13:00-13:30 高階書換え系の決定可能な計算戦略について 粕谷英人愛知県立大)・酒井正彦阿草清滋名大
(2) 13:30-14:00 インタフェースの provide-require 関係の解析に基づいた自動的な構成管理手法の提案 早瀬康裕阪大)・神谷年洋JST)・松下 誠井上克郎阪大
(3) 14:00-14:30 プログラムの変更履歴に基づくリファクタリング支援 林 晋平東工大)・栗原正仁北大
(4) 14:30-15:00 ゆかりコア: ネットワーク家電のための分散協調型サービス構築基盤 沢田篤史京大/NICT)・多鹿陽介東芝)・山崎達也NICT)・美濃導彦京大/NICT
  15:00-15:15 休憩 ( 15分 )
(5) 15:15-15:45 ニューラルネットワークを用いたコマンド予測シェルの試作 北川俊広杉山安洋日大
(6) 15:45-16:15 高階移動エージェント向けJavaパッケージの開発 ~ 関数型言語実装の一手段 ~ 神林 靖日本工大)・滝本宗宏東京理科大)・児玉靖司法政大
(7) 16:15-16:45 状態マシンモデルに基づいたセキュリティプロトコルの仕様化 板橋吾一東北大/サイエンティア)・高橋 薫加藤 靖仙台電波高専)・菅沼拓夫白鳥則郎東北大
(8) 16:45-17:15 モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド 大久保弘崇山本晋一郎愛知県立大)・坂部俊樹名大)・稲垣康善愛知県立大
8月3日(火) 午前 
10:00 - 12:00
(9) 10:00-10:30 既存システムのユースケース図を利用したステークホルダと非機能要求の獲得法 海谷治彦長田 晃海尻賢二信州大
(10) 10:30-11:00 ソフトウェア部品推薦のための協調フィルタリング手法の提案と実現 市井 誠阪大)・山本哲男立命館大)・横森励士井上克郎阪大
(11) 11:00-11:30 関数型言語ML向け形式的検証支援システムの試作 才村徹也岡野浩三谷口健一阪大
(12) 11:30-12:00 分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装 牧寺 彩岡野浩三谷口健一阪大
8月3日(火) 午後 
13:00 - 15:00
(13) 13:00-13:30 On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems Naoki NishidaMasahiko SakaiToshiki SakabeNagoya Univ.
(14) 13:30-14:00 ソースコード検索システムの試作とフリーソフトウェアへの適用実験 松尾景樹宮西一徳荻原剛志神戸大
(15) 14:00-14:30 複数名技術者による同時編集作業における競合の抑制と並列化の両立 梶原直人杉山安洋日大
(16) 14:30-15:00 型変数を用いた逆向きデータフロー解析によるマシンコードの型付け手法の提案 五百蔵重典野木兼六神奈川工科大

講演時間
一般講演発表 20 分 + 質疑応答 10 分

問合先と今後の予定
SS ソフトウェアサイエンス研究会(SS)   [今後の予定はこちら]
問合先 権藤克彦(東京工業大学)
TEL 03-5734-2810
FAX 03-5734-2772
E-: nw 
お知らせ ◎最新情報は,SIGSS研究会ホームページ http://www.sde.cs.titech.acjp/ss/をご覧下さい.


Last modified: 2004-07-05 13:39:53


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

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

[技術研究報告冊子体販売対象研究会向け:技報の当日価格一覧] ※ 開催2週間前頃に掲載されます
 
[研究会発表・参加方法,FAQ] ※ ご一読ください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

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


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

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


IEICE / 電子情報通信学会