著者

浅原 正幸 松本 裕治

出版者

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

雑誌

情報処理学会研究報告自然言語処理(NL) (ISSN:09196072)

巻号頁・発行日

vol.2003, no.4, pp.49-56, 2003-01-20

被引用文献数

1

---

一般的に日本語固有表現抽出で提案されている手法は形態素解析とチャンキングの組み合わせによる.形態素解析出力結果をそのままチャンカーの入力にすると,形態素解析結果より小さい単位の固有表現を抽出することは困難である.そこで,文字単位でチャンキングを行う手法を提案する.まず,統計的形態素解析器で入力文を冗長的に解析を行う.次に,入力文を文字単位に分割し,文字,字種および形態素解析結果のn次解までの品詞情報などを各文字に付与する.最後に,これらを素性として,サポートベクトルマシンに基づいたチャンカーにより決定的に固有表現となる語の語境界を推定する.この手法により,1次解のみを用いる場合より豊かな素性をチャンカーに与えることができ,固有表現抽出の精度を向上させることができた.CRL 固有表現データを用いて評価実験(交差検定 5-fold)を行った結果,F 値約 88% という高精度の結果が得られた.Named Entity (NE) extraction is a task in which proper nouns and numerical information are extracted from texts. A method of cascading morphological analysis and chunking is usually used for NE extraction in Japanese. However, such a method cannot extract smaller NE units than morphological analyzer outputs. To cope with the unit problem, we propose a character-based chunking method. Firstly, input sentences are redundantly analyzed by a statistical analyzer. Secondly, the input sentences are segmented into characters. The characters are annotated redundantly with the character types and POS tags of the top n best answers that are given by the statistical morphological analyzer. Finally, we do chunking deterministically based on support vector machines. The method can introduce richer features for chunkers than the method based on single morphological analysis result. We apply our method to IREX NE task using CRL Named Entities data. The cross validation result of the F-value being 88% shows the effectiveness of the method.

著者

石塚 晴通 白井 純

出版者

北海道大学

雑誌

特定領域研究

巻号頁・発行日

2001

---

研究計画に基づいて平成13〜16年度に以下の研究を実施した。1.シナ大陸の古印刷資料の原本調査を、大英図書館、フランス国立図書館、中国国家図書館、天津図書館、台湾故宮博物院、台湾国立中央図書館に於て実施した。2.朝鮮半島の古印刷資料の原本調査を、韓国誠庵古書博物館、同湖巖美術館、同延世大学校図書館、東洋文庫、京都国立博物館等に於て実施した。3.日本の百万塔陀羅尼及び古印刷資料の原本調査を、大英図書館、東洋文庫、京都国立博物館、高山寺、個人宅等に於て実施した。4.印刷資料及び関連する典籍をテーマとする「典籍の国際的交流・受容(訓読)」(平成14年度、於北海道大学)、「日本学・敦煌学・漢文訓読の新展開」国際学術会議(平成16年度、於北海道大学)の実行委員長として、国際会議を推進した。5.研究成果を国際会議及び国内学会に於て発表した。以上の如く、シナ大陸、朝鮮半島及び日本の古印刷資料の原本調査を実施して、東アジアに於ける正式印刷本の確認は9世紀後期まで下ること、日本の百万塔陀羅尼は「刷る」行程の無い集成印本であることを明らかにして、国際会議等の場に於て積極的に発表した。

著者

中島 耕太 佐藤 充 後藤 正徳 久門 耕一

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. CPSY, コンピュータシステム (ISSN:09135685)

巻号頁・発行日

vol.106, no.287, pp.1-6, 2006-10-06

---

大容量のデータ転送を伴うXen仮想マシンモニタの仮想マシン移動処理に10Gb Ethernet-NIC UZURAのRDMA転送を適用し,評価した.仮想マシン移動処理の高速化のためには,ネットワークハードウェアの高速化やプロトコル処理オフロードだけでなく,転送処理を制御するアプリケーション処理の最適化が必要である.そこで,RDMA転送の適用に際し,実際の仮想マシン移動における転送処理時間を解析し,アプリケーション処理の最適化について検討を行った.そして,検討した高速化を実際に適用し,評価した.その結果,10Gb Ethernetを用いても,通常のTCP/IP通信を用いた場合(98.4MB/s)やRDMA転送を単純に適用した場合(200MB/s)では,Gigabit Ethernetを用いた場合(82.9MB/s)に対して十分な高速化が実現できないのに村し,アプリケーション処理の最適化を適用した場合では405MB/sとなり,4.89倍の性能向上を実現した.

著者

近藤

出版者

公益社団法人日本薬学会

雑誌

藥學雜誌 (ISSN:00316903)

巻号頁・発行日

no.260, pp.1052-1053, 1903-10-26

著者

中島 秀之

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.23, no.11, pp.p1049-1062, 1982-11-15

被引用文献数

1

著者

大戸 朋子

巻号頁・発行日

2009-03

---

Supervisor:伊藤泰信

著者

佐藤 泰介 玉木 久夫

出版者

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

雑誌

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

巻号頁・発行日

vol.5, no.2, pp.177-188, 1988-04-15

---

第一階コンパイラは一階論理式による論理プログラミングを可能にすべく開発された一種の自動合成プログラムである.確定節からなる論理プログラムに, 〓Y(p (X, Y)→q (Y, Z)) という形のゴール(実際はもっと複雑でも良い)を許したプログラム(一階プログラム)を入力とし,確定節論理プログラムを出力する.コンパイル自体は全自動で必ず停止するが,人力プログラムによってはコンパイルができないことがある.プログラミングという観点からみると,第一階コンパイラはPrologにある種のループ文を導入したことになっている.しかし論理変数が使用できるので通常のループ文よりはるかに柔軟性がある.また論理的な観点から言うと,第一階コンパイラのしていることは一階プログラムから導かれる普遍継続形式(universal continuationform)と呼ばれる,ある種の論理式のunfold/fold変換である.出力プログラムの計算結果は,常に入力プログラムの完備化の論理的帰結であること(部分的正当性)が証明される.

著者

芦澤 宏樹 茅野 康臣 岩沼 宏治

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. AI, 人工知能と知識処理

巻号頁・発行日

vol.94, no.374, pp.63-68, 1994-11-25

被引用文献数

1

---

Stickelにより開発させたPTTPは一階論理コンパイラであり、証明すぼき一階論理式が与えられると、その上のトップダウン型の演繹を模倣する高速なPrologプログラムを出力する。本研究では、より高速な定理証明システムの構築を目指して、分散処理型のPrologコードを生成する一階論理コンパイラを構築する。生成コードは、LANで結合されたWS群の上で実行される。オーバーヘッドを軽減するため、分散処理の基的形態は極めて単純なものを採用している。幾つかの問題について性能評価実験を行なった結果、線形台数効果の確認等、良好な結果を得たので報告する。

著者

山本 幹雄 乾 孝司

出版者

筑波大学

雑誌

基盤研究(B)

巻号頁・発行日

2009

---

本研究では、高精度かつ長距離のフレーズ並び替えを可能とするルールの抽出手法を開発した。抽出されたフレーズ並び替えルールの特徴は、フレーズの並び替えに重要な働きをする機能語(助詞など)の対訳関係を中心に語彙化されている点である。これにより、翻訳対象である文構造を的確に捉えながらフレーズの並び替えが可能となる。日英の翻訳実験において、提案ルールによって翻訳性能を改善できることを明らかにした。

著者

浜名誠 西岡 知之 中原 鉱一 井田 哲雄

出版者

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

雑誌

情報処理学会研究会報告

巻号頁・発行日

vol.94, pp.25-32, 1994

被引用文献数

1

---

関数論理型言語とは関数型言語と論理型言語を融合したプログラミング言語である.本稿で述べる関数論理型言語Evは,関数型言語の特徴である高階関数,遅延評価,及び論理型言語の論理変数や非決定的な実行といった特徴を全て備えている.Evはコンビナトリー項書換え系とナローイングという理論的背景を特ち,効率の良い実行のために設計された計算系LNCに基づいている.本稿では関数論理型言語Evとそのインタプリタの実現方法について述べる.特にEvのプログラムをコンビナトリー項書換え系とみなすための変換方法を与え,Evと理論とのつながりを示す.

著者

大薮 赳 福田 豊 尾家 祐二

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. IN, 情報ネットワーク (ISSN:09135685)

巻号頁・発行日

vol.106, no.461, pp.139-144, 2007-01-11

---

通信容量の増強や設置の容易さなどの利点から,複数のアクセスポイント(AP, Access Point)を相互に無線で接続して構築する無線LANメッシュネットワークが注目されている.しかし,現在用いられている既存方式では各端末(STA, Station)は受信電波強度(RSSI, Received Signal Strength Indicator)のみに基づいて接続先のAPを決定するため,無線資源の利用効率や公平性が低下するという問題が生じる.我々はこのようなAP選択問題について,自STAのスループットを最大化するようにAPを選択する方式を提案し,シングルホップ無線LAN環境で無線資源を有効かつ公平に利用できることを明らかにした[1][2].さらに,チェーントポロジの無線LANメッシュネットワークに対しても,AP間のPER(Packet Error Rate)を考慮するよう提案手法を拡張し,その有効性を明らかにしている[3].そこで本稿では,より一般的なトポロジの無線LANメッシュネットワークにおいて,端末が自律的にAPを選択する手法を提案し,その効果をシミュレーションにより明らかにする.

著者

Suzuki Shinichi Shinjo Yasushi Hirotsu Toshio Itano Kozo Kato Kazuhiko

出版者

Elsevier Ltd.

雑誌

Journal of Network and Computer Applications (ISSN:10848045)

巻号頁・発行日

vol.30, no.4, pp.1275-1282, 2007-11

被引用文献数

5 2

---

In conventional egress network access control (NAC) based on access control lists (ACLs),modifying the ACLs is a heavy task for administrators. To enable configuration without a largeamount of administrators’ effort, we introduce capabilities to egress NAC. In our method, a user cantransfer his/her access rights (capabilities) to other persons without asking administrators. To realizeour method, we use a DNS cache server and a router. A resolver of the client sends the user name,domain name, and service name to the DNS cache server. The DNS server issues capabilitiesaccording to a policy and sends them to the client. The client puts these capabilities into the IP optionsof packets and sends them to the router. The router verifies the capabilities, and determines whether topass or block the packets. In this paper, we describe the design and implementation of our method indetail. Experimental results show that our method does not reduce the router’s performance.

著者

豊田 正史

出版者

社団法人人工知能学会

雑誌

人工知能学会誌 (ISSN:09128085)

巻号頁・発行日

vol.23, no.6, pp.760-766, 2008-11-01

著者

大熊 浩示 南出 靖彦

出版者

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

雑誌

情報処理学会論文誌. プログラミング (ISSN:03875806)

巻号頁・発行日

vol.46, no.6, 2005-04-15

---

正しいコンパイラを得るためには, コンパイラの形式化が正しいだけでなく, その実装の正しさも検証しなければならない.我々は定理証明システムIsabelle/HOLを用いてコンパイラを形式化し, その正しさを検証した.さらに, Isabelle/HOLのコード生成機能を用い, Isabelle/HOLで記述されたコンパイラを実行可能なプログラムへ変換した.このコード生成機能はIsabelle/HOLの構文をStandard MLの構文に単純に変換するもので, 生成されたプログラムの信頼性は高いといえる.コンパイラは構文解析を除くすべてのフェーズがIsabelle/HOLで記述されており, コード生成機能で変換されたプログラムに構文解析プログラムなどを加えることにより実行可能な検証されたコンパイラを得ることができる.コンパイラはScheme構文を持つ関数型プログラミング言語を入力とし, Java仮想機械のアセンブリ言語を生成する.今回形式化したコンパイラはクロージャ変換やインライン展開など, これまで検証されたコンパイラでは扱われていない高度なプログラム変換を行っている.また, コンパイラの記述ではコンパイル時間も考慮し, 効率の良いデータ構造を採用した.得られたコンパイラをいくつかのSchemeプログラムに対して適用した結果, コンパイル時間, 生成されたプログラムの実行時間ともに既存のコンパイラに劣らない結果が得られた.

著者

井上 達紀 山口 和範

出版者

日本行動計量学会

雑誌

日本行動計量学会大会発表論文抄録集

巻号頁・発行日

vol.26, pp.189-190, 1998-09-01

著者

〓 延輻 辻村 泰寛 玄 光男 山崎 源治

出版者

日本知能情報ファジィ学会

雑誌

日本ファジィ学会誌 (ISSN:0915647X)

巻号頁・発行日

vol.8, no.5, pp.947-957, 1996-10-15

---

実在する多くのコンピュータシステムは, 閉鎖型, あるいは開放型と閉鎖型が混在した混合型のマルチクラス・ネットワークモデルによりモデル化される.このもでる化はM/M/s待ち行列モデルに基づいて行われるもので, コンピュータシステムの性能評価を行う手段として常套的に用いられる.待ち行列理論によるコンピュータシステムの性能評価では, 従来, 指数分布あるいはポアソン分布を仮定して, 到着率やサービス率などを確定値として取り扱ってきた.しかし, 様々な外的あるいは内的な要因により関連するデータが多くのあいまいさをふくんでいたり, それらのデータを十分に得られないというような理由により, 現実のシステムではそれらの値を確定値では与えにくい場合も多く存在する.このような場合, これまでは解析者が過去の経験等により主観的に確定値としてそれらの値を与えて性能評価が行われてきたが, この方法では評価結果が十分に現実の状況を包含しているとは言いがたく, ともすれば解析者の主観に依存した偏った結果になってしまう恐れがある.本論文では, 上述のような状況を改善するために, パラメータの持つあいまいさをファジィ数で表現することにより, M/M/s待ち行列モデルをファジィ化し, さらにこれを用いたマルチクラス・コンピュータシステムの性能評価方法を提案する.これにより, 従来の評価方法よりも実際的で柔軟なコンピュータ・システムの性能評価を行うことが可能になる.さらに, 数値例により提案する手法の有用性を示す.

著者

宮崎 和人

出版者

學燈社

雑誌

國文學 (ISSN:04523016)

巻号頁・発行日

vol.51, no.4, pp.6-9, 2006-04

著者

Ma Tieju Nakamori Yoshiteru

出版者

Elsevier

雑誌

European Journal of Operational Research (ISSN:03772217)

巻号頁・発行日

vol.166, no.3, pp.741-755, 2005-11-01

被引用文献数

59

---

This paper describes a multi-agent model built to simulate the process of technological innovation, based on the widely accepted theory that technological innovation can be seen as an evolutionary process. The actors in the simulation include producers and a large number of consumers. Every producer will produce several types of products at each step. Each product is composed of several design parameters and several performance parameters (fitness components). Kauffman’s famous NK model is used to deal with the mapping from design parameter space (DPS) to performance parameter space (PPS). In addition to the constructional selection, which can be illustrated by the NK model, we added environmental selection into the simulation and explored technological innovation as the result of the interaction between these two kinds of selection.

著者

繁富 利恵 大塚 玲 小川 貴英 今井 秀樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. ISEC, 情報セキュリティ (ISSN:09135685)

巻号頁・発行日

vol.102, no.212, pp.9-16, 2002-07-12

---

現在、情報の電子化が進んでいることは周知の事実である。こういった電子情報は、非電子情報に比べ、情報の収集、検索や統合などが容易となるため、蓄積情報に対する配慮がより重要となっている。こういった中、貸し出しサービス(図書館、レンタルビデオ、借金など)は情報の電子化が非常に進んでいるサービスの一つである。また、貸し出しサービスにおける情報は、個人の趣味指向だけではなく、生活レベルさえも推測できるような情報を含んでいる。つまり、貸し出しサービスの情報の管理者は貸し出し情報を手にいれることができるだけでなく、各個人の個人的な情報を手にいれることもできる。また、情報が全て電子化されているため一度上記の情報がユーザの意図に反して貸出機関から流出してしまうと、電子情報の持つ特徴により、サービス利用者に関連する他の情報との統合が進む可能性が高く、このような電子化された情報が持つプライバシ問題は大きい。こういった問題を解決するため、"匿名貸し出し"を提案する。この"匿名貸し出し"は、貸し出しの際には匿名で貸し出し、返却期限を過ぎても未返却だった場合にはその匿名性を破るようなシステムである。この論文では、貸し出し機関が匿名で貸していた場合でもユーザ一人当たりの権利の数を制限することができ、(つまり図書館であれば何冊貸しているかを制限できること)しかも、ユーザのプライバシは保たれるような新しいシステムを提案し、耐タンパーデバイスおよびオフライン電子マネー方式を利用してこれを実現した。

著者

横山 詔一

巻号頁・発行日

1991

---

筑波大学博士 (心理学) 学位論文・平成3年11月30日授与 (乙第723号)