| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
システム数理と応用研究会 (MSS) (検索条件: 2017年度)
「from:2018-01-18 to:2018-01-18」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2018-01-18 09:50 |
広島 | 広島市立大学サテライトキャンパス | 名前変更リファクタリングが行われた識別子間の関係性に関する実証的調査 ○梅川尚孝・林 晋平・佐伯元司（東工大）  MSS2017-47 SS2017-34 |
識別子の名前変更は多く行われるリファクタリングであり，複数の識別子をツールで一括して正しく変更することは，開発者の負担軽... [more] | MSS2017-47 SS2017-34 pp.1-6 |
| SS, MSS (共催) |
2018-01-18 10:15 |
広島 | 広島市立大学サテライトキャンパス | 企業におけるソフトウェア開発に対する自動プログラム修正技術 ○内藤圭吾・谷門照斗・柗本真佑・肥後芳樹・楠本真二（阪大）・切貫弘之・倉林利行・丹野治門（NTT） MSS2017-49 SS2017-36 |
近年多くの自動プログラム修正の研究が行われている．その修正対象はほとんどの場合オープンソースソフトウェアや自動プログラム... [more] | MSS2017-49 SS2017-36 pp.13-18 |
| SS, MSS (共催) |
2018-01-18 10:40 |
広島 | 広島市立大学サテライトキャンパス | シグネチャ情報と入出力情報を用いたJavaメソッドの生成 ○下仲健斗・肥後芳樹・松本淳之介・内藤圭吾・楠本真二（阪大） MSS2017-48 SS2017-35 |
ソースコードを自動的に生成する，自動プログラミングと呼ばれる技術は古くから研究されている．これ までいくつかの手法が提... [more] |
MSS2017-48 SS2017-35 pp.7-12 |
| SS, MSS (共催) |
2018-01-18 11:05 |
広島 | 広島市立大学サテライトキャンパス | ソースコードの「自然さ」を利用した自動生成ファイルの特定 ○土居真之・肥後芳樹・有馬 諒・下仲健斗・楠本真二（阪大） MSS2017-50 SS2017-37 |
近年，ソースコード解析に関する研究が盛んに行われている．ソースコードの解析において，解析対象のソースファイルの中には自動... [more] | MSS2017-50 SS2017-37 pp.19-24 |
| SS, MSS (共催) |
2018-01-18 12:45 |
広島 | 広島市立大学サテライトキャンパス | グラフの決定セットの判定法に関する検証 ○田中香貴・後藤隆文・中田 充（山口大）・Chiranut Sa-ngiamsak（Khon Kaen Univ.）・葛 崎偉（山口大） MSS2017-51 SS2017-38 |
グラフG=(V,E)の自己同型写像とは，隣接関係を保つ節点集合V自身への一対一対応である．Gの自己同型写像の全集合Aut... [more] | MSS2017-51 SS2017-38 pp.25-30 |
| SS, MSS (共催) |
2018-01-18 13:10 |
広島 | 広島市立大学サテライトキャンパス | 複数集団アクセスポイント選択ゲームにおける重み付きポテンシャル ○小寺雄貴・金澤尚史（阪大） MSS2017-52 SS2017-39 |
無線通信ネットワークはユーザと通信事業者との関係によって特徴付けられる．各ユーザがそれぞれ利得を最大化しようと，アクセス... [more] | MSS2017-52 SS2017-39 pp.31-34 |
| SS, MSS (共催) |
2018-01-18 13:35 |
広島 | 広島市立大学サテライトキャンパス | グラフのスタック数によるスタックキューミックスレイアウト ○宮内美樹（NTT） MSS2017-53 SS2017-40 |
グラフの細分のスタックキューミックスレイアウトについて，従来知られている結果を改良し，任意のグラフGに対して，各辺が$2... [more] | MSS2017-53 SS2017-40 pp.35-40 |
| SS, MSS (共催) |
2018-01-18 14:15 |
広島 | 広島市立大学サテライトキャンパス | レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ ○仙田涼摩・関 浩之（名大） MSS2017-54 SS2017-41 |
文脈自由文法に対してデータ値を扱えるような拡張を行った計算モデルとしてレジスタ付き文脈自由文法(RCFG)が提案されてい... [more] | MSS2017-54 SS2017-41 pp.41-46 |
| SS, MSS (共催) |
2018-01-18 14:40 |
広島 | 広島市立大学サテライトキャンパス | 継続渡しスタイルの関数型プログラミング言語のインタプリタによる並行処理の設計 ○小島 渚・島 和之（広島市大） MSS2017-55 SS2017-42 |
これまでの研究として，継続渡しスタイル（以下，CPS）のラムダ計算を簡潔に表現し，CPSのラムダ式の部分適用について合流... [more] | MSS2017-55 SS2017-42 pp.47-52 |
| SS, MSS (共催) |
2018-01-18 15:05 |
広島 | 広島市立大学サテライトキャンパス | EDFスケジューリングでプロセッサ共有する実時間マルチタスク分散システムに対する拡張時間ペトリネットを用いたデッドライン割り当て最適化手法 ○松岡伶音・中田明夫（広島市大） MSS2017-56 SS2017-43 |
性能とリソースの制約が共に厳しく，高い信頼性を要求される組込みソフトウェア開発においては，開発の設計段階で性能要求を満た... [more] | MSS2017-56 SS2017-43 pp.53-58 |
| SS, MSS (共催) |
2018-01-18 15:45 |
広島 | 広島市立大学サテライトキャンパス | 組合せ回路用テストパターン生成への計算機代数システムの利用に関する調査 ○稲元 勉・樋上喜信（愛媛大） MSS2017-57 SS2017-44 |
本稿では，組合せ回路の故障検出用テストパターン集合の故障検出率向上を目的とし，そのために計算機代数システムを利用する試み... [more] | MSS2017-57 SS2017-44 pp.59-64 |
| SS, MSS (共催) |
2018-01-18 16:10 |
広島 | 広島市立大学サテライトキャンパス | A Proposal of Generating Paths of Program Net and Its Application to Software Testing ○Biao Wu（Yamaguchi Univ.）・Xiaoan Bao・Na Zhang（ZSTU）・Mitsuru Nakata・Qi-Wei Ge（Yamaguchi Univ.） MSS2017-58 SS2017-45 |
[more] | MSS2017-58 SS2017-45 pp.65-70 |
| SS, MSS (共催) |
2018-01-18 16:35 |
広島 | 広島市立大学サテライトキャンパス | 東洋医学に基づく五臓六腑および十二正経のペトリネットモデルの構築 ○甘 泉・高橋柚有（山口大）・呉 靭（山口短大）・中田 充・葛 崎偉（山口大） MSS2017-59 SS2017-46 |
本論文は人体経絡のペトリネットモデルを構築することを目的とする.これまで,我々は三焦を含む五臓六腑のペトリネットモデルお... [more] | MSS2017-59 SS2017-46 pp.71-76 |
| SS, MSS (共催) |
2018-01-18 17:00 |
広島 | 広島市立大学サテライトキャンパス | 汎用性を考慮した人体経絡のペトリネットモデルの構築およびシミュレーションデータの集計 ○グェン ティ トゥイ・高橋柚有（山口大）・呉 靭（山口短大）・中田 充・葛 崎偉（山口大） MSS2017-60 SS2017-47 |
本論文は汎用性を考慮した五臓六腑と経絡のペトリネットモデルを構築することを目的とする．我々はこれまで，五臓六腑および人体... [more] | MSS2017-60 SS2017-47 pp.77-82 |
| SS, MSS (共催) |
2018-01-18 17:35 |
広島 | 広島市立大学サテライトキャンパス | ［招待講演］プログラミング言語Rubyの開発動向紹介 ～ コードカバレッジ測定機能の改良事例と，Ruby 3に向けた開発目標と進捗 ～ ○遠藤侑介（クックパッド） MSS2017-61 SS2017-48 |
[more] | MSS2017-61 SS2017-48 p.83 |
| SS, MSS (共催) |
2018-01-19 09:50 |
広島 | 広島市立大学サテライトキャンパス | データワークフローネットによるIoTサービスのデータ指向オーケストレーション ○モハマド アヌアルッディン ビン アハマドン・山口直郁・山口真悟（山口大） MSS2017-62 SS2017-49 |
本稿では、IoT サービスのオーケストレーション手段について提案した。初めにサービスの仕様とデバイスモデルのデータワーク... [more] | MSS2017-62 SS2017-49 pp.85-89 |
| SS, MSS (共催) |
2018-01-19 10:15 |
広島 | 広島市立大学サテライトキャンパス | エージェント指向ペトリネットPN2 による IoT マルウェアMirai の感染現象のモデル化とその対策の評価について 山口真悟・○田中寛彬（山口大） MSS2017-63 SS2017-50 |
2016年9月，前代未聞の大規模なDDoS攻撃がIoT機器を踏み台にして発生した．この攻撃は新種のマルウェアMiraiが... [more] | MSS2017-63 SS2017-50 pp.91-95 |
| SS, MSS (共催) |
2018-01-19 10:40 |
広島 | 広島市立大学サテライトキャンパス | プロセスマイニングを用いたサービスの設計と運用のギャップの抽出について ○和田亮佑・モハマドアヌアルディン ビンアフマドン（山口大）・豊嶋伊知郎（東芝エネルギーシステムズ）・山口真悟（山口大） MSS2017-64 SS2017-51 |
IoTサービスに対する要求は，市場の変化に従って徐々に浮かび上がってくる傾向にある．このため，サービスの設計と運用の間に... [more] | MSS2017-64 SS2017-51 pp.97-101 |
| SS, MSS (共催) |
2018-01-19 11:05 |
広島 | 広島市立大学サテライトキャンパス | Peer-to-Peer型電力取引におけるプロシューマの効用分析 ○今堀光恵・長谷 亮・篠宮紀彦（創価大） MSS2017-65 SS2017-52 |
近年，電力市場には，電力を消費するだけでなく，自身が所持する発電設備によって発電を行うことができるプロシューマが増加して... [more] | MSS2017-65 SS2017-52 pp.103-106 |
| SS, MSS (共催) |
2018-01-19 12:45 |
広島 | 広島市立大学サテライトキャンパス | 開発標準プロセスを用いた不完全なソフトウェア要求に対する問題検出の分類法 ○宮村純真（奈良先端大）・川口真司・石濱直樹・柿本和希（JAXA）・飯田 元（奈良先端大）・片平真史（JAXA） MSS2017-66 SS2017-53 |
宇宙機（人工衛星やロケット）の開発および運用において，ソフトウェアの不具合はミッションの成功に対して大きな妨げとなってい... [more] | MSS2017-66 SS2017-53 pp.107-112 |
[研究会発表申込システムのトップページに戻る]