| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★ソフトウェアサイエンス研究会（SS） 専門委員長 佐伯 元司 副委員長 坂部 俊樹 幹事 権藤 克彦， 松下 誠 日時 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日(月) 午後 （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分 ） −−− (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 Nishida・Masahiko Sakai・Toshiki Sakabe（Nagoya Univ.） (14) 13:30 - 14:00 ソースコード検索システムの試作とフリーソフトウェアへの適用実験 ○松尾景樹・宮西一徳・荻原剛志（神戸大） (15) 14:00 - 14:30 複数名技術者による同時編集作業における競合の抑制と並列化の両立 ○梶原直人・杉山安洋（日大） (16) 14:30 - 15:00 型変数を用いた逆向きデータフロー解析によるマシンコードの型付け手法の提案 ○五百蔵重典・野木兼六（神奈川工科大） 一般講演：発表 20 分 ＋ 質疑応答 10 分 ◎８月２日研究会終了後，懇親会を予定していますのでご参加下さい．会場予約の都合上，参加希望の方は7/22までに幹事(gondow @cs.titech.ac.jp)までご連絡をお願いします． ☆SS研究会今後の予定 [ ]内発表申込締切日 9月7日(火) 立命館大 衣笠キャンパス [6月27日(日)] テーマ：要求工学 11月25日(木)～26日(金) 山梨大学 甲府(武田)キャンパス [9月15日(水)] テーマ：一般 【問合先】 権藤克彦(東京工業大学) TEL 03-5734-2810 FAX 03-5734-2772 E-mail:  n w      ◎最新情報は，SIGSS研究会ホームページ http://www.sde.cs.titech.acjp/ss/をご覧下さい． Last modified: 2004-07-05 13:39:53 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[SS研究会のスケジュールに戻る] /
| トップ | 戻る | / 次のSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]