コンピュータソフトウェア

私のものは自分のもの

千葉滋

2017 年 34 巻 3 号 p. 3_1
発行日: 2017/07/25
公開日: 2017/09/25

DOIhttps://doi.org/10.11309/jssst.34.3_1

ジャーナルフリー

PDF形式でダウンロード (101K)
特集「サーベイ論文」の編集にあたって

林晋平, 川端英之

2017 年 34 巻 3 号 p. 3_2
発行日: 2017/07/25
公開日: 2017/09/25

DOIhttps://doi.org/10.11309/jssst.34.3_2

ジャーナルフリー

PDF形式でダウンロード (135K)
オートマトン理論再考

新屋良磨

2017 年 34 巻 3 号 p. 3_3-3_35
発行日: 2017/07/25
公開日: 2017/09/25

DOIhttps://doi.org/10.11309/jssst.34.3_3

ジャーナルフリー

抄録を表示する抄録を非表示にする

オートマトンは最も単純な計算のモデルである．その単純さゆえに初学者にとっても理解しやすく，情報系の学部においては「計算理論」や「形式言語理論」などの講義はまずオートマトンから教え始めることが標準となっている．一方，その単純さゆえに理論的な深みやさらなる研究の余地がないと誤解されることもしばしばあり，また，講義や解説書においても応用的な需要からかより強力な計算モデルに重きが置かれることも多い．
本サーベイではオートマトン理論の基礎から始め，三話構成でオートマトン・形式言語理論の様々な定理を解説していく．解説する定理の中には，オートマトン理論における古典的な結果に別の視点を新たに与えるものもあれば，オートマトン・形式言語理論と関わりのなさそうな分野との意外な繋がりを見せるものもある．オートマトン理論に習熟している方にも楽しんでもらえるよう，最近の結果や話題についても内容に盛り込んだ．

抄録全体を表示

PDF形式でダウンロード (790K)
特集「ネットワーク技術」の編集にあたって

明石修, 和泉順子, 河合栄治, 川喜田佑介

2017 年 34 巻 3 号 p. 3_36
発行日: 2017/07/25
公開日: 2017/09/25

DOIhttps://doi.org/10.11309/jssst.34.3_36

ジャーナルフリー

PDF形式でダウンロード (110K)
Software Defined Media: 視聴空間サービスのソフトウェア制御

塚田学, 小川景子, 池田雅弘, 曽根卓朗, 丹羽健太, 齊藤翔一郎, 粕谷貴司, 砂原秀樹, 江崎浩

2017 年 34 巻 3 号 p. 3_37-3_58
発行日: 2017/07/25
公開日: 2017/09/25

DOIhttps://doi.org/10.11309/jssst.34.3_37

ジャーナルフリー

抄録を表示する抄録を非表示にする

インターネットを前提とした視聴サービスが登場し，中でも空間に存在する視聴対象を三次元的に解釈するオブジェクトベースの視聴サービスの重要性が増している．そこで著者らは2014年からSoftware Defined Media (SDM)コンソーシアムを設立し，オブジェクトベースのディジタルメディアと，インターネットを前提とした視聴空間の研究を続けてきた．その中で，Internet of Things (IoT)を利用したスマートビルディングと相互運用を目指して，視聴サービスのためのビル設備を仮想化するSDMアーキテクチャを提案している．SDMアーキテクチャに基づき，試作システムを構築し，デモンストレーション展示ハッカソン開催を行った．さらに，試作システムを利用したアプリケーション開発と収録データのデータベース化を行った．プラットフォーム上で動作するアプリケーションの遅延を測定し，多くのインタラクティブなアプリケーションを支援しうるリアルタイム性を確認した．また，試作システムを利用したインタラクティブなアプリケーションを被験者に体験してもらい，主観実験によって開発者の演出意図を高水準で満たせたことを示した．

抄録全体を表示

PDF形式でダウンロード (8419K)
『オープンソースソフトウェア工学』シリーズオープンソースライセンスへのソフトウェア工学からのアプローチ

眞鍋雄貴

2017 年 34 巻 3 号 p. 3_59-3_69
発行日: 2017/07/25
公開日: 2017/09/25

DOIhttps://doi.org/10.11309/jssst.34.3_59

ジャーナルフリー

抄録を表示する抄録を非表示にする

本稿では，オープンソースソフトウェアの利活用を推進するため，ソフトウェア工学分野における国際会議や論文誌で発表されたオープンソースライセンス関連の研究を概観する．オープンソースライセンス関連研究は大きく，オープンソースライセンスの特定，オープンソースライセンスの変更，オープンソースライセンスコンプライアンスからなる．これらの研究を踏まえ，今後の方向性について議論する．

抄録全体を表示

PDF形式でダウンロード (512K)
UIST 2016参加報告

鈴木優

2017 年 34 巻 3 号 p. 3_70-3_74
発行日: 2017/07/25
公開日: 2017/09/25

DOIhttps://doi.org/10.11309/jssst.34.3_70

ジャーナルフリー

PDF形式でダウンロード (10175K)
ER 2016参加報告

中川博之, 小林努, 林晋平, 吉岡信和, 鵜林尚靖

2017 年 34 巻 3 号 p. 3_75-3_80
発行日: 2017/07/25
公開日: 2017/09/25

DOIhttps://doi.org/10.11309/jssst.34.3_75

ジャーナルフリー

PDF形式でダウンロード (659K)
SC16参加報告

平石拓

2017 年 34 巻 3 号 p. 3_81-3_85
発行日: 2017/07/25
公開日: 2017/09/25

DOIhttps://doi.org/10.11309/jssst.34.3_81

ジャーナルフリー

PDF形式でダウンロード (3769K)
ACM SPLASH2016参加報告

倉光君郎

2017 年 34 巻 3 号 p. 3_86-3_89
発行日: 2017/07/25
公開日: 2017/09/25

DOIhttps://doi.org/10.11309/jssst.34.3_86

ジャーナルフリー

PDF形式でダウンロード (296K)
人とコンピュータと世界と研究の境界(インタフェース)

綾塚祐二

2017 年 34 巻 3 号 p. 3_92-3_93
発行日: 2017/07/25
公開日: 2017/09/25

DOIhttps://doi.org/10.11309/jssst.34.3_92

ジャーナルフリー

PDF形式でダウンロード (637K)
ZDDと列挙問題―最新の技法とプログラミングツール

戸田貴久, 斎藤寿樹, 岩下洋哲, 川原純, 湊真一

2017 年 34 巻 3 号 p. 3_97-3_120
発行日: 2017/07/25
公開日: 2017/08/09

DOIhttps://doi.org/10.11309/jssst.34.3_97

ジャーナルフリー

抄録を表示する抄録を非表示にする

列挙問題とは，与えられた条件を満たす対象(解)をすべて求める問題であり，電力網解析など社会のさまざまな問題への応用がある．さまざまな組合せ列挙問題に対して，問題の解集合を表現するデータ構造ZDDを高速に求める方法(トップダウンZDD構築法)を通して元の問題を効率的に解く汎用的な手法の研究が近年盛んに行われている.本論文ではトップダウンZDD構築に焦点を絞り，基礎となるアルゴリズムから，複雑な問題制約に対処するための発展的手法，プログラミングツールTdZddの基本的な使い方，さらに，具体的な応用問題を例にしたプログラミングまで解説する.

抄録全体を表示

PDF形式でダウンロード (1041K)
テスト入力値生成技術の研究動向

丹野治門, 倉林利行, 張暁晶, 伊山宗吉, 安達悠, 岩田真治, 切貫弘之

2017 年 34 巻 3 号 p. 3_121-3_147
発行日: 2017/07/25
公開日: 2017/08/09

DOIhttps://doi.org/10.11309/jssst.34.3_121

ジャーナルフリー

抄録を表示する抄録を非表示にする

テスト設計を効率よく行うために必要となるテスト入力値生成技術に関する調査を行った．ソフトウェア工学分野とソフトウェアテスト分野における5つの主要会議 (ICSE，FSE，ASE，ISSTA，ICST)の過去約10年分の研究論文を調査対象とした．本論文では，これらの手法を目的別に整理したうえで，それぞれの手法の概要を紹介する．

抄録全体を表示

PDF形式でダウンロード (1388K)
Menu Designs for Note-taking Applications

木谷篤, 中谷多哉子

2017 年 34 巻 3 号 p. 3_148-3_160
発行日: 2017/07/25
公開日: 2017/08/09

DOIhttps://doi.org/10.11309/jssst.34.3_148

ジャーナルフリー

抄録を表示する抄録を非表示にする

Tablet devices have become popular and various note-taking applications are now available. We can manipulate those applications through handwriting inputs. When we use those applications, we want to take notes naturally as if we are using a real pen and paper notebook. Though we have tried several applications, we felt a sense of incongruities with a series of menu manipulations. With regard to natural manipulations, menus on existing note-taking applications have signaled some drawbacks. In order to reveal the drawbacks, first we clarify criteria of menus for note-taking applications. Secondly, we research touch interactions, which we can assign into menu manipulations on tablet devices, and review how we invoke and select menus. Finally, we evaluate current menus and discuss what the suitable menus of note-taking applications are.

抄録全体を表示

PDF形式でダウンロード (1407K)

J-STAGEへの登録はこちら（無料）