著者

乾 敦行 工藤 晋太郎 原 耕司 水野 謙 加藤 紀夫 上田 和紀

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.25, no.1, pp.1_124-1_150, 2008 (Released:2008-02-29)

---

LMNtalは階層グラフ書換えに基づく単純な言語モデルであり,接続構造の表現に論理変数を,階層構造の表現に膜を用いることを特徴としている.LMNtalは,多重集合や並行処理やモビリティなどの概念を持つさまざまな計算モデルの統合を目指すと同時に,階層グラフ書換えに基づく実用的なプログラミング言語を提供してその有用性を示すことを重要な目標としている.本論文の目的は,プログラミング言語としてのLMNtalの諸機能を紹介し,その記述力を多くの例題を用いて示すことである.我々は,算術,ルール適用制御,モジュール,他言語インタフェースなどの重要機能を階層グラフ書換えモデルの中に組み込む方法を設計し実装した.記述力の検証のためにλ計算,π計算,ambient計算,CHRなどの代表的な関連計算モデルのエンコーディングを行い,それらを実際に処理系上で動作させることに成功した.

著者

坂平 文博 寺野 隆雄

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

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

---

人類学・考古学においては,物的資料が残されていない,ある特定の時点間で起きた変化の「プロセス」について客観的な考察を行うことが難しい.そこで,筆者らはこの変化の「プロセス」を抽出する方法として,エージェントベースシミュレーション(ABS)を適用する.本論文では,弥生時代の農耕文化の「主体」についての問題をABSによって検討する.シミュレーションの結果,初期の段階で多くの縄文系弥生人に農耕が伝播した場合の方が,渡来系弥生人が300年後に大多数を占めることが示された.この結果は,農耕文化の「主体」が,初期において縄文系弥生人でその後は混血の人々であった可能性を示す.本研究の人類学・考古学分野へのABSの貢献は以下のとおりである.既存研究の多くが入力データやモデルからシミュレーション結果が歴史事象を説明できるかどうかという問題を扱っているのに対して,本論文ではABSを新しい仮説に繋がる変化の「プロセス」を調べる新しいツールとして利用している.

著者

五十嵐 悠紀 五十嵐 健夫 鈴木 宏正

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.26, no.1, pp.1_51-1_58, 2009-01-27 (Released:2009-03-27)

---

“あみぐるみ”は毛糸を使って作るぬいぐるみであるが,毛糸の編み方によって形状をデザインしていくため,初心者にはデザインすることが困難である.我々は3次元モデリングプロセスにインタラクティブな物理シミュレーションを組み合わせることであみぐるみを効率的にデザインできるモデラーを作成した.本システムは自動で編み目を計算してあみぐるみモデルをシミュレーション結果として提示するため,初心者にでも直感的にデザインでき,編み図も容易に得ることができる.また,初めてあみぐるみに挑戦する初心者でも製作手順を容易に理解できるようにするために,製作手順を視覚的に提示する製作支援インタフェースも備えた.あみぐるみ初心者でも容易にオリジナルなあみぐるみを作成できることを確認したので報告する.

著者

新屋 良磨

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.35, no.1, pp.1_82-1_85, 2018-01-25 (Released:2018-03-26)

著者

高橋 祐多 中野 圭介

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.35, no.4, pp.52-71, 2018-10-25 (Released:2018-12-26)

---

一般に関数の等価性判定問題は決定不能であるが,関数の定義に構文的な制約を加えることで決定可能にすることができる. そのような制約の 1 つとして,木から文字列への決定性トップダウン変換(deterministic top-down tree-to-string transducer,yDT)が存在し, 等価性判定が決定可能な関数としては,比較的広い範囲のものを扱うことができる. この yDT の等価性判定の決定可能性は 2015 年に Seidl らによって示されたが,2 つの半アルゴリズムを組み合わせることによって証明されており, 計算量が特定できず,実用性が確認されていない. そこで,本論文では yDT の等価性判定を行うプログラムを実装し,Seidl らの等価性判定アルゴリズムが実用に堪えうるものか検証する.

著者

増原 英彦

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.35, no.2, pp.2_84-2_85, 2018-04-24 (Released:2018-06-25)

著者

番原 睦則 田村 直之 井上 克已

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.24, no.3, pp.3_75-3_86, 2007 (Released:2007-09-30)

---

本論文では,PrologからJavaへのトランスレータ処理系Prolog Cafeについて述べる.本システムでは,Prologプログラムは,WAMを介して,Javaプログラムに変換され,既存のJava処理系を用いてコンパイル・実行される.つまりProlog Cafeでは,項,述語などPrologの構成要素のすべてがJavaに変換される.このため,Prolog CafeはJavaとの連携,拡張性に優れたProlog処理系となっている.Prolog Cafeはマルチスレッドによる並列実行をサポートしており,スレッド間の通信は共有Javaオブジェクトにより実現される.また任意のJavaオブジェクトをPrologの項として取り扱う機能を有しており,Prologからメソッド呼び出し,フィールドへのアクセスも行える.最後にProlog Cafeの応用として,複数SATソルバの並列実行システムMultisatについて述べる.

著者

淵 一博

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.25, no.3, pp.3_66-3_68, 2008-07-25 (Released:2008-09-30)

著者

小川 秀人

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.28, no.3, pp.3_2-3_11, 2011-07-26 (Released:2011-09-26)

被引用文献数

1

---

ソフトウェア工学は,ソフトウェア開発を対象とする工学である.しかし,ソフトウェア工学とソフトウェア開発との間に,ギャップを感じることがあるのも事実である.筆者らは,企業内研究所にて,企業におけるソフトウェア開発を対象としたソフトウェア工学研究(本稿では「ソフトウェア開発技術研究」)と,そのソフトウェア開発への適用を進めている.本稿では,企業論文誌の分析を通して企業でのソフトウェア開発技術研究の傾向を示し,ビジネスとしてのソフトウェア開発と学術としてのソフトウェア工学との間にあるギャップの理解を試みる.

著者

竹野 創平 渡部 卓雄

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.33, no.1, pp.1_167-1_180, 2016-01-26 (Released:2016-02-06)

---

本研究で我々は並行文脈指向プログラミングの概念とその実現手法を提案する.アクターモデルのような非同期通信に基づくシステムで文脈指向プログラミングを実現する際,文脈の変化と他の計算の間の同期に注意する必要がある.提案する手法は,文脈をまたがるメッセージに関する問題を自己反映計算を用いることで解決するものである.本論文ではErlangを用いた実装とその予備評価について述べ,提案手法の有効性を示す.

著者

佐原 伸 荒木 啓二郎

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.24, no.2, pp.2_14-2_20, 2007 (Released:2007-06-30)

被引用文献数

1

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.17, no.2, pp.109-117, 2000 (Released:2000-12-26)

参考文献数

10

著者

山中 祥太 宮下 芳明

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.33, no.4, pp.4_116-4_121, 2016-10-25 (Released:2017-01-14)

---

The steering law is a robust model for expressing the relationship between movement time and task difficulty. Recently, a corrected model to calculate the steering time difference between narrowing and widening tunnels was proposed. However, the previous work only conducted a user study with straight paths. This paper presents an investigation of steering performance in narrowing and widening circular tunnels to confirm the corrected model as being either adequate or a limitation. The results show that the steering law achieves a good fit (R2>.98) without the corrected model, thereby indicating the limited benefit of employing the corrected model.

著者

冨岡 大悟 池田 立野 西崎 真也

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.23, no.3, pp.3_66-3_84, 2006 (Released:2006-09-30)

---

通信プロトコルの安全性,特に認証プロトコルにおける認証の正当性に関する研究は,AbadiやGordonによるspi計算(secure pi-calculus)などをはじめとして,近年さかんに行なわれている.プロトコルにおける安全性は,認証の正当性や機密性などの他に,最近では,サービス不能攻撃(Denial-of-Service attack)耐性が重要視される.もっとも典型的な攻撃例としては,TCPの3ウェイハンドシェイクにおけるSYNあふれ攻撃(SYN-flooding attack)が知られている.プロトコルのサービス不能攻撃耐性を形式的に扱う枠組みとしては,メドーズらにより提唱された,コスト情報を付記したアリス・ボブ記法があった.この他に,最近,冨岡らにより提唱されたspice計算[13]がある.spice計算は,spi計算を拡張したもので,プロセスの計算における計算コストが,サーバーやクライアントの計算機において,どのように費されるかを明示的に表現できるように,システムにおける計算機構成を型として形式化した.そして,書き換えスタイルの操作的意味論があたえられており,プロセスに対する型付けの情報を利用することにより,計算の進行における計算コストを区別するようになっている.記憶コストは,サービス不能攻撃耐性を測る場合,各種の計算コストのうちで最も重要となるのだが,spice計算では,記憶領域の解放を明示的に行なうようにした.本研究では,従来のspice計算における型体系と操作的意味論を,計算機ごとの記憶コストの見積りに併せて,記憶領域の解放に関する正当性を保証するように,改良した.また,SYNあふれ攻撃とその防御策であるSYNクッキーが形式化できることを適用例として紹介する.

著者

水谷 后宏 井上 武 間野 暢 明石 修 松浦 知史 藤川 和利

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

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

---

Structured overlay networks that support range queries cannot hash data IDs for load balancing, in order to preserve the total order on the IDs. Since data and queries are not equally distributed on the ID-space without hashing in range-based overlay networks, uneven loads are imposed on the overlay nodes. Existing load balancing techniques for range-based overlay networks distribute the loads by using data reallocation or node migration, which makes the networks very unstable due to heavy data reallocation or frequent churn.This paper proposes a novel scheme that distributes, fairly, the loads without node migration and with little data reallocation, by sharing some ID-space regions between neighboring nodes. Our “overlapping” ID-space management scheme derives the optimal overlap based on kernel density estimations; the query loads based on the statistical theory are used to calculate the best overlap regions. This calculation is executed in a distributed manner with no central coordinator. We conduct thorough computer simulations, and show that our scheme alleviates the worst node load by 20–90 % against existing techniques without node migration and with least data reallocation.

著者

高橋 英和 井田 哲雄

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.27, no.2, pp.2_2-2_13, 2010-04-27 (Released:2010-06-27)

---

本論文は,折り紙を折るという操作のグラフ書換を用いた数理的なモデル化の試みである.折り紙による図形の構成は,折り紙の集合OとO上で定義された折るという二項関係↬からなる抽象書換系(O, ↬)と捉えることができる.また,折り紙自身は,面の集合ΠとΠ上で定義された面の隣接関係∽,重なり関係≻の3つの要素の組(Π, ∽, ≻)として抽象化することができる.更に,抽象化された折り紙をハイパーグラフを用いて表現し,折り操作をグラフ書換変換により実現する.実際に,紙を折るという操作を計算機に実装するには,面の分割や重なりを判定するといった実平面を定義域とした幾何的な数値計算と,面のつながり探索や重なり順序の構成といった純粋に離散的な記号計算の両方が要求される.この2種類の計算が時に複雑に絡み合い,折り操作のアルゴリズムを難しくしている.本論文で提案するグラフ書換変換の方法は,これら2つの計算を分離し,折り操作のアルゴリズムを分かりやすく記述できるという利点を持ち,今後,折り紙の更に高度な問題の解決へ導くものである.

著者

原田 康徳

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.32, no.1, pp.1_18-1_26, 2015-01-26 (Released:2015-03-26)

著者

金子 伸幸 桑原 寛明 山本 晋一郎 阿草 清滋

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.26, no.3, pp.3_34-3_43, 2009-07-28 (Released:2009-10-05)

被引用文献数

1

---

我々は,Strutsを利用して構築されるWebアプリケーションに対するコーディングチェッカとして,StrutsLintを開発した.StrutsLintは,Strutsの設定ファイルおよびJSP,Javaのソースコードを解析し,言語を跨いだ制御依存グラフ,データ依存グラフを生成する.これらのグラフを基に,制約の一貫性などを検査することで対象アプリケーションの整合性検査を行う.本稿では,StrutsLintで実現した機能を基にStrutsアプリケーションに対するコンポーネントウェアとしての整合性検査について述べる.

著者

石田 利永子 本田 晋也 高田 広章 福井 昭也 小川 敏行 田原 康宏

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.29, no.4, pp.4_219-4_243, 2012-10-25 (Released:2012-11-25)

被引用文献数

2

---

近年,組込みシステムの分野においてもマルチプロセッサシステムの利用が進んでいる.組込みシステムはシステム毎に求められる性質が異なり,リアルタイム性が要求されるシステムや,スループットが求められるシステム,両方の要件を同時に要求されるシステムも存在する.既存の組込みシステム向けマルチプロセッサ用RTOSは,いずれか一方の要求を満たす実装がされている.そこで,TOPPERS/FMPカーネルは,両方の要求を満たすよう設計実装を行った.リアルタイム性を確保するため,RTOSが自動的にロードバランスを行うことはしない.しかし,スループット向上と,システムに最適なロードバランス方式をサポートできるように,アプリケーションからの要求(APIによる要求)によりタスクを実行するプロセッサを変更するマイグレーション機能を提供する.本稿では,TOPPERS/FMPカーネルのマイグレーション機能の設計と実装について述べる.設計・実装したマイグレーション機能を使用して,アプリケーションレベルで複数のロードバランス方式を実現できることを確認した.

著者

大堀 淳

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

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