著者

中嶋 辰成 青戸 等人 外山 芳人

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.31, no.3, pp.3_294-3_306, 2014-07-25 (Released:2014-09-10)

---

等式論理において,自然数やリストなどのデータ構造上で成立する等式を帰納的定理とよぶ.与えられた等式が等式論理の帰納的定理であるか否かは一般に決定不能であるが,いくつかの部分クラスに対する決定手続きが知られている.FalkeとKapur (2006)が与えた決定手続きは書き換え帰納法に基づく.一方,外山(2002)は,帰納的定理判定問題を2つの抽象リダクションシステムの等価性判定問題としてとらえることで,書き換え帰納法が帰納的定理の決定手続きとなるための十分条件を示した.しかし,この両者が保証している決定可能な帰納的定理のクラス間には包含関係がない.そこで,本論文ではこれら2つのアプローチを組み合わせることにより,従来保証されていた決定可能な帰納的定理のクラスを拡張する.

著者

角田 雅照 戸田 航史 伏田 享平 亀井 靖高 ナガッパン メイヤッパン 鵜林 尚靖

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.31, no.2, pp.2_129-2_143, 2014-04-24 (Released:2014-05-22)

---

本研究では,上流工程の活動実績に基づく工数見積もりに着目し,その見積もり精度を定量的に評価する.具体的には,上流工程での実績工数を説明変数とする開発総工数見積もりモデルを作成し,ソフトウェア規模に基づく工数見積もりモデルと精度を比較する.さらに,実績工数とソフトウェア規模の両方を説明変数とした場合のモデルとも比較する.実験ではISBSGデータセットを用い,計画工程と要求分析工程を上流工程とみなしてモデルを構築した.実験の結果,計画・要求分析の合計工数とソフトウェア規模の両方を説明変数として用いることにより,見積もり精度が最も改善する(BRE(Balanced Relative Error)平均値が148.4%から75.4%に改善する)ことがわかった.

著者

鄭 顕志 清水 遼 高橋 竜一 石川 冬樹

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.31, no.1, pp.1_49-1_59, 2014-01-27 (Released:2014-03-27)

---

実行時に起こる変化を検知し,要求を満たし続けるようソフトウェアの構造・振る舞いを自身で変更するソフトウェアは,自己適応ソフトウェアとして,その有用性が認知されている.自己適応ソフトウェア開発では,従来のアプリケーションロジックに加え,自己適応性のためのロジックを設計する必要がある.本論文では,近年特にソフトウェア工学の分野で議論されている,自己適応ソフトウェアのための自己適応性設計に関する研究動向を調査する.本論文では,自己適応性のロジックをモデル化する手法として広く用いられている,Monitor-Analyze-Plan-Execute-Knowledgeループの観点から,各要素の概要,研究課題,既存研究のアプローチを紹介し,今後の研究課題について議論する.

著者

新屋 良磨

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.30, no.3, pp.3_163-3_179, 2013-07-25 (Released:2013-08-31)

---

Abstract Numeration System (ANS)は自然数と言語を一対一に対応づける記数法(Numeration System)である.本論文では,正規言語Lについて,Lに属する文字列wのL上のANSでの数 – wのL内での順番の計算によって圧縮を定義する.さらに,ANSによる圧縮では: (1) (無限集合である)正規言語Lから平均圧縮率を計算可能.(2) 圧縮対象の文字列長に対し準線形時間で圧縮可能.(3) 圧縮対象文字列wを分割して並列に圧縮可能等の良い性質を持つことを示す.本論文において,特に断らない限り任意長整数の乗算が定数時間で計算可能な一様コストモデルを仮定するが,乗算にコストがかかる場合での議論や解決策の提案も行う.

著者

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

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.30, no.1, pp.1_53-1_64, 2013-01-25 (Released:2013-03-25)

---

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

著者

前岡 淳 田辺 良則 石川 冬樹

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.30, no.3, pp.3_109-3_122, 2013-07-25 (Released:2013-08-31)

---

Java PathFinder (JPF)に代表されるソフトウェアモデル検査技術は,テスト工程における不具合検出に有効であるが,状態爆発への対応が課題となる.この課題を解決する手法として優先度に基づくヒューリスティック探索手法が提案されている.プログラムによって適する探索手法や優先度の付け方が異なるため,有効なヒューリスティック探索手法が多数存在することがのぞましい.本論文では,「範囲限定探索」に基づくヒューリスティック探索手法を提案する.従来手法は,ヒューリスティック関数によって各状態から不具合に早く到達できるかを見積もり,これに基づいて探索順序を決定する.これに対して提案手法では,「探索打ち切りポリシー関数」によって各状態から不具合に早く到達できるかを判断し,見込みが低い場合にはその状態からの探索を打ち切る.提案手法の有効性を検証するためにJPFに実装し,検証ツール評価用に作成されたテストプログラムを用いて既存手法との比較実験を行った.Javaによるテストプログラムを用いた実験の結果,提案手法が状態数比で2倍以上優位となるケースを確認し,ヒューリスティック探索の適用の幅が広がることを示した.

著者

倉橋 節也

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.25, no.4, pp.4_252-4_260, 2008-10-28 (Released:2008-11-30)

被引用文献数

1

---

本研究では,中国の家系記録「族譜」をもとに,科挙合格者を多く輩出したひとつの家系を約500年に渡ってエージェント技術を用いて分析を行った.家系ネットワークと個人のプロファイルデータをそれぞれ隣接行列と属性行列として表現し,実プロファイルデータを目的関数とする,マルチエージェントモデルによる逆シミュレーションを実施した.その結果,家庭内において子供への文化資本の伝達には,祖父と母が大きな影響を持つことがわかり,家族が維持する規範システムの一部を発見できた.本モデルによって,逆シミュレーション手法を用いたエージェントベースモデルが歴史学や人類学の分野において,新たな知識の発見に貢献できることを示した.

著者

鄭 顕志 中川 博之 川俣 洋次郎 吉岡 信和 深澤 良彰 本位田 真一

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.25, no.4, pp.4_121-4_132, 2008-10-28 (Released:2008-11-30)

被引用文献数

1

---

ユビキタスコンピューティングにおけるアプリケーションは,実世界の状態を把握し,ユーザに対してより積極的なサポートを行わなければならない.このようなアプリケーションを効率良く開発するためには,従来とは異なる新たなアプリケーション開発手法が必要となり,数多くの研究が行われている.本論文では,ユビキタスコンピューティングにおける,アプリケーション開発手法に関する研究動向を調査し,傾向と問題点を整理する.

著者

村山 敬 工藤 晋太郎 櫻井 健 水野 謙 加藤 紀夫 上田 和紀

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.25, no.2, pp.2_47-2_77, 2008 (Released:2008-06-30)

---

LMNtalは階層グラフ書換えに基づく言語モデルであり,リンク構造による接続構造と膜による階層構造の表現・操作機能によって,動的データ構造や多重集合書換えを扱うプログラムを簡潔に記述することができる.LMNtalは書換え規則の適用を単位とする細粒度の並行性をもっており,正しく効率的な実装方式は自明でない.そこで言語処理系をJavaを用いて開発し,効率をできるだけ犠牲にせずに正しく動作する実装方式を確立した.処理系は中間命令列へのコンパイラ,その解釈実行系及びJavaソースへのトランスレータからなり,他言語インタフェースをはじめとするさまざまな有用な機能を備えている.複数の膜を貫くリンク構造を正しくつなぎかえるための処理や,複数の膜にある書換え規則を正しく非同期実行させるための工夫も行っている.本論文では,処理系開発において主要な技術的課題となった階層グラフ構造の保持方法,中間命令体系,安全な非同期実行方式等を中心として,公開中のLMNtal処理系の設計と実装について論じる.

著者

中村 美惠子 宮下 芳明

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.29, no.1, pp.1_118-1_129, 2012-01-26 (Released:2012-02-26)

---

人間の知的創造活動を支援することは,情報科学の分野でも大きなテーマの一つである.本論文では知的創造活動を支援する認知ツールの設計に欠かせない,認知科学,社会心理学,行動経済学など様々な分野での新しい知見を紹介する.また,人間の知覚や認知に基づいた認知ツールの試みも紹介しながら,認知ツールひいては人間と計算機のインタラクションの展開について予測する.

著者

上田 和紀 吉瀬 謙二 土村 展之 湯淺 太一 権藤 克彦 本位田 真一

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.26, no.4, pp.4_2-4_16, 2009-10-27 (Released:2009-12-27)

著者

阿萬 裕久

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.29, no.3, pp.3_115-3_120, 2012-07-25 (Released:2012-08-20)

---

コードレビューは重要な品質保証活動であるが,現実には予算や納期の都合により網羅的な実施が難しい場合も多い.そこで本論文では,限られた予算内で“どのモジュールを重点的にレビューすれば最も高い費用対効果を期待できるか”という問題に着目し,各モジュールでのフォールト潜在の可能性,レビューコスト及び他のモジュールとの結合関係を総合的に考慮した0-1計画問題として定式化する手法を提案している.そして,六種類のオープンソースソフトウェアに対するシミュレーション実験を行い,提案法の有効性について論じている.

著者

花田 良子 佐藤 史隆 廣安 知之 三木 光範 鈴木 泰博

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.24, no.1, pp.1_91-1_100, 2007 (Released:2007-06-11)

被引用文献数

3

---

本研究では,ネットワークの特性量を目的関数とした最適化問題として定式化し,ネットワークを設計する.設計されたネットワークの持つ特性と複雑ネットワークの持つ特性とを調査,比較して検証することで,一般的に複雑ネットワークが有する特性は何に起因しているかを探求するアプローチを提案する.本論文では,その基礎的な検討として,最適化手法に遺伝的アルゴリズム (Genetic Algorithms: GA) を用いた場合のネットワーク生成の検討と,設計したネットワークを複雑ネットワークの視点から検討する.本論文で,目的とした特徴は,平均パス長やクラスター係数である.設計したネットワークを検討した結果,これらの目的には一部トレードオフの関係が存在することが明らかとなり,単一目的のGAよりも多目的GAの適用により検討することが適当であることが明らかとなった.

著者

木下 哲男 横尾 真 北村 泰彦 菅原 俊治 寺野 隆雄 新谷 虎松 大須賀 昭彦 峯 恒憲

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.25, no.4, pp.4_3-4_10, 2008-10-28 (Released:2008-12-31)

著者

油谷 曉 垣内 正年 香取 啓志 尾久土 正己 猪俣 敦夫 藤川 和利 砂原 秀樹 眞鍋 佳嗣 千原 國宏

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.28, no.4, pp.4_318-4_332, 2011-10-25 (Released:2011-11-30)

---

2009年7月22日に日本で皆既日食という天体ショーが起こり,様々な組織が皆既日食映像の伝送実験や多彩なイベントを行った.4K超高精細映像の伝送方法について共同研究を行っている朝日放送株式会社(ABC)では大規模なIPネットワークを使用した全天4K超高精細映像の伝送実験を企画し,奈良先端科学技術大学院大学(NAIST)も参加協力を行った.この伝送実験では,世界初の試みとして,皆既日食が起こっている場所の臨場感を全天4K超高精細映像を使用して可能な限り伝送するという目的で行われ,無事に実験の目的を達成することができた.本論文では,NAIST独自で非圧縮全天4K超高精細映像のLayer 3ネットワークを用いた伝送実証実験を行い,有効な伝送手法として実験を成功させたことについて報告し考察を与えることとする.

著者

木浦 幹雄

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.28, no.4, pp.4_11-4_16, 2011-10-25 (Released:2011-12-25)

著者

二木 厚吉 緒方 和博 中村 正樹

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.25, no.2, pp.2_1-2_13, 2008 (Released:2008-06-30)

---

CafeOBJ言語システムを用いた形式手法,すなわち形式仕様の作成法と検証法,を全6回にわたり解説する.CafeOBJ言語はOBJ言語を拡張した代数仕様言語であり,振舞仕様,書換仕様,パラメータ化仕様などが記述できる最先端の形式仕様言語である.CafeOBJ言語システムは,等式を書換規則として実行することで等式推論を健全にシミュレートすることができ,対話型検証システムとして利用出来る.第1回の今回は,「待ち行列を用いる相互排除プロトコル」を例題として,言語や検証法の細部に立ち入ることなく,CafeOBJ仕様の作成と検証が全体としてどのように行われるかを説明する.第2回以降では,言語の構文と意味(第2回),等式推論と項書換システム(第3回)について説明し,証明譜を用いた簡約のみに基づくCafeOBJの検証法(第4回)を解説する.さらに,認証プロトコル(第5回)と通信プロトコル(第6回)の2つの典型的な検証例も示すことで検証の技法についても解説する.

著者

山本 聡彦 小松 孝紀 生天目 章

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.28, no.1, pp.1_26-1_33, 2011-01-25 (Released:2011-03-25)

---

近年,様々な分野において,複雑ネットワークに関する研究が進められてきた.そのような中,与えられた目的に適合する特性を持った最適なネットワークとは何か,またそれをどのように設計するかという問題は,未だ解明されていないことが多い.従来の研究は,あるルールの下でネットワークを作成し,そのネットワークの特性を調べていくものが多い.本研究では遺伝的アルゴリズムを用いて最適なネットワーク(厳密には準最適なネットワーク)を生成させる方法を提案する.最適なネットワークを生成するための評価指標としてネットワークを表現する隣接行列の最大固有値とリンク密度の2つの線形結合関数を定義し,遺伝的アルゴリズムによりネットワークを進化させる.また,進化的に生成した準最適なネットワークの構造について解析をする.

著者

松本 一輝

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.28, no.4, pp.4_29-4_34, 2011-10-25 (Released:2011-12-25)

著者

石川 拓也 安積 卓也 一場 利幸 柴田 誠也 本田 晋也 高田 広章

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.28, no.4, pp.4_158-4_174, 2011-10-25 (Released:2011-11-30)

---

本論文では,組込み向けコンポーネントシステムであるTECSの仕様に基づいて開発した,LEGO社製MindstormsNXT用ソフトウェアプラットフォームATON(ASP+TECS On NXT)について述べる.ATONは,TECSを用いることにより,未使用デバイスのデバイスドライバの取り外しによるメモリ使用量の削減を可能とし,また,モデルを用いたソフトウェア開発との親和性を高めている.これらを実現するために,タスクやセマフォなどのリアルタイムOSの扱うオブジェクトやNXTに搭載されているデバイスのデバイスドライバをTECS仕様に従ってコンポーネント化している.倒立二輪ライントレースロボットの制御ソフトウェアをATON上に実装する事例によりATONの有用性を示した.