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


知能ソフトウェア工学研究会(KBSE) [schedule] [select]
専門委員長 中谷 多哉子 (筑波大)
副委員長 松浦 佐江子 (芝浦工大)
幹事 芳賀 博英 (同志社大), 片峯 恵一 (九工大)
幹事補佐 阿萬 裕久 (愛媛大), 白銀 純子 (東京女子大)

ソフトウェアサイエンス研究会(SS) [schedule] [select]
専門委員長 関 浩之 (奈良先端大)
副委員長 中島 震 (NII)
幹事 高田 喜朗 (高知工科大), 満田 成紀 (和歌山大)
幹事補佐 鷲崎 弘宜 (早大)

日時 2010年 5月27日(木) 10:40 - 16:30
2010年 5月28日(金) 10:30 - 16:40
議題 一般,フレッシャーズセッション 
会場名 同志社大学今出川キャンパス寒梅館地下A会議室 
交通案内 京都市営地下鉄烏丸線今出川駅徒歩3分
http://www.doshisha.ac.jp/access/ima_access.html
会場世話人
連絡先
理工学部 芳賀博英
090-1912-1954
他の共催 ◆同志社大学理工学部情報系共催
著作権に
ついて
以下の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

  10:30-10:40 委員長挨拶 ( 10分 )
5月27日(木) 午前  一般セッション(1)
10:40 - 12:40
(1) 10:40-11:20 プラグラマティズムに基づく概念データモデリングの再構築 ~ オブジェクト指向の哲学的背景について ~ SS2010-1 KBSE2010-1 金田重郎同志社大
(2) 11:20-12:00 オントロジー指向アーキテクチャーによる認識処理手法の基礎的検討 SS2010-2 KBSE2010-2 木野千晶鈴木喜雄武宮 博原子力機構
(3) 12:00-12:40 セキュリティ要件定義のためのゴール指向モデリング手法 SS2010-3 KBSE2010-3 斯波万恵佐々木尚一東芝ソリューション)・田口研治産総研)・吉岡信和NII
  12:40-13:45 昼食 ( 65分 )
5月27日(木) 午後  フレッシャーズセッション
13:45 - 16:30
(4) 13:45-14:15 シナリオ部品とその組合せによるシナリオの生成支援 SS2010-4 KBSE2010-4 西村 眞人(学)大西 淳立命館大
(5) 14:15-14:45 遷移確率距離を用いた類似文字列検索 SS2010-5 KBSE2010-5 勝俣 彰文 (学)三浦孝夫法政大
(6) 14:45-15:15 XMLによるプログラムの表現とそれに基づく統合テスト支援環境の提案 ~ (1) ミューテーションテストのためのミュータントオペレータの実装 ~ SS2010-6 KBSE2010-6 末広 暁久(学)佐々木亮太芳賀博英同志社大
  15:15-15:30 休憩 ( 15分 )
(7) 15:30-16:00 税業務の階層性に基づく共同化システムの知識表現形式と処理系の構築 SS2010-7 KBSE2010-7 長村篤紀吉岡俊輔深見尚平上仲良幸金田重郎同志社大
(8) 16:00-16:30 類似メソッドの集約のための差分抽出支援 SS2010-8 KBSE2010-8 政井 智雄(学)吉田則裕松下 誠井上克郎阪大
5月28日(金) 午前  一般セッション(2)
10:30 - 12:30
(9) 10:30-11:10 パターンを用いたゴール指向ビジネス企画手法の提案 SS2010-9 KBSE2010-9 猿渡卓也NTTデータ)・田口研治NII)・斎藤 忍NTTデータ)・山本修一郎名大
(10) 11:10-11:50 要求の割付先としてのITと運用の選択基準 SS2010-10 KBSE2010-10 服部 昇NTTデータ/和歌山大)・鯵坂恒夫和歌山大)・山本修一郎名大
(11) 11:50-12:30 Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification SS2010-11 KBSE2010-11 Xiaoxi DongShin NakajimaNII
5月28日(金) 午後  一般セッション(3)
13:45 - 16:40
(12) 13:45-14:25 動的リアルタイムCEGAR SS2010-12 KBSE2010-12 酒井 誠田中祐史山根 智金沢大
(13) 14:25-15:05 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法 SS2010-13 KBSE2010-13 畠中克也鎌澤浩司山根 智金沢大
  15:05-15:20 休憩 ( 15分 )
(14) 15:20-16:00 確率時間REGARの実装と評価 SS2010-14 KBSE2010-14 清水隆也高橋正樹山根 智金沢大
(15) 16:00-16:40 プログラム構造から見た再帰プログラムの基本形 SS2010-15 KBSE2010-15 大段雅典島根大/NTTデータシステム技術)・佐藤匡正

講演時間
一般講演発表 30 分 + 質疑応答 10 分
学生及び若手発表発表 20 分 + 質疑応答 10 分

問合先と今後の予定
KBSE 知能ソフトウェア工学研究会(KBSE)   [今後の予定はこちら]
問合先 芳賀 博英(同志社大学)
E-: hs 
お知らせ ◎最新の情報はKBSE研究会ホームページでご確認ください.
http://www.selab.is.ritsumei.ac.jp/kbse/
SS ソフトウェアサイエンス研究会(SS)   [今後の予定はこちら]
問合先 満田成紀(和歌山大)
TEL 073-457-8433
FAX 073-457-8434
E-: n-u 
お知らせ ◎最新の情報はSIGSS研究会ホームページでご確認ください.
http://sdlab.sys.wakayama-u.ac.jp/ss/


Last modified: 2010-03-22 15:40:53


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

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

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

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


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

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


IEICE / 電子情報通信学会