著者

中西 泰人 辻 貴孝 大山 実 箱崎 勝也

出版者

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

雑誌

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

巻号頁・発行日

vol.42, no.7, pp.1847-1857, 2001-07-15

被引用文献数

9

---

本稿では,位置情報とスケジュール情報を用いたコミュニケーションシステムであるContext Aware Messaging Service(以下CAMS)について述べる.CAMSは,PHSにより取得される位置情報とユーザの入力したスケジュール情報を用いてユーザの通信コンテクストを推定して,受信側の状況に最も適すると思われる電話番号やメールアドレスを動的に選択し,CTIサーバおよびメールサーバを用いてメッセージを動的に配送する.またシステムによる動的なメッセージの配送だけでなく,ユーザが位置情報およびスケジュール情報,転送状況をWWW上で共有する仕組みをCAMSが提供し,メッセージを送るタイミングやメディアを選択するための情報を発信者側に提示する.CAMSの設計および実装を行い,地理的に分散しつつさらにモバイル環境においてもコラボレーションを行うSOHO(Small Office Home Office)ワーカのグループを対象とした,2カ月半にわたる運用実験を東京都内にて行った.実験での通信ログの分析およびユーザへのヒアリングの結果から,CAMSによるメッセージの動的配送と通信コンテクストの共有が,コミュニケーション機会の損失を軽減する効果を確認し,グループへの帰属意識を向上させるという知見を得た.This paper describes a context-based dynamic messaging system, called ``Context Aware Messaging Service''. It uses schedule information and location information of the message addressee. According to the addressee's communication context (schedule, location, and available media), the system selects the most suitable telephone umber or e-mail address, and redirects each incoming message dynamically. It also writes the schedule and location information of users into an HTML file which users can share on the WWW.We had an experiment for two months in Tokyo and the users are a group of SOHO workers. We evaluated the system with their opinions and with the analysis of communication logs. Both dynamic message redirect and sharing communication contexts produced smooth communication. The users preferred sharing communication contexts and it improved feeling of a team.

著者

大野 将樹 森田 和宏 泓田 正雄 青江 順一

出版者

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

雑誌

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

巻号頁・発行日

vol.44, no.5, pp.1311-1320, 2003-05-15

被引用文献数

4

---

トライ法は自然言語処理システムの辞書を中心として広く用いられているキー検索技法であり,トライを実現するデータ構造に検索の高速性と記憶量のコンパクト性をあわせ持つダブル配列構造がある.ダブル配列構造の欠点は,キーの削除によって生じる未使用要素により空間効率が低下する点である.これに対し森田らはダブル配列を詰め直すことにより未使用要素を除去するキー削除法を提案した.しかし,この手法はすべての未使用要素を除去できないため高い空間効率を維持できず,また削除コストが未使用要素数に依存するので,削除を連続するほど削除速度が低下するという問題がある.本論文では,トライの節のうち兄弟を持たない節が多くの割合を占めること,また,これらの節の遷移は容易に変更できるという特徴を利用し,削除を連続した場合でも空間使用率と削除速度を低下させない効率的なキー削除法を提案する.EDR日英単語辞書,WordNet英単語辞書,日本の郵便番号リスト,各5万件に対する実験より,提案法は削除を連続した場合でもきわめて高い空間使用率を維持することが,また,森田らの削除法より約50?200倍高速に削除できることが実証された.A trie is a well known method for various dictionaries, such as spelling check and morphological analysis. A double-array structure is an efficient data structure combining fast access of a matrix form with compactness of a list form. The drawback of the double-array is that the space efficiency becomes worse by empty elements produced in key deletion. Therefore, Morita presented a key deletion method eliminating empty elements. However, the space efficiency of this method is low for high frequent deletion. Further, the deletion takes a lot of time because the cost depends on the number of empty elements. In this paper, a fast and compact deletion method is presented by using a property of nodes having no brothers. From simulation results for 50,000 keys, it turned out that the presented method is faster 50 to 200 times than Morita's method and keeps high space efficiency.

著者

由井薗 隆也 重信 智宏 榧野 晶文 宗森 純

出版者

情報処理学会

雑誌

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

巻号頁・発行日

vol.47, no.1, pp.161-171, 2006-01-15

---

リアルタイムなコミュニケーション行為であるチャットに意味タグを付加したセマンティック・チャット機能を提案し, 進捗報告を行う電子ゼミナールに適用した事例を報告する.電子ゼミナールはタスクとして伝達会議であるが, 10人規模の大学生の参加者がいて, 進捗報告と関係なくセマンティック・チャット機能を利用可能であった.会話に付加できる意味タグは, Idea, 質問, 回答などであった.その結果, (1)タグ情報により, ゼミナールにおける参加者の行動形式を明示でき, 参加者のインタラクションとして, 質問に対する回答のチャットが多いこと, (2)ゼミナールで参加者が直接付加したタグと後から付加したタグの多くは異なること, (3)従来のチャットと比べて, セマンティック・チャットを用いた場合のチャットデータ数および意見データとしての可用性について差はみられなかった.また, (4)セマンティック・チャットは, 上級生がチャット参加の主流ではあるが, ユーザの参加を促したことが分かった.今後は, 意味タグを対話場面での様々な情報処理に応用することが期待される. : The semantic chat function allows users to add semantic tags to text-based chat, which is one of real-time communication activities. The function has been applied to an electronic seminar system in which ten university students participated to report their study progress. The types of semantic tags are idea, question and answer, etc. The results were as follows : (1) the tag information represented participation activity and the number of answer action was more than that of question action, (2) the kind of tag by one who showed the chat in a seminar was frequently different from the kind of tag added by another person later, (3) both the number of chat data and the idea data availability of chat data with semantic chat function was not different from those of conventional chat data, and (4) the semantic chat function, which was mainly used by upper-class students, encouraged the user's participation. In the near future, semantic tags will be applied to the information processing in various interactive situations.

著者

宮崎 修次

出版者

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

雑誌

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

巻号頁・発行日

vol.47, no.3, pp.795-801, 2006-03-15

被引用文献数

2

---

有向グラフの確率行列表現と区分線形一次元写像のフロベニウス・ペロン演算子の行列表現を対応させることで,有向グラフの構造を力学系と関連付けることができることを示す.力学量の粗視量の大偏差統計を解明するというカオス力学系の研究手法をグラフ理論に適用する試みを紹介する.簡単な有向ネットワークを例にとり,統計熱力学形式により内在するループを個別に取り出したり,ノードから発する矢印の数の揺らぎをとらえたりすることができることを示す.Directed network such asWWWcan be represented by a stochastic matrix. Comparing this matrix to a Frobenius-Perron matrix of a chaotic piece-wise linear one-dimensional map whose domain can be divided into Markov sub-intervals, we are able to relate network structure to chaotic dynamics. Just like various large-deviation properties of local expansion rates (finitetime Lyapunov exponents) related to chaotic dynamics, we can also discuss those properties of network structure.

著者

丸山 伸 中村 素典 岡部 寿男 山井 成良 岡山 聖彦 宮下 卓也

出版者

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

雑誌

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

巻号頁・発行日

vol.47, no.4, pp.1021-1030, 2006-04-15

被引用文献数

5

---

電子メールが広く利用されるようになるにつれて,メールを遅延なく即時に配送することが求められている.しかし,メール配送エージェント(MTA)に大量のメールが送りつけられて負荷がかかったときには,メールの配送に遅延が生じるだけでなく,MTA の運用の継続すら困難な事態となってしまう.このような高負荷時においても特定のメールを優先的に配送する技術が求められている.本論文では,メールが配送される直前に行われるネームサーバ(DNS)に対する問合せに着目し,DNS問合せのソースアドレスに基づいて信頼できる発信者からのメールを他のメールから分離し,遅延なく優先して配送する手法を提案する.まずDNS の問合せに対してその応答として毎回異なる回答を送り,回答したサーバにメールが送られてくるのを待つ手順を繰り返すことで,DNS 問合せ元のIPアドレスとメールの発信者との対応表を作成する.次に優先して配送するべきメールの基準に基づき,優先して配送するべきDNS 問合せ元の一覧「White DNS Server List」を抽出する.この表に基づいてメールの配送先を振り分けることで,大量のメールが配送されてくる際にも信頼できる発信者からのメールを他のメールとは独立したサーバで取り扱うことができ,遅延を引き起こすことなく配送できる.そのためのシステム構築方法を示すとともに,実験により有効性を確認した.Delivering e-mails without unnecessary delay is one of the very important issues as the spread of e-mail service and its use become very common. But in case that a "Mail Transfer Agent (MTA)" is heavily loaded by huge amount of mails sent to the MTA, not only the delay on mail delivery is inevitable but also managing the MTA service becomes difficult. Thus, a delivery method that treats legitimate mails with priority is requested. In this paper, we focus on the query to the "Domain Name Service (DNS)" which is usually processed just before the mail transfer, and propose a new delivery method which separates legitimate mails from others according to the source IP address of the DNS query. That is, employing a crafted DNS server which responds to each DNS query with separate IP address, and wait for incoming mails at each address, we get a correspondence table between a DNS query and the incoming mail. And we also show that we can lead legitimate mails to the separated mail servers by dynamically changing the DNS response based on this table, and deliver them with short delay even in the case that others servers are loaded by many other mails.

著者

浅原 正幸 松本 裕治

出版者

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

雑誌

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

巻号頁・発行日

vol.43, no.3, pp.685-695, 2002-03-15

参考文献数

19

被引用文献数

10

---

自然言語処理の分野で最も基本的な処理として形態素解析がある.近年大量のタグ付きコーパスが整備され,コーパスに基づいた統計的形態素解析器が開発されてきた.しかし単純な統計的手法ではコーパスに出現しない例外的な言語現象に対処することができない.この問題に対処するため,本論文ではより柔軟な拡張統計モデルを提案する.例外的な現象に対応するために単語レベルの統計値を利用する.この拡張により,細かく分類された大量のタグを扱う際,必要なコーパスの量は増加する.一般に適切なコーパスの量で学習するために複数のタグを同値類へとグループ化することによりタグの数を減らすことが行われる.我々はこれを拡張し,マルコフモデルの条件付き確率計算について,先行する品詞タグ集合と,後続する品詞タグ集合とで,別々の品詞タグの同値類を導入するようにした.コーパスの量が不足する場合にtri-gramモデルを構築すると,学習データへの過学習が起きる.これを回避するために選択的tri-gramモデルを導入した.一方,これらの拡張のため,語彙化するタグやtri-gram文脈の選択を人手で設定することは困難である.そこで,この素性選択に誤り駆動の手法を導入し半自動化した.日本語・中国語形態素解析,英語品詞タグ付けについて評価実験を行い,これらの拡張の有効性を検証した.Recently, large-scale part-of-speech tagged corpora have becomeavailable, making it possible to develop statistical morphologicalanalyzers trained on these corpora.Nevertheless, statistical approaches in isolation cannot coverexceptional language phenomena which do not appear in the corpora.In this paper, we propose three extensions to statistical modelsin order to cope with such exceptional language phenomena.First of all, we incorporate lexicalized part-of-speech tags into the modelby using the word itself as a part-of-speech tag.Second, because the tag set becomes fragmented by the use of lexicalized tags, we reduce the size of the tag set by introducing a new type of grouping technique where the tag set ispartitioned creating two different equivalent classes for the events in theconditional probabilities of a Markov Model.Third, to avoid over-fitting, we selectively introduce tri-gram contexts into a bi-gram model.In order to implement these extensions, we introduce error-driven methods to semi-automatically determine the words to be used as lexicalized tags and the tri-gram contextsto be introduced.We investigate how our extension is effective through experiments onJapanese, Chinese and English.

著者

立木 秀樹

出版者

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

雑誌

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

巻号頁・発行日

vol.34, no.5, pp.954-962, 1993-05-15

---

最近、Common Lispにオブジェクト指向の機能を付け加えた言語CLOSが広まりつつある。CLOSでは、総称関数を用いて、オブジェクト指向のメッセージ送信を一種の関数呼び出しとして実現している。しかし、CLOSの総称関数は、Lispの関数とは別物であり、Lispの基礎に存在する関数型言語の計算機構を総称関数に拡張しているわけではない。そのためには、λ計算がLispの理論的墓礎であるのと同様、総称関数を関数とする形式計算を考える必要がある、本論文では、そのような形式計算として、レコードとマージ・オペレータを型つきλ計算に付け加えた計算λmを提案する。λmは、総称関数の動作を関数型言語の枠組でモデル化している。λmのレコードはCLOSのオブジェクトに、関数は総称関数に対応する。レコードのマージはレコードの結合に、関数のマージはCLOSのメソッド融合に対応している。λmは、簡約による型の保存等形式計算としてよい性質を持ち、表示的意昧がドメイン上で構成可能である。その際、マージは上限操作として意味が付けられる。

著者

大里延康 竹内 郁雄

出版者

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

雑誌

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

巻号頁・発行日

vol.30, no.5, pp.596-604, 1989-05-15

被引用文献数

1

---

複合プログラミング・パラダイム言語TAOにおけるオブジェクト指向プログラミングの言語仕様とその評価について述べる.TAOは専用の記号処理計算機ELISのマイクロプログラミングを用い そのハードウェアによる支授を背景として 人工知能研究におけるプログラミングを強力に支援する高性能のプログラミング環境を提供することを目指している。特に 扱う問題に適したプログラミング・パラダイムをユーザが自由に選択できるようにすることを設計思想のひとつの柱として Lispをベースに 論理型プログラミング オブジェクト指向など さまざまなプログラミング・パラダイムを 言語の核の部分で融合させている.本論文では TAOの複合プログラミング・パラダイムの中で オブジェクト指向に関する部分の言語仕様を紹介し その実現技法を詳しく論ずる.また その速度性能の評価を行う.TAOのオブジェクト指向は インタプリタにおいてLispのみで書いたプログラムの性能に比べて遜色がなく 十分な実用性を持つことを示す.また 実際の応用プログラムの分析にもとづいて TAOオブジェクト指向の実現技法の妥当性についても考察を加える.

著者

山崎 憲一 奥乃 博 竹内 郁雄

出版者

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

雑誌

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

巻号頁・発行日

vol.32, no.9, pp.1090-1101, 1991-09-15

被引用文献数

2

---

TAO は記号処理を伴う大規模なアプリケーションの記述のために開発されたマルチパラダイム言語であり 関数型 論理型 オブジェクト指向の3つのバラダイムから構成される本論文ではこのうち論理型パラダイムの機能と実現方法および他パラダイムとの融合方法について述べる本方式では 述語を関数の一種としたこと すべてのパラダイムのデータ構造を共通化したことなどによりこれまでの融合型言語に比べ より簡単にパラダイム間の相互呼び出しが可能となったまた実用性を重視して設計 実装しインタプリタで 10KLIPS コンパイラで 40KLIPS を達成した

著者

山崎 憲一 吉田 雅治 天海良治 竹内 郁雄

出版者

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

雑誌

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

巻号頁・発行日

vol.40, no.6, pp.2743-2754, 1999-06-15

被引用文献数

2

---

本論文では Lispをべースとして論理型プログラミングを融合したマルチパラダイム言語TAOについて述べる. これまで研究されたきた融合型言語においては 純粋な関数型言語と論理型言語を融合するものが多かったが TAOではすべてのLispプリミティブと論理型プログラミングを利用できる. TAOでは Lispと論理型言語の実行機構の類似性に着目した融合を行う. ここで 実行機構の類似性とは 状態変数と論埋変数 関数呼び出しと述語呼び出し 大域的脱出とバックトラックなどを指す. たとえば catch/throwのような脱出とバックトラックには類似性があり バックトラックを大域脱出の一種と考えることができる. これにより バックトラックが Lispの大域脱出に関するさまざまなプリミティブを自然に利用できるようになる.This paper describes a Lisp-based multi-paradigm programming language TAO that incorporates a logic programming (LP) paradigm. Whereas previous multi-paradigm languages only supported purely functional and LP facilities, TAO supports all Lisp primitives as well as LP facilities. This amalgamation of Lisp and LP is done by making use of the similarities in their execution mechanisms, giving a natural semantics to the amalgamation. The similarities include state vs. logic variables, function vs. predicate calling, and non-local exit vs. backtracking. For example, the similarity between non-local exit (catch/throw) and backtracking enables backtracking to be regarded as a kind of non-local exit, so that backtracking can use all Lisp facilities which support non-local exit.

著者

山崎 憲一 吉田 雅治 天海良治 竹内 郁雄

出版者

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

雑誌

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

巻号頁・発行日

vol.41, no.1, pp.136-147, 2000-01-15

被引用文献数

1

---

TAOは,関数型,論理型,オブジェクト指向のプログラミング機能を持つマルチパラダイム言語である.TAOの論理型計算は次の2つの特徴を持つ.パターンマッチとガードによって節を選択し,深いバックトラックは陽に呼び出す.関数と述語は互い呼び出すことができ,任意のデータを渡せる.本論文では,このような論理型計算機構を実装するための抽象マシンを提案する.この抽象マシンは,WAMをベースとしており,以下のような特徴を持つ.1)構造データをスタックでなくヒープ上に表現する.2)単一化やパターンマッチでは,レジスタを極力使用しない.3)プロセススイッチする可能性がある時点では,データを必ず無矛盾に保つ.また,他のProlog処理系と比較評価し,Lispとの融合によって性能が劣化しないことを示す.TAO is a Lisp-based multi-paradigm programming language whichincorporates functional, logic and object-oriented programmingparadigms. This paper describes the implementation of logic computation in TAO, which is different from Prolog in thefollowing two points.A clause is selected according to pattern matching and guard testing,and deep backtracking is invoked explicitly.Functions and predicates can invoke each other and pass any type ofdata between them.We propose an abstract machine, based on WAM (Warren's abstract machine), which has the following features.1) Structured data are represented in heap memory instead of stack.2) Almost no extra registers are used at unification and pattern maching.3) Memory configuration is consistent at any potential process-switching point.We also evaluated our implementation comparing with other Prologprocessors, and showed that the paradigm fusion does not degrade theperformance.

著者

山崎 憲一 吉田 雅治 天海良治 竹内 郁雄

出版者

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

雑誌

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

巻号頁・発行日

vol.43, no.1, pp.112-123, 2002-01-15

---

本論文では,Lispでオブジェクト指向プログラミングを行うための,Lispの拡張について述べる.本論文で提案する言語TAOは,ポリシーとメカニズムを分離するという考えに基づいて設計されており,たとえば,クラスや継承といったポリシーは提供しない.TAOは,オブジェクト指向計算のための最小限のメカニズムと,ポリシーを構築するためのメカニズムだけを備える.メカニズムは,Lispの環境とラムダ式を自然に拡張することにより導入される.ユーザは,これらを用いてTAO上にさまざまなポリシーを構築できる.本論文では,一例として,単純継承と委譲の構築例を示す.また,実装についても述べ,評価を行い,TAOの提供するメカニズムがいずれも十分な性能を達成していることを示す.This paper describes an extension of Lisp to incorporateobject-oriented programming into Lisp.A symbolic processing languageTAO, proposed in this paper, is designed based on policy/mechanismseparation principle where mechanisms support essential primitives forobject-oriented computation and policies, such as class definition andinheritance, determines how mechanisms are managed.The mechanisms areintroduced naturally by extending the Lisp's concept of environmentand lambda expression.By using these mechanisms, a TAO user canconstruct his/her own policy, such as single inheritance and simpledelegation which are shown in this paper as an example.We describe theimplementation of TAO and evaluate it using some benchmark programs,and as a result, we show that these primitives are efficient enough.

著者

Lei Jing Zixue Cheng Mizuo Kansen Tongjun Huang Shengguo Sun

出版者

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

雑誌

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

巻号頁・発行日

vol.48, no.2, pp.656-666, 2007-02-15

---

Embedding educational functions into devices in the everyday environment is an important task for advocates of ubiquitous learning. In this paper we discuss how to add a reminder service to a schoolbag. An educational function would be added to the device to help pupils remember belongings. Reminding oneself of things is a difficult task and reminder services have been an important subject of computer applications. However most reminding tools are used for business not education. Most such services use PDAs as terminals and require the user to create the reminder list by him or herself making it too complex for some pupils to use. The systems also seldom pay attention to helping users learn how to avoid forgetting. In this research a ubiquitous learning support system that makes use of schoolbags is presented to assist pupils in managing their personal items. With RFID and infrared sensors a microcontroller embedded in a schoolbag can monitor what has been put in or taken out of the schoolbag and automatically maintain a schoolbag's items list. Such a bag also enables teachers to make up a schedule that specifies required items for given days. The microcontroller then compares the schedule with the items list in the schoolbag and provides a reminder service for the pupil. In addition to the reminder service which is based on principles of behavior modification the paper also proposes a series of methods to help pupils form good personal management habits and reduce their dependence on outside machines.Embedding educational functions into devices in the everyday environment is an important task for advocates of ubiquitous learning. In this paper, we discuss how to add a reminder service to a schoolbag. An educational function would be added to the device to help pupils remember belongings. Reminding oneself of things is a difficult task and reminder services have been an important subject of computer applications. However, most reminding tools are used for business, not education. Most such services use PDAs as terminals and require the user to create the reminder list by him or herself, making it too complex for some pupils to use. The systems also seldom pay attention to helping users learn how to avoid forgetting. In this research, a ubiquitous learning support system that makes use of schoolbags is presented to assist pupils in managing their personal items. With RFID and infrared sensors, a microcontroller embedded in a schoolbag can monitor what has been put in or taken out of the schoolbag and automatically maintain a schoolbag's items list. Such a bag also enables teachers to make up a schedule that specifies required items for given days. The microcontroller then compares the schedule with the items list in the schoolbag and provides a reminder service for the pupil. In addition to the reminder service, which is based on principles of behavior modification, the paper also proposes a series of methods to help pupils form good personal management habits and reduce their dependence on outside machines.

著者

山本 倫也 大坂 融弘 小林 隆 石井 裕剛 手塚 哲央 吉川 榮和

出版者

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

雑誌

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

巻号頁・発行日

vol.43, no.9, pp.2914-2927, 2002-09-15

参考文献数

25

被引用文献数

1

---

教師と学習者が現実的,記号的,抽象的世界を共有することにより,分散型仮想環境(Distributed Virtual Environment; DVE)をコミュニケーションと思考の媒体として遠隔教育に応用できるように,ネットワーク上の情報資源を利用して分散型仮想環境を構築する仮想環境作成支援の新しいフレームワークを提案した.そして,並列離散事象シミュレーションのプロトコルを導入して,DVEシミュレーションの因果関係を制御する新しい方法を考案して,このフレームワークに基づく遠隔教育システムの基盤ソフトウェアMALIONETを開発した.MALIONETを利用して2種類の教材を実例として作成した結果,効果的な遠隔教育の場となる仮想環境の作成支援では,開発したMALIONETが十分に有効であることを確認した.A new framework for constructing distributed virtual environment (DVE) by utilizing online information resources has been proposed so that the DVEs can be utilized as a communication and thinking media for distant education, in which a teacher and students share the worlds of realism, abstract and symbol. Introduction of a new method to control causality of DVE simulation by adopting the protocol of parallel discrete event simulation has enabled to develop a base software MALIONET for the proposed DVE-based distant education system. Two example practices were conducted for constructing educational materials by using MALIONET, and they resulted in that the developed MALIONET has enough possibility to support construction of effective environment for distant education.

著者

飯田 龍 乾健太郎 松本裕治

出版者

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

雑誌

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

巻号頁・発行日

vol.45, no.3, pp.906-918, 2004-03-15

参考文献数

24

被引用文献数

15

---

センタリング理論のような言語学的な知見を,機械学習を用いた照応解析に統合する一方法を提案する.従来の照応解析手法は,大きく規則ベースの手法と統計的な手法に分類でき,それぞれ独立に研究がなされてきた.規則ベースの手法では,言語学的知見に基づき人手で規則を記述するが,照応現象を包括的にとらえる規則を書き尽くすことは困難である.一方,機械学習に基づく手法では,人手では扱うことのできない規則の組合せを考慮できるが,言語学的知見を有効に活用していない.これら2つの手法をうまく統合することによって,両者の利点を同時に引き出すことができれば,精度の向上がさらに期待できる.本論文では2つの手法の統合を目指し,具体的な方法として,(i)センタリング理論に基づく局所的な文脈を考慮した素性(センタリング素性)の導入,および(ii)先行詞候補間を比較するモデル(トーナメントモデル)の2点を提案する.この提案手法を用いて日本語ゼロ代名詞の同定を行い,先行研究の機械学習を用いた手法より精度良く先行詞の同定ができたことを報告する.We propose a method that enhances a machine learning model foranaphora resolution by incorporating linguistically motivatedcontextual clues, such as the centering theory. Conventionalapproaches to anaphora resolution (or more generally coreferenceresolution) can be classified into rule-based approaches andcorpus-based empirical approaches, and they have evolved ratherindependently. In rule-based approaches, efforts have been directedto manual encoding of various linguistic cues into a set of rule.However it is prohibitively difficult to describe rulesexhaustively. On the other hand, empirical approaches with a machinelearning techniques are able to take into account the combination offeatures, which is hard to deal with in the former approaches.However, they hardly exploit the linguistic cues. Therefore, weenvisaged that a method that combines the working of the twoapproaches will perform more effectively. Indeed, our model showsimprovements arising from two sources: (i) the feature of localcontextual factors and (ii) an augmentation of the learning model totake into account comparison between candidates. This model is appliedto resolve Japanese zero-anaphors and outperforms earlier machinelearning approaches.

著者

洲崎 誠一 吉浦 裕 永井 康彦 豊島久 佐々木 良一 手塚 悟

出版者

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

雑誌

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

巻号頁・発行日

vol.41, no.8, pp.2198-2207, 2000-08-15

被引用文献数

3

---

WWWシステムを単なる情報伝達の手段としてだけでなく,電子商取引システムのようにビジネスに活用しようという動きが顕著である.電子商取引システムでは,様々なマークが利用されている.販売者のWebページ上に,決済方法に関する情報として,利用可能なクレジットカード会社のロゴマークが貼付されているのはその一例である.しかし,従来のマークは単なる画像データなので,偽造や改ざん,不正コピーなどが容易にできてしまう.そこで,本稿では,販売者のWebページを閲覧する消費者が,当該Webサイトの真正性を確認可能とするインターネット・マークを提案する.インターネット・マークでは,Webページを構成するコンテンツや,そのWebページを公開するURL,IPアドレスなどといった複数の情報に対して,ディジタル署名を施し,その結果をマークに透かし込む.ブラウザを使ってWebページを閲覧した消費者は,当該Webページに貼付されたインターネット・マークに透かし込まれている埋め込み情報を抽出し,現在閲覧しているWebページのコンテンツ,URL,IPアドレスなどと比較・検証することで,不正の有無を確認することができる.実際にプロトタイプシステムを開発して評価を行い,インターネット・マークの有用性を確認した.Recently, various values visual marks are effectively used in business applications. For example, in many Web pages different credit card company's logo are attached as a source for payment information. In this case, one glance at these logos will make the customer able to recognize automatically the payment method. However, these marks are easy to forge, tamper with and copy into unauthorized Web site because they are only graphic data. And no method is offered to consumers to confirm the authenticity of logo marks. This insecurity causes serious problems with business application. To resolve these problems, in this paper, we propose Internet-Marks; reliable visual marks for the Web site authentication. Internet-Marks enables to detect illegal acts by the combination of traditional digital signature and digital watermarking techniques.

著者

有田 五次郎 荒木 啓二郎

出版者

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

雑誌

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

巻号頁・発行日

vol.24, no.2, pp.230-237, 1983-03-15

被引用文献数

2

---

オペレーションを点 制御の移動を枝とする非巡回定向グラフで表現される並列プログラムのあるクラスは 各プロセッサが先着順(FCFS)で各オペレーションを実行するとき 自然に同期がとれる.木構造グラフとなるこのような並列プログラムを待ちなし並列プログラム(SPP)と呼ぶ.FCFSはFIFOメモリを用いてハードウェアで容易に実現でき SPPはMIMD型高多重並列処理における同期問題を解決する一つの手段となる.本論文ではまず並列プログラムをグラフ表現し 確定性 同値性等の幾つかの性質について論じる.ここで用いる定義は並列プログラムの物理的性質 すなわちセグメンテーションやプロセッサ割当てを含んでいる.次に木構造グラフで表現されるSPPを定義してその性質について考察し 最後に一般の並列プログラムをそれと同値なSPPに変換する手順を与える.SPPはデータ依存関係に基づいて構成されており 一種のデータ駆動型プログラムとみなすことができるしかしこれらはオペレーションとその間のコントロールフローで表現されており FIFOキューをハードウェアでもったマルチプロセッサシステムによって効率よく実行できる.

著者

野村 恭彦

出版者

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

雑誌

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

巻号頁・発行日

vol.45, no.1, pp.121-130, 2004-01-15

被引用文献数

8

---

本論文では,新たなグループウェア設計の指針となる,ストラテジック・ナレッジ・パターン(SKP)を示す.SKPは,日米のナレッジ・マネジメント(KM)に成功している企業11社の半年にわたっての定性・定量調査を通じて構築された,企業の差別化戦略の3つのパターンである.これまでのグループウェア研究では,協業の目的を持ったグループの知識共有の支援には一定の成果をあげてきたが,KMの成功と失敗の分かれ目である,いかに組織の構成員に知識共有の動機付けを行うかという課題に関しては,十分な議論がなされてこなかった.本論文ではまず,KMに成功している企業は,部門を越えた知識共有が特別な取り組みではなく,「当たり前」の企業文化となっていること,その秘訣は,知識経営の「目的」,焦点を当てるべき重要な「知識」,各個人・組織の仕事の背景である「コンテクスト」の3つの可視化にあることを示す.続いて,本調査を通して発見された3つのSKP,ビジョン主導型KM,プロ型KM,創発型KMを示し,各SKPを実現するためのグループウェア設計指針について議論する.最後に,SKPに基づきグループウェア設計を行うことにより,グループウェアの提供価値を,ミクロなグループ活動支援から,経営戦略に基づく組織全体の知識創造活動支援へと,高めることが可能になることを示す.This paper describes Strategic Knowledge Pattern (SKP), which will be a new indicator for groupware design. SKP consists of three patterns of company's differential strategy which were formulated through 6-month study of 11 Japanese and U.S. companies with successful Knowledge Management (KM). Previously, groupware study has gained constant achievement for supporting knowledge sharing by groups with the purpose of collaboration. However, the issue of the method to motivate the members of an organization for knowledge sharing, which is the turning point of success and failure of KM, was not sufficiently discussed. This paper explains that first, in companies with successful KM, knowledge sharing beyond divisions is not an extraordinary engagement but ``Obvious'' corporate culture. Its secret lies in the visualization of three issues, which are ``Objective'' of KM, important ``Knowledge'' to be focused and ``Context'' which is the background of the work. Then, SKP, Vision-driven KM, KM for Professionals and KM for Emergence will be discussed. Finally, this paper indicates that by engaging in groupware design based on SKP, it is possible to enhance value provided by groupware from microscopic support of group activities to organization wide support for knowledge creating activities based on business strategy.

著者

西川 泰浩 小中 裕喜

出版者

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

雑誌

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

巻号頁・発行日

vol.46, no.6, pp.1447-1455, 2005-06-15

---

本論文では,状態遷移図の記述における横断的要素の分離とその織り込み方法について提案する.近年,組み込み機器ソフトウエアの開発において,ユーザインタフェース・GUI開発の占める比率が大きくなり,その生産性向上が重要な課題となっている.この課題を解決するため,筆者らはこれまで画面の切替えを状態遷移としてとらえるユーザインタフェース設計ツールを開発してきた.しかしながら,状態遷移図中に横断的に含まれる共通要素を括り出して設計しようとすると,かえって状態遷移図の可読性と保守性が損なわれる場合があった.今回提案する方法では,状態遷移図の記述方法にアスペクト指向の概念を導入し,横断的要素を分離して記述することを可能とすることにより,この問題を解決する.This paper proposes a new design method for state charts where crosscutting elements are separated and weaved as needed. As graphical user interface plays a larger role in embedded software, improvement to its productivity becomes a more important issue in the software development. To overcome this issue, we have developed a user interface design tool that treat scene transitions as state transitions. There are some cases, however, where factoring crosscutting elements out of state charts would spoil their readability and maintainability. Our method solves this problem by introducing aspect-oriented concepts into designing state charts to enable the separation and weaving of crosscutting elements.

著者

星野 聡 勝村 哲也

出版者

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

雑誌

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

巻号頁・発行日

vol.25, no.2, pp.187-193, 1984-03-15

---

本論文では検索システムFAIRSを利用して作成された東洋学文献類目データベースの研究開発を扱い データベースに格納された東洋学研究上で有効な諸情報について述べ 書誌階層構造とこれを会話的に検索するため検索システムに結合された自動的孫引きのためのプログラム 冊子体への編集等を述べている.