著者

佐藤 重幸

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.36, no.1, pp.85-87, 2019-01-25 (Released:2019-03-26)

著者

本多 健太郎 角谷 良彦 久保田 貴大

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.31, no.4, pp.4_9-4_20, 2014-10-24 (Released:2014-12-24)

著者

権藤 克彦 明石 修 伊知地 宏 岩崎 英哉 河野 健二 豊田 正史 上田 和紀

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (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.34, no.4, pp.4_84-4_85, 2017-10-25 (Released:2017-12-25)

著者

竹内 郁雄

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

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

著者

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

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.29, no.2, pp.2_65-2_68, 2012-04-25 (Released:2012-06-25)

著者

湯淺 太一

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.35, no.1, pp.1_94-1_95, 2018-01-25 (Released:2018-03-26)

著者

小林 直樹

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.38, no.3, pp.3_1, 2021-07-27 (Released:2021-09-27)

著者

齋藤 新 佐藤 大介 高木 啓伸

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (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.23, no.4, pp.4_76-4_81, 2006 (Released:2007-06-11)

著者

河野 健二

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.34, no.1, pp.1_32-1_38, 2017-01-25 (Released:2017-03-25)

著者

鵜林 尚靖 鷲崎 弘宜 鄭 顕志

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.35, no.3, pp.3_96-3_101, 2018-07-25 (Released:2018-09-25)

著者

酒井 政裕 今井 健男

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.32, no.1, pp.1_103-1_119, 2015-01-26 (Released:2015-02-11)

---

SAT問題は,命題論理式の充足可能性問題,すなわち命題変数を含む論理式に対し,その論理式を真にするような命題変数への値の割り当てが存在するかを決定する問題である.SATは古典的なNP完全問題であり,計算量的には難しい問題であるものの,近年のアルゴリズムの改良とハードウェアの進化によって著しい高性能化が実現された結果として,様々な分野への応用が行われている.本稿ではSATにまつわる研究で現在活発な領域として,関連する問題クラスへの応用やそれにまつわる研究分野との間の交流について,調査し,紹介する.

著者

田浦 健次朗 明比 英高 秋田 英範 郡司 彩 工藤 知宏 空閑 洋平 栗田 佳代子 黒田 裕文 三浦 紗江 中村 文隆 中村 宏 小川 剛史 岡田 和也 坂口 菊恵 関谷 貴之 柴山 悦哉 玉造 潤史 友西 大 椿本 弥生 TAVARES VASQUES Diego 吉田 塁

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.37, no.3, pp.3_2-3_8, 2020-07-22 (Released:2020-09-22)

---

東京大学の2020年4月からの,授業オンライン化の準備,現状,課題,展望について述べる.

著者

大堀 淳 纓坂 智

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.24, no.2, pp.2_113-2_132, 2007 (Released:2007-05-31)

---

本論文では,パターンマッチングとそのコンパイルを系統的に理解するための表示的意味論を提示し,それを基に,パターンマッチング構文を効率よいコードにコンパイルする系統的なアルゴリズムを提案する.まず,パターンを値の部分集合と見なし,パターンマッチング構文を,マッチングの対象項が含まれる部分集合を決定する機構と見なすことにより,パターンマッチングの集合論的意味論を与える.次に,各パターンの表示的意味を表現する木構造を定義し,それに基づきパターンマッチングのコンパイルアルゴリズムを導出し,このアルゴリズムの正しさを証明する.導出されたアルゴリズムは,分岐の選択に関して正しいばかりでなく,実行時の値のテスト回数に関して最適であり,かつ,冗長なパターンや網羅的でないパターン集合を常に正確に検出することが保証されている.以上構築したアルゴリズムは,Standard MLの拡張言語であるSML#言語に対して実装され,SML#コンパイラのパターンマッチングコンパイルモジュールとしての使用を通じてその実用性が確認されている.

著者

木下 佳樹

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.29, no.1, pp.1_30-1_46, 2012-01-26 (Released:2012-03-26)

---

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