著者

櫻井 祐子 横尾 真 松原 繁夫

出版者

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

雑誌

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

巻号頁・発行日

vol.17, no.2, pp.109-117, 2000-03-15

被引用文献数

10

著者

古瀬 淳

出版者

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

雑誌

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

巻号頁・発行日

vol.22, no.2, pp.90-94, 2005-04-26

---

Extensional polymorphismは関数型言語ML上での非パラメトリック多相性を実現するための枠組のーつであり,generic valueという,純粋なパラメトリック多相性の下では不可能な機能を提供する.我々は型ディスパッチと型パターンマッチを利用したgeneric valueの既存のコンパイルにおける意味論と効率の問題を指摘し,新たに[フロー」と呼ばれる,型付け情報を整数グラフに変換した物をディスパッチする変換方法を提案する.フローを使うことで,より自然な意味論に沿った変換が可能になり,多重定義値の呼び出しの効率も改善される.

著者

須子 善彦 小池 由理 村井 純

出版者

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

雑誌

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

巻号頁・発行日

vol.24, no.4, pp.66-77, 2007-10-26

---

本システムは,イラストやアニメーション等のデジタルアート作品の流通を支援するWebベースのシステムである.本システムでは,世界中のブログを一種のセレクトショップと見なし,ブログを仲介にしたアート作品の流通モデルを実現することで,デジタルアート作品の流通の問題の一部である,1)デジタルアート作晶へのニーズが切迫していない点,2)検索におけるアート作品特有の困難さ,という問題を解決した.a)上記の課題の導出は要件定義段階からアーティストとの協働によるものである点,b)その解決モデルの実現のためのdesign choicesとして,各要素技術の難易度や新規性を求めず,しかしながら組み合わせが斬新で有用である点を重視,c)前述の結果として短期間に一般公開可能なシステム開発が可能となった点,が特徴である.本システムは,一般ユーザに気軽にデジタルアート作品に触れる機会を増大し,ユーザ個々人の趣味・嗜好によって異なった作品発見を可能にした.また,周囲の環境にマッチする必要性など,アート作品特有の検索要件に新たな解を与えた.

著者

佐々木 貴宏 所 真理雄

出版者

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

雑誌

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

巻号頁・発行日

vol.14, no.4, pp.365-378, 1997-07-15

被引用文献数

6

---

マルチエージェント系におけるエージェントの環境への適応は,進化論からの類推に基づき,個体による生涯内での「学習」と集団による世代をまたいだ「進化」といった異なる2過程の相補的なものとして捉えられる.本稿では,ダーウィン型あるいはラマルク型の遺伝機構を持つ集団の進化の過程を再現し,特に動的な環境下でのそれぞれの集団の適応性について評価および議論する.その結果,ダーウィン型の集団の方が,静的環境下では効率的なラマルク型の集団よりも環境の変動に対して安定した挙動を示すばかりでなく,世代を通じて動的環境自体に適応していくことが可能であることを示す.

著者

米澤 明憲 武市 正人

出版者

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

雑誌

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

巻号頁・発行日

vol.11, no.3, pp.163-164, 1994-05-16

著者

渡部 卓雄

出版者

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

雑誌

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

巻号頁・発行日

vol.11, no.3, pp.165-174, 1994-05-16

被引用文献数

16

著者

横手 靖彦 所 真理雄

出版者

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

雑誌

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

巻号頁・発行日

vol.2, no.4, pp.582-598, 1985-10-15

被引用文献数

3

---

ConcurrentSmalltalkはSmalltalk-80に並行プログラミング能力を付加したプログラミング言語/システムであり,並行構文,アトミック・オブジェクト,および外部参照解決機構により,分散環境での並行プログラミングを可能にしている.本論文では,オブジェクト指向計算と並行プログラミングについて述べた後,ConcurrentSmalltalkの設計方針と言語仕様について,主に並行プログラミング機能を中心に述べている.最後に,ConcurrentSmalltalkの実装についても述べている.

著者

佐藤 慎一 端山 毅

出版者

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

雑誌

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

巻号頁・発行日

vol.15, no.6, pp.565-569, 1998-11-16

著者

梶浦 正浩 安西 祐一郎

出版者

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

雑誌

コンピュータソフトウェア (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.19, no.6, pp.2-12, 2002-11-26

被引用文献数

10

著者

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

出版者

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

雑誌

コンピュータソフトウェア (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.2, no.3, pp.509-517, 1985-07-15

著者

竹内 郁雄

出版者

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

雑誌

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

巻号頁・発行日

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

著者

吉田 展子

出版者

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

雑誌

コンピュータソフトウェア (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個を記述する. また, その記述を利用し開発者を支援するツールを提案する.

著者

Garrigue Jacques

出版者

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

雑誌

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

巻号頁・発行日

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

著者

吉田 隆一 所 真理雄

出版者

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

雑誌

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

巻号頁・発行日

vol.4, no.1, pp.23-33, 1987-01-14

被引用文献数

2

---

待ち行列モデルに代表される離散事象モデルのシミュレーションを,マルチ・プロセッサまたは分散システムを用いて並列処理する際のシミュレーション時刻の分散管理法を提案する. モデル化の手法としては,待ち行列網をフロー・グラフに表現する方法を採る.そして,グラフのノードを並列処理の単位となるプロセスとし,客のノ一ドへの到着をメッセージの受信により表現する.各ノードはそれぞれのシミュレーション時計を持ち,これらの時計の同期はノード間のメッセージ交換により局所的にとられる. 提案したアルゴリズムはオブジェクト指向言語を用いて実装された.オブジェクト指向モデルによるオブジェクトを単位とした並行記述により,離散事象モデルに存在する並列性を陽に表現することが容易に行なえた.また,これまでに提案されたシミュレーション時刻の分散管理法に比べて同期のためのメッセージ量が大幅に減少することが確かめられた.

著者

細部 博史 松岡 聡 米澤 明憲

出版者

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

雑誌

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

巻号頁・発行日

vol.16, no.6, pp.549-561, 1999-11-15

被引用文献数

4