お知らせ
2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ
技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ
電子情報通信学会における研究会開催について
お知らせ NEW
参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
すべての学会/ソサイエティ
IEICE: 電子情報通信学会
A: 基礎・境界
N: NOLTA
B: 通信
C: エレクトロニクス
D: 情報・システム
H: ヒューマンCG
(第二種) A: 基礎・境界
(第二種) N: NOLTA
(第二種) B: 通信
(第二種) C: エレクトロニクス
(第二種) D: 情報・システム
(第二種) H: ヒューマンCG
(第三種) B: 通信
IEE: 電気学会
IEIJ: 照明学会
JSAP: 応物学会
ITE: 映情メ学会
IPSJ: 情処学会
IEEE
ASJ: 日本音響学会
JSAI: 人工知能
OSJ: 日本光学会
HIS: HI学会
VRSJ: 日本VR学会
Others: その他
すべての研究会
人工知能と知識処理研究会 (AI)
クラウドネットワークロボット研究会 (CNR)
コンピュテーション研究会 (COMP)
合意と共創研究会 (Consen)
コンピュータシステム研究会 (CPSY)
ディペンダブルコンピューティング研究会 (DC)
データ工学研究会 (DE)
マルチメディア情報ハイディング・エンリッチメント研究会 (EMM)
教育工学研究会 (ET)
情報論的学習理論と機械学習研究会 (IBISML)
情報通信システムセキュリティ研究会 (ICSS)
画像工学研究会 (IE)
知能ソフトウェア工学研究会 (KBSE)
ライフインテリジェンスとオフィス情報システム研究会 (LOIS)
MEとバイオサイバネティックス研究会 (MBE)
医用画像研究会 (MI)
ニューロコンピューティング研究会 (NC)
言語理解とコミュニケーション研究会 (NLC)
パターン認識・メディア理解研究会 (PRMU)
リコンフィギャラブルシステム研究会 (RECONF)
サービスコンピューティング研究会 (SC)
音声研究会 (SP)
ソフトウェアサイエンス研究会 (SS)
ソフトウェアインタプライズモデリング研究会 (SWIM)
最近の開催
2024年度
2023年度
2022年度
2021年度
2020年度
2019年度
2018年度
2017年度
2016年度
2015年度
2014年度
2013年度
2012年度
2011年度
2010年度
2009年度
2008年度
2007年度
2006年度
2005年度
2004年度
最近1ヶ月
最近1年
最近2年
最近3年
最近5年
最近10年
すべての年度
[Japanese]
/
[English]
すべての開催地
北海道
東北地方(青森,秋田,山形,岩手,宮城,福島)
関東地方(東京,埼玉,神奈川,千葉,茨城,群馬,栃木,山梨)
甲信越地方(新潟,山梨,長野)
北陸地方(新潟,富山,石川,福井)
東海地方(岐阜,静岡,愛知,三重)
近畿地方(京都,大阪,滋賀,兵庫,奈良,和歌山,三重)
中国地方(岡山,広島,山口,島根,鳥取)
四国地方(徳島,香川,愛媛,高知)
九州地方(福岡,佐賀,長崎,熊本,大分,宮崎,鹿児島)
沖縄県
東京都
東京都および神奈川県
東京圏(東京,埼玉,千葉,神奈川)
大阪圏(大阪,京都,奈良,兵庫)
海外(アジア,ヨーロッパ,アフリカ,アメリカ,オセアニア)
オンライン開催
(
研究会名/開催地/テーマ
)→
(
講演検索
検索語:
/ 範囲:
題目
著者
所属
抄録
キーワード
)→
ソフトウェアサイエンス研究会 (SS)
(検索条件: 2006年度)
「from:2006-06-22 to:2006-06-22」による検索結果
[ソフトウェアサイエンス研究会ホームページへ]
講演検索結果
登録講演(開催プログラムが公開されているもの)
(日付・昇順)
12件中 1~12件目
/
日付順(昇順)
日付順(降順)
タイトル順
著者順
所属順
研究会順
5件ずつ表示
10件ずつ表示
20件ずつ表示
30件ずつ表示
50件ずつ表示
100件ずつ表示
200件ずつ表示
500件ずつ表示
研究会
発表日時
開催地
タイトル・著者
抄録
資料番号
SS
2006-06-22
13:30
岡山
岡山大学創立五十周年記念館
OTS/CafeOBJからOTS/Maudeへの仕様変換の研究
○
中村正樹
・
孔 維強
・
緒方和博
・
二木厚吉
(
北陸先端大
)
代数仕様言語を用いて状態遷移機械を記述する手法に,振舞仕様に基づく観測遷移機械(OTS)による手法と書き換え論理に基づく...
[more]
SS2006-13
pp.1-6
SS
2006-06-22
14:00
岡山
岡山大学創立五十周年記念館
等式付き書換え系の等式数を削減する変換
○
三浦浩一
・
西田直樹
・
酒井正彦
・
坂部俊樹
・
草刈圭一朗
(
名大
)
与えられた等式集合を法として計算する等式付き書換え計算では,等式集合の語問題が決定不能であるため,一般には,与えられた項...
[more]
SS2006-14
pp.7-12
SS
2006-06-22
14:45
岡山
岡山大学創立五十周年記念館
単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け
○
櫻井敬大
・
草刈圭一朗
・
酒井正彦
・
坂部俊樹
・
西田直樹
(
名大
)
[more]
SS2006-15
pp.13-18
SS
2006-06-22
15:15
岡山
岡山大学創立五十周年記念館
制約オートマトンに関するモデル検査法の実験
○
中島 震
(
NII/JST
)
[more]
SS2006-16
pp.19-24
SS
2006-06-22
16:00
岡山
岡山大学創立五十周年記念館
クラス図とシーケンス図の間の不整合検出手法
○
えるうぃんうぃどぅどぅ
・
大西 淳
(
立命館大
)
統一モデリング言語(UML)をソフトウェア開発に適用することは有用であるが、UMLモデル間に生じる矛盾を放置したまま開発...
[more]
SS2006-17
pp.25-30
SS
2006-06-22
16:30
岡山
岡山大学創立五十周年記念館
オープンソースソフトウェアに対する遺伝的アルゴリズムに基づく信頼性評価法
○
田村慶信
(
広島工大
)・
山田 茂
(
鳥取大
)
オープンソースソフトウェアは,組込みシステムやサーバ用途として広く採用されているが,利用側や開発者側にとって,サポートや...
[more]
SS2006-18
pp.31-36
SS
2006-06-22
17:00
岡山
岡山大学創立五十周年記念館
ソフトウェア開発方法論とプロジェクト管理の融合法に関する基礎考察
○
落水浩一郎
(
北陸先端大
)
ソフトウェア開発方法論とプロジェクト管理の2つの技術は、それぞれが技術の汎用性を追求してきた結果、乖離ぎみであり、ある組...
[more]
SS2006-19
pp.37-42
SS
2006-06-23
09:30
岡山
岡山大学創立五十周年記念館
部分冗長除去の命令スケジューリングへの応用
○
滝本宗宏
(
東京理科大
)
[more]
SS2006-20
pp.1-6
SS
2006-06-23
10:00
岡山
岡山大学創立五十周年記念館
付箋による一時的情報の管理とその応用
○
清崎大輔
・
大久保弘崇
・
粕谷英人
・
山本晋一郎
(
愛知県立大
)
複数の開発者によって行われるソフトウェア開発において,開発者間の知識共有は重要である.文書化して管理されている情報はどの...
[more]
SS2006-21
pp.7-12
SS
2006-06-23
10:30
岡山
岡山大学創立五十周年記念館
追跡性を考慮したソースコード差分の抽出
○
大森隆行
・
山本哲男
・
丸山勝久
(
立命館大
)
版管理システムに格納された2つの版の間には一般的に複数の変更が含まれる.このため,他の開発者が版間の差分から過去に行われ...
[more]
SS2006-22
pp.13-18
SS
2006-06-23
11:15
岡山
岡山大学創立五十周年記念館
ドメインオントロジを用いた要求獲得支援ツールの実現
○
北村元博
・
長谷川 亮
(
東工大
)・
山部信夫
・
海谷治彦
(
信州大
)・
佐伯元司
(
東工大
)
要求分析者は,開発したいソフトウェアが扱う分野についての知識(ドメイン知識)を十分に持っているとは限らないため,これを計...
[more]
SS2006-23
pp.19-24
SS
2006-06-23
11:45
岡山
岡山大学創立五十周年記念館
協同編集機能を持つメールアーカイブシステムの試作
○
チョイ コーイー
・
松下 誠
・
井上克郎
(
阪大
)
既存のメールアーカイブシステムは単純な検索手法だけを提供しているため,開発者はアーカイブから必要な情報を効率よく取得でき...
[more]
SS2006-24
pp.25-30
12件中 1~12件目
/
日付順(昇順)
日付順(降順)
タイトル順
著者順
所属順
研究会順
5件ずつ表示
10件ずつ表示
20件ずつ表示
30件ずつ表示
50件ずつ表示
100件ずつ表示
200件ずつ表示
500件ずつ表示
ダウンロード書式の初期値を指定してください
NEW!!
テキスト形式
pLaTeX形式
CSV形式
BibTeX形式
[研究会発表申込システムのトップページに戻る]
[電子情報通信学会ホームページ]
IEICE / 電子情報通信学会