著者

井垣 宏 中村 匡秀 玉田 春昭 松本 健一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.46, no.2, pp.314-326, 2005-02-15

参考文献数

26

被引用文献数

11

---

ホームネットワークに接続された家電機器を連携制御しユーザの快適性・利便性を高める,家電機器連携サービスの一実現手法を提案する.既存の機器連携システムでは,ホームサーバが家電機器を中央集権的に制御する方式が一般的である.しかしながら,家電機器の多様化・高性能化により,ホームサーバへの負荷集中や信頼性・相互接続性の低下が問題となる.そこで我々は,サービス指向アーキテクチャ(SOA)に基づいた新たな連携サービス実現方式を提案する.提案手法では,各機器が自己の機能をサービスとしてネットワークに公開し,他の機器が公開するサービスを互いに実行することで連携を行う.これにより,各機器はサービスを介して疎結合され,ホームサーバも不要となる.したがって,より柔軟で障害や負荷に強い連携サービスの実現が可能となる.本稿では,SOAに基づいて連携サービスを設計・実装するための枠組みを示し,Webサービスを用いたプロトタイプ開発を行う.また,連携サービスの評価尺度として,信頼性,負荷,結合度を定義し,従来システムと提案システムの定量的な比較評価を行う.This paper presents a method to implement the integrated services of networked home electric appliances, which provide more convenient and comfortable living for home users. The conventional methods generally employ a home server to achieve the integrated services. The server controls all the networked appliances in a centralized manner. However, as the number of sophisticated appliances increases, the centralized server suffers from the concentration of load, as well as a decline in the reliability and interoperability. To cope with this problem, we adopt the service-oriented architecture (SOA) for the implementation of the integrated services. In the proposed framework, each appliance exports own features as a service. The appliances autonomously execute the exported services one another to achieve the integrated services. Thus, the appliances are loosely coupled via the exported services, without the centralized home server. This enables more flexible, balanced and reliable integrated services. In this paper, we present a framework to design and implement the integrated services based on the SOA, and illustrate a prototype system developed with Web services. We also define three kinds of metrics (i.e., reliability, workload, and coupling) and conduct a comparative evaluation between the proposed and the previous systems.

著者

武兵 孫為華 村田 佳洋 安本 慶一 伊藤 実

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.54, no.3, pp.1141-1152, 2013-03-15

---

観光においては,ユーザの好む観光スポットをより多く回るスケジュールを立案することが望ましい.しかし各観光スポットにつき,観光方式や観光時間によって必要な体力が異なり,ユーザの体力がスケジュールを遂行できない場合がある.本論文では,観光中に休憩を適宜に行うことで体力の範囲内で最も満足度が高くなる観光スケジュールを求める問題を取り扱う.本問題はNP困難であり,問題例の規模が大きいときには,実用時間で最適解を算出することは困難である.実用時間で準最適解を得るため,ヒューリスティックな探索法である捕食法に基づいて複数の観光スポットを回る休憩なしのスケジュールを求めたうえ,局所探索を用いて適宜に休憩を差し挟むことで解を求める.提案手法を評価するため,異なる観光地候補数を有する複数のインスタンスを用いてシミュレーション実験を行った.その結果,候補数10の場合,提案手法は全探索で得られた解の95.65%の満足度を有するスケジュールを13秒で得られることを確認した.Tour schedules are required to include multiple sightseeing spots taking into account the user's preference, but the stamina of tourists may be depleted during sightseeing. In this paper, we formulate the sightseeing scheduling problem to maximize the user's satisfaction taking stamina into account. In this problem, break times are allocated in schedules to hold constraint of stamina. This problem is NP-hard, and thus it is difficult to be solved in practical time. In order to obtain a semi-optimal solution in practical time, we propose a method that derives a schedule visiting multiple sightseeing spots with no break times based on a predatory search technique and then allocates the break times in the schedule using a local search technique. To evaluate the proposed method, we compared our method with conventional methods through computer simulations for several different instances containing 10 sightseeing spots. As a result, the proposed method composed the schedule whose expected satisfaction is 95.65% of the optimum solution in 13 sec.

著者

水上 陽介 澤田 秀之

出版者

情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.49, no.12, pp.3890-3898, 2008-12-15

被引用文献数

3

---

本稿では,形状記憶合金糸を振動アクチュエータとして利用した新しい触覚ディスプレイを提案し,各アクチュエータを駆動するパルス信号を,その発生確率密度によって制御して触覚感覚を呈示する手法について述べる.著者らは糸状に加工した形状記憶合金が温度により伸縮する特性を利用し,数Hz~数100 Hzのパルス信号によって微小振動を発生する小型アクチュエータを開発し,これを触覚呈示に用いる手法を提案してきた.本研究では,複数個の形状記憶合金糸のアクチュエータを面状に配置した触覚ディスプレイの構築を行った.本アクチュエータは,パルス信号を与えることによってその周期に同期して微小振動を発生するが,ランダム発生パルスによって各アクチュエータを駆動することにより,様々な触覚感覚を呈示できることが分かった.さらに,パルス信号の発生確率密度を時間的に変化させることにより,面のテクスチャや,物体をなぞった感覚を生成できることを明らかにした.本稿では,まずこれらの触覚感覚の呈示手法について述べ,実験による本ディスプレイの有効性の評価について述べる.The paper introduces the development of a compact tactile display employing novel micro-vibration actuators using a shape-memory alloy, and describes the presentation of various tactile sensations to a human skin by the control of pulse-signal probability density given to the vibration actuators. The authors have paid attention to the super-elasticity characteristics of a shape-memory alloy formed into a thread, and have so far developed a thin tactile device by driving each actuator with pulse current signal for generating vibrations. In this study, we found novel tactile sensations presented by driving actuators with randomly generated pulse signals. This paper describes the generation of touch feelings such as texture information of objects and a rubbing sensation by controlling the signal probability density, which was evaluated by the users' experiments.

著者

岩井 大輔 佐藤宏介

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.48, no.3, pp.1294-1306, 2007-03-15

参考文献数

22

被引用文献数

3

---

机上に積み重ねられた書類探索を支援するため,下層の書類の映像をカメラで取得し,あたかも上層の書類が透けるかのように処理した映像を,投影型複合現実感技術の色補正処理を施しつつ,上層の書類へプロジェクタ投影するシステムLimpid Desk を提案する.ならびに,ユーザの手の書類への接触を,特殊な道具を身につけたり持ったりせずにセンシングする手法を,熱画像を利用することで実現する.この入力インタフェースを利用して,机上の書類に触れることで書類の透過を操作するインタラクションを可能とする.提案システムでは,現実の机上空間で,上に置かれた書類を物理的に移動させることなく,下層書類の情報を視覚的に取得することが可能となる.これによって,探索空間・操作空間・情報提示空間が一致し,ユーザはPC を介さずに積み重ねられた書類に直接アクセスすることができる.我々は,この操作の一貫性に主眼を置き,すべて実世界の机上の同一空間で行うことのできる直観的インタラクションを目指す.We propose Limpid Desk which realizes intuitive document search on a real desktop with virtual transparentizing of the upper layer of a document stack in projection-based mixed reality (MR) environments. In the system, users can visually access a lower layer document without physically removing the upper documents. This is accomplished by projecting a special pattern of light that is calculated to compensate the appearances of the upper layer documents as if they are transparent. We also propose a touch sensing method using a thermal image for the input interface of the system. User touch areas on real documents are detected without any user-worn or hand-held devices in the method. This interface allows users to select the stack they would like to look through by their simple touch gestures. We present three intuitive document search interaction techniques in which the search, operation and display space are completely unified onto a real desktop. We claim that this kind of spatial consistency of the operations is the key for realizing the intuitive interaction.

著者

大山 光男

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.37, no.4, pp.613-623, 1996-04-15

被引用文献数

1

---

数値演算におけるオーバフローやアンダフローの発生を避けることのできる 可変長指数部を持つ浮動小数点表現が提案されている. 3重指数分割に基づく浮動小数点表現は 2重指数分割に基づく浮動小数点表現URRの優れた特徴を継承 指数の桁数が大きい領域ではURRより指数部が短く 表現精度が改善される. しかし 指数部の構成が複雑となるのでURRに比べて演算時間とハードウェア量の増加が予想され 実用化するには高速演算機構の開発が重要となる. そこで本論文では 3重指数分割に基づく浮動小数点数のハードウェアによる高速演算実現におけるキー技術である 指数と仮数の高速分離結合回路を設計 URRとの比較で評価する. まず 処理を簡単化するため 分離後の指数の表現を分離前のデータに等しい長さの2進整数表現とし 指数の範囲をURRと同程度に制限する. そして データを構成する各部の位置と長さを高速に検出 確定し 組合せ論理回路でビット並列に高速処理を行う. さらに データ長64ビット ゲート長0.8μm CMOSゲートアレイへの実装を想定して処理時間とハードウェア量を見積もり 定量評価を行った. その結果 指数の範囲を上記に制限することにより 指数と仮数の分離時間はURRに比べ41%増加するが 分離のハードウェア量 結合に要する時間 ハードウェア量は13%増以下に抑えられる見込みが得られた.New floating-point arithmetic systems those have a variable length exponent part have been proposed and they can overcome overflow and underflow problem on computation. The floating-point arithmetic based on triple exponential cut can gain more bits in the fraction part compared to URR floating-point arithmetic based on double exponential cut because its exponential part is shorter over the range where absolute value of the exponent is large. And it still holds desirable characteristics those of URR. But it requires longer execution time and more hardware cost to calculate because its exponent part is more complicated. So, we must develop a fast calculation technique to use the new floating-point arithmetic in real systems. In this paper, we design circuits for fast separating and combining an exponent and a fraction of the floating-point arithmetic based on triple exponential cut, the key technology to realize fast calculation. To achieve this, we limit the range of an exponent to that of URR by represent the separated exponent in binary integer of the same length as the floating-point data. Then we detect and settle the positions and length of each parts compose the floating-point number, and process fast using combinational logic circuits in bit parallel manner. Furthermore we estimate execution time and hardware cost when data length is 64 bits and implemented in 0.8μm CMOS gate array LSI. As a result, we conclude it is attainable to separate and combine an exponent and a fraction by increase of 13% or less in execution time and hardware cost compared to URR except separation time that increases 41% under above condition.

著者

矢野 幹樹 梶 克彦 河口 信夫

出版者

情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.52, no.12, pp.3274-3288, 2011-12-15

---

モバイル端末向けに提供されるWebサービスやアプリケーションなどのサービスの数は爆発的に増加しており,膨大な数のサービスの中から自分に必要なものを探し出すことが困難となりつつある.我々は,ユーザの状況に応じてサービスの推薦を行うシステムの実現を目指す.推薦を実現するうえで必要となる学習情報の獲得を行うために,現在状況をクエリとするアプリ検索サービスを提供し,ユーザ状況の収集から推薦までを行うプラットフォームを提案する.提案に基づいた状況依存型アプリ検索システム「App.Locky」の実装を行い,インターネット上に公開したうえで,実ユーザを対象とした大規模検索ログ収集実験を行った.実験の結果,収集された検索ログをユーザ状況の推定に利用可能であることを確認した.Recently, it has become very hard for users to find their desired mobile services because the number of applications and Web services are rapidly increasing. Therefore, we aim at providing a system for recommending services according to the user's context. To collect learning information to estimate user's context, we propose a platform for collecting users' context and recommending services by providing an application search service that inquires user's context. We implemented a system named "App.Locky" based on our proposal and conducted experiments by publishing the system on the Internet. As a result, we confirmed that collected search logs can be used to estimate user's context.

著者

長瀬 隆久

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.43, no.10, pp.3247-3250, 2002-10-15

参考文献数

7

被引用文献数

1

---

ここ十数年の間に,カオス時系列の予測手法はずいぶん進展した.しかし,指数平滑法のような実務的に有用な簡便法で,カオス時系列を扱えるものは少ないようである.そこで本研究では,線形自己回帰モデルにダミー変数を加えた簡便的なカオス時系列の予測手法を考える.Forecasting method of chaos time series have been proceeded for this ten years.But, there is a few convenient methods for chaos time series like exponential smoothing.In this study,we examine convenient forecasting method for chaos time series that is liner autoregressive model adding dummy variables.

著者

鷲見 克典 四谷あさみ

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.45, no.3, pp.1032-1040, 2004-03-15

参考文献数

26

被引用文献数

5

---

Webサイトは有用な情報源としてすでに普及しているが,日本では求める情報について調べるという利用目的から,Webサイトの合目的性を評定するツールの開発が遅れている.本研究では,図書館情報学における知見を基に,調べる際に利用される情報源としてのWebサイトの質を評定する20項目6ポイント尺度(WEI)を作成し,WEIによるWebサイトの評定実験を通じてその有用性を検討した.結果として,評定者間における評定結果の高い一致と,評定結果の時間的安定によって,信頼性が支持された.また,実験用あるいは既存のWebサイトに対する,学生,大学教員,司書の評定結果が予想された値であったことから,妥当性が支持された.以上から,WEIの有用性の高さが確認された.Websites have established their position as one of the most important information resources in recent times. However, development of evaluation tools (e.g., criteria, items and scales) for assessing Websites, which can be used to seek for needed information, has been seriously delayed in Japan. Based on the knowledge of library and information science, the study has attempted to assess the validity of a 20-item and 6-point Likert scale (WEI: Website Evaluation Inventory) as a tool for scaling the quality of Websites. Several experiments for assessing Websites were conducted using the scale. The results have shown, that by using the scale, there were no differences between the ratings by two groups of raters. Furthermore, the time stability of ratings have indicated reliability of the WEI. Ratings by college students, college teachers and librarians, for Websites created for the experiments and the actual Websites, were found to be as expected. The validity of the WEI was, thus, supported.

著者

中川 裕志 中島 秀之 柳田 昌宏

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.27, no.3, pp.297-303, 1986-03-15

---

本論文では 多重世界機構を利用した世界の状態の時間的推移の表現法と推論について述べている.提案した方法は 時間情報として半順序関係を考え 時間軸を離散的時刻によって構成する.各時刻の状態変化をUranusにおける一つの世界とみなし 多重世界における継承(inheritance)を用いて 時間推移による世界の状態変化を表している. また より複雑な状態変化を扱うために 継承を選択的に打ち消すための述語も導入している.さらに可能性のある複数の時間的変化を表すための条件付き半順序関係とその遅延評価法 実時間を扱うためのTime Counterについても触れている.

著者

藤原 康宏 村山 優子

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.52, no.1, pp.77-89, 2011-01-15

---

ネットワークサービスを利用する際には,外部からもたらされる危険や情報発信時のヒューマンエラーに対する気づきが重要である.本研究では,危険に対する気づきを支援するために,可視化した危険を,利用者に不快感をもたらすことで伝えるユーザインタフェースの開発を行った.まず,不快なインタフェースを設計するために,コンピュータ利用時の不快感の要素を収集し,質問紙調査および探索的因子分析によって不快感を構成する7因子を明らかにした.次に,不快感の7因子を用いて,警告インタフェースのプロトタイプとして,危険なwebサイトおよび電子メールの誤送信に対して警告を行うインタフェースを実装した.評価の結果,不快なインタフェースにより,注意を引き付けられることが示唆されたが,警告内容や推奨される行為を伝える機能も必要があることが分かった.

著者

黒田 満 斉藤 剛 渡辺 由美子 東 正毅

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.38, no.3, pp.555-562, 1997-03-15

被引用文献数

1

---

計算機援用の形状設計に有用な,曲率が弧長の区分2次関数となる曲率微分連続な補間曲線の導き方について述べている.弧長によってパラメトリック表現されるこの曲線は,曲率がスパン内に変曲点を持たず比較的変化が少ないという好ましい性質を持っている.汎用の数式処理システムを導入して与点通過と境界条件からなる非線形連立方程式を解いてこの曲線を導いている.記号式も数値と同様に処理できるのでアルゴリズムを簡潔に記述することができるとともに種々の境界条件をデータとして与えることができる.また,導出された曲線の各スパンをG2連続な2クロソイド弧で局所的に近似する方法を示して従来曲線との整合性をとっている.This paper presents a method for obtaining an interpolating G3 curve useful for computer aided design,whose curvature is piecewise quadratic of arclength and so does not have any inflection point in each span.The curve is derived from a system of nonlinear equations based on interpolation conditions and boundary conditions by general purpose computer algebra system.The method describes an algorithm concisely and tries various boundary conditions because it can manipulate symbolic expressions as well as numerical data.A method is also presented for approximating each span of the derived curve as a G2 bi-clothoid for consistency with the conventional curve.

著者

原田 季栄 半田 哲夫 橋本 正樹 田中 英彦

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.53, no.9, pp.2130-2147, 2012-09-15

---

従来のアクセス制御は,主体であるアプリケーションとそれがアクセスしようとするファイルなどの客体の組合せによってアクセス可否を判断していた.そのためアプリケーションの処理の内容およびアクセスを認めることにより情報システムに与える影響を考慮することができなかった.本稿では,アプリケーションが実行される状況に基づき,各アプリケーションが行おうとしている処理の内容を考慮することができるアクセス制御方式について提案する.提案方式を用いることにより,不正アクセスや誤操作などによるリスクを軽減することが可能となる.本稿では,提案システムの概念と実現方法について紹介し,そのLinux上の実装であるTOMOYO Linuxにおける評価結果を報告する.

著者

金田 悠紀夫 前川 禎男 瀧 和男

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.23, no.1, pp.96-99, 1982-01-15

---

高級言語マシンの研究の一環として開発したLISPマシンの性能についてはすでに報告している.本論文は LISPプログラムを直接マイクロコードにコンパイルするコンパイラの導入により得られる効率の向上について論じている.簡単なベンチマークプログラムを用いた評価によりインタプリタに比して 5?8倍の高速性が得られることが判明し直接マイクロコード生成形コンパイラがきわめて有効であることが判明した.

著者

渡辺 裕文 中野 貫二 森田 啓義 阪田 省二郎

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.28, no.10, pp.1099-1102, 1987-10-15

---

フィリップスらの陰関数表現された曲面の交線を微分方程式の解として表す方法をテンソル積曲面に拡張して テンソル積曲面パッチの組で与えられた2つの曲面モデルの交線を数値的に算出するアルゴリズムを提案する.この方法では いったん交差パッチ対が求まれば初期点によらず交線上の1点が直ちに求められる.さらに交線から離れることなく交線上の相続く点を次々求めることができ しかも複数のパッチ対にわたり連続的に交線を求めることができる.なお この方法の簡単な適用例によってその有効性を確かめた.

著者

桑原 寛明 結縁祥治 阿草 清滋

出版者

情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.45, no.6, pp.1498-1507, 2004-06-15

被引用文献数

2

---

本論文では実時間システム開発にオブジェクト指向開発技術を適用する基礎とするために,形式計算モデルであるπ計算に基づきリアルタイムオブジェクト指向言語の振舞いを定式化する.π計算に離散時間の振舞いを拡張し,単純なリアルタイムオブジェクト指向言語OOLRTの振舞いを記述する.実時間システムは一般に時間制約を持つ複数のオブジェクトの並行動作によって実現される.OOLRTによって実時間システムの特性を直接的に記述し,時間拡張されたπ計算によってその振舞いを厳密に定義することで,システムの動作の解析や検証を形式的に行うための枠組みを与える.In this paper, we aim at providing a foundational framework of the object-oriented technique for system development with timing constraints. We formalize timed behavior of objects via the behavior of π-calculus extended with time. It is common to model a real-time system by composing concurrent objects with timing constraints. To capture the features of real-time objects, we define a simple programming language OOLRT to give the operational semantics by translating a program of OOLRT into a term of our timed π-calculus. By this translation, we obtain an abstract behavioral model for real-time objects to analyze and verify the behavioral properties of real-time systems.

著者

前田 晴美 糀谷 和人 西田 豊明

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.38, no.3, pp.616-625, 1997-03-15

被引用文献数

8

---

既存の雑多で構造の不均質な情報源から情報を収集・整理する手法を提案する.基本となるアイデアとして,雑多な情報をゆるやかに関連づける連想構造というデータ構造を用いる.連想構造は生データから容易に生成でき,人間が直観的に理解しやすい.我々は,連想構造を用いて既存の情報源から情報を収集し,整理する過程を支援するシステムCM?2(Contextual Media version2)を試作した.CM?2では,(a)既存の情報源から情報を取り込み,連想構造を生成する情報キャプチャ機構と,(b)キーワードに基づき情報の切り出しと構造化を行う知的情報統合機構を実現した.CM?2の有効性を実験によって確かめた.We propose a method to gather and reorganize information from heterogeneous information sources.The method is based on the use of a plain information representation called associative structures.Associative structures connect various information media without defining the semantics rigorously.They are easy to generate from raw data and comprehensible to humans intuitively.We developed a system called CM-2(Contextual Media version 2) to realize this method.We describe the system's two major facilities;(a) an information capture facility which gathers information from heterogeneous information sources and generates associative structures and (b) an intelligent information integration facilitywhich reorganizes information according to user's input.We verify our approach by analyzing results of experiments.

著者

清野 達也 林 貴宏 尾内 理紀夫 三條 正裕 森 正弥

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.50, no.12, pp.3233-3249, 2009-12-15

---

領域拡張法(Seeded Region Growing)を改良した高速な画像切り抜き手法を開発し,評価した.本手法はSeeded Region Growingを出発点としており,ユーザの引いた手書き線によって指示される初期前景と初期背景を隣接ピクセルへと伝播させていくことで,画像全体を前景領域,背景領域に分割する.飛び地を含む画像に対する切り抜き精度向上のために,Seeded Region Growingを改良し,閾値を用いた伝播条件を導入している.さらにテクスチャパターンを含む画像に対する切り抜き精度向上のために,Seeded Region Growingを改良し,ユーザの引いた線から前景で利用される色と背景で利用される色を推定し,推定色を用いて各隣接ピクセルに対する伝播の優先度を決定することとした.また,新たなデータ構造を本手法に導入し,高速な処理を行うことを可能にした.本手法を実装したシステムを開発し,評価実験を行い,既存手法と比較し,本手法が処理速度を低下させることなく,手書き線のような初期前景領域,初期背景領域の面積が小さい入力での切り抜き精度の優位性を持つことを確認した.In this paper, we propose and evaluate a method for Fast Image Cutout using improved Seeded Region Growing. The starting point for the method is Seeded Region Growing, which divides an image into foregrounds and backgrounds by growing the initial foregrounds and backgrounds represented by user drawing lines to the neighbor pixels. To improve the precision of Seeded Region Growing for images including enclaves, the method adopts a threshold condition. In addition, to improve the precision of Seeded Region Growing for images including texture patterns, the method estimates foreground colors and background colors from initial foregrounds and backgrounds and decides growing-priorities for each neighbor pixel depending on the esimimated colors. We propose a new data structure for the method, and could achieve speed up. The experimental results have shown the method has the same processing speed as traditional methods and has better precision than traditional methods, when we input small area of initial foregrounds and backgrounds such as user drawing lines.

著者

安本 太一 湯淺 太一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.39, no.9, pp.2659-2670, 1998-09-15

参考文献数

18

---

複数の名前空間を持つLispのためのモジュール機能を提案する.提案するモジュール機能の特徴は,モジュールによって最上位環境(top?level environment)とともに記号空間を分割し,モジュール間で(記号ではなく)束縛の可視性制御を行うことにある.既存のLisp言語を自然でかつ容易な方法で拡張してモジュール機能を追加できるうえ,Lispにおけるプログラム開発効率の高さも損なわない.さらに,マクロの束縛捕捉問題を,単純ではあるが効果的に解決できる.A module system is proposed for Lisp dialects with multiple name-spaces.A module in this module system is characterized by its own top-level environment and its own symbol space.By partitioning a single symbol-space,as well as a single top-level environment,into modules,the module system allows to extend existing Lisp languages in a natural and easy way,while preserving the efficiency of program development in Lisp.It also provides simple but effective solutions to the binding-capturing problems of macros.

著者

宮下 健輔

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.54, no.3, pp.1020-1020, 2013-03-15

著者

森谷 修 小林 浩

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.44, no.8, pp.2208-2217, 2003-08-15

被引用文献数

5

---

Synchronous CSMA with multiple CA方式の運用性の改善を図るべく,負荷トラヒックに応じて衝突回避(CA)用スロット数を適応的に設定する可変スロット方式について考察した.実現にあたっては,同時アクセス数の予測法やCAスロット数の設定法の確立がポイントとなる.実装例を用いたシミュレーションにより特性を評価したところ,多数のCAスロットを装備した固定スロット方式とほぼ同等の性能を発揮しながら,CAスロットの有効利用率を高めることによって,ネットワーク資源の効率的かつ安定な運用を実現した.さらに,固定スロット方式では不可避だったシステム管理者がネットワーク長や伝送速度に応じてCAスロット数を設定しなければならなかった運用管理上の煩雑さを回避できる見通しを得た.A contention-based access system with variable collision avoidance slots has been developed in order to improve operation abilities of a synchronous CSMA/MCA (carrier sense multiple access with multiple collision avoidance) system. This proposed system sets the number of CA slots adaptively according to offered traffic. Simulation results show that it provides high throughput performances comparable to those of fixed-slot systems with a lot of CA slots, avoiding the waste of network resources and complicated network managements on fixed-slots systems.