| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2011年度)
「from:2012-01-26 to:2012-01-26」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2012-01-26 09:30 |
高知 | 高知市文化プラザかるぽーと | 音声つぶやきによる看護・介護の時空間コミュニケーション ～ 情報スーパーバイザ制御の提案 ～ ○内平直志・鳥居健太郎（東芝）・平石邦彦・崔 舜星・知野哲朗（北陸先端大）・平林裕治（清水建設）・杉原太郎（北陸先端大）  MSS2011-54 SS2011-39 |
看護や介護などの行動型サービスにおいては、従来型のPCベースの情報共有／コミュニケーション支援システムは適していない。本... [more] | MSS2011-54 SS2011-39 p.1 |
| SS, MSS (共催) |
2012-01-26 10:00 |
高知 | 高知市文化プラザかるぽーと | フィジカルコンピューティングのためのスマートフォンを用いた開発環境の提案 ○上村祐加・高田喜朗（高知工科大） MSS2011-55 SS2011-40 |
近年，電子工作やマイコンのプログラミングを通じた身体体験的なコンピュータ教育手法 ならびに人とコンピュータの対話方法の... [more] |
MSS2011-55 SS2011-40 pp.3-8 |
| SS, MSS (共催) |
2012-01-26 10:30 |
高知 | 高知市文化プラザかるぽーと | コスト予測における対数変換すべき変数の判別手法の評価 ○三好健太（香川高専）・生方克馬（野村総研）・柿元 健（香川高専）・楠本真二（阪大） MSS2011-56 SS2011-41 |
ソフトウェア開発では，スケジュールの管理に工数の予測が行われている．しかし，ソフトウェアの大規模化・複雑化に伴い「品質」... [more] | MSS2011-56 SS2011-41 pp.9-14 |
| SS, MSS (共催) |
2012-01-26 11:15 |
高知 | 高知市文化プラザかるぽーと | アーキテクチャ点写像による設計・コード間の双方向追跡 ○鵜林尚靖・亀井靖高（九大） MSS2011-57 SS2011-42 |
優れたアーキテクチャ設計は高品質なシステムにつながるが，その一方， 「開発者の意図を反映したアーキテクチャを設計するこ... [more] |
MSS2011-57 SS2011-42 pp.15-20 |
| SS, MSS (共催) |
2012-01-26 11:45 |
高知 | 高知市文化プラザかるぽーと | SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 ○新村勇人・宮本俊幸（阪大） MSS2011-58 SS2011-43 |
近年，記号モデル検査\cite{SMC}の有効な手法として命題論理式の充足可能性問題 (satisfiability，S... [more] | MSS2011-58 SS2011-43 pp.21-26 |
| SS, MSS (共催) |
2012-01-26 13:15 |
高知 | 高知市文化プラザかるぽーと | cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について ○長谷川泰央・宮本俊幸（阪大） MSS2011-59 SS2011-44 |
情報システムを開発する際サービスと呼ばれるシステムの部品単位を組み合わせ，要求仕様を実現する方法論をサービス指向アーキテ... [more] | MSS2011-59 SS2011-44 pp.27-32 |
| SS, MSS (共催) |
2012-01-26 13:45 |
高知 | 高知市文化プラザかるぽーと | 拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について ○平川智悠・山口真悟（山口大） MSS2011-60 SS2011-45 |
ワークフローは法律の改正や市場の拡大などに適合するよう変更されることがある． その際，事業の継続性の観点から，変更後の... [more] |
MSS2011-60 SS2011-45 pp.33-38 |
| SS, MSS (共催) |
2012-01-26 14:15 |
高知 | 高知市文化プラザかるぽーと | 関数呼び出しを持つプログラムの非線形ループ不変式の自動生成 ○鈴木英一・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大） MSS2011-61 SS2011-46 |
プログラム検証において，ループ実行中に常に成り立つ論理式である不変式が重要な役割を持っている．しかし，検証に有効なループ... [more] | MSS2011-61 SS2011-46 pp.39-44 |
| SS, MSS (共催) |
2012-01-26 14:45 |
高知 | 高知市文化プラザかるぽーと | 語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて ○坂井利光・酒井正彦・坂部俊樹・西田直樹・草刈圭一朗（名大） MSS2011-62 SS2011-47 |
等式集合の語問題は，2つの項を与えたときに，等式集合のもとで2つの項が等しいかどうかを決定する問題である．本論文では線形... [more] | MSS2011-62 SS2011-47 pp.45-49 |
| SS, MSS (共催) |
2012-01-26 15:30 |
高知 | 高知市文化プラザかるぽーと | 単純型付き項書換え系における書換え帰納法について ○尾関 朗・草刈圭一朗・坂田 翼・西田直樹・酒井正彦・坂部俊樹（名大） MSS2011-63 SS2011-48 |
書換え帰納法は，与えられた等式が帰納的定理であるかどうかを推論規則を用いた導出により判定する原理であり，項書換え系上で提... [more] | MSS2011-63 SS2011-48 pp.51-56 |
| SS, MSS (共催) |
2012-01-26 16:00 |
高知 | 高知市文化プラザかるぽーと | 高階書換え系における引数切り落とし関数の下での実効規則について ○大井一展・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） MSS2011-64 SS2011-49 |
高階書換え系（HRS）での強力な停止性証明手法として静的依存対法が知られている． この手法は静的な再帰構造解析を行い，... [more] |
MSS2011-64 SS2011-49 pp.57-62 |
| SS, MSS (共催) |
2012-01-26 16:30 |
高知 | 高知市文化プラザかるぽーと | 分解法に基づく2目的巡回セールスマン問題の解法とその評価 ○稲本浩也・橋爪 悟・矢嶌智之・橋爪 進・小野木克明（名大） MSS2011-65 SS2011-50 |
システムの計画・運転に係る問題のなかには，多目的巡回セールスマン問題とし て定式化される問題も多い．本報告では，2目的... [more] |
MSS2011-65 SS2011-50 pp.63-68 |
| SS, MSS (共催) |
2012-01-26 17:15 |
高知 | 高知市文化プラザかるぽーと | ［招待講演］サイバーフィジカルシステムの数理 ○田崎勇一（名大） MSS2011-66 SS2011-51 |
[more] | MSS2011-66 SS2011-51 pp.69-72 |
| SS, MSS (共催) |
2012-01-27 09:00 |
高知 | 高知市文化プラザかるぽーと | ［招待講演］区間制約プログラミングの研究事例 ～ Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法 ～ ○石井大輔（NII） MSS2011-67 SS2011-52 |
区間制約プログラミングは連続領域の変数をもつ制約を用いて事象を記述し，区間計算を用いて高信頼な求解処理を行う枠組みである... [more] | MSS2011-67 SS2011-52 pp.73-77 |
| SS, MSS (共催) |
2012-01-27 10:15 |
高知 | 高知市文化プラザかるぽーと | 2台のエレベーターにおけるピーク電力抑制と利便性を両立する制御手法 ○高橋宏治（東工大） MSS2011-68 SS2011-53 |
[more] | MSS2011-68 SS2011-53 pp.79-84 |
| SS, MSS (共催) |
2012-01-27 10:45 |
高知 | 高知市文化プラザかるぽーと | 複数の確率的遅延を有するネットワーク化システムの制御 ○小林孝一・平石邦彦（北陸先端大） MSS2011-69 SS2011-54 |
ネットワーク化システムにおいては，入力側および出力側の通信遅延，パケットロスによる遅延など複数の遅延が存在する．本論文で... [more] | MSS2011-69 SS2011-54 pp.85-88 |
| SS, MSS (共催) |
2012-01-27 11:15 |
高知 | 高知市文化プラザかるぽーと | 顧客要求を基に要求仕様書を自動生成する仕組み ○村山修平・飯塚寛晃・廣瀬史典（芝浦工大）・山中隆敏（富士通研）・古宮誠一（芝浦工大） MSS2011-70 SS2011-55 |
システム開発は要求仕様書を基に行われる。もし要求仕様書に洩れや誤りがあった場合，作成するシステムにも洩れや誤りが含まれる... [more] | MSS2011-70 SS2011-55 pp.89-94 |
| SS, MSS (共催) |
2012-01-27 11:45 |
高知 | 高知市文化プラザかるぽーと | 離散事象システムの分散型故障診断における冗長性解析 ○中田修平・高井重昌（阪大） MSS2011-71 SS2011-56 |
本研究では，複数のローカル診断器を用いた離散事象システムの分散型故障診断において，何らかの原因によりいくつかの診断器の診... [more] | MSS2011-71 SS2011-56 pp.95-100 |
[研究会発表申込システムのトップページに戻る]