著者

竹内 彰一

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.1, no.2, pp.131-143, 1984-07-13

著者

大谷浩司 角野 宏司 児島 彰 萩谷 昌己 服部 隆志 劉 樹苓 Koji Otani Hiroshi Kakuno Akira Kojima Masami Hagiya Takashi Hatori Shuling Liu ASTEC 立石電機 京都大学 京都大学 慶応大学 京都大学

雑誌

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

巻号頁・発行日

vol.7, no.1, pp.45-60, 1990

被引用文献数

2

---

並列オブジェクト指向パラダイムに従って実現されたウィンドウ・システムであるGMWと,GMW上でのアプリケーション構築法について述べる.UIMSの一般論に基づいて,ウィンドウ・システム上のアプリケーション構築における並列オブジェクト指向パラダイムの重要性,仮想機械サーバ方式の利点等について議論した後,GMWウィンドウ・システムとそのツールキットについて概観する.GMWは,次のような特徴を持った仮想機械サーバ型のウィンドウ・システムである.アプリケーションのユーザ・インターフェース部を実現するために,新たに設計された並列オブジェクト指向言語Gのコンパイラと仮想機械をサーバ内に持っていること.アプリケーション本体とユーザ・インターフェース部の通信を支援するために,並列オブジェクト指向パラダイムに従ったスタブ生成系を提供していること.G言語によって実現されたユーザ・インターフェース開発環境によって,アプリケーション実行時にもユーザ・インターフェースの編集が可能であること.

著者

得能 貢一 山田 茂 Koichi Tokuno Shigeru Yamada 鳥取大学工学部社会開発システム工学科 鳥取大学工学部社会開発システム工学科 Department of Social Systems Engineering Faculty of Engineering Tottori University Department of Social Systems Engineering Faculty of Engineering Tottori University

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.20, no.4, pp.321-330, 2003-07-25

参考文献数

20

被引用文献数

1

---

本論文では,間欠的にシステムが利用される環境を考慮したソフトウェア可用性評価モデルについて議論する.これまでに提案されてきたソフトウェア可用性評価尺度は,特定の時点でシステムが動作可能かどうかに注目していた.しかしながら,実際の利用者の立場から見ると,使用していないときにシステムが故障してもその故障の発生は認知されない.言い換えると,システムを使用しているときにソフトウェア故障が発生するか,あるいはシステムの修復中に使用要求が起こった時点で,システム故障の発生が認知される.ここでは上述の状況を考慮して,使用中の失望確率,使用要求拒絶による失望確率,および修復中の失望確率という3つの新たなソフトウェア可用性評価尺度を導出する.使用要求の発生時間および使用時間間隔はランダムであるとし,ソフトウェアシステムの状態遷移の様子はマルコフ過程を用いて記述される.このとき,ソフトウェア信頼度の成長過程やフォールトの複雑度・修正困難度の上昇傾向,発見されたフォールトに対するデバッグ作業はいつも確実に実施されるとは限らないという不完全デバッグ環境がモデルに反映される.最後に,これらの評価尺度の数値例を示す.

著者

上野 乃毅

出版者

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.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ヶ月以上安定して連続動作に成功した.

著者

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

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

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

参考文献数

15

---

近年,ルータやゲートウエイが取得可能な情報を使って新たなサービスを提供する試みが提案,検討されている.従来,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ヶ月以上安定して連続動作に成功した.

著者

中島 震

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.24, no.2, pp.2-7, 2007-04-24

被引用文献数

3

著者

長谷川 真人

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.17, no.1, pp.15-18, 2000-01-17

著者

堀内 謙二

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.11, no.1, pp.3-23, 1994-01-17

被引用文献数

1 1

---

抽象解釈は,プログラムの様々な特性を解析するための手法を統一するものとして提案された理論的な枠組である.1977年にCousot達によって提案されて以来,様々な言語に対する解析の応用例が研究されている.論理プログラムに限ってみても,そのバックグラウンドにあたる意味論や抽象化される領域などによって様々な分類ができる.しかし,ほとんどすべてのアプローチを「プログラムの意味を不動点で与え,それを抽象化する」という同じ範疇に入るものと見ることができる. 本稿では,論理プログラムを対象とした様々な抽象解釈の手法について,簡単な例をまじえて解説する.なお,論理プログラムの基礎的な用語に関しても,unificationなどのような基本的操作を除いて,簡単に説明してある.

著者

松本 裕治 杉村 領一

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.3, no.4, pp.308-315, 1986-10-15

被引用文献数

8 1

---

構文解析システムSAXは,DCG (Definite Clause Grammars)で記述された文法を対象とする自然言語処理用のシステムで,DCGをPrologのプログラムに変換するトランスレータより成る.変換の手法自体は,DCGで記述された文法規則から並列論理型言語への変換を目的として考えられたものであるが,逐次型言語の上で実現されても効率のよい構文解析システムとして利用することができる.SAX (Sequential Analyzer for syntaX and semantiCS)は,特に逐次型言語の上で開発されたシステムの呼び名である.並列論理型言語の上で実現されたシステムは,PAX (Parallel AX)と呼ばれる.変換によって得られたPrologプログラムは,Prologに完全にコンパイルされたものになっており,副作用を用いないことやプログラムの動作が決定的になっていることなどの特徴がある.本システムは,特に,コンパイラを有するPrologに向いた構文解析システムである.

著者

赤間 清 野村 祐士 宮本 衛市

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.12, no.5, pp.447-464, 1995-09-18

被引用文献数

25

---

文の意味は,それが発話された状況や,話題の領域の背景知識などを柔軟に用いて適切に解釈する必要がある.しかし,多様な状況を適切に分類して,正しいアルゴリズムを書き下すことは多くの場合非常にコストがかかる.また,文の意味を解釈する場合に,あらかじめ定めた計算順序にしたがって処理を進めると,無駄な計算をたくさん行なうことになり高速な処理が期待できない.これらの問題を解決するために本論文では,いろいろな場合にわけてアルゴリズムを書くことを避け,対象領域の基本的な知識や状況を宣言的なプログラムとしてモジュール性高く記述し,正当性の証明された変換ルール群を用いてプログラム変換によって意味解釈を行なう方法を提案する.この方法は,計算の正当性,対象とルールの表現力,計算順序の柔軟性などの点で著しい特長を備えており,自然言語の意味解釈を正当性を保証しながら効率的に実現するために有用であると考えられる.

著者

浜田穂積

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.1, no.3, pp.241-249, 1984

被引用文献数

3

---

電子計算機の内部で実数値を表現するための新しい表現法URR (Universal Representation of Real numbers)を先に提案した.これは実数値の区間に適用する2分法に共づいており,1から∞に向って,あるいは0に向って分割点が二重指数的に増大あるいは減少するように選ぶものである.ここではそのURRについて更に広い視野からの位置づけをし,かつより詳しく検討した. URRの特徴は次のものである.(i)オーバフロー,アンダフローが事実上起こらない.(ii)データ形式はデータの長さに依存しない.(iii)同じ長さの固定小数点表現と比べて,分解能に関して1ビットの不利に止まる.これらの点から,ディジタル装置に用いる数値表現として最適のものといえよう. 高次代数方程式のGraeffeの解法に適用して妥当な結果を得た.URRの演算論理は特に複雑ではなく,容易に構成可能である.

著者

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

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.26, no.4, pp.17-29, 2009-10-27

被引用文献数

3

著者

栗原 一貴 五十嵐 健夫 伊東 乾

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.23, no.4, pp.14-25, 2006-10-26

被引用文献数

10

---

本論文では,資料の作成から発表までを電子ペンによって統一的に行うことのできるプレゼンテーションツールを提案し,実用システムの開発と教育現場における長期ユーザスタディによりその有効性を検証する.まず事前調査を行い,従来のツールでは満たせないプレゼンテーションに対する現場ニーズを分析した.その結果,資料の作成・編集をIT初心者でも簡便に行うことができる機能と,発表中であっても資料を動的に編集できる機能が重要であるという知見が得られた.これに基づき,電子ペンの持つ直感的操作が可能な特性と,絵画的表現および言語的表現を自由に空間に配置・操作できる特性を活かした電子プレゼンテーションツール「ことだま」を開発した.そして小中高校の教員を被験者とする2年間にわたる長期のユーザスタディを行った.その結果ことだまの有効性が実証され,教育現場への応用で必要となるプレゼンテーションツールデザインのための知見が得られた.

著者

原尾 政輝 岩沼 宏治

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.8, no.1, pp.41-53, 1991-01-14

被引用文献数

6

---

ある言語におけるユニフィケーション問題とは,その言語の任意の項t_1,t_2が与えられたとき,σ(t_1)=σ(t_2)となる置換(ユニファイア)σが存在するか判定する問題である.ユニフィケーションは,定理証明の機械化や記号処理等と関連して重要である.本稿では,高階論理における項のユニフィケーションについてアルゴリズム論的立場から考察する.一般に,2階以上の項のユニフィケーション問題は決定不能であるが,いくつかの制限付き導出規則の下でユニフィケーション問題が可解となることを示す.また,実用上有用な2階のクラスについて,計算の複雑さがNP-完全となるものが存在することを示す.

著者

丸山 宏

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.7, no.3, pp.262-271, 1990-07-16

---

自然言語における組合せ的な数の構文的曖昧さを一つの制約充足問題として表現するため,我々は制約依存文法を開発した.本論文では,制約依存文法の定義と,その弱生成力について論じる.我々は,arity=2,degree=2の制約依存文法が,その弱生成力において文脈自由文法を真に含むことを示す.

著者

千葉 滋

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.10, no.5, pp.438-443, 1993-09-16

---

私は初めて海外の学会に参加した際,親切な先輩から,入国審査のときに入国目的は"business"ではなく"sight seeing"と答えた方がよいと教わった.学生風の格好で"business"と答えると,あれこれ聞かれるから,というのが理由である。そういうわけで今回カナダのバンクーバーで開催された1992年度のOOPSLAに参加した際も,私はバンクーバーの入国審査で"sight seeing"と答えた.すると入国審査官はじろりと私を見て,「00PSLAじゃないの?」と言ってきた.仕方がないので,そうだ,と答えると,その女性の審査官はぴしゃりと「OOPSLAはbusinessよ」と言ってスタンプを押してくれた.

著者

武市 正人

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.8, no.1, pp.3-11, 1991-01-14

被引用文献数

1

著者

伊藤 孝行

出版者

一般社団法人日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.25, no.4, pp.20-32, 2008-10-28

参考文献数

63

被引用文献数

3

---

計算論的メカニズムデザインは,分散された個人情報を持つ自律的意思決定主体(エージェント)の社会的決定と,計算量や通信コストといった計算機科学の概念を同時に扱う新しい分野である.ミクロ経済学やゲーム理論の概念及び知識と,マルチエージェントシステムや計算機科学の概念及び知識が必要となる.さらに,計算論的メカニズムデザインは,理論からダイレクトに応用が可能な分野の一つである.本解説では,古典的メカニズムデザインの基本概念を概説した後,組合せオークションなどの計算論的メカニズムデザインの基本問題を解説する.その後,現在,計算論的メカニズムデザインの分野で注目されている課題やテーマについて紹介する.