電子情報通信学会 研究会発表申込システム
研究会 開催プログラム		 技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前の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/
宮城大学・仙台保健福祉専門学校行き:ＪＲ仙台駅→宮城大学(約40分) http://www.miyakou.co.jp/bus/route/plat2/sendai/01_1.php
泉パークタウン車庫前:地下鉄泉中央→宮城大学(３番乗り場)(約20分) http://www.miyakou.co.jp/bus/route/plat2/izumi/01_1.php

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

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

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


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


ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 
[研究会発表・参加方法，FAQ] ※ ご一読ください
 
[SS研究会のスケジュールに戻る]   /  
 
 トップ  戻る   前のSS研究会 / 次のSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

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

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