| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2017年度)
「from:2017-10-19 to:2017-10-19」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, DC (共催) |
2017-10-19 13:15 |
高知 | 高知市文化プラザかるぽーと | 動的型付き手続き型言語の変更影響分析と振る舞い同定のためのラムダグラフ書き換え系に向けて ○山本晃治（富士通研）  SS2017-21 DC2017-20 |
ソースコードの静的解析を行うことで，関数・メソッドに対する処理内容の変更前後差異の特定，呼び出し関係の抽出，引数の利用先... [more] | SS2017-21 DC2017-20 pp.1-6 |
| SS, DC (共催) |
2017-10-19 13:45 |
高知 | 高知市文化プラザかるぽーと | トップ木に基づく圧縮データに対する直接更新法 ○西村 卓・橋本健二・関 浩之（名大） SS2017-22 DC2017-21 |
トップ木は木構造に対する圧縮法の一つである．トップ木に基づく圧縮データであるトップDAGおよび更新位置と更新の種類（ラベ... [more] | SS2017-22 DC2017-21 pp.7-12 |
| SS, DC (共催) |
2017-10-19 14:15 |
高知 | 高知市文化プラザかるぽーと | XQuery問合せを圧縮XML文書上で評価するための変換手法 ○小椋寿希也・石原靖哲・藤原 融（阪大） SS2017-23 DC2017-22 |
XML文書は構造をもつデータを容易に表現できる一方，文書サイズが大きくなるという短所がある．そのため，文書構造に関する問... [more] | SS2017-23 DC2017-22 pp.13-18 |
| SS, DC (共催) |
2017-10-19 14:45 |
高知 | 高知市文化プラザかるぽーと | 離散時間実行環境におけるYampaプログラムの振舞いモデル ○市橋友樹・結縁祥治（名大） SS2017-24 DC2017-23 |
本稿では，Haskell のドメイン固有言語であるYampa で記述されたプログラムを離散的に実行する際の振舞いモデルを... [more] | SS2017-24 DC2017-23 pp.19-24 |
| SS, DC (共催) |
2017-10-19 15:25 |
高知 | 高知市文化プラザかるぽーと | Javaプログラミング学習支援システムのコードクローン除去問題におけるメソッド生成課題の改善 ○石原信也・舩曵信生・栗林 稔（岡山大） SS2017-25 DC2017-24 |
本グループでは，冗長性のないコードの作成に加え，オブジェクト指向言語プログラミングの学習を目的 として， Javaプログ... [more] | SS2017-25 DC2017-24 pp.25-30 |
| SS, DC (共催) |
2017-10-19 15:55 |
高知 | 高知市文化プラザかるぽーと | Javaプログラミング学習支援システムのコード作成問題のための情報伝達テストコード手法 ○Khin Khin Zaw・Nobuo Funabiki（岡山大） SS2017-26 DC2017-25 |
本グループでは，Web によるJava プログラミング学習支援システムJPLAS の開発を進めており，課題に対するソース... [more] | SS2017-26 DC2017-25 pp.31-36 |
| SS, DC (共催) |
2017-10-19 16:35 |
高知 | 高知市文化プラザかるぽーと | パターンマッチングのためのデータフローグラフ抽出器の実装 ○新山祐介・荒堀喜貴・権藤克彦（東工大） SS2017-27 DC2017-26 |
本論文では、ソースコードからの高水準の意味の抽出を目標とする新しいデータフローグラフ FGyama を提案および実装する... [more] | SS2017-27 DC2017-26 pp.37-42 |
| SS, DC (共催) |
2017-10-19 17:05 |
高知 | 高知市文化プラザかるぽーと | 組織属性観点でのログレコード出現偏りに着目するシステム機能スリム化分析手法の提案 ○伊藤秀朗・三部良太（日立）・大須賀浩二・保井 努（日立公共システム） SS2017-28 DC2017-27 |
[more] | SS2017-28 DC2017-27 pp.43-48 |
| SS, DC (共催) |
2017-10-19 17:35 |
高知 | 高知市文化プラザかるぽーと | 組込みシステムの要求仕様書に対する修正候補の定量的調査 ○山本椋太・吉田則裕・高田広章（名大） SS2017-29 DC2017-28 |
ソフトウェア開発においては様々な文書が作成されるが，文書作成者によっては，文書中に曖昧さや誤りが生じることがあり，その文... [more] | SS2017-29 DC2017-28 pp.49-54 |
| SS, DC (共催) |
2017-10-20 09:30 |
高知 | 高知市文化プラザかるぽーと | SMTを用いた制約付きロケーティングアレイの生成について ○金 浩（阪大）・崔 銀惠（産総研）・土屋達弘（阪大） SS2017-30 DC2017-29 |
本研究では,ソフトウェアシステムに対するテスト手法の一例である組み合わせテストについて議論す る.具体的には,組み合わ... [more] |
SS2017-30 DC2017-29 pp.55-60 |
| SS, DC (共催) |
2017-10-20 10:00 |
高知 | 高知市文化プラザかるぽーと | Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks ○Michiko Inoue・Fukuhito Ooshita（NAIST）・Sebastien Tixeuil（UPMC） SS2017-31 DC2017-30 |
We present a new self-stabilizing 1-maximal matching algorit... [more] | SS2017-31 DC2017-30 pp.61-66 |
| SS, DC (共催) |
2017-10-20 10:30 |
高知 | 高知市文化プラザかるぽーと | デューティサイクル動作を行う無線センサーネットワークにおけるワームホール攻撃とその対策 王 文揚・○蓑原 隆（拓殖大） SS2017-32 DC2017-31 |
大規模なデータを収集し解析することで新しい知識を取り出すことを目的とす る，いわゆるビッグデータ解析への関心が高まる... [more] |
SS2017-32 DC2017-31 pp.67-72 |
| SS, DC (共催) |
2017-10-20 11:00 |
高知 | 高知市文化プラザかるぽーと | 遅延耐性ネットワークとクラウドソーシングを用いたトップ-kリストの作成 ○唐口翔平・酒井和也・福本 聡（首都大東京） SS2017-33 DC2017-32 |
遅延耐性ネットワークにおけるクラウドソーシングを用いたトップ-$k$リスト作成のアルゴリズムを提案する．アプリケーション... [more] | SS2017-33 DC2017-32 pp.73-76 |
[研究会発表申込システムのトップページに戻る]