著者

大堀 淳

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.32, no.3, pp.3_1-3_1, 2015-07-24 (Released:2015-09-24)

著者

新井 イスマイル

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.32, no.3, pp.3_10-3_22, 2015-07-24 (Released:2015-09-24)

---

政府・自治体が所有するデータを行政の透明性確保,市民参加の促進,経済活性化を目的に,オープンデータとして公開しようとする動きが2013年度から活発になっている.異業種交流や学生の自主活動のきっかけになると期待できる.オープンデータの活発かつ効果的な利用を実現するには,オープンデータが機械可読であること,また,それらのデータを活かせるソフトウェア技術者の活躍が期待される.2013年度以降のオープンデータに関わる全国の活動状況と今後の課題について,ソフトウェア技術者の視点に立って解説する.

著者

梶浦 正浩 安西 祐一郎

出版者

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

雑誌

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

巻号頁・発行日

vol.9, no.1, pp.42-51, 1992-01-16

被引用文献数

1

---

チェスやオセロゲームに代表される2人零和完全情報ゲームでは,ゲーム本探索には一般にMin-Maxアルゴリズムが用いられる.そして,効率良く探索するためにα-β法やSSS法などの枝刈りアルゴリズムが併用される.これに対し,n人完全情報ゲームでのゲームの木の探索では,一般にMAX^Nアルゴリズムが用いられるが,併用される枝刈りアルゴリズムは特定の条件の下で有効なものしか提案されていない.本論文ではその条件が成り立たない別種のゲームにおける新しい枝刈りアルゴリズム「限界増分枝刈りアルゴリズム」を提案する.そしてこの種のゲームの一つである「ダイヤモンドゲーム」に適用し,評価結果を示す.

著者

岩崎 英哉

出版者

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

雑誌

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

巻号頁・発行日

vol.15, no.6, pp.547-560, 1998-11-16

被引用文献数

2

著者

藏本 貴久 奥田 洋司 陳 昱

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.31, no.3, pp.3_120-3_129, 2014-07-25 (Released:2014-09-10)

---

金融市場は世界恐慌のようなクラッシュを被り,世界経済は大きな打撃を受けてきた.本研究では,そのようなクラッシュと近代の金融市場における重要な取引手法である空売りの関係性に焦点を当てる.FriedmanとAbrahamのモデルには,利得勾配に応じて取引戦略のレバレッジを変化させるポートフォリオマネージャーが存在するが,そのモデルを基礎として,空売りを導入したシミュレーションモデルを構築した.先行研究と同様に,シミュレーション結果と理論解の比較によりモデルの妥当性の検証を行ったうえで,ミクロ–マクロそれぞれのレベルでクラッシュの統計量に対する空売りの影響を分析した.その結果,空売りのある市場では空売りのない市場に比べてボラティリティが2倍になること,空売りによってクラッシュの発生頻度が増加し,空売りが市場を不安定にする可能性を示した.さらに,損失を生じたエージェントが他のエージェントのレバレッジを下げる戦略選択を誘発すること,一方でクラッシュ直後の取引は空売りのある市場の方が活発になることを発見した.

著者

大山 恵弘 神田 勝規 加藤 和彦

出版者

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

雑誌

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

巻号頁・発行日

vol.19, no.6, pp.2-12, 2002-11-26

被引用文献数

10

著者

新居 雅行 鄭 顕志 石川 冬樹

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.31, no.1, pp.1_60-1_74, 2014-01-27 (Released:2014-03-27)

---

筆者が開発したINTER-Mediatorは,データベースを使用しWeb経由でアクセスするシステムの開発に利用するためのフレームワークである.予算規模の小さな組織でも業務システムの開発を円滑にできることを目指して開発された.データの表示や書き込みは手続き的なプログラムを作成しなくても宣言的な記述で実現する.開発作業後での表示項目の追加のような小規模な改変であれば,HTMLでの記述や設定ファイルの修正で行えるので,エンドユーザーやデザイナーによるシステム変更作業が可能となる.本稿では,これらの仕組みを実現するフレームワークのアーキテクチャを解説し,フレームワークを利用して構築したシステムの改変が宣言的な手法によってできる点を議論する.

著者

高野 祐輝 井上 朋哉 知念 賢一 篠田 陽一

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.27, no.4, pp.4_58-4_76, 2010-10-26 (Released:2010-12-26)

---

分散ハッシュテーブル(DHT)はPeer-to-Peer(P2P)ネットワークを構築する手法の1つであり,スケーラビリティの高いKey-Value型の検索を可能とする.しかしながら,既存のDHTアルゴリズムはNATの問題を考慮しておらず,現実世界で用いるには不十分である.NAT問題は非常に深刻であり,P2Pネットワークアプリケーションを設計・実装する際に最も考慮しなければならない点の1つであるが,既存DHTアルゴリズム・実装のほとんどは,NAT問題について十分に考慮しているとは言い難い.そこで我々は,NATが介在する環境においても安定して利用することの出来るDHTの設計と,実証ライブラリであるlibcageの実装を行った.本論文では,その設計と実装について述べ,評価を行う.なお,libcageのソースコードはインターネット上にBSDライセンスで公開しているため,誰でも自由に利用・改変が可能である.

著者

荒谷 徹 上林 憲行 横山 峰明 稲垣 政富

出版者

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

雑誌

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

巻号頁・発行日

vol.7, no.3, pp.248-261, 1990-07-16

---

本論文では,汎用プログラミング言語における,英語,日本語,韓国語等の多種類の文字を扱うための文字処理機能のあるべき姿と,そのSmalltalk-80上での実現方式について述べる.汎用プログラミング言語における日本語文字処理機能は,処理の効率,既存のプログラムとの互換性を維持するため,従来の8ビット/文字の文字型に加えて16ビット/文字の文字型を追加したものが多い.しかし,2種類の文字型を持ち,文字データの処理を統一的に記述できない文字処理機能は,アプリケーションプログラムを複雑にし,その開発を困難にする.また,使用する文字が異なる環境の間でのアプリケーションプログラムの流通に対する大きな障害でもある.我々は,多種類の文字を効率良く,しかも統一的に操作する機能(多言語機能)をSmalltalk-80上に実現するために,Smalltalk-80のオブジェクト指向機能を用いて,さまざまな内部表現の文字列を統一的に扱う枠組みを実現し,Smalltalk-80上で,いずれの内部表現を持つ文字列も,区別なく,文字単位で操作することを可能にした.これにより,同一のプログラムで任意の文字を処理する,国際的なSmalltalk-80アプリケーションを開発することが可能になった.また,Smalltalk-80のオブジェクト指向メカニズムを利用して,多言語機能そのものを明確に表現し,かつ拡張性に富む実装を実現している.

著者

大野 豊

出版者

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

雑誌

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

巻号頁・発行日

vol.1, no.1, pp.2-5, 1984-04-13

---

日本ソフトウェア科学会が昨年10月8日に発足して以来,ほぼ半年の準備でようやく学会誌の創刊号を発行できたことは,関係者にとって大変よろこばしいことである.本学会が何とかここまでたどりつけたのは,高橋秀俊先生をはじめとする準備委員会の方々の大変なお骨折りと発起人諸兄の絶大な御支援があったからに外ならない.厚く感謝致します.また,会長メッセージを寄せられて激励いただいた情報処理学会および祝電をいただいた電子通信学会,認知科学会には,会員一同に代り,ここにあらためて深く謝意を表します.本学会は発足後日も浅いため,学会発足の背景やねらいについて,各方面から充分理解されているとはいえない.本創刊号の発行にあたり,これらのことを含めわれわれの意図するところを説明することにしたい.

著者

中村 裕美 宮下 芳明

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.30, no.1, pp.1_65-1_75, 2013-01-25 (Released:2013-03-25)

---

食メディアに関する研究には,料理情報の共有や調理工程の分析と支援,食事内容の記録や分析,健康維持のための食事環境支援,共食におけるコミュニケーションの分析,支援,味情報の計測や提示などが含まれる.本論文では,近年活発に展開されるようになった情報科学技術を活用した味情報の提示手法を対象に,該当する研究や技術展開を直接提示型と間接提示型の2つに分類し,各分類の特性を議論したうえでサーベイを行った.また,これらの研究領域や技術の今後の動向と食メディアへの貢献について議論した.

著者

疋田 輝雄

出版者

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

雑誌

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

巻号頁・発行日

vol.2, no.3, pp.509-517, 1985-07-15

著者

竹内 郁雄

出版者

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

雑誌

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

巻号頁・発行日

vol.10, no.4, pp.289-290, 1993-07-15

著者

住井 英二郎 首藤 一幸

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.26, no.2, pp.2_1-2_2, 2009-04-24 (Released:2009-06-24)

著者

我妻 広明

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.28, no.1, pp.1_2-1_20, 2011-01-25 (Released:2011-03-25)

被引用文献数

1

---

コンピュータの分野において,自律分散制御方式は集中型システムの開発・稼働における欠点を補うものとして注目され研究が進められて来た.今やインターネット普及等を背景に,分散した情報を知識として再集約する集合知の仕組みを考える必要性がある.全体機能や目的をシステム自身が再定義する,つまり集団全体が意志決定を行うという観点が導入されつつある.工学化において自明であるべき目的すら再構成されるとすればシステム破綻や暴走のリスクが増すことは疑いない.本論では,現実に自律分散制御の内部機構を持ちながら,自らで目的を定義し意図をもって行動計画を立てる「脳」の機能を工学的に再構成する脳型ロボットの立場から俯瞰し,要素の自律性と全体性創出の関係からある種の集合知を得る工学的方法論を模索したい.そして,ネットワークダイナミクスが発展的でありつつも,破綻に向かわない構成論と関連する「意識」の話題を解説する.

著者

吉田 展子

出版者

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

雑誌

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

巻号頁・発行日

vol.13, no.4, pp.303-326, 1996-07-15

被引用文献数

1

---

本稿では,名前通信並行プロセス計算のコンビネータ理論を提案する.関数型コンビネータが有限の組み合わせで計算可能な高階関数を表現する新たな基盤を与えたように,この並行コンビネータも非同期名前通信を細密に分解することによって導出され,その有限個の並行合成と相互作用計算で名前通信プロセス計算と同等の計算を表現するという新たな枠組みを提供する.まず本稿では,非同期名前通信計算の7つのコンビネータとそれら2者間の相互作用則を定義し,動作意味論を等式理論を基盤に展開する.次に,それらの並行合成と名前制限のみで名前通信計算のプレフィックスが動作的に表現できることを述べ,さらにこの結果の拡張として同期名前通信,多引数名前通信,分岐構造が表現できることを示す.最終的には本稿の並行コンビネータ系と非同期名前通信プロセス計算の一対一対応が示されることにより,この理論体系が名前通信プロセス計算族における結果を引き継ぐことを示す.

著者

小林 隆志 佐伯 元司

出版者

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

雑誌

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

巻号頁・発行日

vol.21, no.1, pp.60-75, 2004-01-27

---

本稿では, Gang-of-Four(GoF)デザインパターンのようなソフトウェアパターンを使用したソフトウェア開発を支援するために, パターンのモデルとその利用法に関して議論する. 我々はパターンを使用した開発の問題点は, 開発者によるパターンの持つメカニズムを壊す変更であると捉え, パターンとその正しい使用過程のオブジェクト指向モデルを提案する. 本モデルでは, パターンには変更可能な箇所と, パターンの持つメカニズムのために変更すべきではない箇所がある点に着目しパターンの構造情報と, 変更可能な構造をどのように変更するべきかの操作情報を保存する. また本稿では, モデルを記述する言語としてJavaを選択し実際にGoFパターンのうち22個を記述する. また, その記述を利用し開発者を支援するツールを提案する.

著者

落合 洋文 鈴木 麗璽 有田 隆也

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.28, no.1, pp.1_34-1_42, 2011-01-25 (Released:2011-03-25)

---

食物網は生態系における捕食-被食関係を描いたネットワークであり,これらのネットワークのトポロジーを考えることで生態系全体の構造と機能を明らかにすることが生態学の1つの基本的課題となっている.そこで,実際の生態系において確認されているネットワーク構造の基本的な特徴のみを用いた単純な進化モデルを用いて,栄養段階における特性が食物網のトポロジーやダイナミクスにもたらす影響を調べた.実験の結果,生態系ネットワークに現れる特徴と定量的・定性的な一致を示し,ネットワーク構造の生成メカニズムの一部を示すことができた.

著者

Garrigue Jacques

出版者

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

雑誌

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

巻号頁・発行日

vol.11, no.5, pp.432-436, 1994-09-16

著者

田辺 良則 高井 利憲 高橋 孝一

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.22, no.1, pp.1_2-1_44, 2005-01-26 (Released:2008-09-09)

被引用文献数

1

---

モデル検査技法は,仕様に対する設計の妥当性検証への適用において,近年大きな成功をおさめている.この技法の適用範囲をさらに広げるためには,状態数爆発問題を解決することが必要である.この問題を解決する方法として注目されている抽象化技法,およびそれを実装したツールを紹介する.