| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2015年度)
「from:2016-01-25 to:2016-01-25」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2016-01-25 09:30 |
石川 | しいのき迎賓館 セミナールームB | 非合理取引行動と市場成長に関するシミュレーションによる考察 ～ IoTが可能にする完全情報下で合理的な取引が市場成長を阻害するケース ～ ○内平直志・佐々木康朗（北陸先端大）  MSS2015-35 SS2015-44 |
IoT (Internet of Things)が本格化し，ネットワークに接続されたあらゆる主体の情報が，リアルタイムに... [more] | MSS2015-35 SS2015-44 pp.1-5 |
| SS, MSS (共催) |
2016-01-25 09:55 |
石川 | しいのき迎賓館 セミナールームB | 突発的イベント発生時の音声つぶやきシステムによるスタッフ間の連携効果 ○崔 舜星・平石邦彦・内平直志（北陸先端大） MSS2015-36 SS2015-45 |
音声つぶやきシステムとは，作業者の状況や気づきを情報端末に音声で「つぶやく」ことにより，状況把握，連携，気づきの共有を促... [more] | MSS2015-36 SS2015-45 pp.7-11 |
| SS, MSS (共催) |
2016-01-25 10:20 |
石川 | しいのき迎賓館 セミナールームB | 非循環関係の再合成可能な分割によるコレオグラフィ実現 ～ パレート最適な状態機械の合成について ～ ○宮本俊幸（阪大） MSS2015-37 SS2015-46 |
与えられた分散システムの抽象的仕様（コレオグラフィ）に対して，分散システムの構成要素（サービス）の振る舞いモデルを合成す... [more] | MSS2015-37 SS2015-46 pp.13-18 |
| SS, MSS (共催) |
2016-01-25 10:55 |
石川 | しいのき迎賓館 セミナールームB | 非決定離散事象システムの双模倣制御に関する一考察 ○串 直紀・高井重昌（阪大） MSS2015-38 SS2015-47 |
非決定離散事象システムの双模倣制御に関する従来研究においては，スーパバイザはその状態集合の部分集合であるマーク状態集合を... [more] | MSS2015-38 SS2015-47 pp.19-22 |
| SS, MSS (共催) |
2016-01-25 11:20 |
石川 | しいのき迎賓館 セミナールームB | 条件付き判断を用いた分散スーパバイザの許容性の改善 ○吉田 翔・高井重昌（阪大） MSS2015-39 SS2015-48 |
離散事象システムのスーパバイザ制御において，制御されたシステムの生成言語を制御仕様として与えられた言語に必ずしも一致させ... [more] | MSS2015-39 SS2015-48 pp.23-28 |
| SS, MSS (共催) |
2016-01-25 11:45 |
石川 | しいのき迎賓館 セミナールームB | 線形ハイブリッドオートマトンのnon-Zeno公平性検証に対する遷移述語抽象化の適用 ○柳瀬 龍・山根 智（金沢大） MSS2015-40 SS2015-49 |
ハイブリッドシステムの公平性を検証する際，システムがnon-Zenoであることを同時に示すことが必要となる場合が非常に多... [more] | MSS2015-40 SS2015-49 pp.29-33 |
| SS, MSS (共催) |
2016-01-25 13:10 |
石川 | しいのき迎賓館 セミナールームB | Javaプログラミングにおけるリーダブルコード学習ツールの提案 ○小川卓也・舩曵信生・栗林 稔・石原信也（岡山大）・天野憲樹（武庫川女子大） MSS2015-41 SS2015-50 |
Javaは，信頼性，可搬性，学習性に優れたプログラミング言語として，多くの大学や専門学校で教育されている．その際，限られ... [more] | MSS2015-41 SS2015-50 pp.35-40 |
| SS, MSS (共催) |
2016-01-25 13:35 |
石川 | しいのき迎賓館 セミナールームB | 機能要求部品を用いた要求仕様作成支援ツールの開発 ○小島賢也・大森隆行・糸賀裕弥・大西 淳（立命館大） MSS2015-42 SS2015-51 |
ソフトウェア開発を円滑に進めるためには要求仕様が正確，効率的に作成される必要がある．先行研究において，部品を組み合わせる... [more] | MSS2015-42 SS2015-51 pp.41-46 |
| SS, MSS (共催) |
2016-01-25 14:00 |
石川 | しいのき迎賓館 セミナールームB | モデル計数を用いたXMLデータベースのk-安全性検査システムの高速化 ○浅井孝俊・橋本健二・関 浩之（名大） MSS2015-43 SS2015-52 |
データベースに対して実行が許可された問合せ結果，データベーススキーマ， 問合せのコード（意味）等の公開情報を組合せて，... [more] |
MSS2015-43 SS2015-52 pp.47-52 |
| SS, MSS (共催) |
2016-01-25 14:25 |
石川 | しいのき迎賓館 セミナールームB | データフローを可視化する仕様抽出技術 ○阿部由紀子・玉木裕二（東芝） MSS2015-44 SS2015-53 |
フトウェア開発において、既存資産の有効活用のために、ソースコード解読を強いられる状況がしばしば発生する。通常、ソースコー... [more] | MSS2015-44 SS2015-53 pp.53-57 |
| SS, MSS (共催) |
2016-01-25 15:00 |
石川 | しいのき迎賓館 セミナールームB | ［招待講演］区間解析による時相論理式の頑健性モニタリング ○石井大輔（福井大） MSS2015-45 SS2015-54 |
[more] | MSS2015-45 SS2015-54 pp.59-62 |
| SS, MSS (共催) |
2016-01-25 15:45 |
石川 | しいのき迎賓館 セミナールームB | 線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器 ○張江洋次朗・和崎克己（信州大） MSS2015-46 SS2015-55 |
本稿では，ペトリネットより生成される状態空間を対象に，線形時相論理式によるon-the-flyモデル検査器の設計について... [more] | MSS2015-46 SS2015-55 pp.63-68 |
| SS, MSS (共催) |
2016-01-25 16:10 |
石川 | しいのき迎賓館 セミナールームB | 情報スーパーバイザ制御の意思決定論的特徴付け ○佐々木康朗・内平直志（北陸先端大） MSS2015-47 SS2015-56 |
情報スーパーバイザ制御の概念について,間接的な制御対象となる自律的エージェントの意思決定の構造 を明示し,意思決定論の観... [more] | MSS2015-47 SS2015-56 pp.69-74 |
| SS, MSS (共催) |
2016-01-25 16:45 |
石川 | しいのき迎賓館 セミナールームB | 制約付き項書換え系における停止性と帰納的定理の同時証明 ○川本佳史・西田直樹・酒井正彦（名大） MSS2015-48 SS2015-57 |
[more] | MSS2015-48 SS2015-57 pp.75-80 |
| SS, MSS (共催) |
2016-01-25 17:10 |
石川 | しいのき迎賓館 セミナールームB | A method for making proof graph finite on disjunctive parameterised Boolean equation systems ○Yutaro Nagae・Masahiko Sakai・Hiroyuki Seki（Nagoya Univ.） MSS2015-49 SS2015-58 |
A parameterised Boolean equation system (PBES) is a set of e... [more] | MSS2015-49 SS2015-58 pp.81-85 |
| SS, MSS (共催) |
2016-01-25 17:40 |
石川 | しいのき迎賓館 セミナールームB | SysMLステートマシン図のシーケンシャルなSPINモデルへの変換手法 ○宮本裕也・安藤崇央・久住憲嗣・谷津弘一・福田 晃（九大）・道浦康貴・酒見慶太・松本充広（有人宇宙システム） MSS2015-50 SS2015-59 |
[more] | MSS2015-50 SS2015-59 pp.87-92 |
| SS, MSS (共催) |
2016-01-25 18:05 |
石川 | しいのき迎賓館 セミナールームB | ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携 ○松本翔太・上田和紀（早大） MSS2015-51 SS2015-60 |
本研究の目的は離散変化と連続変化の両方を伴う動的システム （ハイブリッドシステム）の精度保証シミュレータの開発である．... [more] |
MSS2015-51 SS2015-60 pp.93-98 |
| SS, MSS (共催) |
2016-01-25 18:30 |
石川 | しいのき迎賓館 セミナールームB | モデル検査とテストを応用した制御システム検証手法の検討 ○松原潤弥・髙木理恵子・中澤輝幸（デンソークリエイト）・東道徹也・井原博之・川合幸典（デンソー） MSS2015-52 SS2015-61 |
近年の車載制御システムの複雑化により，システムの信頼性の確保とその客観性が求められている．このため，システム設計の過程で... [more] | MSS2015-52 SS2015-61 pp.99-103 |
| SS, MSS (共催) |
2016-01-26 09:15 |
石川 | しいのき迎賓館 セミナールームB | 分散制御システムに対する最小次元オブザーバを用いた事象駆動出力フィードバック制御 ○藤田浩平・潮 俊光（阪大） MSS2015-53 SS2015-62 |
本報告では，分散制御システムに対する最小次元オブザーバを用いた事象駆動出力フィードバック制御を提案する．ネットワークを介... [more] | MSS2015-53 SS2015-62 pp.105-108 |
| SS, MSS (共催) |
2016-01-26 09:40 |
石川 | しいのき迎賓館 セミナールームB | 重み付きオートマトンに対する線形時相論理制約の下での最適制御 榊原愛海・Sasinee Pruekprasert・○潮 俊光（阪大） MSS2015-54 SS2015-63 |
本報告では，遷移に重みが与えられた重み付きオートマトンを制御対象とする． 制御対象の事象には，可制御事象と不可制御事象... [more] |
MSS2015-54 SS2015-63 pp.109-112 |
[研究会発表申込システムのトップページに戻る]