著者
権藤 克彦 明石 修 伊知地 宏 岩崎 英哉 河野 健二 豊田 正史 上田 和紀
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (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 or 0

近年,プライバシー保護とデータ活用を両立するための技術である,プライバシー保護データマイニング(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.7, no.1, pp.16-32, 1990-01-16
被引用文献数
2 or 0

カテゴリー理論的関数型言語は,カテゴリー理論に基づいた関数型プログラミング言語で,カテゴリー理論的に随伴関手を使ってデータ型を定義し,その上でプログラムを書くことができる.この言語では元々定義されたデータ型が存在せず,すべて随伴関手の機能を使って定義される.定義可能なデータ型には,終対象,始対象,積,和,関数型,自然数,有限リスト,無限リスト等がある.また,この言語は,制御構造も元々は定義されておらず,データ型の定義と共にそのデータ型に関する基本演算および制御構造が定義される.そして,プログラムの実行のための計算規則は,カテゴリー理論によって,単純な統一されたものとなっている.
著者
齋藤 新 佐藤 大介 高木 啓伸
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (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.23, no.4, pp.47-50, 2006-10-26
被引用文献数
3 or 0

我々は,形状をゼリーの内部にプリントするゼリープリンターを提案する.このプリンターでは,出力形状が柔らかいゼリーであるために,加工が非常に容易であることが大きな利点としてあげられる.これにより,コンピュータの内部の情報を実世界に取り出し,変形したり加工したり食用にすることが可能となる.さらに,三次元の標高データを出力することもできるので,自由に切ってその断面をみることも可能である.
著者
大堀 淳 纓坂 智
出版者
日本ソフトウェア科学会
雑誌
コンピュータ ソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.24, no.2, pp.2_113-2_132, 2007 (Released:2007-05-31)

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

ソフトウェアの生産性が問題となっているが,必ず実効の上がる改善策としてキーボード教育がある.まず英文タイプのブラインド技術はわずか2〜3時間の初期訓練によって獲得できるものであることを示し,続いてタイピング作業の認知モデルを,タイピングCAIプログラムと関連させて述べる.ソフトウェア作成には文書化作業が大きな比重をしめるが,この作業効率を上げるには,下書きせずに技術者が直接ワークステーションで文書作成を実行することが望ましい.これには日本語入力の方法とそれをどのように教育するかが問題となる.そこでまず日本語入力の基本となる,各種カナ入力法について論評を加える.さらに漢字の直接入力法について論じた後,入力法の評価に関する研究をいくつか紹介し,それが非常に困難な問題であることを示す.最後にキーボードと計算機本体の接続を標準化すべきことを指摘する.
著者
暦本 純一
出版者
一般社団法人日本ソフトウェア科学会
雑誌
コンピュータソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.13, no.3, pp.196-210, 1996-05-15
被引用文献数
24 or 0

本稿では,ヒューマンインタフェース研究の新しい流れとして注目される,人間の実世界における活動を支援するインタフェース(実世界指向インタフェース)について解説する.まず1節で,実世界指向インタフェースの特徴を解説し,従来型のヒューマンインタフェースとの違いを明らかにする.2節では,現在までに研究開発されているシステムのサーベイを行なう.3節では,実世界指向インタフェースを構成するために必要な要素技術について解説し,最後に4節で,今後の研究課題について議論する.
著者
辻田 眸 塚田 浩二 椎尾 一郎
出版者
一般社団法人日本ソフトウェア科学会
雑誌
コンピュータソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.26, no.1, pp.25-37, 2009-01-27
参考文献数
17
被引用文献数
5 or 0

携帯電話やメールなどさまざまな通信手段が普及したにもかかわらず,いまなお遠距離恋愛で悩んでいる人たちは多い.遠距離恋愛中のカップルは,個人差はあるにせよ,相手とつながり感を保ちたいという強いモチベーションをお互いに持っていると考えられる.こうした状況では,従来のアウェアネス共有システムのように弱いつながり感を共有するだけでなく,両者の生活空間での行為自体が相互に影響を与えあうような,比較的強いつながり感を提供する,いわば仮想的に同居しているような感覚を与えるシステムが有効になるのではないかと考えた.そこで,本研究では,プライバシーが守られる形で,遠隔地に設置されたランプ/ゴミ箱などの日用品の状態を相互に同期させることで,こうした仮想的な同居感覚を提供するシステム"SyncDecor"を提案,試作する.そして遠距離恋愛カップル間での遠隔実験の結果を示し,今後の展望を述べる.