著者
権藤 克彦 明石 修 伊知地 宏 岩崎 英哉 河野 健二 豊田 正史 上田 和紀
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.26, no.4, pp.4_17-4_29, 2009-10-27 (Released:2009-12-27)

「ソフトウェア開発で得られる経験や知見を成果とする論文(=ソフトウェア論文)を書くことは難しい」とよく言われますが,「なぜ難しいのか」の分析はこれまで十分にはなされていません.本論文では本誌のソフトウェア論文特集を編集した経験から,「ソフトウェア論文を書くことがなぜ難しい(と感じる)のか」の分析を試みます.問題は「著者の作文の問題」だけではなく,ソフトウェア自体,ソフトウェア工学,査読者,社会状況にも要因があることを示します.要因が多岐に渡るので結論を短く言うことが難しいです.あえて言えば「著者の作文技術にも問題はあるが,(著者の責任ではない)本質的な難しさも別にあるので,著者が自らハードルを上げてしまうことは避けるべき」「ソフトウェア論文の追試としての価値を査読者は評価すべき」です.また作文技術の問題を解決する一助として,ソフトウェア論文の執筆チェックリストを最後に示します.
著者
新屋 良磨
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.34, no.3, pp.3_3-3_35, 2017-07-25 (Released:2017-09-25)

オートマトンは最も単純な計算のモデルである.その単純さゆえに初学者にとっても理解しやすく,情報系の学部においては「計算理論」や「形式言語理論」などの講義はまずオートマトンから教え始めることが標準となっている.一方,その単純さゆえに理論的な深みやさらなる研究の余地がないと誤解されることもしばしばあり,また,講義や解説書においても応用的な需要からかより強力な計算モデルに重きが置かれることも多い.本サーベイではオートマトン理論の基礎から始め,三話構成でオートマトン・形式言語理論の様々な定理を解説していく.解説する定理の中には,オートマトン理論における古典的な結果に別の視点を新たに与えるものもあれば,オートマトン・形式言語理論と関わりのなさそうな分野との意外な繋がりを見せるものもある.オートマトン理論に習熟している方にも楽しんでもらえるよう,最近の結果や話題についても内容に盛り込んだ.
著者
大堀 淳
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.31, no.1, pp.1_30-1_42, 2014-01-27 (Released:2014-03-27)

コンパイラの構文解析器に広く使用されているLR構文解析の原理を解説する.LR構文解析の基礎をなすアイデアは,「正規言語の解析手法を繰り返し使い,文脈自由文法の幅広いクラスを解析する」という(多くの優れたアイデアがそうであるように)単純なものである.Knuthは,この直感的で単純なアイデアを基礎とし,緻密な理論的な展開と巧みな実用化戦略によって,構文解析におけるブレークスルーを達成した.本解説では,LR構文解析が基礎とするアイデアに即してその原理とアルゴリズムの構造を解説する.これらを理解するならば,一般に複雑で難解なものと受け取られているLR構文解析法の全体像が容易に理解できるはずである.本解説では,オートマトンの基礎知識を持つ一般の読者が,LR構文解析の考え方と原理を理解できることを目指す.
著者
五十嵐 大 高橋 克巳
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.29, no.4, pp.4_40-4_49, 2012-10-25 (Released:2012-12-25)
被引用文献数
1

近年,プライバシー保護とデータ活用を両立するための技術である,プライバシー保護データマイニング(PPDM, Privacy Preserving Data Mining)の研究が盛んとなってきている.この分野で特に重要な研究テーマのひとつは,技術的に何を満たせばプライバシーが守られていると言えるのかということを解析する,プライバシー概念の研究である.そんな中現在最も注目を浴びているプライバシーの概念が,2006年にDworkが提唱したDifferential Privacyである.本稿ではPPDM分野の概要および,Differential Privacyの簡単な紹介を行う.
著者
大森 隆行 丸山 勝久 林 晋平 沢田 篤史
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.29, no.3, pp.3_3-3_28, 2012-07-25 (Released:2012-09-25)

ソフトウェアは,利用者を満足させ続けるために絶えず進化しなければならない.本論文では,このようなソフトウェア進化に関連する研究を,手法,対象,目的という三つの視点から分類する基準を示す.その上で,それぞれの分類に基づき文献調査を行った結果を示す.この分類と調査の結果は,ソフトウェア進化分野の研究動向や研究の方向性を考察する足掛かりとなる.
著者
齋藤 新 佐藤 大介 高木 啓伸
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.31, no.3, pp.3_42-3_57, 2014-07-25 (Released:2014-09-25)

近年,情報通信機器およびそれらを介して得られる情報にアクセスできることは,暮らしの上で必要不可欠なものとなっている.とくに,障害を持つユーザにとって,情報通信技術(ICT)は「社会への扉」でありその社会的意義は非常に大きい.そのため,情報および情報通信機器へのユニバーサルアクセスを義務付ける,または推進するための法令を施行している国は多い.また,World Wide Web Consortium (W3C)などの標準化団体はアクセス可能性(アクセシビリティ)に関する技術的標準およびガイドラインを定めており,ICTの提供者が具体的に検証することを可能にしている.本稿では,ICTにおけるアクセシビリティを取り巻く歴史的経緯について紹介し,アクセシビリティ向上を推進する法整備および標準規格について解説する.また,それらの法令・規格に適合するコンテンツの作成および検証を支援する技術について概説する.さらに,近年注目を浴びているタッチUIおよびクラウドソーシングを含む,アクセシビリティ研究の最新動向についても述べる.
著者
酒井 政裕 今井 健男
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.32, no.1, pp.1_103-1_119, 2015-01-26 (Released:2015-02-11)

SAT問題は,命題論理式の充足可能性問題,すなわち命題変数を含む論理式に対し,その論理式を真にするような命題変数への値の割り当てが存在するかを決定する問題である.SATは古典的なNP完全問題であり,計算量的には難しい問題であるものの,近年のアルゴリズムの改良とハードウェアの進化によって著しい高性能化が実現された結果として,様々な分野への応用が行われている.本稿ではSATにまつわる研究で現在活発な領域として,関連する問題クラスへの応用やそれにまつわる研究分野との間の交流について,調査し,紹介する.
著者
大堀 淳 纓坂 智
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.24, no.2, pp.2_113-2_132, 2007 (Released:2007-05-31)

本論文では,パターンマッチングとそのコンパイルを系統的に理解するための表示的意味論を提示し,それを基に,パターンマッチング構文を効率よいコードにコンパイルする系統的なアルゴリズムを提案する.まず,パターンを値の部分集合と見なし,パターンマッチング構文を,マッチングの対象項が含まれる部分集合を決定する機構と見なすことにより,パターンマッチングの集合論的意味論を与える.次に,各パターンの表示的意味を表現する木構造を定義し,それに基づきパターンマッチングのコンパイルアルゴリズムを導出し,このアルゴリズムの正しさを証明する.導出されたアルゴリズムは,分岐の選択に関して正しいばかりでなく,実行時の値のテスト回数に関して最適であり,かつ,冗長なパターンや網羅的でないパターン集合を常に正確に検出することが保証されている.以上構築したアルゴリズムは,Standard MLの拡張言語であるSML#言語に対して実装され,SML#コンパイラのパターンマッチングコンパイルモジュールとしての使用を通じてその実用性が確認されている.
著者
藤田 憲悦
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.20, no.3, pp.285-291, 2003-05-23 (Released:2012-08-20)

カリー・ハワード同型を古典論理にまで拡張することにより,M.Parigotは古典論理の証明項を表現する体系としてλμ計算を導入した.本論文では,万能的な計算モデルの観点から,タイプフリーのλμ計算でもD. Scott流の外延的モデルが存在することを示す.そのために,(η)規則も妥当とするCPS変換を導入する.そして,D × D ≅ D ≅ [D → D]を満たす任意の領域Dから外延的λμモデルを構成する.さらに,合流性やC-monoidsとの興味深い関係についても論じる.
著者
高野 保真 岩崎 英哉 佐藤 重幸
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.32, no.1, pp.1_253-1_287, 2015-01-26 (Released:2015-02-11)

関数型言語 Haskellは,遅延評価を標準とするプログラミング言語であり,近年注目を集めている.デファクトスタンダードの処理系である Glasgow Haskell Compiler(GHC)は多くの研究の基盤として用いられ,新しい言語概念など先進的な研究成果が取り入れられている.その一方で,GHCの実装は巨大で複雑になってきており,GHCに新機能を導入することは障壁が高くなってしまった.このような状況において,我々は実行時メモリの効率化を目指して,遅延オブジェクトを再利用する手法を提案し,GHCに実装してきた.我々が提案した手法は,コンパイル時にプログラム変換を行い,再利用対象とする遅延オブジェクトへの参照を単一にした上で,遅延オブジェクトを破壊的に書き換えて再利用する.その基本的な機構は既に先行論文において述べ,メモリ削減の効果も確認済みである.本論文は,再利用手法を実現するために考えられる各種手法の実装方法,および,それらの手法の得失・取捨選択に関する議論を詳細に行う.また,再利用手法の基本的な機構の実装で培った経験を生かし実装した,再利用手法の改善技法をいくつか提案する.それらの技法を導入することにより,実行時間に関するオーバヘッドを低く抑えることが可能であることを実験により確認した.最後に,GHCを研究の基盤に用いた経験より得られた遅延型関数型言語処理系に関する知見についても述べる.特に,GHCが Haskellで記述されていることは,処理系の拡張性に大きく貢献していることが分かった.
著者
加藤 弘之 胡 振江 日高 宗一郎 松田 一孝
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.31, no.2, pp.2_44-2_56, 2014-04-24 (Released:2014-06-24)

双方向変換とは,ソースデータをターゲットデータに変換した後,ターゲットデータ上の更新をソースデータに反映させることが可能な計算の枠組みのことである.双方向変換の考え方は,古くはデータベース分野におけるビュー更新問題として扱われてきたが,近年は新しいプログラミングモデルと進化的ソフトウエア開発の手法として注目を浴び,プログラミング言語の観点から様々な双方向変換言語が提案されてきた.この解説論文は,会話の形で,プログラミング言語,ソフトウェア工学,データベースの視点から,双方向変換の歴史,基本原理,実践,応用,そして今後の課題について概説する.
著者
川島 英之
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.33, no.3, pp.3_44-3_49, 2016-07-25 (Released:2016-09-25)

データ基盤システムを役割で大別すると,SQL問合せ処理システムとトランザクション処理システムという2つのサブシステムに分けられる.従来型のデータベース管理システム(DBMS)はこれらを兼ね備えている.一方,性能向上のために,近年はサブシステム毎の高度化が行われている.本論文ではこれらに関する近年の動向を解説する.
著者
木下 佳樹
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.29, no.1, pp.1_30-1_46, 2012-01-26 (Released:2012-03-26)

ごく基本的な数学的リテラシーだけを前提として,集合の帰納的定義,函数の再帰的定義を説明する数学的構造を,会話形式で説明する.