著者

伊奈 林太郎 五十嵐 淳

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.26, no.2, pp.18-40, 2009-04-24

---

静的型システムと動的型システムの両者の利点を活かす枠組みとして,SiekとTahaは漸進的型付けを提唱している.漸進的型付けでは,型宣言された部分のみ静的型検査が行なわれ,残りの部分については実行時検査が行なわれる.これにより,当初型を付けずに書いたプログラムに型宣言を徐々に付加し,静的型付けされたプログラムを完成させることができる.本研究では,漸進的型付けをクラスに基づくオブジェクト指向言語で実現する理論的基盤として,Igarashi, Pierce, Wadlerらの計算体系Featherweight Java (FJ)に動的型を導入した体系FJ<SUP>?</SUP>を定義し,型付け規則を与える.さらにFJ<SUP>?</SUP>からFJにリフレクションを加えた体系への変換を定義することで意味論を与え,静的に検査した部分の安全性が保証されることを示す.

著者

大堀 淳

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.31, no.1, pp.1_30-1_42, 2014

---

コンパイラの構文解析器に広く使用されているLR構文解析の原理を解説する.LR構文解析の基礎をなすアイデアは,「正規言語の解析手法を繰り返し使い,文脈自由文法の幅広いクラスを解析する」という(多くの優れたアイデアがそうであるように)単純なものである.Knuthは,この直感的で単純なアイデアを基礎とし,緻密な理論的な展開と巧みな実用化戦略によって,構文解析におけるブレークスルーを達成した.本解説では,LR構文解析が基礎とするアイデアに即してその原理とアルゴリズムの構造を解説する.これらを理解するならば,一般に複雑で難解なものと受け取られているLR構文解析法の全体像が容易に理解できるはずである.本解説では,オートマトンの基礎知識を持つ一般の読者が,LR構文解析の考え方と原理を理解できることを目指す.

著者

椎尾 一郎 浜田 玲子 美馬 のゆり Itiro Siio Reiko Hamada Noyuri Mima お茶の水女子大学理学部情報科学科 東京大学情報理工学系研究科 公立はこだて未来大学システム情報科学部 Department of Information Sciences Ochanomizu University Graduate School of Information Science and Technology The University of Tokyo School of Systems Information Science Future University-Hakodate

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.23, no.4, pp.36-46, 2006-10-26

参考文献数

9

被引用文献数

10

---

キッチンは生産の場であり,調理を媒介とした教育とコミュニケーションの場でもある.このため,家庭環境の中でも,実用的なユビキタスコンピュータアプリケーションの可能性が高い場所と考えられる.そこで筆者らは,コンピュータ,ネットワーク,センサを組み込んだ未来のキッチン,Kitchen of the Futureを開発している.このコンピュータ強化されたキッチンにより,単に調理の効率を向上させるだけではなく,キッチンを学びとコミュニケーションの場として復活させることができると考えている.本論文では,Kitchen of the Futureを利用して実装した,調理の記録とネットワークでの公開と共有,調理過程の再生,遠隔地キッチンを接続しての調理支援,調理教材の効果的な提示を実現するアプリケーションについて報告する.A kitchen is a place of food production, education, and communication. As it is more active place than other parts of a house, there are lot of potential ubiquitous computing applications in a kitchen. We are developing a computer-augmented kitchen environment: the Kitchen of the Future that embeds various computing elements into a standard kitchen unit. In this paper, we will describe overview of the Kitchen of the Future system and its three applications, i.e, web-ready recipe pages generator, video conference system for cooking instruction, and interactive cooking navigation system.

著者

深津 佳智 箱田 博之 野口 杏奈 志築 文太郎 田中 二郎

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.31, no.3, pp.3_325-3_335, 2014

---

本研究では,スマートフォンをアイズフリーに片手操作する際のタッチ精度向上を目的として,凹凸を付けたスマートフォンケースを作成した.我々は,ユーザがケースの凹凸を触り,タッチの際の手がかりにすることができると考えた.それぞれのケースを装着したスマートフォンを用いて被験者実験を行い,タッチの精度を評価した.

著者

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

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.31, no.2, pp.2_129-2_143, 2014

---

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

著者

角谷 良彦

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.25, no.1, pp.167-179, 2008

---

本論文では,直観主義様相論理IKにCurry-Howard対応する名前呼び及び値呼びの計算系を提案する.名前呼び計算は,圏論的意味論に基づいており,単純型付き名前呼びλ-計算の拡張となっている.本論文は,名前呼び計算の簡約系が強正規化可能性及び合流性を持つことを証明する.また,値呼び計算は,値呼びのλ-計算として定評のあるλ_c-計算の拡張として定義される.名前呼びの場合と同様,値呼び計算に対しても簡約系を与え,その強正規化可能性及び合流性を証明する.加えて,本論文では,値呼び計算の部分体系が名前呼び計算へのCPS変換によって特徴付けられることを示す.最後に,様相論理IS4への計算系の拡張についても考察する.

著者

長 慎也 筧 捷彦 Shinya Cho Katsuhiko Kakehi 早稲田大学理工学部 早稲田大学理工学部 School of Science and Engineering Waseda University. School of Science and Engineering Waseda University.

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.20, no.4, pp.369-374, 2003-07-25

参考文献数

9

---

ユーザの入力した検索語をもとに同義語の組を抽出する手法を提案する.本手法は,ユーザが入力した検索語の共起関係から,つながりと呼ばれる検索語間の関係を定義し,この関係を強く持つ検索語同士から同義語の組を抽出する.また,実際に稼働している全文検索システムを用いた実験を行い,本手法の有効性を検証した.実験に用いた検索システムはlinux-usersメーリングリストのアーカイブを検索するシステムであり,2002年2月から6月までの約7万リクエストについて解析を行った.

著者

河原 英紀

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.32, no.3, pp.3_23-3_28, 2015

著者

堀内 公平

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.29, no.2, pp.2_158-2_167, 2012

---

本研究では複数ベンダのクラウドを用いて構成する高速で高信頼な分散ストレージMyCloudを提案する.従来のクラウドコンピューティングでは,単一のクラウドベンダに依存することによる,転送遅延問題,可用性問題,プライバシー問題が指摘されている.これらの問題を解決するため,本研究では次の3点を実現した.(1)高速性: 並列分散処理によりダウンロード速度を9倍程度高速化した.(2)高可用性: データを冗長化して分散し,システムの一部であるクラウドサービスが一定数以下停止しても,継続して利用できるシステムを構成した.(3)強秘匿性: 暗号化と分散配置により,クラウドからデータが漏洩,あるいはベンダがユーザのデータを無断利用しようとしても,有為な情報を読み取れないシステムを実現した.

著者

藤波 順久 Nobuhisa Fujinami ソニー(株)インフォメーション&ネットワーク研究所 Information & Network Technologies Laboratories Sony Corporation

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.17, no.1, pp.29-31, 2000-01-17

著者

上野 乃毅

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.26, no.4, pp.30-38, 2009-10-27

---

ソフトウェアへの機能追加のために実装の大規模な刷新が必要になることがある.実装刷新において後方互換性を完全に保つのは難しく,作業の途中で頓挫する例が後を断たない.実装刷新に失敗すると,開発プロジェクトでは巻き戻しの作業が発生するだけでなく,実装刷新を担当した開発者がモチベーションを欠き,長期的な生産性低下に繋がる恐れがある.本論文では,オープンソース開発における実装刷新の失敗事例を調査し,共通の要因とその対処法を明らかにした.調査の有効性を示すために,世界中に膨大な数のユーザを抱えるソフトウェアGNU Emacsの暗号化サブシステム(約4500行)に関して,提案手法に従って刷新を行なったところ,作業を円滑に完遂できた.

著者

阪上 紗里 浅井 健一

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.26, no.2, pp.3-17, 2009-04-24

---

「プログラムの残りの計算」を表す継続を扱う為の基礎言語体系として,対称λ計算(Symmetric λ-calculus, SLC)がFilinskiによって提案されている.SLCにおいては項と継続が完全に対称な形をしており,項を扱うのと同じように継続を扱うことができる.そのため,項と継続を統一的に議論するのに適していると思われるが,これまでSLCについての研究はほとんどなされていない.ここでは,まずSLCをsmall step semanticsで定式化し直し,型付き言語の基本的な性質であるProgressとPreservationを満たすことを証明する.次に,SLCが継続計算を議論・表現するのに適していることを示すため,(1) FelleisenのCオペレータを含むcall-by-value言語,Λ<SUB>C</SUB>計算,および(2) Parigotのcall-by-name λμ計算が,どちらも自然にSLCに変換できることを示す.近年call-by-valueとcall-by-nameの双対性が項と継続の対称性と絡めて注目されているが,ここでの結果はそれに対する洞察を与えるものと期待される.

著者

丸山 裕太郎 竹川 佳成 寺田 努 塚本 昌彦

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.28, no.2, pp.193-201, 2011

---

人は音楽を奏でるために古くからさまざまな楽器を開発してきた.西洋楽器を例に挙げると,バイオリンとチェロのように共通する形状・構造・奏法をもち,音域の異なる楽器がある.また,2段の鍵盤をもつ電子オルガンと1段の鍵盤しかもたないピアノのようにミクロの構造は同じでも組み合わせ方が異なる楽器も存在する.一方,電気・電子技術の発展に伴い,アコースティック楽器と同様の見た目や演奏方法をもち,電子的に音を生成する電子楽器が多数開発されてきた.しかし,従来の電子楽器は既存楽器の形状をそのまま模写することが主な目的であった.本研究では,楽器を発音や音程決定などの機能要素(ユニット)の集合であると捉え,それらのユニットを自由に組み合わせることで,音域や演奏スタイルの変化に柔軟に対応できるユニット楽器の開発を目指す.ユニットを組み合わせて楽器を再構築することで,楽器の音域増減などのカスタマイズや,既存楽器の特徴を組み合わせた新たな楽器の創造が行える.ユニットの設定は,本研究で提案するスクリプト言語によって柔軟に記述できる.また,本研究ではユニット楽器のプロトタイプを実装し,さまざまなイベントステージで実運用を行った.

著者

井出 陽子 向井 国昭

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.28, no.4, pp.108-113, 2011

---

高階述語の呼び出しなどに便利な無名述語(λ項の拡張)の構文および意味を標準のProlog意味論に基づいて定義し,SWI-Prologの上に実装した.無名述語の呼び出しに標準の単一化がそのまま使えるほか,パラメータを持つ無名述語も扱える.無名述語をコンパイル時に通常の述語として展開するので,通常の述語呼び出しと実行効率は同じである.実行時に動的に生成された無名述語に対しては専用のインタプリタで対応する.使用実験の結果,無名述語の利便性や記述力の高さ,安定性が確認できたので,標準環境として使えるように無名述語機能をパッケージ化した.

著者

石田 慎一 原島 真吾 鯉渕 道紘 川島 英之 西 宏章

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.29, no.4, pp.59-73, 2012-10-25

---

近年,ルータやゲートウエイが取得可能な情報を使って新たなサービスを提供する試みが提案,検討されている.従来,NIDS (Network Intrusion Detection System)構築のため,ゲートウェイ上でレイヤ7での情報検出を可能とするソフトウェア実装は存在したが,アプリケーションプロトコルのHTTP/1.1のgzip encodeやchunk encodeに対応し,情報の検索と抽出を主目的とした実装は公開されていない.そこで本論文ではlibpcapを利用してLinuxゲートウェイのethデバイスやpcapファイルのトラヒックからTCPストリーム再構築と前記HTTPのデコードを行い,文字列抽出を実現するオープンソース・ソフトウエアSLIM (Smart Linux Interface Monitor)を実装,評価した.SLIMにおいて使用メモリ量を削減するため,コンテキストスイッチを利用したパケット単位のTCPストリーム再構築を独自に実装した.評価結果より,SLIMはオンライン解析を行った場合,ゲートウェイ上で21.3Mbpsの処理が可能であり,pcapファイルを直接処理した上でPostgreSQLに保存した場合86.8Mbps, ファイルとして保存した場合1.12Gbpsを達成した.また,オフライン解析を行った場合,1.5TB・最大73万コネクションを含むコアネットワークの仮想トラヒックを解析可能であることを示した.この時,使用メモリ量は5.87GBであった.また,SLIMは研究室ゲートウェイで3ヶ月以上安定して連続動作に成功した.

著者

髙野 諒 山崎 大地 市川 嘉裕 服部 聖彦 髙玉 圭樹

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.31, no.3, pp.3_187-3_199, 2014

---

本論文では,災害環境のような時間経過により変化する動的環境において,各エージェントが各自の局所的視野による情報と近隣のエージェントとの通信による情報のみにより協調するためのアルゴリズムとして,Artificial Bee Colonyアルゴリズムに動的環境のための改良を施したMultiagent-based Artificial Bee Colony (M-ABC)アルゴリズムを提案する.また,災害環境におけるレスキューエージェント間協調アルゴリズムにM-ABCアルゴリズムを展開し,その有効性をシミュレーション実験により検証する.検証にはロボカップレスキューシミュレーションシステムによりレスキューエージェントの被害者の探索と救助をシミュレーションし,次の知見を得た:(1)M-ABCアルゴリズムは,基本的な従来手法であるfull search methodよりも迅速に被害者を救出が可能であること.具体的には,提案したM-ABCアルゴリズムの1つであるM-ABC distanceが高い救助性能を発揮すること; (2)M-ABC distanceが被害者が移動する動的環境においても高い救助性能を維持すること;(3)M-ABC distanceはロボカップレスキューシミュレーションリーグの2012年度の優勝手法であるRi-one手法では被害者を完全に救助することができなかった動的環境において,全ての被害者を救助可能であることを示した.

著者

平原 悠喜 鳥海 不二夫 菅原 俊治

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.31, no.3, pp.3_211-3_221, 2014

---

本研究では,公共財ゲームにおける進化ゲームのモデルを用いて,ソーシャルメディアが協調支配的となる状況を調べる.それにより,ソーシャルメディアが流行するメカニズムを明らかにする.協調支配的な状況とは,記事の投稿およびコメント等によるリアクションをする方がしないより得となる場合である.つまり,それは流行している状況と言える.現在流行しているソーシャルメディアが今後も流行し続けるのか,または新しいソーシャルメディアが流行し始めるのかを予想することは難しい.一般にソーシャルメディアが公共財の性質を持つことに注目し,協調支配的な状況を調べた先行研究はあるが,そこではネットワーク構造を完全グラフと仮定している.我々は,完全グラフと比べて現実のネットワークに近いと言われるWSモデルとBAモデルの2つを用いて,シミュレーション実験を行う.実験より,ネットワーク構造の種類によって,ソーシャルメディアの流行のメカニズムに違いが出ることを明らかにした.WSモデルを適用した場合,結果は完全グラフとほぼ同様になった.一方,BAモデルを適用した場合,結果は完全グラフとは異なるものになった.BAモデルのネットワーク構造はソーシャルメディアを流行しやすくする.

著者

杉木 章義 河野 健二 岩崎 英哉 Akiyoshi Sugiki Kenji Kono Hideya Iwasaki 電気通信大学大学院電気通信学研究科情報工学専攻 慶應義塾大学理工学部情報工学科 電気通信大学電気通信学部情報工学科 Department of Computer Science Graduate School of Electro-Communications The University of Electro-Communications Department of Information and Computer Science Keio University Department of Computer Science The University of Electro-Communications

出版者

Japan Society for Software Science and Technology

雑誌

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

巻号頁・発行日

vol.24, no.2, pp.68-78, 2007-04-24

参考文献数

27

被引用文献数

7

---

インターネットサーバの手動による性能パラメータ調整は,多くの経験や時間を必要とし,管理コストの増大を招くことが知られている.ウェブサーバの主要な性能パラメータであるkeep-alive時間は,適切に設定しない場合,サーバのスループットや応答性を低下させることがある.本論文では,ウェブサーバのkeep-alive時間の自動設定機構を提案する.本機構は管理者の介入を必要とせず,手動設定で求めた値に近いkeep-alive時間に自動設定する.本機構はリクエスト待機間隔を監視しながら,データを送受信していない接続を切断し,データを頻繁に送受信している多くのクライアントからの接続を保つようにkeep-alive時間を設定する.本機構をApacheウェブサーバを対象としたライブラリとして実装し,実験を行った.その結果,異なる2つの負荷に対して,それぞれkeep-alive時間を自動的に設定し,サーバの性能を適切に維持することを確認した.Manual parameter-tuning of Internet servers causes high administrative costs because it requires administrator's expertise and huge amounts of time. The keep-alive parameter, which is one of major parameters in web servers, may cause severe degradation if it is not set properly. In this paper, we present an automatic tuning technique of the keep-alive parameter. Our mechanism adjusts the parameter without administrator's intervention so as to maintain active connections between clients and a server while closing inactive connections by observing request-waiting intervals. We implemented a prototype for Apache web server. Experimental results show that our prototype automatically adjusted the parameter and successfully yielded the nearly optimal server performance on two different workloads.