お知らせ 研究会の開催と会場に参加される皆様へのお願い(2021年10月開催~)
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前のSS研究会 / 次のSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


ソフトウェアサイエンス研究会(SS) [schedule] [select]
専門委員長 坂部 俊樹 (名大)
副委員長 鯵坂 恒夫 (和歌山大)
幹事 権藤 克彦 (東工大), 草刈 圭一朗 (名大)

日時 2007年10月22日(月) 14:00 - 16:45
2007年10月23日(火) 09:40 - 11:55
議題 一般 
会場名 宮城大学 大和キャンパス, 本部棟4階 411講義室 
住所 〒981-3298 宮城県黒川郡大和町学苑1番
交通案内 http://www.myu.ac.jp/guide/gu06.html
会場世話人
連絡先
富樫敦
お知らせ ◎10/22(月)研究会終了後,懇親会を予定していますので奮って御参加ください.参加希望の方は次の懇親会案内のページでの予約をお願いします.http://www.sakabe.i.is.nagoya-u.ac.jp/ss/konshin/?id=0710
仙台地下鉄:仙台→泉中央(約14分) http://www.kotsu.city.sendai.jp/
宮城大学・仙台保健福祉専門学校行き:JR仙台駅→宮城大学(約40分) http://www.miyakou.co.jp/bus/route/plat2/sendai/01_1.php
泉パークタウン車庫前:地下鉄泉中央→宮城大学(3番乗り場)(約20分) http://www.miyakou.co.jp/bus/route/plat2/izumi/01_1.php
著作権に
ついて
以下の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

10月22日(月) 午後 
14:00 - 16:45
(1) 14:00-14:30 導出木からのループ検出による論理プログラムの非停止性証明法 SS2007-30 水谷知博西田直樹酒井正彦坂部俊樹草刈圭一朗名大
(2) 14:30-15:00 セマンティックウェブにおける時制的拡張 富樫 敦宮城大)・湯本純也NECソフトウェア
  15:00-15:15 休憩 ( 15分 )
(3) 15:15-15:45 QOCの相対的重みに関する表現能力欠如を解決するRational Decision Makingを用いた設計根拠獲得手法 SS2007-31 小林祐介櫨山淳雄学芸大
(4) 15:45-16:15 組込みシステムの外部環境に着目した動作仕様検証 SS2007-32 金川太俊瀬戸敏喜谷口 奨吉田 純鵜林尚靖九工大)・鷲見 毅平山雅之東芝
(5) 16:15-16:45 ロボット制御ソフトウェアの形式的モデル検証 SS2007-33 大森洋一井ノ口裕也荒木啓二郎九大
10月23日(火) 午前 
09:40 - 11:55
(6) 09:40-10:10 e-Learningによる英語構文基礎学力養成SYSTEM SS2007-34 伴 浩美東京未来大)・菅田 徹金沢星稜大
(7) 10:10-10:40 計算機上で処理を受ける対象の意味づけを保存する場合の処理のモデル化の試案 SS2007-35 古宇田フミ子近山 隆東大
  10:40-10:55 休憩 ( 15分 )
(8) 10:55-11:25 相関ルールマイニングによる企業横断データにおける不具合工数密度の分析 SS2007-36 出張純也水野 修菊野 亨阪大)・菊地奈穂美平山雅之情報処理推進機構
(9) 11:25-11:55 メールスレッドのクラスター分析によるOSSプロジェクトのアクティビティ予測手法 SS2007-37 大蔵君治大西洋司川口真司大平雅雄飯田 元松本健一奈良先端大

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

問合先と今後の予定
SS ソフトウェアサイエンス研究会(SS)   [今後の予定はこちら]
問合先 草刈圭一朗(名古屋大学)
TEL 052-789-3973
FAX 052-789-3801
E-: is-u 
お知らせ ◎最新の情報はSIGSS研究会ホームページでご確認ください.
http://www.sakabe.i.is.nagoya-u.ac.jp/ss/


Last modified: 2007-10-05 13:41:16


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

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

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

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


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

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


IEICE / 電子情報通信学会