著者

平井 昭彦 金子 誠二 仲真 晶子 石崎 直人 小田桐 恵 甲斐 明美 貞升 健志 新開 敬行 矢野 一好 諸角 聖

出版者

公益社団法人 日本食品衛生学会

雑誌

食品衛生学雑誌 (ISSN:00156426)

巻号頁・発行日

vol.46, no.3, pp.86-92, 2005-06-25 (Released:2009-01-21)

参考文献数

17

被引用文献数

8 8

---

PCR法により市販牛乳244検体のCoxiella burnetii 汚染状況調査を行った結果,131検体(53.7%)からC. burnetii 遺伝子が検出された.このうち22検体についてマウスによる菌分離を試みたがすべて陰性であった.次にPCR法による鶏卵中のC. burnetii 検査法の検討を行った.卵黄に1 mol/L NaCl加phosphate bufferを等量加え,ホモジナイズ後遠心することで多量のタンパク質や脂質を除去できC. burnetii を沈渣中へ集菌することができた.SDSで消化後NaI法によりDNAを抽出しPCR法でcom1 遺伝子を確認した.本法のC. burnetii 検出感度は3.2×101個/卵黄1 gであった.本法により市販鶏卵200検体を調べたが,C. burnetii は検出されなかった.

著者

伊藤 孝行 横尾 真 松原 繁夫

出版者

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

雑誌

電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 (ISSN:09135685)

巻号頁・発行日

vol.101, no.602, pp.15-22, 2002-01-18

---

インターネット上のオークションでは, 不特定多数の人間が商品(財)を販売しており, 商品の質を正確に見極めるのは困難である.例えば, 骨董品が売られていたとしても, その骨董品が本物であるか偽物であるかを見極めることは難しい.もし買い手が, 偽物の骨董品を高い値段で購入してしまった場合, 買い手は, このオークションによって損害を被る.骨董品の質を見極めることができる専門家は, このオークションによって利益を得ることができてしまう.これは, オークションプロトコルが, 財の効率的な配分に失敗していることを意味する.そこで, 本論文では, 専門家に, 自然の選択に関する情報を正しく申告させることによって, パレート効率的な配分を実現し, かつ, 合理的な参加者が損害を被らないようなオークションプロトコルを設計する.本論文で提案するオークションプロトコルは以下の4つの特長を持つ.(1)専門家にとって真の申告をすることが支配戦略である.(2)専門家の人数に関する仮定の下で, 素人にとっても, 真の申告をすることが支配戦略となり, 反復支配戦略均衡を得られる.(3)反復支配戦略均衡のもとでパレート効率な割り当てを実現する.(4)非合理的なプレイヤが存在しても, その数がある閾値以下ならば, 合理的なプレイヤは損をしない.

著者

森田 亀之助

出版者

金沢美術工芸大学

雑誌

学報 (ISSN:04513215)

巻号頁・発行日

vol.8, pp.2-6, 1963-11-03

著者

伊藤 孝行 横尾 真 松原 繁夫

出版者

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

雑誌

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

巻号頁・発行日

vol.102, no.614, pp.11-16, 2003-01-23

---

インターネット上のオークションでは,不特定多数の人間が商品(財)を販売しており,商品の質を正確に見極めるのは困難である.例えば,骨董品が売られていたとしても,その骨董品が本物であるか偽物であるかを見極めることは難しい.そこで筆者らは過去に,買い手が財の質(例えば本物か偽物か)について正確に判断ができない場合,条件付きの入札が可能なオークションプロトコルを提案した.ここでは,専門家に,自然の選択に関する情報を正しく申告させることによって,合理的な参加者が損害を被らないようなオークションプロトコルの設計に成功した.本論文では,上のような状況において,複数財の組合せに対して入札が可能なオークションを設計する.ここで,専門家が単一の財に関して専門知識を持つ場合と複数の財に専門知識を持つ場合が考えられる.前者の場合でも複雑な問題であるが,後者はより複雑な問題になっている.そこで,本論文では,まず前者の場合のオークションプロトコルを設計する.すなわち,単一の財に関して専門知識と興味を持つ専門家に自然の選択に関する情報を正しく申告させ,素人にとって,真の申告をすることが最適反応戦略になるプロトコルを設計する.

著者

中島 一 亀山 幸義

出版者

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

雑誌

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

巻号頁・発行日

vol.45, no.12, pp.11-24, 2004-11-15

被引用文献数

2

---

本研究の目的は,抽象化・精密化の手法を用いて,実時間モデル検査の状態数爆発問題を解決することにある.実時間モデル検査は,実時間システムの検証に用いられる手法で,そのシステムを時間オートマトンで記述する.実時間モデル検査における状態数爆発問題は,探索する状態空間が,実数値をとるクロック変数の数に対し指数的に大きくなり,実用的な時間内で検査が終了しないというものである.抽象化・精密化に基づくモデル検査法では,抽象化によりクロック変数をすべて省いた,初期抽象システムを構築し検査する.しかし,このような抽象化では検証結果として,間違った結果すなわち偽物の反例を得てしまうことがある.その場合,初期抽象システムから抽象化のレベルを低くしたシステムに作り替え,検証をやり直す.これを,正しい結果が得られるまで繰り返す.この手法の最大の課題は,得られた反例を基に,抽象化のレベルが高くかつ検証可能なシステムをどのように作るかということである.提案手法では,取り除いた変数のうち必要なものを復元する精密化を行う.また状態数を抑えるため,システム全体に変数を復元するのではなく,部分的に復元する.さらにクロック変数を復元せず不必要な遷移を除去する,もう1 つの精密化を併用することで状態数の増加を抑える.本稿では,提案手法の適用例として時間オートマトンの到達可能性解析を試み,実験でその有効性の検証を行った.We address the state explosion problem in real-time model checking. Real-time model checking automatically verifies real-time systems described as timed automata. This method suffers from the state explosion problem: the size of the state space grows exponentially with the number of real-valued clock variables. We use abstraction-refinement for reducing the state space. Using this method, an initial abstract system, which is an over-approximation to behaviors of the timed automaton, is constructed by removing all clock variables, and then the abstract system is verified. This kind of conservative abstraction may lead to a false result, that is a spurious counterexample. In this case, the abstract system is refined on the basis of the counterexample and the refined system is verified. The process is repeated until a correct result is obtained. The difficulty in this method is how the system is refined. In our approach, we extract clock variables needed in the refinement. Additionally, we do not refine the whole system but a part of the system. Besides this refinement, we introduce another refinement removing transitions which are proved to never fire in the timed automaton. Our approach avoids the state explosion problem by combining these refinements. In this work, we apply our techniques to reachability analysis of timed automata.

著者

池田 一彦

出版者

岐阜聖徳学園大学

雑誌

聖徳学園岐阜教育大学国語国文学 (ISSN:02869365)

巻号頁・発行日

vol.8, pp.22-41, 1989-03-15

著者

米田 閏一

出版者

名古屋大学

雑誌

名古屋大学教育学部附属中高等学校紀要 (ISSN:03874761)

巻号頁・発行日

vol.42, pp.161-166, 1997-11-01

---

種種雑多の音楽が氾鑑している現代において、如何に正統的な伝統音楽の良さを再確認させるか、これは、我々音楽教育に携わる者に課せられた、焦眉の急を要する重大な責務である。それには、音楽においても正邪の立て分け、偽物と本物のを聞き分ける感度の良い耳を育てることも大切になってくる。その最初の入口として如何に取り組むべきか、そして発展させていくのかをまとめてみた。

著者

服部 峻 手塚 太郎 田中 克己

出版者

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

雑誌

電子情報通信学会技術研究報告. DE, データ工学 (ISSN:09135685)

巻号頁・発行日

vol.106, no.149, pp.131-136, 2006-07-06

被引用文献数

4

---

実空間を移動する行為は,我々にとって日常的な活動の一つである.これまで,この空間移動を支援するための様々な道案内システムが開発されて来た.しかし,従来の簡略地図上にプロットされる経路や道案内文中に現れるランドマークは,その名称だけを用いて特定されている場合が多い.地物の名称だけでは,現在いる地点から次に向かうべきランドマークを視認できない場合があるため,地物の色や高さ,形状といった視覚的な外観情報も与えることが非常に有効である.そこで,本稿では,異種の検索エンジンのメタデータである検索件数および要約文を活用して,地物の外観情報や可視地域といった知識をWebマイニングする手法を提案する.

著者

鍵本 伸二

出版者

メディカ出版

雑誌

糖尿病ケア (ISSN:13489968)

巻号頁・発行日

vol.1, no.4, pp.402-404, 2004

著者

伊藤 孝行 横尾 真 松原 繁夫

出版者

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

雑誌

情報処理学会研究報告知能と複雑系(ICS) (ISSN:09196072)

巻号頁・発行日

vol.2003, no.8, pp.69-74, 2003-01-29

---

インターネット上のオークションでは,不特定多数の人間が商品(財)を販売しており,商品の質を正確に見極めることは困難である.例えば,骨董品が本物であるか偽者であるかを見極めることは難しい.そこで筆者らは過去に,買い手が財の質(例えば本物か偽者か)について正確に判断ができない場合,条件付きの入札が可能なオークションプロトコルを提案した.ここでは,専門家に,自然の選択に関する情報を正しく申告させることによって,合理的な参加者が損害を被らないようなオークションプロトコルの設計に成功した.本論文では,上のような状況において,複数財の組合せに対して入札が可能なオークションを設計する.ここで,専門家が単一の財に関して専門知識を持つ場合と複数の財に専門知識を持つ場合が考えられる.前者の場合でも複雑な問題であるが,後者はより複雑な問題となっている.そこで,本論文では,まず前者の場合のオークションプロトコルを設計する.すなわち,単一の財に関して専門知識と興味を持つ専門家に自然の選択に関する情報を正しく申告させ,素人にとって,真の申告をすることが最適反応戦略になるプロトコルを設計する.Auctions have recently commanded a great deal of attention in the field of multi-agent systems. Correctly judging the quality of auctioned goods is often difficult for amateurs, on the Internet auctions. We have formalized such a situation so that Nature selects the quality of the auctioned good. Experts can observe Nature's selection(i.e., the quality of the good) correctly, while amateurs, including the auctioneer, cannot. In often words, the information on Nature's selection is asymmetric between experts and amateurs. In this situation, it is difficult to attain an efficient allocation, since experts have a clear advantage over amateurs, and they would not reveal their valuable information without some reward. Thus, we have succeeded in developing a single unit auction protocol in which truth-telling is a dominant strategy for each expert. In this paper, we focus on a combinatorial auction protocol under asymmetric information on Nature's selection. Experts may have an interest in, and expert knowledge on, Nature's selection for several goods, i.e., experts are versatile. However, the case of versatile experts is very complicated. Thus, as a first step, we assume experts to have an interest in, and expert knowledge on, a single good. That is, experts are single-skilled. Under these assumptions, we develop an auction protocol in which the dominant strategy for experts is truth-telling. Also, for amateurs, truth-telling is the best response when experts tell the truth. By making experts to elicit their information on the quality of the goods, the protocol can achieve a socially desirable, i.e., Pareto efficient allocation, if certain assumptions are satisfied.

著者

伊藤 孝行 横尾 真 松原 繁夫

出版者

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

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 (ISSN:09151915)

巻号頁・発行日

vol.87, no.10, pp.920-930, 2004-10-01

被引用文献数

2

---

インターネット上のオークションでは,不特定多数の人間が商品(財)を販売しており,商品の質を正確に見極めるのは困難である.例えば,骨董品が売られていたとしても,その骨董品が本物であるか偽物であるかを見極めることは難しい.商品の質が正確に見極められないことによって,商品の質に関する素人が,商品の質に見合わない価格で商品を購入してしまうという問題がある.そこで筆者らは過去に,買い手が財の質(例えば本物か偽物か)について正確に判断ができない場合に,条件付きの入札が可能なオークションプロトコルを提案した.ここでは,専門家に,自然の選択に関する情報を正しく申告させることによって,合理的なプレイヤが損害を被らないようなオークションプロトコルの設計した.本論文では,上記のような状況において,複数財の組合せに対して入札が可能なオークションを設計する.ここで,専門家が単一の財に関して専門知識をもつ場合と複数の財に専門知識をもつ場合が考えられる.前者の場合でも複雑な問題であるが,後者はより複雑な問題になっている.そこで,本論文では,まず単一の財に関して,専門知識と興味をもつ専門家に商品の質に関する情報を正しく申告させ,素人にとって,真の申告をすることが最適反応戦略になるプロトコルを設計する.本オークションプロトコルの特長は,以下の四つである.(1)専門家にとって,真の申告をすることが支配戦略である.(2)素人にとって,他の素人がどのような申告をするかにかかわらず,専門家が支配戦略をとると仮定した上で真の申告をすることが最良の戦略となる.(3)パレート効率的な割当を実現する.(4)非合理的なプレイヤが存在したとしても,その数が1人ならば,合理的なプレイヤの効用が負になることはない.

著者

辻川 圭乃

出版者

日本発達障害学会

雑誌

発達障害研究 (ISSN:03879682)

巻号頁・発行日

vol.27, no.3, pp.183-196, 2005-09

著者

櫻谷 勝美

出版者

三重大学

雑誌

三重大学法経論叢 (ISSN:02897156)

巻号頁・発行日

vol.21, no.2, pp.B67-B89, 2004-03-15

---

論説 / Article

著者

藤原 譲

出版者

情報知識学会

雑誌

情報知識学会研究報告会講演論文集

巻号頁・発行日

no.11, pp.21-26, 2003-05-24

---

特許に代表される工業所有権は著作権などと併せて、知的財産権と呼ばれ、昨年始め小泉首相が「知的財産立国」を目指して「知的財産戦略会議」(3月)を設け、「知的財産大綱」が7月に制定され、さらに「知的財産基本法」が11月に国会で成立された。遅ればせながら国際的なプロパテントの時流にわが国も乗り出すことになったので、本研究報告会でも特許が取り上げられることになった。この講演では情報知識学の基本とくに基礎理論の現状と今後の展開につき概要を述べ、特許の発明、保護、活用に情報知識学の果たすべき役割と意義を簡単に紹介する。

著者

井上 修

出版者

The Japanese Society on Thrombosis and Hemostasis

雑誌

日本血栓止血学会誌 = The Journal of Japanese Society on Thrombosis and Hemostasis (ISSN:09157441)

巻号頁・発行日

vol.20, no.4, pp.461-467, 2009-08-01

著者

滝川 睦 TAKIKAWA Mutsumu

出版者

名古屋大学文学部

雑誌

名古屋大学文学部研究論集 (ISSN:04694716)

巻号頁・発行日

no.52, pp.1-8, 2006

著者

難波 英嗣 神門 典子 奥村 学

出版者

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

雑誌

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

巻号頁・発行日

vol.42, no.11, pp.2640-2649, 2001-11-15

被引用文献数

13

---

本稿では,論文間の参照・被参照関係,および参照の理由を考慮し,関連論文を 組織化する手法について述べる.これまで,引用分析研究の分野で,論文間の 参照・被参照関係に着目した関連論文を組織化する手法がいくつか提案されて きた.これらの手法はすべての参照を等価に扱っているが,実際には様々な参 照の理由が存在するため,既存の手法では必ずしも論文間の類似度を適切に評 価できない.そこで,本研究では2論文間で同一論文をともに参照しており,かつ それらの参照の理由が一致している結合のみを数えるという方法で,2論文間の 類似度を測る.この手法により,ノイズとなる結合を削減でき,また,従来の 引用分析手法と比べ,精度の向上が期待できる.提案手法の有効性を調べるた めに,実験を行った.実験では,提案手法,引用分析の代表的な手法である書 誌結合,語の共出現を用いたより一般的な組織化の手法(ベクトル空間型モデル) を,精度,フォールアウト,計算コストという3つの側面から比較した.その 結果,提案手法が精度,フォールアウトによる評価で最も優れ,また,計算コ ストの面でも十分に速い速度で論文を組織化できることが分かった.In this paper, we propose a method for classification of research papers using citation links and citation types that indicate the reasons for citations. Several methods has been proposed for classification of papers using citation links in citation analysis. However, most of them treats all citations equally. We therefore refine citation analysis by taking account of citation types. Our method measures similarity between papers by counting the couplings of the same citation types. We compared our method with bibliographic coupling that is a kind of citation analysis and some word-based approaches (vector space model) using precision, fallout, and computational cost. The results of our experiments showed that our method is more effective than other methods.

著者

赤川 宏幸 竹林 英樹 森山 正和

出版者

一般社団法人日本建築学会

雑誌

日本建築学会環境系論文集 (ISSN:13480685)

巻号頁・発行日

vol.73, no.623, pp.85-91, 2008-01-30

被引用文献数

3

---

Radiation environment over the watered pavement and the highly reflective pavement, which have been developed for mitigation of the heat island phenomenon, were compared with that over a paved asphalt and natural turf under the same meteorological condition. Possible absorptions of long- and shortwave radiation by a supposed globe placed at 50cm above these surfaces were calculated. It is found that the highly reflective pavement had a potential to degrade the thermal environment over it due to the increase of reflected solar radiation, while the watered pavement did not have such a side effect. Human thermal environment can be improved more effectively by shading and/or selection of the color of clothes than by changing the types of pavements. The estimated SET^* on the watered pavement showed its superiority over that on the highly reflective pavement from the standpoint of the thermal comfortability at lower leg level.

著者

竹林 英樹 森 真佐雄 芝池 英樹 森山 正和

出版者

一般社団法人日本建築学会

雑誌

日本建築学会技術報告集 (ISSN:13419463)

巻号頁・発行日

no.16, pp.181-184, 2002-12-20

被引用文献数

2

---

The field observation shows that the leaf surface of the vegetation top iscooled to the lowest temperature in the vegetation by the sky radiation, while the air temperature inside the vegetation stays warmer during the clear night. The leaf surface of the vegetation top is refrigerated by the sky radiation, then the air next to the vegetation top is got cooled by the sensible heat exchange from the air to the leaf surfaces. Because of the observation errors on the leaf surface temperature, the calculated results have not completely agreed with the field experiments. The calculation results shows that the atmospheric air is easily got cooled if the leaf area index is large in the tall tree crowns.

著者

Lloyd David A.

出版者

特定非営利活動法人 日本小児外科学会

雑誌

日本小児外科学会雑誌 (ISSN:0288609X)

巻号頁・発行日

vol.32, no.6, pp.858-862, 1996