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

「今どきの若者」にとっての学会とは

湊真一

2013 年 30 巻 1 号 p. 1_1
発行日: 2013/01/25
公開日: 2013/03/25

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

ジャーナルフリー

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

滝本宗宏

2013 年 30 巻 1 号 p. 1_2
発行日: 2013/01/25
公開日: 2013/03/25

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

ジャーナルフリー

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

寺岡文男

2013 年 30 巻 1 号 p. 1_3-1_8
発行日: 2013/01/25
公開日: 2013/03/25

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

ジャーナルフリー

PDF形式でダウンロード (74K)
APCHI 2012参加・運営報告

鈴木優

2013 年 30 巻 1 号 p. 1_9-1_15
発行日: 2013/01/25
公開日: 2013/03/25

DOIhttps://doi.org/10.11309/jssst.30.1_9

ジャーナルフリー

PDF形式でダウンロード (189K)
国際シンポジウムFLOPS 2012開催報告

田村直之, 番原睦則, 平山勝敏, 宋剛秀

2013 年 30 巻 1 号 p. 1_16-1_19
発行日: 2013/01/25
公開日: 2013/03/25

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

ジャーナルフリー

PDF形式でダウンロード (132K)
LifelogViewer(ライフログビューア)

中村聡史

2013 年 30 巻 1 号 p. 1_20-1_25
発行日: 2013/01/25
公開日: 2013/03/25

DOIhttps://doi.org/10.11309/jssst.30.1_20

ジャーナルフリー

PDF形式でダウンロード (243K)
計算機科学および計算科学の発展を考えて

土居範久

2013 年 30 巻 1 号 p. 1_26-1_33
発行日: 2013/01/25
公開日: 2013/03/25

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

ジャーナルフリー

PDF形式でダウンロード (79K)
『計算機科学者のためのゲーム理論入門』シリーズ第4回メカニズムデザイン(応用編)

横尾真, 岩崎敦, 櫻井祐子, 岡本吉央

2013 年 30 巻 1 号 p. 1_34-1_52
発行日: 2013/01/25
公開日: 2013/03/25

DOIhttps://doi.org/10.11309/jssst.30.1_34

ジャーナルフリー

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

本稿では，メカニズムデザイン(応用編)として，前回の基礎編に対して，現実からの要請にもとづく社会的に望ましい結果，もしくは設計者の目的を満たす結果，をもたらすための市場や制度をメカニズムとしてどう考えるかに焦点をあてる．まず，メカニズムデザイン理論における代表的な応用である，異なる種類の商品を同時に販売するためのオークション，いわゆる組合せオークションを，もっともよく知られているVickrey-Clarke-Grovesメカニズムを通して説明する．次に，従来は考えられていなかった課題を解決するためのメカニズムをどのように設計するかを解説するために，架空名義入札を取り上げる．加えて，メカニズムデザイン理論のよく知られた実践例である，検索連動型広告オークションとマッチングメカニズムの主要な結果に関して述べる．

抄録全体を表示

PDF形式でダウンロード (357K)
ソフトウェア開発における文書成果物の分析技術とその活用

竹内広宜, 中村大賀, 荻野紫穂, 水野謙, 岩間太, 鎌田真由美

2013 年 30 巻 1 号 p. 1_53-1_64
発行日: 2013/01/25
公開日: 2013/03/25

DOIhttps://doi.org/10.11309/jssst.30.1_53

ジャーナルフリー

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

ソフトウェア開発プロジェクトにおいて文書成果物は重要な役割を担っている．一方，大規模なシステム構築プロジェクトでは様々な文書成果物が大量に作られ，人手による品質分析には限界がある．近年，開発プロジェクトで作成される文書成果物に対して，文書構造分析，文字列解析，自然言語処理といった技術を適用する研究が行われている．本論文では，これらの技術によって実現される文書成果物の分析と活用方法について概観する．

抄録全体を表示

PDF形式でダウンロード (537K)
食メディアにおける味情報提示手法のサーベイ

中村裕美, 宮下芳明

2013 年 30 巻 1 号 p. 1_65-1_75
発行日: 2013/01/25
公開日: 2013/03/25

DOIhttps://doi.org/10.11309/jssst.30.1_65

ジャーナルフリー

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

食メディアに関する研究には，料理情報の共有や調理工程の分析と支援，食事内容の記録や分析，健康維持のための食事環境支援，共食におけるコミュニケーションの分析，支援，味情報の計測や提示などが含まれる．本論文では，近年活発に展開されるようになった情報科学技術を活用した味情報の提示手法を対象に，該当する研究や技術展開を直接提示型と間接提示型の2つに分類し，各分類の特性を議論したうえでサーベイを行った．また，これらの研究領域や技術の今後の動向と食メディアへの貢献について議論した．

抄録全体を表示

PDF形式でダウンロード (1103K)
FPGA向けの高位合成言語と処理系の研究動向

三好健文

2013 年 30 巻 1 号 p. 1_76-1_84
発行日: 2013/01/25
公開日: 2013/03/25

DOIhttps://doi.org/10.11309/jssst.30.1_76

ジャーナルフリー

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

FPGAの大規模化に伴い，より複雑な処理がFPGAに実装できるようになり，プログラムの実行プラットフォームとしてもFPGAは注目されている．しかしながら，広く普及しているRTL言語で複雑なアルゴリズムが必要なアプリケーションを設計するのは困難である．そのため，高い抽象度でハードウェアモジュールを設計可能にする高位合成言語とその処理系の研究がすすめられている．高位合成言語には，ハードウェア開発のコストを削減すること，動作検証にかかるコストを削減すること，および，FPGAを活用して，FPGAならではの性能を引き出すことが求められる．本論文では，これまでに提案されてきた高位合成言語と処理系を整理する．

抄録全体を表示

PDF形式でダウンロード (107K)
大野豊先生を悼む

阿草清滋

2013 年 30 巻 1 号 p. 1_93
発行日: 2013/01/25
公開日: 2013/03/25

DOIhttps://doi.org/10.11309/jssst.30.1_93

ジャーナルフリー

PDF形式でダウンロード (19K)
創作過程の分類に基づく自動音楽生成研究のサーベイ

松原正樹, 深山覚, 奥村健太, 寺村佳子, 大村英史, 橋田光代, 北原鉄朗

2013 年 30 巻 1 号 p. 1_101-1_118
発行日: 2013/01/25
公開日: 2013/03/05

DOIhttps://doi.org/10.11309/jssst.30.1_101

ジャーナルフリー

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

本論文では創作過程の視点に基づいて自動音楽生成に関するサーベイを行う．Shneidermanの創作過程の枠組みによれば，創作過程はCollect, Relate, Create, Donateの4つのフェーズからなる．計算機システム，ユーザ，システム設計者の3者全体を1つのトータルシステムと捉えると，創作においてそれぞれの要素が4つのフェーズをどう分担するか考えることができる．我々は既存の自動作曲・自動編曲・演奏表情付けシステムに対してこの観点から分析を行った．分類結果より各システムにおける4つのフェーズの共通項や差異を比較することができるようになり，音楽生成研究の進むべき方向性を示すことができた．

抄録全体を表示

PDF形式でダウンロード (270K)
組込みシステムにおけるソフトウェア障害の安全対策

松原豊, 高田広章

2013 年 30 巻 1 号 p. 1_119-1_129
発行日: 2013/01/25
公開日: 2013/03/05

DOIhttps://doi.org/10.11309/jssst.30.1_119

ジャーナルフリー

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

組込みシステムの安全性を示すためには，安全分析の結果，対策が必要と判明した故障に対して，網羅的かつ十分に対策できていることを明確にする必要がある．自動車制御システムを始め，高い安全性を要求されるシステムの開発現場では，機能安全に関する国際規格への準拠に際して，安全対策の適切な設計，選択，適用に関する指針(ガイドライン)が必要となっている．ソフトウェア障害に有効な対策は，従来から数多く提案されているが，整理，分類がなされていない．本論文では，研究論文，国際規格，技術文書等の文献を参考に，乗用車の電気・電子システムに関する機能安全国際規格ISO 26262をベースとして関連用語を整理し，ソフトウェア障害の安全対策の設計，選択の指針を示す．さらに，ソフトウェア故障の発生を前提とした安全機構の分類を試みる．

抄録全体を表示

PDF形式でダウンロード (296K)
ビッグデータ時代における情報の巨大集積化・並列分散処理に関する研究開発動向

藤井秀明, 原口弘志, 泥谷誠, 岩瀬高博, 岩爪道昭

2013 年 30 巻 1 号 p. 1_130-1_151
発行日: 2013/01/25
公開日: 2013/03/05

DOIhttps://doi.org/10.11309/jssst.30.1_130

ジャーナルフリー

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

近年，ビッグデータと呼ばれる大量データの集積と戦略的な利活用に対する関心と期待が大きく高まっている．本論文では，その技術的背景として，大量データの集積化および並列分散処理を支える基盤ソフトウェア技術に焦点を当て，代表的な研究開発事例について紹介する．また，同分野全体の俯瞰化を試み，今後の技術動向について議論する．

抄録全体を表示

PDF形式でダウンロード (1065K)
包含関係と先行関係をもつ時区間論理におけるフレームの埋込み可能性

古賀たかし, 佐野勝彦, 東条敏

2013 年 30 巻 1 号 p. 1_152-1_163
発行日: 2013/01/25
公開日: 2013/03/05

DOIhttps://doi.org/10.11309/jssst.30.1_152

ジャーナルフリー

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

本稿では，包含関係と先行関係を持つ決定可能な時区間論理を提案する．現実的な時区間を表現する論理がもつべき基礎的な性質を考察する．その基礎的な性質として，フレームを構成する時区間が，実数軸へ写せることを要請し，その性質をフレームの埋込み可能性として提案する．埋込み可能なフレーム・クラスは，我々の時区間論理式では特徴づけることができないが，任意の有限フレームについて，そのフレームが埋込み可能かどうかを判定する手続きを示す．

抄録全体を表示

PDF形式でダウンロード (229K)
ラウンドトリップエンジニアリングに基づいたAjaxアプリケーション開発支援

林千博, 名倉正剛, 高田眞吾

2013 年 30 巻 1 号 p. 1_164-1_179
発行日: 2013/01/25
公開日: 2013/03/05

DOIhttps://doi.org/10.11309/jssst.30.1_164

ジャーナルフリー

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

ラウンドトリップエンジニアリングは，フォワードエンジニアリングとリバースエンジニアリングを繰り返し行うことにより，モデルとソースコードを詳細化していく手法である．特に要求変更の多いソフトウェアに対して，ソフトウェア開発期間の短縮，効率化という点で有効である．そのようなソフトウェアの例としてWebアプリケーションがあり，ImazekiらはWebアプリケーションのラウンドトリップエンジニアリング手法を実現している．しかし，近年普及しているAjaxアプリケーションに対してラウンドトリップエンジニアリングを実現する方法は確立されていない．その最大の原因はAjaxの特徴であるサーバ／クライアント間での非同期処理を扱えない点である．そこで本論文では，Ajaxアプリケーションを対象にしたラウンドトリップエンジニアリング手法を提案する．提案手法はImazekiらの手法を拡張することにより実現した．提案手法の有効性をケーススタディと評価実験によって示した．特に評価実験では，本ツールを用いることにより，ソフトウェアの変更作業が25%減ったことを示した．

抄録全体を表示

PDF形式でダウンロード (2266K)
コンパイラの型推論を使用した型デバッガの提案

対馬かなえ, 浅井健一

2013 年 30 巻 1 号 p. 1_180-1_186
発行日: 2013/01/25
公開日: 2013/03/05

DOIhttps://doi.org/10.11309/jssst.30.1_180

ジャーナルフリー

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

本稿ではコンパイラに備わっている型推論器をそのまま使い，型デバッガを作成する手法について述べる．これまでの型デバッガでは型推論器を独自に再実装して型を求めていたが，それらの手法と比較して我々の手法には3つの利点がある．1つ目は型推論結果に不一致が起きないことが保証されることである．従来の型デバッガでは，型デバッガの型推論器とコンパイラの型推論器の間で齟齬が起きる可能性があった．2つ目はそもそも型推論器を再実装する必要がないことである．それによりこれまでに行われていない，構文等が多い言語の型デバッガを容易に作成することが出来る．3つ目はコンパイラの型推論器の更新に依存しないことである．これらの利点を活かし，我々は実際にOCamlを対象とした型デバッガを実装した．本稿では単純型付きラムダ計算とlet多相を対象として提案手法を説明し，実装について述べる．

抄録全体を表示

PDF形式でダウンロード (123K)
片側減少ダイアグラム法による項書き換えシステムの可換性証明法

的場正樹, 青戸等人, 外山芳人

2013 年 30 巻 1 号 p. 1_187-1_202
発行日: 2013/01/25
公開日: 2013/03/05

DOIhttps://doi.org/10.11309/jssst.30.1_187

ジャーナルフリー

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

項書き換えシステムの可換性は合流性を一般化した性質であり，可換性に基づく項書き換えシステムの分解は項書き換えシステムの合流性の証明に利用できる．項書き換えシステムの可換性を示す方法がいくつか知られているが，これらはみな危険対解析に基づく条件に基づいている．一方，抽象リダクションシステムの可換性証明法として減少ダイアグラム法が知られている．しかし，減少ダイアグラム法を項書き換えシステムの可換性証明へ応用した研究はほとんど報告されていない．本論文では，片側減少ダイアグラム法を提案し，片側減少ダイアグラム法に基づく項書き換えシステムの可換性証明法を示す．

抄録全体を表示

PDF形式でダウンロード (225K)
組込みシステムのアーキテクチャー検討における性能評価に適したモデル変換手法

河原亮, 岡林弘嗣, 久住憲嗣, 小野康一, 中田武男, 坂本佳史, 長野正, 中西恒夫, 福田晃

2013 年 30 巻 1 号 p. 1_203-1_210
発行日: 2013/01/25
公開日: 2013/03/05

DOIhttps://doi.org/10.11309/jssst.30.1_203

ジャーナルフリー

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

本論文では組込みシステムのアーキテクチャー設計で使用する効率的なモデリング手法を提案する．早期の性能評価のためにはシステムをモデリングする必要があるが，その工数が多く代替案の探索範囲が制限されることが課題であった．本研究ではモデリングコストを削減するためにシステムアーキテクチャーの表現に適したUMLベースのモデリング手法と，シミュレーションモデルへの変換を定義している．ケーススタディにおいて，手作業でのモデリングに比べ本手法はモデル編集のコストを1/3以下にできることを示す．

抄録全体を表示

PDF形式でダウンロード (343K)
位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化

丹生智也, 田村直之, 番原睦則

2013 年 30 巻 1 号 p. 1_211-1_230
発行日: 2013/01/25
公開日: 2013/03/05

DOIhttps://doi.org/10.11309/jssst.30.1_211

ジャーナルフリー

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

本論文では，整数有限領域上の制約充足問題に現れる算術的な制約をSATに符号化する新しい方法としてコンパクト順序符号化を提案する．コンパクト順序符号化の基本アイデアは，各整数変数を位取り基数法(すなわちB進法)で表現することと，各桁を順序符号化を用いてSATに符号化することである(B ≥ 2，Bを基底と呼ぶ)．コンパクト順序符号化はB = 2の場合には対数符号化と等価であり，Bが整数変数のドメインサイズ以上の時には順序符号化と等価である．その意味で，コンパクト順序符号化は両方の符号化の一般化であるとみなせる．また，典型的な制約充足問題であるオープンショップ・スケジューリング問題とグラフ彩色問題とを用いた比較実験により，コンパクト順序符号化が小規模(変数のドメインサイズが10²未満)から大規模(変数のドメインサイズが10⁷程度)までの広い範囲の問題に適用可能であり，順序符号化および対数符号化，また既存の制約ソルバーよりも高性能であることが確認できた．今後，基底Bの選び方に関する網羅的な実験が必要と考えられるが，現時点でコンパクト順序符号化は，様々な規模の制約充足問題に適用可能かつ効率的なSAT符号化の1つであるといえる．

抄録全体を表示

PDF形式でダウンロード (268K)
Safeアンビエントに基づく分散アプリケーション開発用Lisp環境

林奉行, 馬谷誠二, 八杉昌宏, 湯淺太一

2013 年 30 巻 1 号 p. 1_231-1_256
発行日: 2013/01/25
公開日: 2013/03/05

DOIhttps://doi.org/10.11309/jssst.30.1_231

ジャーナルフリー

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

対話的な分散アプリケーション開発のためのLisp環境LESAの設計・実装を行った．LESAはプロセス代数の一種であるSafeアンビエントに基づきアンビエントと呼ばれる計算の場の概念を導入している．アンビエントの導入によって分散アプリケーションを階層的に構成し，それらの構造を見通しよくすることができる．また，Lispの利点である対話環境をSafeアンビエントに即して拡張した．これを用いて例えば，複数のユーザが対話環境を繋げて協力して分散アプリケーションを開発するといった応用が考えられる．ユーザは，必要な機能をプロセスとして表現し，初期状態のアンビエント(ホームアンビエント)中に少しずつ追加することにより，対話的かつ段階的にアプリケーション開発を進める．さらに，LESAは，実行中のアンビエントの階層構造を表示するGUIも提供している．

抄録全体を表示

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

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