• 検索結果がありません。

NIST乱数検定ツールの検定項目間対角化手法

N/A
N/A
Protected

Academic year: 2021

シェア "NIST乱数検定ツールの検定項目間対角化手法"

Copied!
5
0
0

読み込み中.... (全文を見る)

全文

(1)

Title

NIST乱数検定ツールの検定項目間対角化手法

Author(s)

岩崎 淳

Citation

福岡工業大学総合研究機構研究所所報 第1巻  P39-P42

Issue Date

2018-12

URI

http://hdl.handle.net/11478/1218

Right

Type

Departmental Bulletin Paper

Textversion Publisher

福岡工業大学 機関リポジトリ 

FITREPO

(2)

NIST ஘ᩘ᳨ᐃࢶ࣮ࣝࡢ᳨ᐃ㡯┠㛫ᑐゅ໬ᡭἲ

ᒾᓮ ῟㸦᝟ሗᕤᏛ㒊᝟ሗᕤᏛ⛉㸧

Diagonalizing method among test items included in NIST randomness test tool

Atsushi I:$6$., 㸦Department of Computer Science and Engineering, Faculty of Information Engineering㸧 Abstract

Randomness tests included in NIST test tool are not independent each other, i.e., the distributions followed by p-value of each test item are not independent. Even if each test item has no problem, the fact makes it difficult to derive the significance level of the test tool as whole items or to introduce a rational criterion for results of the tool. In this paper, we propose a method to solve this problem. The method transforms the distribution followed by each test item’s p-value to the standard normal distribution and assumes that the joint distribution after transformation is a multidimensional normal distribution. Diagonalizing to the joint distribution, the distribution of each test item's p-vale becomes independent each other. In addition, we evaluate this method numerically.

Keywords㸸Random number, Randomness test, Diagonalization

1. ࡣࡌࡵ࡟ つ๎ᛶࡢ࡞࠸㸦ぢ࠸ࡔࡏ࡞࠸㸧ᩘิ࡛࠶ࡿ஘ᩘࡣࠊ᝟ሗࢭ ࢟ࣗࣜࢸ࢕ࠊᬯྕᢏ⾡ࠊࣔࣥࢸ࢝ࣝࣟィ⟬ࠊ⿢ุဨ㑅ฟ࡞࡝ ࡢᢳ㑅ࠊ᳨ရ࡞࡝ࡉࡲࡊࡲ࡞ศ㔝࡛ᛂ⏝ࡉࢀ࡚࠸ࡿࠋࡑࡢཝ ᐦ࡞ᐃ⩏ࡸồࡵࡽࢀࡿᛶ㉁ࡣศ㔝࡟౫Ꮡࡍࡿࠋ஘ᩘࡢ⏕ᡂ ᪉ἲ࡟ࡘ࠸࡚ࡶከ✀ከᵝ࡞◊✲ࡀ࡞ࡉࢀ࡚࠸ࡿࡀࠊ࡯࡜ࢇ ࡝ࡢሙྜ࡟࠾࠸࡚ࡣࠊཝᐦ࡞ព࿡࡛ᐃ⩏㏻ࡾ࠿ࡘせồࡉࢀ ࡿᛶ㉁ࢆࡍ࡭࡚‶ࡓࡍ஘ᩘࢆ⏕ᡂ࡛ࡁ࡞࠸ࠊࡲࡓࡣࠊ⏕ᡂࡋ ࡚࠸ࡿ࡜ಖド࡛ࡁ࡞࠸ࠋ ࡑࡢࡓࡵࠊᐇ⏝ୖࡣᵝࠎ࡞ほⅬ࠿ࡽ⏕ᡂ᪉ἲࡸ⤖ᯝⓗ࡟ ⏕ᡂࡉࢀࡓ஘ᩘࢆホ౯ࡍࡿᚲせࡀ࠶ࡿࠋࡑࡢ୰ࡢ୍ࡘࡢ᪉ ἲࡀ஘ᩘ᳨ᐃ࡜࿧ࡤࢀࡿ௬ㄝ᳨ᐃ࡛࠶ࡿࠋᖐ↓௬ㄝࡣࠕ୚࠼ ࡽࢀࡓᩘิࡣ⌮᝿ⓗ࡟ࣛࣥࢲ࣒࡛࠶ࡿ࡛ࠖ࠶ࡾࠊ஘ᩘࡑࡢࡶ ࡢࢆホ౯ᑐ㇟࡟ࡍࡿࠋࡇࡇ࡛ࠊࠕ⌮᝿ⓗ࡟ࣛࣥࢲ࣒࡛࠶ࡿࠖ ࡜ࡣࠊ݊-bit ࡢᩘิࢆホ౯ࡍࡿሙྜࠊࠕ࠶ࡾ࠺ࡿʹ௡ᮏࡢᩘิࡢ ୰࠿ࡽ➼ࡋ࠸☜⋡࡛㑅ࡤࢀࡓ࡜ࡳ࡞ࡏࡿ㸦࠶ࡿ࠸ࡣࠊࡑࡢࡼ ࠺࡟⪃࠼ࡓ࡜ࡋ࡚ᕪࡋᨭ࠼࡞࠸㸧ࠖ࡜࠸࠺⌮ゎ࡛Ⰻ࠸ࠋ஘ᩘ ᳨ᐃࡣ࠶ࡃࡲ࡛ࡶᐇ㦂ⓗ࡞ホ౯᪉ἲ࡟㐣ࡂࡎࠊࡇࢀ࡟ྜ᱁ ࡋࡓ࠿ࡽ࡜ゝࡗ࡚஘ᩘࡢᛶ㉁ࡢⰋࡉࡀド᫂ࡉࢀࡿࢃࡅ࡛ࡣ ࡞࠸ࠋ୍᪉࡛ࠊ⏕ᡂ᪉ἲ࡟౫ࡽࡎ㐺⏝࡛ࡁࡿࡓࡵỗ⏝ᛶࡀ㧗 ࠸࡜࠸࠺฼Ⅼࡀ࠶ࡿࠋ≉࡟ࠊ᝟ሗࢭ࢟ࣗࣜࢸ࢕࣭ᬯྕࡢホ౯ ࡟Ḟࡃࡇ࡜ࡢ࡛ࡁ࡞࠸ࡶࡢ࡛࠶ࡾࠊᐇ㝿ࠊ⌧ᅾࡢ⡿ᅜඹ㏻㘽 ᬯྕᶆ‽AES(Advanced Encryption Standard)(1)ࡢ㑅ᐃ᫬

࡟ࡣࠊ஘ᩘ᳨ᐃࡢࢸࢫࢺࢭࢵࢺ࡛࠶ࡿNIST SP800-22 ஘ᩘ ᳨ᐃࢶ࣮ࣝ(2)ࡀ౑⏝ࡉࢀࡓࠋ ஘ᩘ᳨ᐃ⮬యࡣ↓ᩘ࡟సࡽࢀ࠺ࡿࡶࡢ࡛ࠊ≉࡟ࣃ࣓࣮ࣛ ࢱࢆኚ࠼ࢀࡤ⡆༢࡟ᩘࢆࡑࢁ࠼ࡿࡇ࡜ࡀ࡛ࡁࡿࠋࡑࡢࡓࡵࠊ ⾜࠺࡭ࡁ஘ᩘ᳨ᐃࢆࡲ࡜ࡵࡓࢸࢫࢺࢭࢵࢺࡀᥦ᱌ࡉࢀ࡚࠸ ࡿࠋ๓㏙ࡢ NIST ஘ᩘ᳨ᐃࢶ࣮ࣝࡶ஘ᩘ᳨ᐃࡢࢸࢫࢺࢭࢵ ࢺࡢ୍ࡘ࡛࠶ࡾࠊ᭱ࡶᗈࡃ౑ࢃࢀ࡚࠸ࡿࠋ᭱᪂∧ࡢrevision 1a ࡛ 15 ✀㢮 188 㡯┠ࡢ᳨ᐃ࡛ᵓᡂࡉࢀ࡚࠸ࡿࡀࠊၥ㢟Ⅼ ࡀᣦ᦬ࡉࢀ࡚࠸ࡿ᳨ᐃࡶྵࡲࢀ࡚࠾ࡾࠊ୍㒊ࡣಟṇࡉࢀࡓ ࡀ(3)(4)ࠊᮍࡔ࡟ᮍಟṇࡢ᳨ᐃࡶṧࡗ࡚࠸ࡿࠋࡲࡓࠊಶࠎࡢ᳨ ᐃ࡜ࡣู࡟ࠊࢸࢫࢺࢭࢵࢺ඲య࡜ࡋ࡚ࡢၥ㢟ࡶᢪ࠼࡚࠸ࡿࠋ ྵࡲࢀ࡚࠸ࡿ᳨ᐃ㡯┠㛫ࡢ㛵ಀ࡟᫂☜࡞▱ぢࡀ࡞࠸ࡇ࡜࡛ ࠶ࡿࠋࡇࡇ᳨࡛ᐃ㡯┠㛫ࡢ㛵ಀ࡜ࡣࠊp ್ࡢ⤖ྜศᕸ࡜ྠ⩏ ࡛࠶ࡿࠋ౛࠼ࡤࠊࠕ᳨ᐃ㡯┠A ࡢ p ್࡜᳨ᐃ㡯┠ B ࡢ p ್ ࡟ࡣṇࡢ┦㛵ࡀ࠶ࡿࠖ㸦ࡍ࡞ࢃࡕࠊࠕ᳨ᐃ㡯┠A ࡟㏻ࡿ࡞ࡽ ᳨ᐃ㡯┠B ࡟ࡶ㏻ࡾࡸࡍ࠸ࠖ㸧࡜࠸࠺ࡇ࡜࡛࠶ࢀࡤࠊಶࠎࡢ ᳨ᐃࡢ᭷ពỈ‽ࢆȽ࡟タᐃࡋࡓ࡜ࡋ᳨࡚ᐃ㡯┠ A ࡜ B ୧᪉ ࡛ᖐ↓௬ㄝࡀ᥇ᢥࡉࢀࡿ☜⋡ࡣሺͳ െ Ƚሻଶ࡟࡞ࡽ࡞࠸ࠋࢸࢫࢺ ࢭࢵࢺ඲య࡜ࡋ࡚ࡢ᭷ពỈ‽ࢆồࡵࡿࠊࡲࡓࡣࠊタᐃࡋࡓ᭷ ពỈ‽࡜࡞ࡿࡼ࠺࡟ࢸࢫࢺࢭࢵࢺ඲య࡜ࡋ࡚ࡢྜྰᇶ‽ࢆ ᐃࡵࡿࡇ࡜ࡣᅔ㞴࡜࡞ࡿࠋࡲࡓࠊᙉ࠸┦㛵ࡀࡳࡽࢀࡿ࡞ࡽ」 ᩘࡢ᳨ᐃࢆᐇ᪋ࡍࡿࡇ࡜ࡣィ⟬㈨※ࡢ↓㥏㐵࠸࡜ゝ࠼ࡼ ࠺ࠋNIST ஘ᩘ᳨ᐃࢶ࣮ࣝ࡟࠾࠸࡚ࡣࠊඛ⾜◊✲᳨࡛ᐃ㡯┠ 㛫࡟ᴫࡡṇࡢ┦㛵ࡀ࠶ࡿࡇ࡜ࡀሗ࿌ࡉࢀ࡚ࡁࡓ(5)(6)ࠋࡍ࡞ࢃ ࡕࠊ⌮᝿ⓗ࡞஘ᩘࡀྜ᱁ࡍࡿ᳨ᐃ㡯┠ᩘࡣࠊ㡯┠ࡀ஫࠸࡟⊂ ❧࡛࠶ࡿሙྜ࡟ẚ࡭ࡿ࡜ከࡃ࡞ࡿഴྥࡀ࠶ࡿࡇ࡜ࢆព࿡ࡋ ࡚࠸ࡿࠋ ᮏ✏࡛ࡣ NIST ஘ᩘ᳨ᐃࢶ࣮ࣝࡢ᳨ᐃ㡯┠㛫ࡢ㠀⊂❧ᛶ ࡢၥ㢟࡟ᑐࡋ࡚ࠊࡑࢀࢆྲྀࡾ㝖ࡃ࢔ࣉ࣮ࣟࢳ࡛ྲྀࡾ⤌ࡴࠋල యⓗ࡟ࡣࠊ」ᩘࡢ᳨ᐃ㡯┠ࢆ㏻ࡌ࡚ᚓࡽࢀࡓ p ್ࡢࢭࢵࢺ

(3)

ᒾᓮ ῟ ࢆኚ᥮ࡋࠊ⊂❧࡞ศᕸ࡟ᚑ࠺ࡼ࠺࡟ࡍࡿࡇ࡜ࢆ┠ᣦࡍࠋ 2. NIST SP800-22 ஘ᩘ᳨ᐃࢶ࣮ࣝ NIST SP800-22 ஘ᩘ᳨ᐃࢶ࣮ࣝࡢ᭱᪂∧ revision 1a ࡣ ௨ୗࡢ15 ✀㢮ࡢ᳨ᐃ࡛ᵓᡂࡉࢀ࡚࠸ࡿ㸸 1. Frequency Test

2. Frequency Test within a Block 3. Runs Test

4. Tests for the Longest-Run-of-Ones in a Block 5. Binary Matrix Rank Test

6. Discrete Fourier Transform Test

7. Non-overlapping Template Matching Test 8. Overlapping Template Matching Test 9. Maurer’s “Universal Statistical” Test 10. Linear Complexity Test

11. Serial Test

12. Approximate Entropy Test 13. Cumulative Sums Test 14. Random Excursions Test 15. Random Excursion Variant Test

ࡇࢀࡽ 15 ✀㢮ࡢ᳨ᐃࡀᐇ⿦ࡉࢀࡓࢧࣥࣉࣝࣉࣟࢢ࣒ࣛࡀ NIST ࠿ࡽᥦ౪ࡉࢀ࡚࠸ࡿࠋࢧࣥࣉࣝࣉࣟࢢ࣒࡛ࣛࡣࠊࣃࣛ ࣓࣮ࢱࢆኚ࠼ࡿ࡞࡝ࡋ࡚ 1 ✀㢮࡟ᑐࡋ࡚」ᩘࡢ᳨ᐃࢆᐇ᪋ ࡍࡿࡶࡢࡶྵࡲࢀ࡚࠾ࡾࠊ⥲ィ188 㡯┠ࡢ᳨ᐃࡀ⾜ࢃࢀࡿࠋ  NIST ஘ᩘ᳨ᐃࢶ࣮ࣝࡣ」ᩘᮏࡢᩘิ࡟ᑐࡋ᳨࡚ᐃࢆ⾜ ࠺ࠋࡍ࡞ࢃࡕࠊ㛗ࡉ݊-bitൈ ݉ᮏ࡜࠸࠺ᙧ᳨࡛ᐃᑐ㇟࡜࡞ࡿᩘ ิࡀ୚࠼ࡽࢀࠊྛ᳨ᐃ୍࡛ᮏ୍ᮏࡢᩘิ࡟ᑐࡋ࡚ p ್ࡀィ ⟬ࡉࢀࡿࠋࡓࡔࡋࠊ౛እⓗ࡟Random Excursions Test ࡜ Random Excursion Variant Test ࡢ 2 ✀ 16 㡯┠࡟㛵ࡋ࡚ࡣ ᩘิ࡟ࡼࡗ࡚ࡣ᳨ᐃࢆ⾜ࢃ࡞࠸࡜࠸࠺࢜ࣉࢩࣙࣥࡀ࠶ࡾࠊ݉ ᮏࡢᩘิࡍ࡭࡚࡟ᑐࡋ࡚p ್ࡀィ⟬ࡉࢀࡿࢃࡅ࡛ࡣ࡞࠸ࠋ  ྛ᳨ᐃ㡯┠ࡢྜྰࡣࠊࡑࡢ᳨ᐃ࡛ᚓࡽࢀࡓࡍ࡭࡚ࡢ p ್ ࢆ⏝࠸࡚ࠊࡉࡽ࡟௨ୗࡢ2 ㏻ࡾࡢ᳨ᐃࢆ⾜࠸ุᐃࡉࢀࡿ㸸 z [Proportion Test] ͲǤͲͳࢆୗᅇࡗࡓ p ್ࡢಶᩘࡀᖹᆒ 㸦ͲǤͲͳ݉㸧േ ͵ ൈᶆ‽೫ᕪ㸦ඥሺͲǤͲͳሻሺͲǤͻͻሻ݉㸧ࡢ⠊ᅖෆ ࡞ࡽྜ᱁ࠊࡑ࠺࡛࡞ࡅࢀࡤᖐ↓௬ㄝࢆᲠ༷ࡍࡿࠋ z [Uniformity Test] Ͳ࠿ࡽͳࡢ༊㛫ࢆͳͲಶࡢࣅࣥ࡟➼ศ๭ ࡋࠊྛࣅࣥ࡟ධࡗ࡚࠸ࡿ S ್ࡢಶᩘࢆ࢝࢖஧஌᳨ᐃ࡟ ࠿ࡅࠊࡑࡢp ್ࡀͲǤͲͲͲͳࡼࡾ኱ࡁࡅࢀࡤྜ᱁ࠊࡑ࠺࡛ ࡞ࡅࢀࡤᖐ↓௬ㄝࢆᲠ༷ࡍࡿࠋ ⌮᝿ⓗ࡞ሙྜ࡟࠾࠸࡚ࠊProportion Test ࡢ᭷ពỈ‽ࡣ⣙ ͲǤͲͲʹ͸࡛࠶ࡿࠋUniformity Test ࡣ᭷ពỈ‽ࡀͲǤͲͲͲͳ࡜ᴟࡵ ࡚ᑠࡉ࠸ࡢ࡛ࠊ⌮᝿ⓗ࡞஘ᩘࢆᲠ༷ࡍࡿࡇ࡜ࡣࡵࡗࡓ࡟㉳ ࡇࡽ࡞࠸ࠋ 3. ᥦ᱌ᡭἲ ᳨ᐃ㡯┠㛫ࡢ㠀⊂❧ᛶ࠿ࡽ⏕ࡌࡿၥ㢟࡟ᑐࡋ࡚ゎỴἲࢆ ⪃࠼࡚࠸ࡃࠋࡲࡎࠊࠕ᳨ᐃ㛫ࡢ┦㛵ࢆྲྀࡾ㝖ࡅࡤࠊ㸦ᐇ⏝ୖ㸧 ⊂❧࡜ࡳ࡞ࡏࡿࠖ࡜࠸࠺ࡊࡗࡃࡾ࡜ࡋࡓ௬ᐃࢆ࠾ࡇ࠺ࠋ୍⯡ ㄽ࡜ࡋ࡚㠀⊂❧ᛶࢆ᏶඲࡟ྲྀࡾ㝖ࡃࡇ࡜ࡣ㞴ࡋ࠸ࠋࡋ࠿ࡋࠊ ┦㛵ࢆྲྀࡾ㝖ࡃࡇ࡜ࡣඹศᩓ⾜ิࡢᑐゅ໬࡟ࡼࡾ⾜࠼ࡿࡢ ࡛ࠊࡇࡢ௬ᐃ࡟ࡼࡾၥ㢟ࡣࡎ࠸ࡪࢇ⡆༢࡟࡞ࡿࠋ

࡞࠾ࠊRandom Excursions Test ࡜ Random Excursion Variant Test ࡣ౛እⓗ࡟ᢅ࠸࡟ࡃ࠸ࡓࡵࠊࡇࢀࡽࢆ㝖࠸ࡓ 13✀ 162᳨ᐃࡢࡳࢆ⪃࠼ࡿࡇ࡜࡟ࡍࡿࠋࡲࡓࠊྛ᳨ᐃ࡟ࡣ ඲ࡃၥ㢟ࡣ࡞ࡃࠊᖐ↓௬ㄝࡢୗ࡛ࡢྛ᳨ᐃࡢ p ್ࡢศᕸࡣ ᏶඲࡟ሾͲǡͳሿ̿ᵝศᕸ࡛࠶ࡿ࡜ࡍࡿࠋ ࠑ3㺃1ࠒඹศᩓ⾜ิࡢᑐゅ໬ ྛ᳨ᐃ㡯┠࡟ 1࠿ࡽ 162ࡲ࡛ࡢ␒ྕࢆ௜ࡅࡿࡇ࡜࡟ࡋࡼ ࠺ࠋ㸦ලయⓗ࡟ࡣࢧࣥࣉࣝࣉࣟࢢ࣒ࣛࡢ⾲♧㡰࡜ࡍࡿࠋ㸧ࡲ ࡓࠊ᳨ᐃᑐ㇟ࡢ݉ᮏࡢᩘิ࡟ࡶͳ࠿ࡽ݉ࡲ࡛ࡢ␒ྕࡀ᣺ࡽࢀ ࡚࠸ࡿ࡜ࡍࡿࠋ᳨ᐃ㡯┠j࡛ᩘิ݅࡟ᑐࡋ࡚ồࡲࡗࡓ p ್ࢆ ݌௜ǡ௝࡜᭩ࡃࡇ࡜࡟ࡋࠊ ܲǣ ൌ ൭ ݌ଵǡଵ ڮ ݌௠ǡଵ ڭ ڰ ڭ ݌ଵǡଵ଺ଶ ڮ ݌௠ǡଵ଺ଶ ൱ ࡜ᐃ⩏ࡍࡿࠋ ᳨ᐃ㡯┠݅࡜݆ࡢ p ್ࡢඹศᩓࢆܿ௜ǡ௝࡜ࡋ࡚ࠊሺ݅ǡ ݆ሻ-ᡂศࡀܿ௜ǡ௝ ࡛࠶ࡿͳ͸ʹ ൈ ͳ͸ʹࡢ⾜ิܥࢆඹศᩓ⾜ิ࡜ࡍࡿࠋ⾜ิܥࡣᙜ↛ ᐇᑐ⛠⾜ิ࡛࠶ࡿ࠿ࡽࠊ࠶ࡿ┤஺⾜ิܮࡀᏑᅾࡋ࡚ܮ୘ܥܮ࡜ᑐ ゅ໬࡛ࡁࡿࠋ ḟ࡟ࠊඛ࡟ᐃ⩏ࡋࡓܲ࡜ܮࢆ⏝࠸࡚ ܲᇱؔ ܮܲ ࡜ᐃ⩏ࡋࠊܲᇱࡢྛ⾜ࢆ᪂ࡓ࡟ྛ᳨ᐃ㡯┠࡛ᚓࡽࢀࡓ p ್ࡢ ࢭࢵࢺࡔ࡜ᛮ࠸࡞࠾ࡍࠋ㸦Ỵࡋ࡚ྛ⾜࡟ᑐᛂࡍࡿ᳨ᐃࡀ࠶ࡿ ࢃࡅ࡛ࡣ࡞࠸ࠋ࠶ࡃࡲ࡛ࡶࠊ༢࡟౽ᐅⓗ࡟ࡑࡢࡼ࠺࡟⪃࠼ࡿ ࡔࡅ࡛࠶ࡿࠋ㸧ࡑ࠺ࡍࡿ࡜ࠊྛ᳨ᐃ㡯┠ࡢp ್ࡢศᕸࡣ↓┦ 㛵࡟࡞ࡿࠋ ࠑ3㺃2ࠒၥ㢟Ⅼ  ඛ࡟♧ࡋࡓඹศᩓ⾜ิࡢᑐゅ໬ἲ࡟ࡣ௨ୗࡢࡼ࠺࡞ၥ㢟 ࡀ࠶ࡿࠋ z ᖐ↓௬ㄝࡢୗ࡛ࡢp ್ࡢ⤖ྜศᕸࡀᮍ▱࡞ࡢ࡛ࠊඹ ศᩓ⾜ิܥࢆ⌮ㄽⓗ࡟ồࡵࡿࡇ࡜ࡣฟ᮶࡞࠸ࠋ z ኚ᥮ᚋࡢྛ᳨ᐃ㸦ܲᇱࡢྛ⾜㸧࡛ࡣp ್ࡀ୍ᵝศᕸ࡟ ࡞ࡽ࡞࠸ࠋ ࡇࡢ࠺ࡕ୍Ⅼ┠࡟㛵ࡋ࡚ࡣࠊᐇ㦂ⓗ࡟ᚓࡽࢀࡿศᕸ࠿ࡽィ ⟬ࡉࢀࡿඹศᩓ⾜ิ࡛௦⏝ࡍࡿࡇ࡜࡛ࡦ࡜ࡲࡎゎỴ࡛ࡁࡼ ࠺ࠋ஧Ⅼ┠࡟㛵ࡋ࡚ࡣ௨ୗࡢࡼ࠺࡞᪉㔪࡛ᑐฎࡍࡿ㸸 1. p ್ࢆ㐃⥆࡞㛵ᩘࢆ⏝࠸࡚ኚ᥮ࡋࠊྛ᳨ᐃࡢ p ್ࡢศ ᕸࢆᶆ‽ṇつศᕸ࡟ࡍࡿࠋࡉࡽ࡟ࠕ」ᩘࡢ᳨ᐃ࡛ࡢ p ್ࡢ⤖ྜศᕸࡣከḟඖṇつศᕸ࡟ᚑࡗ࡚࠸ࡿࠖ࡜ࡢ௬ ᐃࢆ࠾ࡃࠋ 2. ࡇࡢ≧ែ࡛ඹศᩓ⾜ิࢆồࡵࠊࡑࢀࢆᑐゅ໬ࡍࡿ┤஺ ⾜ิࢆ⏝࠸࡚p ್ࢆኚ᥮ࡍࡿࠋከḟඖṇつศᕸࡢᛶ㉁ ࠿ࡽኚ᥮ᚋࡢศᕸࡣࠊྛ࿘㎶ศᕸࡀ⊂❧࡞ṇつศᕸ࡟ ࡞ࡗ࡚࠸ࡿࡣࡎ࡛࠶ࡿࠋ 3. ᭱ᚋ࡟ྛ࿘㎶ศᕸࢆⓑⰍ໬ࡋࠊศᕸࢆࢫࢸࢵࣉ1 ࡢ㏫ ኚ᥮࡛ሾͲǡͳሿ୍ᵝศᕸ࡟࡞࠾ࡍࠋ ࢫࢸࢵࣉ 2 ࡛ྛ࿘㎶ศᕸࡀ⊂❧࡟࡞ࡿࡢ࡛ࠊ௨ୖࡢᡭ㡰ࡢ ኚ᥮࡛ྛ᳨ᐃࡢ⤖ᯝࡣ᏶඲࡟⊂❧࡟࡞ࡿࠋ

(4)

ࠑ3㺃3ࠒኚ᥮ἲ  ௨ୖ㏙࡭࡚ࡁࡓࡇ࡜ࢆࡲ࡜ࡵࠊኚ᥮ἲࢆලయⓗ࡟㏙࡭࡚ ࠾ࡇ࠺ࠋ௨ୗࡢࡼ࠺࡞ᡭ㡰࡛࠶ࡿ㸸 1. ⾜ิܲࡢྛᡂศࢆ ݌ հ ‡”ˆିଵሺʹ݌ െ ͳሻ ࡜ኚ᥮ࡋࡓ⾜ิܳࢆồࡵࡿࠋࡇࡇ࡛ erf ࡣㄗᕪ㛵ᩘ࡛࠶ ࡿࠋ 2. ⾜ิܳ࠿ࡽඹศᩓ⾜ิܥመࢆィ⟬ࡍࡿࠋ 3. ඹศᩓ⾜ิܥመࢆᑐゅ໬ࡍࡿ┤஺⾜ิܮ෠ࢆồࡵࠊ ܳᇱؔ ܮ෠ܳ ࡜ࡍࡿࠋ 4. ⾜ิܳᇱࡢ➨݅⾜ࡢᡂศ࠿ࡽࡑࡢᖹᆒ್ߤ ௜࡜ᶆ‽೫ᕪߪ௜ ࢆィ⟬ࡋࠊྛሺ݅ǡ ݆ሻ-ᡂศݍ௜ǡ௝ࢆ ݍ௜ǡ௝հ ݍ௜ǡ௝െ ߤ௜ ߪ௜ ࡜ኚ᥮ࡋࡓ⾜ิܳᇱᇱࢆồࡵࡿࠋ 5. ⾜ิܳᇱᇱࡢྛᡂศࢆ ݍᇱᇱհ‡”ˆሺݍ ᇱᇱሻ ൅ ͳ ʹ ࡜ኚ᥮ࡋࡓ⾜ิܲᇱࢆồࡵࡿࠋ㸦⾜ิܲࡢྛ⾜ࡀኚ᥮ᚋࡢ ྛ᳨ᐃ㡯┠ࡢp ್࡜࡞ࡿࠋ㸧 ௨ୖࡢᡭ㡰࡛ྛ᳨ᐃࡀ⊂❧࡛ࠊ࠿ࡘࠊS ್ࡀ୍ᵝศᕸ࡟ᚑ࠺ ࡼ࠺࡟࡞ࡿࠋ⨨࠿ࢀ࡚࠸ࡿ௬ᐃࢆ☜ㄆࡋ࡚࠾ࡃ࡜ࠊ z 㸦ኚ᥮๓ࡢ㸧ྛ᳨ᐃ㡯┠࡛ࡢp ್ࡢศᕸࡣሾͲǡͳሿ୍ᵝศ ᕸ࡛࠶ࡿ z ྛ᳨ᐃ㡯┠ࡢp ್ࡢศᕸࢆᶆ‽ṇつศᕸ࡟ኚ᥮ࡋࡓ࡜ ࡁ」ᩘࡢ᳨ᐃ࡛ࡢp ್ࡢ⤖ྜศᕸࡣከḟඖṇつศᕸ࡟ ࡞ࡗ࡚࠸ࡿ ࡢ  Ⅼ࡛࠶ࡿࠋ୍Ⅼ┠࡟㛵ࡋ࡚ࡣࠊྛ✀ၥ㢟ࡣ࠶ࡿࡅࢀ࡝ ࡶࠊࡑࡶࡑࡶྛ᳨ᐃࡣ p ್ࡀ୍ᵝศᕸ࡟࡞ࡿࡇ࡜ࢆᮇᚅࡋ ࡚㸦࠶ࡿ࠸ࡣࠊ┠ᣦࡋ࡚㸧タィࡉࢀ࡚࠸ࡿࡢ࡛୙⮬↛࡞௬ᐃ ࡜ࡣ࠸࠼࡞࠸࡛࠶ࢁ࠺ࠋ஧Ⅼ┠ࡢ௬ᐃࡣ௨ୗࡢࡼ࠺࡟⪃࠼ ࢀࡤࡼ࠸ࠋࡍ࡞ࢃࡕࠊ᳨ᐃ㡯┠㛫ࡢ㠀⊂❧ᛶࡣᐇ⏝ୖࡢࢿࢵ ࢡ࡟࡞ࡗ࡚࠸ࡿࡅࢀ࡝ࡶࠊࡶ࡜ࡶ࡜ྛ᳨ᐃ㡯┠ࡣ⊂❧࡟㏆ ࡃࠊ㠀⊂❧ᛶࡢ࡯࡜ࢇ࡝ࡣ⥺ᙧ࡞┦㛵ᵓ㐀࡜ࡋ࡚࡜ࡽ࠼ࡽ ࢀࡿࠋࡑ࠺ࡍࡿ࡜ࠊ஧Ⅼ┠ࡢ௬ᐃࡶ㏆ఝⓗ࡟ጇᙜ࡜࠸࠼ࡿࡔ ࢁ࠺ࠋ 4. ᐇ㦂 ᥦ᱌ᡭἲࡢᩘ್ⓗ࡞ホ౯ࢆ⾜࠺ࠋ ࠑ4㺃1ࠒᐇ㦂㸯 ࣓ࣝࢭࣥࢾࢶ࢖ࢫࢱ  ࢆ⏝࠸࡚ᩘิࢆసᡂࡋࠊᐇ㦂ࢆ⾜ࡗ ࡓࠋ1,67 ࡣ᳨ᐃᑐ㇟࡜࡞ࡿᩘิࡢࣅࢵࢺ㛗 ݊ ൌ ͳͲͲͲͲͲͲࠊ ᳨ᐃᮏᩘ݉ ൌ ͳͲͲͲࢆ஘ᩘ᳨ᐃࢶ࣮ࣝ౑⏝᫬ࡢ᥎ዡ್࡜ࡋ࡚ ࠸ࡿࠋࡇࢀࢆ㋃ࡲ࠼࡚ࠊࡲࡎ ݊ ൌ ͳͲͲͲͲͲͲࠊ݉ ൌ ͳͲͲͲͲͲͲ࡜ ࡋ᳨࡚ᐃࡢᐇ᪋ࠊᥦ᱌ᡭἲ࡟ࡼࡿኚ᥮ࢆ⾜࠸ࠊኚ᥮ᚋࡢ⤖ᯝ ࢆྛࢭࢵࢺͳͲͲͲᮏࡎࡘࡢͳͲͲͲࢭࢵࢺ࡟ศ๭ࡋ࡚ホ౯ࡋࡓࠋ ࡲࡓࠊඹศᩓ⾜ิࢆᑐゅ໬ࡍࡿ┤஺⾜ิࡢ㑅ࡧ᪉࡟ࡣ௵ព ᛶࡀṧࡿࡀࠊኚ᥮ᚋࡢᅛ᭷್ࡀ኱ࡁࡉࡢ㡰࡛ᑐゅ⾜ิ࡟୪ ࡪࡼ࠺࡟㑅ࡪࡇ࡜࡟ࡍࡿࠋ  ᅗ  ࡣኚ᥮ᚋࡢྛ᳨ᐃ㡯┠࡛ 3URSRUWLRQ 7HVW ࡟ࡼࡾᲠ ༷ࡉࢀࡓࢭࢵࢺᩘࢆ♧ࡋ࡚࠸ࡿࠋ኱ࡁ࡞ᅛ᭷್࡟ᑐᛂࡍࡿ ᳨ᐃ㡯┠࡜ᑠࡉ࡞ᅛ᭷್࡟ᑐᛂࡍࡿ᳨ᐃ㡯┠㸦୧➃ࡢ᳨ᐃ 㡯┠㸧࡛ㄗᕪ㸦➨୍✀㐣ㄗ㸧ࡢ⠊ᅖࢆ኱ࡁࡃ㉸࠼࡚Რ༷ࡉࢀ ࡚࠸ࡿࡢࡀぢ࡚ྲྀࢀࡿࠋᥦ᱌ᡭἲ࡛࠾࠿ࢀ࡚࠸ࡿ  ࡘࡢ௬ ᐃࡀ㸦ᑡ࡞ࡃ࡜ࡶཝᐦ࡟ࡣ㸧‶ࡓࡉࢀ࡚࠸࡞࠸ࡋࢃᐤࡏࡀࡁ ࡚࠸ࡿࡶࡢ࡜ゎ㔘࡛ࡁࡿࠋ㏫࡟ゝ࠺࡜ࠊኚ᥮๓ࡣከࡃࡢ᳨ᐃ 㡯┠࡟ரࡗ࡚Ꮡᅾࡋ࡚࠸ࡓၥ㢟Ⅼࢆࠊኚ᥮࡟ࡼࡾ୧➃ࡢ᳨ ᐃ㡯┠࡟㞟ࡵࡿࡇ࡜ࡀ࡛ࡁ࡚࠸ࡿ࡜ࡶ࠸࠼ࡿࠋ ࠑ4㺃2ࠒᐇ㦂 2  ᐇ㦂  ࢆ㋃ࡲ࠼ࡿ࡜ࠊᥦ᱌ᡭἲ࡟ࡼࡿኚ᥮ࢆ⾜ࡗࡓᚋ࡛ࠊ ୧➃ࡢ᳨ᐃ㡯┠ࢆྲྀࡾ㝖ࡅࡤ᭷ព⩏࡞᳨ᐃ⤖ᯝࢆྲྀࡾฟࡏ ࡿࡶࡢ࡜ᮇᚅ࡛ࡁࡿࠋࣃ࣓࣮ࣛࢱࡣᐇ㦂  ࡜ྠᵝ࡟ࡋࠊ࣓ࣝ ࢭࣥࢾࢶ࢖ࢫࢱ  ࢆ⏝࠸ࡓ᳨ᐃ࡜ኚ᥮ࢆ  ᅇࠊ$(6  ࢆ &75 ࣮ࣔࢻ࡛౑⏝ࡋ࡚  ᅇ⾜ࡗࡓࠋࡑࡢᚋࠊ୧➃࠿ࡽ᳨ᐃࢆ  ࡘ ࡎࡘ㸦ࡍ࡞ࢃࡕࠊ࣡ࣥࢫࢸࢵࣉ࡛  ࡘ㸧๐㝖ࡋ࡚࠸ࡁᣲືࢆ ᅗ1 ኚ᥮ᚋࡢྛ᳨ᐃ㡯┠࡟࠾ࡅࡿᲠ༷ࢭࢵࢺᩘ Fig. 1. Number of sets rejected by each test

item after transformation.

ᅗ 2 ྲྀࡾ㝖࠸ࡓ᳨ᐃ㡯┠ᩘ࡜඲㡯┠࡟ྜ᱁ࡋࡓࢭࢵࢺᩘ

ࡢ㛵ಀ

Fig. 2.  Relationship between number of removed test items and number of sets passing all test items.

(5)

ᒾᓮ ῟ ㄪ࡭ࡓࠋ ᅗ  ࡣ๐㝖ࡋࡓ᳨ᐃ㡯┠ᩘ࡜ṧࡗࡓ᳨ᐃ㡯┠࡟ࡍ࡭࡚ྜ ᱁ࡋࡓࢭࢵࢺᩘࢆ⾲ࡋ࡚࠸ࡿࠋኚ᥮ᚋࡣ࠾࠾ࡼࡑࠊ ࠿ࡽ  ⛬ᗘࡢ᳨ᐃ㡯┠ࢆྲྀࡾ㝖ࡅࡤ⌮᝿ⓗ࡞ሙྜ࡟୍⮴ࡋ࡚࠸ ࡿࡇ࡜ࡀぢ࡚ྲྀࢀࡿࠋ ኚ᥮๓࡟࠾࠸࡚ࡣࠊ᳨ᐃ㡯┠ࡢ୪ࡧ࡟≉ẁࡢព࿡ࡣ࡞࠸ ࡢ࡛ࠊྲྀࡾ㝖ࡃ᳨ᐃ㡯┠ࢆ୧➃࠿ࡽ㡰࡟㑅ࡪࡇ࡜࡟ព࿡ࡣ ࡞࠸࠿ࡶࡋࢀ࡞࠸ࠋࡑࡢព࿡࡟࠾࠸࡚ࡣࠊࡇࡢᐇ㦂ࡢ⤖ᯝ࠿ ࡽኚ᥮ᚋࡢඃ఩ᛶࢆ୺ᙇࡍࡿࡢࡣ࢔ࣥࣇ࢙࢔࡛࠶ࢁ࠺ࠋࡋ ࠿ࡋ࡞ࡀࡽࠊ࡛ࡣ࡝࠺࠸࠺㡰␒࡛ྲྀࡾ㝖ࡅࡤࡼ࠸ࡢ࠿ࡣ୙ ࡛᫂࠶ࡿ࠿ࡽࡋ࡚ࠊᥦ᱌ᡭἲࡣ㡰␒ࢆ᫂☜࡟࡛ࡁࡓ࡜࠸࠺ Ⅼ࡟ព⩏ࡀ࠶ࡿࠋ 5. ࡲ࡜ࡵ ᳨ᐃ࡟ࡼࡾᚓࡽࢀࡓ p ್ࡢ㞟ྜࢆኚ᥮ࡍࡿࡇ࡜࡛ࠊ᳨ᐃ 㡯┠㛫ࡢ㠀⊂❧ᛶࢆྲྀࡾ㝖ࡃ᪉ἲ࡟ࡘ࠸࡚ᥦ᱌ࡋࡓࠋᥦ᱌ ᡭἲ࡟࠾࠸࡚ࡣࠊṇつศᕸࢆ௓ࡍࡿࡇ࡜࡛ࠊኚ᥮ᚋࡢ p ್ ࡢศᕸࢆ୍ᵝศᕸ࡟ࡍࡿࡇ࡜ࡀ࡛ࡁࡿࠋᩘ್ⓗ࡞ホ౯࡟ࡼ ࡿ࡜ኚ᥮ᚋࡢศᕸࡣ⌮᝿ⓗ࡞ሙྜ࠿ࡽࡎࢀ࡚࠸ࡿࠋࡇࢀࡣ ㏵୰࡟⨨࠿ࢀ࡚࠸ࡿ௬ᐃࡀཝᐦ࡟ࡣ‶ࡓࡉࢀ࡚࠸࡞࠸ࡇ࡜ ࡢᙳ㡪࡛࠶ࡿ࡜⪃࠼ࡽࢀࡿࠋࡋ࠿ࡋ࡞ࡀࡽࠊኚ᥮ᚋࡢ᳨ᐃ㡯 ┠ࢆ࠸ࡃࡘ࠿๐㝖ࡍࡿࡇ࡜࡛ၥ㢟ࡣゎỴࡋ࠺ࡿࠋ  ㅰ㎡ ᮏ◊✲ࡣࠊᖹᡂ29 ᖺᗘ◊✲㈝㸦᪂௵ࢫࢱ࣮ࢺ࢔ࢵࣉᨭ᥼㸧 ࡢຓᡂࢆཷࡅࡓࠋ 㸦ᖹᡂ㸱㸮ᖺ㸶᭶㸱㸮᪥ཷ௜㸧 ᩥ   ⊩

(㸯) 1DWLRQDO ,QVWLWXWH RI 6WDQGDUGV DQG 7HFKQRORJ\ ͆6SHFLILFDWLRQ IRU WKH $'9$1&(' (1&5<37,21 67$1'$5' $(6 ͇),363XE  

( 㸰 ) 1DWLRQDO ,QVWLWXWH RI 6WDQGDUGV DQG 7HFKQRORJ\ ͆$ 6WDWLVWLFDO 7HVW 6XLWH IRU 5DQGRP DQG 3VHXGRUDQGRP 1XPEHU *HQHUDWRUV IRU &U\SWRJUDSKLF $SSOLFDWLRQV͇ 6SHFLDO 3XEOLFDWLRQ5HYLVLRQD  

(㸱) 6.LP.8PHQRDQG$+DVHJDZD͆2QWKH1,676WDWLVWLFDO 7HVW 6XLWH IRU 5DQGRPQHVV͇ 7HFKQLFDO UHSRUW RI ,(,&( ,6(&   (㸲) .+DPDQRDQG7.DQHNR͆&RUUHFWLRQRIRYHUODSSLQJWHPSODWH PDWFKLQJWHVWLQFOXGHGLQ1,67UDQGRPQHVVWHVWVXLWH͇,(,&( WUDQVDFWLRQVRQIXQGDPHQWDOVRIHOHFWURQLFVFRPPXQLFDWLRQV DQGFRPSXWHUVFLHQFHV9RO1RSS   (㸳) '/LKXD=<RQJDQG-/LJDQJ͆6WXG\RQWKH3DVV5DWHRI 1,67 63 6WDWLVWLFDO 7HVW 6XLWH͇ LQ 3URF RI  7HQWK,QWHUQDWLRQDO&RQIHUHQFHRQ&RPSXWDWLRQDO,QWHOOLJHQFH DQG6HFXULW\SS  

(㸴) $,ZDVDNL͆$QDO\VLVRI1,6763IRFXVLQJRQUDQGRPQHVV

RIHDFKVHTXHQFH͇-6,$0/HWWHUV9RSS   (㸵) 0 0DWVXPRWR DQG 7 1LVKLPXUD ͆0HUVHQQH WZLVWHU $ 

GLPHQVLRQDOO\ HTXLGLVWULEXWHG XQLIRUP SVHXGRUDQGRP QXPEHU JHQHUDWRU͇ $&0 720$&66SHFLDO LVVXH RQ XQLIRUP UDQGRP QXPEHUJHQHUDWLRQ9RO1RSS  

Fig. 2.  Relationship between number of  removed test items and number of sets passing  all test items

参照

関連したドキュメント

For the multiparameter regular variation associated with the convergence of the Gaussian high risk scenarios we need the full symmetry group G , which includes the rotations around

The maximum likelihood estimates are much better than the moment estimates in terms of the bias when the relative difference between the two parameters is large and the sample size

[56] , Block generalized locally Toeplitz sequences: topological construction, spectral distribution results, and star-algebra structure, in Structured Matrices in Numerical

By interpreting the Hilbert series with respect to a multipartition degree of certain (diagonal) invariant and coinvariant algebras in terms of (descents of) tableaux and

Keywords: continuous time random walk, Brownian motion, collision time, skew Young tableaux, tandem queue.. AMS 2000 Subject Classification: Primary:

The study of the eigenvalue problem when the nonlinear term is placed in the equation, that is when one considers a quasilinear problem of the form −∆ p u = λ|u| p−2 u with

Having this product and a product integral in a Fr´ echet space (see [6]), we obtain the exact formula (11) for the solution of problem (1), being an extension of a similar formula

The main purpose of the present paper is a development of the fibering method of Pohozaev [17] for the investigation of the inhomogeneous Neumann boundary value problems