研究会開催プログラム

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について

電子情報通信学会研究会発表申込システム
研究会開催プログラム

技報閲覧サービス
[ログイン]
技報アーカイブ

トップ

戻る

/ 次の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
お知らせ	◎８月２日研究会終了後，懇親会を予定していますのでご参加下さい．会場予約の都合上，参加希望の方は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 Nishida・Masahiko Sakai・Toshiki Sakabe（Nagoya 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/をご覧下さい．