コンピュータ ソフトウェア
Print ISSN : 0289-6540
検索
OR
閲覧
検索
最新号
選択された号の論文の2件中1~2を表示しています
    • |<
    • <
    • 1
    • >
    • >|
  • 竹川 佳成, 松村 耕平
    35 巻 (2018) 2 号 p. 2_95-2_108
    公開日: 2018/05/11
    ジャーナル フリー
    本研究では,1人でのライブ中継形式のレポートを支援するシステム「ポケレポGO」を提案する.ライブ中継ストリーミングサービスの普及に伴い,だれもが自分の興味・関心,身の回りの出来事を放送できるようになった.1人でのライブ中継形式のレポートにおいては,撮影後に編集ができないことや,多くの作業を同時に行うことが求められるため,放送の品質の低下や,限られた情報の伝達による信頼性の低下といった問題を引き起こす可能性がある.これらの問題を解決するために,複数業務を円滑に進めるための機能をもつシステムを開発した.提案システムのプロトタイプシステムを実装し,評価実験によりプロトタイプシステムで撮影した映像の品質は,複数人で取材をする形態の比較手法と同等であることが明らかになった.
    抄録全体を表示
  • 千代 英一郎
    35 巻 (2018) 2 号 p. 2_109-2_115
    公開日: 2018/05/11
    ジャーナル フリー
    本稿では,高階差分の概念を導入することで,ある式の値がループの繰り返しのなかで「将来的に常に正になる(あるいは負となる)」という時相的な情報を利用してループの停止性証明を行う方法を提案する.単なる差分だけではなく,2階以上の差分(高階差分)を考慮することで,標準的なランキング関数にもとづくアプローチでは取扱いの面倒な,連続する複数回の繰り返しにまたがる式の値の変化を直接的に扱うことが可能となる.本稿で示す定理にもとづく証明は従来と同じ1階述語論理の範囲内で行えるため,充足可能性判定問題に帰着させることでSMTソルバを用いた効率的な判定が可能である.
    抄録全体を表示
    • |<
    • <
    • 1
    • >
    • >|
feedback
Top