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

大会でお会いしましょう

千葉滋

2018 年 35 巻 2 号 p. 2_1
発行日: 2018/04/24
公開日: 2018/06/25

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

ジャーナルフリー

PDF形式でダウンロード (112K)
日本ソフトウェア科学会第34回大会報告

櫻井祐子, 高田眞吾

2018 年 35 巻 2 号 p. 2_2-2_15
発行日: 2018/04/24
公開日: 2018/06/25

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

ジャーナルフリー

PDF形式でダウンロード (801K)
第34回大会受賞者の声

櫻井祐子

2018 年 35 巻 2 号 p. 2_16-2_21
発行日: 2018/04/24
公開日: 2018/06/25

DOIhttps://doi.org/10.11309/jssst.35.2_16

ジャーナルフリー

PDF形式でダウンロード (1324K)
日本ソフトウェア科学会第34回大会参加報告

上田俊

2018 年 35 巻 2 号 p. 2_22
発行日: 2018/04/24
公開日: 2018/06/25

DOIhttps://doi.org/10.11309/jssst.35.2_22

ジャーナルフリー

PDF形式でダウンロード (832K)
日本ソフトウェア科学会第34回大会参加報告

江上周作

2018 年 35 巻 2 号 p. 2_23
発行日: 2018/04/24
公開日: 2018/06/25

DOIhttps://doi.org/10.11309/jssst.35.2_23

ジャーナルフリー

PDF形式でダウンロード (1769K)
日本ソフトウェア科学会第34回大会参加報告

及川僚太

2018 年 35 巻 2 号 p. 2_24
発行日: 2018/04/24
公開日: 2018/06/25

DOIhttps://doi.org/10.11309/jssst.35.2_24

ジャーナルフリー

PDF形式でダウンロード (3595K)
日本ソフトウェア科学会第34回大会参加報告

大石慶一朗

2018 年 35 巻 2 号 p. 2_25
発行日: 2018/04/24
公開日: 2018/06/25

DOIhttps://doi.org/10.11309/jssst.35.2_25

ジャーナルフリー

PDF形式でダウンロード (453K)
データセット多様性のソフトウェア・テスティング

中島震

2018 年 35 巻 2 号 p. 2_26-2_32
発行日: 2018/04/24
公開日: 2018/06/25

DOIhttps://doi.org/10.11309/jssst.35.2_26

ジャーナルフリー

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

統計的な機械学習プログラムには通常のソフトウェア・テスティングが前提とする確定的なオラクルが存在しない．相対的な正解値に基づく疑似オラクルを用いることになる．その具体的な方法として，多様なデータを入力して検査するメタモルフィック・テスティングが有力である．一方，機械学習プログラムへの入力は多数のデータからなるデータセットである．データ分布の違いが入力の多様性を表すといってよい．本稿は，コーナケース・テスティングを目的として，適切な偏りを持つ入力データセットを得るフォローアップ入力生成の新しい方法を提案する．具体例として，サポートベクタマシンならびにニューラルネットへの適用事例を報告する．

抄録全体を表示

PDF形式でダウンロード (595K)
多言語に対応した衛生的マクロ機構導入方式

高桑健太郎, 渡部卓雄

2018 年 35 巻 2 号 p. 2_33-2_39
発行日: 2018/04/24
公開日: 2018/06/25

DOIhttps://doi.org/10.11309/jssst.35.2_33

ジャーナルフリー

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

OMetaで記述された言語処理系に対する，対象言語に依存しない衛生的マクロ機構の導入方式を提案する．OMetaは強力なパターンマッチ機構を備えたオブジェクト指向プログラミング言語であり，構文解析器などを作成するのに適している．提案方式は，Racketのマクロ機構で用いられているScope Setモデルに基づき，OMetaで記述されたプログラミング言語の構文解析器に衛生的マクロの定義構文および定義機構を導入するものである．本方式をJavaScriptのサブセットおよびMinCamlの構文解析器に適用し，その有効性を確認した．

抄録全体を表示

PDF形式でダウンロード (369K)
Qoom: 球体型インタラクティブディスプレイ

宮藤詩緒, 佐藤俊樹, 李正卿, 小池英樹

2018 年 35 巻 2 号 p. 2_40-2_51
発行日: 2018/04/24
公開日: 2018/06/25

DOIhttps://doi.org/10.11309/jssst.35.2_40

ジャーナルフリー

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

本論文では球体型インタラクティブディスプレイデバイスとしてQoomを提案する．本システムでは，代表的な球体であるボールの特性を活かしたインタラクションを可能とし，タッチによる操作や，回転・投げるといった球体特有の動きを操作に組み込んだ．また，球体型ディスプレイに表示される情報の探求として，球体形状の情報の直接表示だけでなく，非球体情報の球体情報への変換表示を行い，球体特有の操作と組み合わせ，人と球状情報とのインタラクション手法の検討を行った.そして，これらのインタラクションや球体面への表示方法を利用したアプリケーションを作成し有用性を示した．

抄録全体を表示

PDF形式でダウンロード (5686K)
水泳体験を向上させる水中没入型バーチャルリアリティ環境: AquaCAVEの設計と実装

山下聖悟, 味八木崇, 諏訪俊一, 暦本純一

2018 年 35 巻 2 号 p. 2_52-2_63
発行日: 2018/04/24
公開日: 2018/06/25

DOIhttps://doi.org/10.11309/jssst.35.2_52

ジャーナルフリー

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

本研究では水泳用プールの底や側面に映像を投影することで，バーチャルリアリティ(VR)環境を構築し水泳体験を向上することを目指した．この水中没入型VR環境には，水泳トレーニングの支援効果や，浮遊感を提供する新しいVR環境として効果が期待される．本研究では，水中にVR環境を実現する際の技術的課題を明確化し，その解決策を提案した．没入型VR環境を構成するためには，ユーザーの目の3次元位置の計測と，その位置情報に基づいた適切な映像の提供が必要である．しかし，一般的にVR環境の構築に使用される赤外線を用いた位置計測装置は，赤外線が大幅に吸収される水中では使用できない．また，可視光を使用した場合も，映像が周囲に表示された環境では安定した計測が難しいことが確認された．本研究では，円偏光による遮光を利用して，投影された映像をカメラからのみ不可視にすることで位置計測を実現した．また，水中を撮影した際に発生する映像の歪みや，他スクリーンからの映像の映り込みが起こす没入感の低下を解決する方法についても検証した．

抄録全体を表示

PDF形式でダウンロード (3999K)
カードボードVRのための空中操作を用いたターゲット選択手法

石井晃, 阿達拓也, 島佳吾, 中前秀太, 志築文太郎, 高橋伸

2018 年 35 巻 2 号 p. 2_64-2_78
発行日: 2018/04/24
公開日: 2018/06/25

DOIhttps://doi.org/10.11309/jssst.35.2_64

ジャーナルフリー

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

スマートフォン(以下，携帯端末)をヘッドマウントディスプレイとして用いることによりバーチャルリアリティ環境(以下，カードボードVR環境)を実現する製品がある．このようなカードボードVR環境では安価かつ手軽にVR体験が可能である一方で，タッチパネルを覆うことによりタッチ操作が制限されるため，ゲームのようなインタラクションを必要とするアプリケーションは実現が困難である．この問題に対し本研究においては，携帯端末の背面空間にて手を動かすことによるターゲット選択手法を示す．提案手法は，携帯端末の背面カメラにより検出した手の位置に応じて画面上にポインタを表示する．ユーザは親指を曲げる動作により選択を行う．提案手法は携帯端末に内蔵されたカメラのみで実装可能であるため，カードボードVR環境におけるターゲット選択手法として容易に適用可能である．提案手法の性能を調べるため，ターゲット選択時間およびエラー率を評価する実験をカードボードVR環境において行った．また，提案手法を用いたゲームを制作し使用感調査を行った．

抄録全体を表示

PDF形式でダウンロード (2025K)
ACM SPLASH 2017参加報告

中丸智貴

2018 年 35 巻 2 号 p. 2_79-2_83
発行日: 2018/04/24
公開日: 2018/06/25

DOIhttps://doi.org/10.11309/jssst.35.2_79

ジャーナルフリー

PDF形式でダウンロード (536K)
（少し）反転してみた

増原英彦

2018 年 35 巻 2 号 p. 2_84-2_85
発行日: 2018/04/24
公開日: 2018/06/25

DOIhttps://doi.org/10.11309/jssst.35.2_84

ジャーナルフリー

PDF形式でダウンロード (653K)
ポケレポGO:ワンマンライブレポートシステムの設計と実装および評価

竹川佳成, 松村耕平

2018 年 35 巻 2 号 p. 2_95-2_108
発行日: 2018/04/24
公開日: 2018/05/11

DOIhttps://doi.org/10.11309/jssst.35.2_95

ジャーナルフリー

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

本研究では，1人でのライブ中継形式のレポートを支援するシステム「ポケレポGO」を提案する．ライブ中継ストリーミングサービスの普及に伴い，だれもが自分の興味・関心，身の回りの出来事を放送できるようになった．1人でのライブ中継形式のレポートにおいては，撮影後に編集ができないことや，多くの作業を同時に行うことが求められるため，放送の品質の低下や，限られた情報の伝達による信頼性の低下といった問題を引き起こす可能性がある．これらの問題を解決するために，複数業務を円滑に進めるための機能をもつシステムを開発した．提案システムのプロトタイプシステムを実装し，評価実験によりプロトタイプシステムで撮影した映像の品質は，複数人で取材をする形態の比較手法と同等であることが明らかになった．

抄録全体を表示

PDF形式でダウンロード (5719K)
高階差分にもとづくループ停止性証明方法

千代英一郎

2018 年 35 巻 2 号 p. 2_109-2_115
発行日: 2018/04/24
公開日: 2018/05/11

DOIhttps://doi.org/10.11309/jssst.35.2_109

ジャーナルフリー

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

本稿では，高階差分の概念を導入することで，ある式の値がループの繰り返しのなかで「将来的に常に正になる(あるいは負となる)」という時相的な情報を利用してループの停止性証明を行う方法を提案する．単なる差分だけではなく，2階以上の差分(高階差分)を考慮することで，標準的なランキング関数にもとづくアプローチでは取扱いの面倒な，連続する複数回の繰り返しにまたがる式の値の変化を直接的に扱うことが可能となる．本稿で示す定理にもとづく証明は従来と同じ1階述語論理の範囲内で行えるため，充足可能性判定問題に帰着させることでSMTソルバを用いた効率的な判定が可能である．

抄録全体を表示

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

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