研究会開催プログラム

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

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

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

トップ

戻る

前の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 Dong・Shin Nakajima（NII）
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/