出版者

日経BP社

雑誌

日経エレクトロニクス (ISSN:03851680)

巻号頁・発行日

no.752, pp.134-139, 1999-09-20

---

日本の電子技術者の多くは,日常業務の一環として特許を考案し,出願している(図1)。企業は,業務の一環として考案された特許について,技術者から権利を譲り受ける。特許報酬制度は,譲り受けた特許に対して金銭的な補償をするために,ほとんどのエレクトロニクス・メーカが導入している制度である注1)。

著者

松田 元彦 石川 裕 工藤 知宏 手塚 宏史

出版者

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

雑誌

情報処理学会研究報告ハイパフォーマンスコンピューティング(HPC) (ISSN:09196072)

巻号頁・発行日

vol.2003, no.83, pp.101-106, 2003-08-04

被引用文献数

1

---

大規模クラスタ計算機やグリッドに向けたMPIを実装するための通信機構としてO2Gドライバの設計・実装を行なった.O2Gは通信レイヤ自体を変更することなく,オーバーヘッドが大きいと考えられるソケットAPIをバイバスする.それにより性能問題が懸念されるselect&readによるポーリングを排除し非同期通信処理の効率化を狙う.そのためO2GではMPIで必要になる受信キュー操作をすべてプロトコル処理ハンドラ内で実装する.O2Gは現在Linuxのローダブル・ドライバとして提供される.評価として,NAS並列ベンチマークを用いたMPICHとの比較を行なう.非同期通信が重要となるISベンチマークではO2Gを用いた実装はMPICHの2.8倍の性能を示す.他のベンチマークの結果も互角の性能であり,O2Gを用いる実装に無駄なオーバーヘッドがないことを示す.O2G is a messaging kernel interface designed to implement MPI for large-scale clusters and networks in the Grid environment. O2G cares asynchronous communication primitives, and totally avoids the select&read system call loops. For this purpose, O2G provides the message queue management of MPI in the driver, where all message processing is completed in the protocol handler. Currently, O2G is provided as a loadable driver module of the Linux kernel. Evaluation using NAS Parallel Benchmarks shows that an MPI implementation with O2G performs better than MPICH for all benchmarks. Especially, it performs 2.8 times faster than MPICH for the IS benchmark. The results show that the O2G's approach is efficient and has no excessive overheads.

著者

栗田 禎子

出版者

公益財団法人史学会

雑誌

史學雜誌 (ISSN:00182478)

巻号頁・発行日

vol.99, no.1, pp.128-129, 1990-01-20

著者

武井 友也

出版者

石油技術協会

雑誌

石油技術協会誌 (ISSN:03709868)

巻号頁・発行日

vol.51, no.6, pp.541-547, 1986 (Released:2008-03-27)

著者

近藤 元治

出版者

藍野大学

雑誌

藍野学院紀要 (ISSN:09186263)

巻号頁・発行日

vol.20, pp.147-155, 2006

著者

深田 敦史 鍛 忠司 東野 輝夫 谷口 健一 森 将豪

出版者

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

雑誌

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

巻号頁・発行日

vol.39, no.8, pp.2519-2527, 1998-08-15

---

本論文では,入力を奪い合いながら並行に動作するDFSM群(DFSMsの直積マシン)としてモデル化される通信プロトコルのあるサブクラスに対して,DFSM群の状態と遷移の数の和に比例する程度のコストで効率良く適合性試験を行うための1つの手法を提案する.提案する方法では,まず,Wp法を用いて単独に各DFSMの試験を行う場合に用いる特性集合の和集合をシステム全体(DFSM群)の試験を行うための特性集合とする.入力を奪いあう場合,与えられた各特性系列に対して正しく反応を返す可能性のある状態対は複数存在する可能性がある.このため,各DFSMの1つの状態sの存在を確認するために,まず一定の条件を満たすW集合を構成する.次にその状態sを含む適切な状態組を1つ選び,その状態組に対する特性系列の反応をチェックすることにより状態sの存在を確認する.In this paper,we propose an effective conformance testing method for a subclass of protocols modeled as a set of DFSMs.The cost in the proposed testing method is only proportional to the sum of the numbers of states and transitions in a given set of DFSMs.In our method,we find a characterization set for each DFSM,which is used to test the DFSM alone in Wpmethod,and the union of the characterization sets is used as a characterization set for the total system.For a set of DFSMs with common inputs,there may exist two or more tuples of states that have correct responses against a given characterization set.So,in order to identify each state s in a DFSM,we find a characterization set with some specific properties.Then,we select a suitable tuple of states containing the state s,and identify the state s by checking their response to the characterization set.

著者

中野 重行

出版者

一般社団法人 日本臨床薬理学会

雑誌

臨床薬理 (ISSN:03881601)

巻号頁・発行日

vol.39, no.4, pp.75S-76S, 2008 (Released:2009-02-04)

参考文献数

2

被引用文献数

3 3

著者

山下 正道

出版者

公益社団法人 日本薬理学会

雑誌

日本薬理学雑誌 (ISSN:00155691)

巻号頁・発行日

vol.144, no.3, pp.143-145, 2014 (Released:2014-09-10)

参考文献数

31

著者

鍛 忠司 東野 輝夫 谷口 健一

雑誌

情報処理学会研究報告グループウェアとネットワークサービス(GN)

巻号頁・発行日

vol.1996, no.12, pp.19-24, 1996-01-25

---

通信プロトコルに対する適合性試験は通信システムの信頼性を高めるために有効である,従来,適合性試験系列の生成に関する研究の多くは単一の有限状態機械(S)によってモデル化されるソフトウェアを対象としている.しかし,複数のチャネルを持つ通信プロトコルなどでは,一つのチャネルの制御部を一つの決定性FSM(FS)でモデル化し,システム全体を入力を奪い合いながら並行に動作するDFSM群(FSMsの直積マシン)としてモデル化することが自然である.このようなシステムは全体としてもとのDFSM群の状態数の積に比例する状態を持つ非決定性FSM(FS)になる.このため,通常のNFSMに対する試験法を用いた場合,試験系列長がもとのDFSM群の状態数の積に比例するオーダーになるという問題点があった.本稿では,そのような入力を奪い合いながら並行に動作する複数のDFSM群としてモデル化されるような通信プロトコルのある部分クラスに対して,DFSM群の状態数の和に比例する程度のコストで効率よく適合性試験を行えるようにするための一つの手法を提案する,提案する手法では,まず,W?法を用いて単独に各DFSMの試験を行う場合に用いる先行系列の集合からシステム全体の試験を行うための先行系列の集合を生成する.また,各DFSMに対する特性集合の和集合をシステム全体の試験を行うための特性集合とする.次に,与えられた各特性系列に対して正しく反応を返す可能性のある状態対をすべて列挙し,その関係を表す制約式を生成する.これらの制約式を満たす解(状態の組)が仕様として与えられたDFSM群の状態対のみならば,与えられた先行系列の集合と特性集合に対して正しい反応を示す実装は仕様のDFSM群と等価であることが保証される.Conformance testing for communication protocols is useful for developing a highly reliable communication systems. Many researches have been done for test generation of the software modeled as a single finite-state machine (FSM). However, it is natural that the protocol with several channels is considered as a couple of DFSMs each of which controls a channel and competes with the others for common inputs. For this model, the existing methods have a problem that the derived test suite is proportional to the product of the numbers of states of DFSMs. In this paper, we propose an effective method of conformance testing for a subclass of protocols modeled as those couples of DFSMs. In our method, we find a state cover set for each DFSM, which is used to test the DFSM alone in W-method, and derive a state cover set for the total system from those sets. The characterization set for the total system is the union of those for the DFSMs. Then, we construct constraints representing the relation among tuples of states that have correct responses against the characterization set. If these constraints have only one solution, we guarantee that an IUT modeled as a couple of DFSMs which has correct responses against the state cover and characterization set is equivalent to the given specification.

著者

Sakamaki Tetsuya

出版者

Springer

雑誌

Primates (ISSN:16107365)

巻号頁・発行日

vol.51, no.1, pp.87-90, 2010-01

被引用文献数

22

---

Four cases of coprophagy and two cases of fecal inspection were identified during the 1142 h of observing wild bonobos at Wamba in the Luo Scientific Reserve in the Democratic Republic of the Congo. At least 5 females in the study group practiced coprophagy and/or fecal inspection. According to our daily behavioral observations, boredom and stress, insufficient roughage, and the search for essential nutrients could not explain the coprophagy. Several episodes observed in this study indicated that bonobos might have sought and ingested certain valuable food items, such as hard Dialium seeds, in feces during relatively lean seasons. Although coprophagy occurred only rarely among wild bonobos, this practice appeared to represent a possibly adaptive feeding strategy during periods of food scarcity rather than a behavioral abnormality.

出版者

日経BP社

雑誌

日経トップリーダー

巻号頁・発行日

no.321, pp.8-11, 2011-06

---

東北のある中小企業団体の担当者が耳打ちする。「震災後、1度も会ったことのない西日本の中小企業経営者から、来訪を受けることがとても増えた。復興関連の仕事があれば回してほしいらしい」水面下で奪い合い 東北などの被災地を除く中小企業に聞いた本誌アンケートでは、震災後に売り上げを落とした企業は3割以下。

著者

津上 英輔

出版者

成城大学

雑誌

成城美学美術史 (ISSN:13405861)

巻号頁・発行日

no.19, pp.1-19, 2013-03

---

ρυθμο[s] is one of the three media (εν ετεροι[s]) of poetry Aristotle names besides words and melody in the Poetics (1447a8-b29). The Italian philologist Pier Vettori in his Commentarii in primum librum Aristotelis de Arte Poetarum (1560), which contains his own Greek text, followed by its verbatim Latin translation and comprehensive running commentary on textual, grammatical and interpretative topics, identifies it with dance, instead of rhythm as it is commonly held. Vettori was led to this (mis-)conception through two factors: (i) his supposition, conforming to the then current notion, that all poetry was verse (words with metre), with the consequence that metre, present, according to his view, in every poem, belongs to words, not rhythm; and more importantly (ii) the limited knowledge scholars in the sixteenth century commanded about the sources of the Poetics, without the aid of the Arabic version, from which modern editors have substantially benefited. Since both factors were historically conditioned, the resulting misunderstanding of Vettori's was more of a historical nature than his personal.ρυθμο[s] is one of the three media (εν ετεροι[s]) of poetry Aristotle names besides words and melody in the Poetics (1447a8-b29). The Italian philologist Pier Vettori in his Commentarii in primum librum Aristotelis de Arte Poetarum (1560), which contains his own Greek text, followed by its verbatim Latin translation and comprehensive running commentary on textual, grammatical and interpretative topics, identifies it with dance, instead of rhythm as it is commonly held. Vettori was led to this (mis-)conception through two factors: (i) his supposition, conforming to the then current notion, that all poetry was verse (words with metre), with the consequence that metre, present, according to his view, in every poem, belongs to words, not rhythm; and more importantly (ii) the limited knowledge scholars in the sixteenth century commanded about the sources of the Poetics, without the aid of the Arabic version, from which modern editors have substantially benefited. Since both factors were historically conditioned, the resulting misunderstanding of Vettori's was more of a historical nature than his personal.

著者

篠田 英朗

出版者

有斐閣

雑誌

書斎の窓 = The window of author's study

巻号頁・発行日

no.644, pp.38-42, 2016-03

著者

池辺 正典

出版者

文教大学大学院情報学研究科

雑誌

IT News Letter

巻号頁・発行日

vol.5, no.3, pp.1-2, 2009

---

インターネットの発達に伴い、誰もが容易に情報発信を可能にする社会が実現した。これにより、学校では、教育内容などの話題がインターネットに公開されるに至った。これらのWebサイトは学校非公式サイトと呼ばれ、児童・生徒・学生をトラブルに巻き込むという問題が発生する傾向にある。このため、教育機関から、学校非公式サイト対策への要望が高まっており、本研究は、対策準備段階として学校非公式サイトを分析したものである。

著者

福島 祥郎 堀 良彰 櫻井 幸一

出版者

情報処理学会

雑誌

研究報告コンピュータセキュリティ(CSEC) (ISSN:21862583)

巻号頁・発行日

vol.2011, no.38, pp.1-8, 2011-03-03

---

近年,Web ブラウザなどの脆弱性を突いてユーザにマルウェアを感染させる悪性 Web サイトの脅威が深刻化してきている.悪性 Web サイト対策にはそれらの URL やドメインのブラックリスト化が重要となるが,攻撃者はその回避のために URL やドメインを短期的に変更するため,たとえ未知の悪性 Web サイトであっても対応可能なブラックリストが重要となる.そこで本研究では,悪性 Web サイトが属す IP アドレスブロックとドメイン登録に用いたレジストラの関連性に着目し,それらの信頼性評価に取り組む.そして,信頼性の低い要素の組み合わせを用いたブラックリスト方式を提案し,その手法の有効性について評価を行う.The threats of malware infection via malicious Web sites which exploit vulnerabilities of Web browser are increasing. It is important to blacklist URLs or domains of the malicious Web sites for filtering them. However, attackers attempt to frequently change the URLs or domains to avoid the blacklist. Thus, a blacklist which can filter even unknown malicious Web sites is significant. In this paper, we focus on simiralities of IP address blocks and registrars used by malicious Web sites, and evaluate reliability of them. Then, we propose a blacklisting scheme using combinations of the two data with low reliability as the candidates for filtering, and evaluate effectiveness of our proposal.

著者

伊原青々園 著

出版者

四六書院

巻号頁・発行日

1930

著者

岡鬼太郎 著

出版者

三田文学出版部

巻号頁・発行日

1943

著者

渥美清太郎 著

出版者

新大衆社

巻号頁・発行日

1943

著者

歌舞伎同好会 編

出版者

岡村盛花堂

巻号頁・発行日

1920

著者

三宅周太郎 著

出版者

新潮社

巻号頁・発行日

1922