| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2019年度)
「from:2020-03-04 to:2020-03-04」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2020-03-04 13:00 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
コンピテンシー能力を向上するPBLの解析 ○山本雅基（名大）・沢田篤史（南山大）・小林隆志（東工大）・岡村耕二（九大）・宮地充子（阪大）・佐藤和彦（室蘭工大）・奥野 拓（公立はこだて未来大）・粂野文洋（日本工大）  SS2019-41 |
のようなPBLを行うとどのようなコンピテンシーを育成できるのだろうか？大学学部生を対象にITの実践力を育成するenPiT... [more] | SS2019-41 pp.1-6 |
| SS | 2020-03-04 13:25 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
OSSプロジェクトにおけるREADME.mdファイルの作成の支援 ○清水一輝・亀井靖高・佐藤亮介・鵜林尚靖（九大） SS2019-42 |
GitHub といったホスティングサービスで公開されている OSS 開発プロジェクトにおいて，README.md ファイ... [more] | SS2019-42 pp.7-12 |
| SS | 2020-03-04 13:50 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
マクロ森変換器がXMLスキーママッピングの実現であることの決定手続き ○田端浩明・酒井正彦・橋本健二（名大） SS2019-43 |
XML スキーママッピング（SM）は異なる2つのXMLスキーマ DTD の対応付けを木パターンを用いて記述したものである... [more] | SS2019-43 pp.13-18 |
| SS | 2020-03-04 14:20 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
訓練済み機械学習モデル歪みの定量指標 ○中島 震（NII） SS2019-44 |
[more] | SS2019-44 pp.19-24 |
| SS | 2020-03-04 14:45 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
ヒープメモリ確保・解放量と実時間制約を共に考慮しマルチプロセッサシステムのメモリ消費量を削減するリアルタイムスケジューリング ○町頭優輝・中田明夫（広島市大） SS2019-45 |
[more] | SS2019-45 pp.25-30 |
| SS | 2020-03-04 15:10 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
排他制御を含むプログラムから論理制約付き項書換え系への変換 ○小嶋美咲・西田直樹・松原 豊・酒井正彦（名大） SS2019-46 |
計算モデルである論理制約付き項書換え系（LCTRS）をプログラムの検証に用いる先行研究では，逐次実行される命令型プログラ... [more] | SS2019-46 pp.31-36 |
| SS | 2020-03-04 15:40 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
文法エラーに対する自動バグ修正ツールの性能評価 ○松尾春紀・池田 翔・亀井靖高・佐藤亮介・鵜林尚靖（九大） SS2019-47 |
近年，様々な自動バグ修正ツールが開発されている.その中でも，プログラムの文法エラーを修正する DeepFix は深層学習... [more] | SS2019-47 pp.37-42 |
| SS | 2020-03-04 16:05 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
開発者によるバグ限局を考慮した自動バグ修正への影響分析 ○山手響介・首藤 巧・浅田 翔・佐藤亮介・亀井靖高・鵜林尚靖（九大） SS2019-48 |
ソフトウェア開発におけるデバッグコストの削減を目的として，自動バグ修正の研究が盛んに行われている． 自動バグ修正ではバ... [more] |
SS2019-48 pp.43-48 |
| SS | 2020-03-04 16:30 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
Firefoxにおけるマルチバイト文字に起因するバグの調査 ○市川直人・柗本真佑・楠本真二（阪大） SS2019-49 |
ソフトウェア開発において，ソフトウェアに含まれるバグを理解することは重要である．本稿ではバグの一種として，マルチバイト文... [more] | SS2019-49 pp.49-54 |
| SS | 2020-03-05 09:30 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
構文ハイライトとフォントの違いによる開発者の脳波の比較 ○東 英明・柗本真佑（阪大）・上野秀剛（奈良高専）・楠本真二（阪大） SS2019-50 |
開発者がどのようにプログラムを理解するのかという疑問の解明はソフトウェア工学の重要な課題の一つである．プログラム記述は通... [more] | SS2019-50 pp.55-60 |
| SS | 2020-03-05 09:55 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
機械学習による開発履歴のメタ情報を用いたマージコンフリクトの解消パターン判定モデル ○白木秀弥・神田哲也・井上克郎（阪大） SS2019-51 |
現在，ソフトウェア開発では，バージョン管理システムを用いた複数の開発者による並行開発が主流である．VCS を用いた開発で... [more] | SS2019-51 pp.61-66 |
| SS | 2020-03-05 10:20 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
マイクロベンチマークサービスにおけるソフトウェアパフォーマンス改善方法の分析 ○才木一也・安東亮汰・伊原彰紀（和歌山大） SS2019-52 |
マイクロベンチマークサービスは，プログラムの実装方法の違いによる実行時間，メモリ消費量，CPU使用率などのパフォーマンス... [more] | SS2019-52 pp.67-72 |
| SS | 2020-03-05 10:50 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
Rustプログラムの情報流解析のための型システム ○長谷川健太（立命館大）・桑原寛明（南山大）・國枝義敏（立命館大） SS2019-53 |
本稿では，Rustプログラムの情報流解析のための型システムを提案する． プログラミング言語Rustの言語機能として危険... [more] |
SS2019-53 pp.73-78 |
| SS | 2020-03-05 11:15 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
継続を基本とする言語CbCでのHoareLogicによる健全性の考察 ○外間政尊・河野真治（琉球大） SS2019-54 |
CbC は継続を主とする言語上で、HoareLogicをベースとした検証を提案している。 OSなどの手続き型の記述に対... [more] |
SS2019-54 pp.79-85 |
| SS | 2020-03-05 11:40 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
継続渡しスタイルの関数型言語における非決定性プログラム ○小島 渚・横本勇希・島 和之（広島市大） SS2019-55 |
[more] | SS2019-55 pp.87-92 |
| SS | 2020-03-05 12:05 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
STAMP/STPAとモデル検査の連携によるハザード遷移系列の導出手法 ○楊 盼・岡野浩三・小形真平（信州大）・岡本圭史（仙台高専） SS2019-56 |
システム理論に基づくアクシデントモデルとして，Systems Theoretic Accident Model and ... [more] | SS2019-56 pp.93-98 |
| SS | 2020-03-05 13:30 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
SHAP Value Coverage Testing ○Qiang Zhong（Hi-System21）・Naoto Sato・Makoto Ishikawa（Hitachi）・Kazuhiro Kodama（Hi-System21） SS2019-57 |
[more] | SS2019-57 pp.99-102 |
| SS | 2020-03-05 13:55 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
ソースコードの類似性に基づいたテストコード自動推薦ツールSuiteRec ○倉地亮介（奈良先端大）・崔 恩瀞（京都工繊大）・飯田 元（奈良先端大） SS2019-58 |
[more] | SS2019-58 pp.103-108 |
| SS | 2020-03-05 14:20 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
イベント駆動に基づくProcessingプログラムのユニットテスト手法 ○細部博史（法政大） SS2019-59 |
イベント駆動プログラミングは，様々な分野で広く用いられているパラダイムである．Processingは，対話的で視覚的なア... [more] | SS2019-59 pp.109-112 |
| SS | 2020-03-05 14:45 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
形態素パターンマッチャ morfgrep とそのソフトウェア開発における応用 ○中西恒夫・吉村賢治・乙武北斗・田辺利文・古庄裕貴（福岡大）・西浦洋一・浅野雅樹（アイシン精機） SS2019-60 |
自然言語で記述される開発文書の品質保証はレビューに頼りがちであり，その工数の削減は容易ではなく，自然言語処理を用いた機械... [more] | SS2019-60 pp.113-118 |
[研究会発表申込システムのトップページに戻る]