Bulletin of JSSAC(2014) Vol. 20, No. 2, pp (Received 2013/11/27 Revised 2014/3/27 Accepted 2014/5/26) It is known that some of number puzzles ca
|
|
- あいね いちぞの
- 4 years ago
- Views:
Transcription
1 Bulletin of JSSAC(2014) Vol. 20, No. 2, pp (Received 2013/11/27 Revised 2014/3/27 Accepted 2014/5/26) It is known that some of number puzzles can be solved by using Gröbner bases. In this paper, we discuss methods for solving four kinds of number puzzles (Sudoku, Kakkuro, Hashiwokakero and Tile Paint) by using Gröbner bases. Especially, we study the following question. Of what kind of difficulty can Gröbner bases computation programs solve number puzzles? In order to give some answers of this question, we analyze data of the computation experiments. Moreover, in this paper, we introduce efficient techniques for solving number puzzles. Number puzzles have a lot of hidden mathematics rules and useful properties. We introduce these rules and properties, and describe how to translate these ones into algebraic systems of polynomial equations. In general, the Gröbner bases technique for solving number puzzles, is not considered as a good solver for number puzzles, but we show that the Gröbner bases technique can be a good solver for one of the four puzzles (Tile Paint). 1 [1, 2, 3, 4, 7, 9] 1 Risa/Asir[18] nabeshima@tokushima-u.ac.jp c 2014 Japan Society for Symbolic and Algebraic Computation
2 Risa/Asir (1) (2) [1, 3, 4] (3) [3, 7] 2 PC1: PC2: PC OS:Windows 7 Professional (64bit)CPU: Intel(R) Xeon (R) X560@ 2.67GHz 2.66GHzRAM:48GB PC OS:Windows 7 Home Premium(64bit)CPU: Intel(R) Core (TM) i CPU@ 3.40GHz 3.40GHzRAM:4GB time CPU seconds> 2h> 3h > 5h Risa/Asir version Kobe Distribution x i [3] Proposition 3 [3] Proposition 3
3 Bulletin of JSSACVol. 20, No. 2, I x 1... x n I {x i a i i = 1,..., n} a i { } 2 n n n 1 x i i 1 1 n 1 1. x i F i := n (x i j) j= n 2 x i x j G i j := F i F j x i x j [3] [1, 2, 3, 5, 6, 7, 16] [5, 6, 7] Risa/Asir dp_gr_main [1, 3, 16] Risa/Asir dp_gr_main x j x j [3]
4 ) dp_gr_main 1 PC2 Risa/Asir 1 time time time > 2h 1 17 > 2h > 2h 2 17 > 2h > 2h 3 17 > 2h > 2h > 2h 5 18 > 2h > 2h 6 25 > 2h > 2h 7 17 > 2h > 2h 8 17 > 2h > 2h 9 17 > 2h > 2h : 2.2 (1) (2) (3) 1 1)
5 Bulletin of JSSACVol. 20, No. 2, [10] Web (1) (3) (2) [3] 1: 2: Risa/Asir 2 kakuro([[5,[x1,x2]],[17,[x3,x4,x5,x6]],[6,[x7,x8]],[4,[x9,x10]],[10,[x11,x 12,x13,x14]],[3,[x15,x16]],[14,[x3,x7]],[11,[x1,x4,x8,x11]],[4,[x2,x5]],[3,[x12,x15]],[10,[x6,x9,x13,x16]],[3,[x10,x14]]]); [x5-1,-x16+1,x15-2,-x14+2,x13-4,-x12+1,-x11+3,x10-1,-x9+3,-x8+1,-x6+2,-x4+ 5,-x2+3,x1-2,x7-5,-x3+9] 2 x 1 = 2x 2 = 3x 3 = 9x 4 = 5x 5 = 1x 6 = 2x 7 = 5 x 8 = 1x 9 = 3x 10 = 1x 11 = 3x 12 = 1x 13 = 4x 14 = 2x 15 = 2x 16 = 1 [3] [3] 1 2
6 [3] 1 Wikipedia 1 2) E EPSILON DELTA 3) 2 4) PC1 time [3] Wikipedia (2007/10/25) > 5h "E " "E " > 5h > 5h > 5h > 5h > 5h 2: ) Wikipedia :50 3) 4)
7 Bulletin of JSSACVol. 20, No. 2, [16] [17] 1 [20] [5, 6, 7, 16] 2 [4] 2 [8, 9] 3 5) (1) (2) (3) 2 (4) (5) 5) 1990
8 [3] [3] 3 3 x 1 3 x x 2 x 4 x x 3 3: 4: 3 5: 3.1 [3] 1. (2) 2. (3) x 1 x(x 1)(x 2) = 0 3. (4) 4. (5) (3) x i 012 x i (x i 1)(x i 2) = 0 i = 1,..., 6 (4) x 1 + x 5 2 = 0x 1 + x 6 3 = 0x 2 + x 6 2 = 0x 2 + x 4 3 = 0x 3 + x 4 3 = 0 x 3 + x 5 1 = 0 (5) x 2 x 5 0 x 2 x 5 = x 1 = 2x 2 = 1x 3 = 1x 4 = 2x 5 = 0
9 Bulletin of JSSACVol. 20, No. 2, x 6 = 1 (2)(3)(4)(5) (1) (1) (1) 6 7 6: 7: (1) [3] (1) (1) :
10 (1) (1) x x(x 1) = 0 3: (1) 8 (2) (3) 2 (4) (5) (1) i = 1, 2, 3, 4 j = 1, 2, 3k = 1, 2 2 Risa/Asir 6 2 1[11] [11] easy easy 3
11 Bulletin of JSSACVol. 20, No. 2, x 2 x 1 x 3 8 () x 2 x 1 x 7 3 x 2 x 1 x 3 6 x 4 x x i 2 = 0 (x i 2)(x i 1) = 0 x j 2 = 0 () x 2 x 1 x x 1 x 2 x 4 1 x (x j 2)(x j 1) = 0 x k 2 = 0 (x k 2)(x k 1) = 0 4: I PC easy 9 16
12 () x x x 1 x 2 x 4 x (1 4 ) 2 x 2 = 0 x 1 = 0 x i (x i 1) = 0 5: II easymedium (1) (2) 1 (3) 6) 9 web [10] [12, 13, 14, 15] 10 6) 53
13 Bulletin of JSSACVol. 20, No. 2, size time time > 3h > 3h > 3h > 3h > 3h > 3h > 3h > 3h > 3h > 3h > 3h 85 > 3h > 3h > 3h 89 1 > 3h > 3h > 3h > 3h > 3h > 3h > 3h > 3h > 3h 77 > 3h > 3h 101 > 3h > 3h 105 > 3h > 3h > 3h > 3h 84 > 3h > 3h 74 1 > 3h > 3h > 3h 132 > 3h > 3h 129 > 3h > 3h 134 > 3h 6:
14 : 10: 9 11: x 1 x(x 1) = x i (x i 1) = 0 i = 1,..., 11 1 x 1 + x 5 + x 6 + x 9 = 12x 2 + x 7 + x 10 = 4x 3 + x 4 + x 7 + x 11 = 12x 4 + 2x 8 = 2 x 1 + x 2 + x 3 + x 4 = 1x 5 + x 2 + 2x 4 = 2x 6 + 2x 7 + x 8 = 3 x 9 + x 10 + x 11 + x 8 = 2 Risa/Asir [113] gr([x1+x5+x6+x9-1,2*x2+x7+x10-4,x3+x4+x7+x11-1,2*x4+2*x8-2,x1+x2+x3+ x4-1, x5+x2+2*x4-2,x6+2*x7+x8-3,x9+x10+x11+x8-2,x11^2-x11,x10^2-x10,x9^2-x 9,x8^2-x8,x7^2-x7,x6^2-x6,x5^2-x5,x4^2-x4,x3^2-x3,x2^2-x2,x1^2-x1],[x1,x2, x3,x4,x5,x6,x7,x8,x9,x10,x11],2); [x11,x10-1,-x9,-x8+1,-x7+1,-x6,-x5+1,x4,-x3,-x2+1,x1] x 1 = x 3 = x 4 = x 6 = x 9 = x 11 = 0 x 2 = x 5 = x 7 = x 8 = x 10 = 1
15 Bulletin of JSSACVol. 20, No. 2, Step 1 Step 2 Step 1. Step k 1 n n k = s 1 s k 0 12 k = 0n = k n k = s s = < = Step 1 Step 3 Step 1. Step 2. Step
16 : web [12] p time PC1 () time 1 11 (4 4) [19] No.00 (6 6) [19] No.01(10 10) [19] No.04 (10 10) [12] p.49, 1 (10 10) [13] p.39, 1 (10 10) 42 > 5h 7 [14] p.41, 1 (10 10) 38 > 5h 8 [15] p.71, 1 (10 10) [15] p.71, 2 (10 10) 39 > 5h 10 [19] No.02 (10 10) 51 > 5h 11 [19] No.03 (10 15) 64 > 5h 12 [13] p.39, 2 (25 25) 199 > 5h () time 1 11 (4 4) [19] No.00 (6 6) [19] No.01(10 10) [19] No.04 (10 10) [12] p.49, 1 (10 10) [13] p.39, 1 (10 10) [14] p.41, 1 (10 10) [15] p.71, 1 (10 10) [15] p.71, 2 (10 10) [19] No.02 (10 10) [19] No.03 (10 15) [13] p.39, 2 (25 25) 144 > 5h 7: 8:
17 Bulletin of JSSACVol. 20, No. 2, [12, 13, 14, 15] l m 1 n 1 m n m l : 1 Step 1 Step 3 Step 1. Step 2. Step PC1 time time 0
18 () time 12 [13] p.39, 2 (25 25) 199 > 5h 13 [12] p.49, 2 (25 25) 129 > 5h 14 [14] p.41, 2 (25 25) 137 > 5h 15 [15] p.71, 3 (25 25) 173 > 5h 9: () time 12 [13] p.39, 2 (25 25) [12] p.49, 2 (25 25) [14] p.41, 2 (25 25) [15] p.71, 3 (25 25) : () time 1 11 (4 4) [19] No.00 (6 6) [19] No.01(10 10) [19] No.04 (10 10) [12] p.49, 1 (10 10) [13] p.39, 1 (10 10) [14] p.41, 1 (10 10) [15] p.71, 1 (10 10) [15] p.71, 2 (10 10) [19] No.02 (10 10) [19] No.03 (10 15) :
19 Bulletin of JSSACVol. 20, No. 2, Risa/Asir 5 Risa/Asir dp_gr_main 2 [1] Elizabeth Arnold, Stephen Lucas and Laura Taalman, Gröbner basis representations of Sudoku, The College Mathematics Journal, Vol. 41(2), pp , 2010 [2] R. M. Falcón and J. Martín-Morales, Gröbner bases and the number of Latin squares related to autotopisms of order 7, Journal of Symbolic Computation, Vol.43(11-12), pp , 2007 [3] Jesús Gago-Vargas, Isabel Hartillo-Hermoso, Jorge Martín-Morales and José María Ucha- Enríquez, Sudokus and Gröbner bases: not only a divertimento, Proc. Computer Algera in Scientific Computing, LNCS, Vol. 4194, pp , Springer, 2006 [4] Alex Griffith and Adam Parker, A Gröbner basis approach to number puzzles, Proc. Midstates Conference for Undergraduate Research in Computer Science and Mathematics, pp.57 64, Oberlin College, 2009
20 [5] Shutaro Inoue, Efficient singleton set constraint solving by Boolean Gröbner bases, Communication of JSSAC, Vol. 1, pp , 2012 [6] 1785 pp [7] 1666 pp [8] JST CREST ()2011 [9] ( )& 2012 [10] [11] [12] Vol [13] Vol [14] Vol [15] Vol [16] 2012 [17] Vol.18-2 pp [18] Masayuki Noro and Taku Takeshima, Risa/Asir- A Computer Algebra System, Proc. ISSAC 1992, pp , ACM-Press, [19] () [20] Yosuke Sato, Shutaro Inoue, Akira Suzuki, Katsusuke Nabeshima and Ko Sakai, Boolean Gröbner bases, Journal of Symbolic Computation, Vol.46(5), pp , 2011
Web Web Web Web Web, i
22 Web Research of a Web search support system based on individual sensitivity 1135117 2011 2 14 Web Web Web Web Web, i Abstract Research of a Web search support system based on individual sensitivity
More informationVol.55 No (Jan. 2014) saccess 6 saccess 7 saccess 2. [3] p.33 * B (A) (B) (C) (D) (E) (F) *1 [3], [4] Web PDF a m
Vol.55 No.1 2 15 (Jan. 2014) 1,a) 2,3,b) 4,3,c) 3,d) 2013 3 18, 2013 10 9 saccess 1 1 saccess saccess Design and Implementation of an Online Tool for Database Education Hiroyuki Nagataki 1,a) Yoshiaki
More information2 122
32 2008 pp. 121 133 1 Received November 4, 2008 The aim of this paper is to clarify some profound changes in the language used in the visual media, especially in TV news programs in Japan, and show what
More information, : GUI Web Java 2.1 GUI GUI GUI 2 y = x y = x y = x
J.JSSAC (2005) Vol. 11, No. 3,4, pp. 77-88 Noda2005 MathBlackBoard MathBlackBoard is a Java program based on the blackboard applet. We can use the blackboard applet with GUI operations. The blackboard
More information23 Study on Generation of Sudoku Problems with Fewer Clues
23 Study on Generation of Sudoku Problems with Fewer Clues 1120254 2012 3 1 9 9 21 18 i Abstract Study on Generation of Sudoku Problems with Fewer Clues Norimasa NASU Sudoku is puzzle a kind of pencil
More information1 [1, 2, 3, 4, 5, 8, 9, 10, 12, 15] The Boston Public Schools system, BPS (Deferred Acceptance system, DA) (Top Trading Cycles system, TTC) cf. [13] [
Vol.2, No.x, April 2015, pp.xx-xx ISSN xxxx-xxxx 2015 4 30 2015 5 25 253-8550 1100 Tel 0467-53-2111( ) Fax 0467-54-3734 http://www.bunkyo.ac.jp/faculty/business/ 1 [1, 2, 3, 4, 5, 8, 9, 10, 12, 15] The
More informationB HNS 7)8) HNS ( ( ) 7)8) (SOA) HNS HNS 4) HNS ( ) ( ) 1 TV power, channel, volume power true( ON) false( OFF) boolean channel volume int
SOA 1 1 1 1 (HNS) HNS SOA SOA 3 3 A Service-Oriented Platform for Feature Interaction Detection and Resolution in Home Network System Yuhei Yoshimura, 1 Takuya Inada Hiroshi Igaki 1, 1 and Masahide Nakamura
More information企業内システムにおけるA j a x 技術の利用
Utilization of Ajax in Enterprise Intranet Systemsby Tetsuo Yamashita, Takeshi Kuroe and Kazuhisa Ikeda Enterprise 2.0 refers to the recent trend of applying the web technologies widely deployed in Internet
More information3_23.dvi
Vol. 52 No. 3 1234 1244 (Mar. 2011) 1 1 mixi 1 Casual Scheduling Management and Shared System Using Avatar Takashi Yoshino 1 and Takayuki Yamano 1 Conventional scheduling management and shared systems
More information& Vol.5 No (Oct. 2015) TV 1,2,a) , Augmented TV TV AR Augmented Reality 3DCG TV Estimation of TV Screen Position and Ro
TV 1,2,a) 1 2 2015 1 26, 2015 5 21 Augmented TV TV AR Augmented Reality 3DCG TV Estimation of TV Screen Position and Rotation Using Mobile Device Hiroyuki Kawakita 1,2,a) Toshio Nakagawa 1 Makoto Sato
More informationThe 15th Game Programming Workshop 2010 Magic Bitboard Magic Bitboard Bitboard Magic Bitboard Bitboard Magic Bitboard Magic Bitboard Magic Bitbo
Magic Bitboard Magic Bitboard Bitboard Magic Bitboard Bitboard Magic Bitboard 64 81 Magic Bitboard Magic Bitboard Bonanza Proposal and Implementation of Magic Bitboards in Shogi Issei Yamamoto, Shogo Takeuchi,
More information2 194
32 2008 pp. 193 210 1 Received October 31, 2008 The Japanese auxiliary verbs in benefactive construction can be classified in terms of the following two semantic functions: ones that only represent the
More informationIPSJ SIG Technical Report Vol.2009-DPS-141 No.23 Vol.2009-GN-73 No.23 Vol.2009-EIP-46 No /11/27 t-room t-room 2 Development of
t-room 1 2 2 2 2 1 1 2 t-room 2 Development of Assistant System for Ensemble in t-room Yosuke Irie, 1 Shigemi Aoyagi, 2 Toshihiro Takada, 2 Keiji Hirata, 2 Katsuhiko Kaji, 2 Shigeru Katagiri 1 and Miho
More informationA Contrastive Study of Japanese and Korean by Analyzing Mistranslation from Japanese into Korean Yukitoshi YUTANI Japanese, Korean, contrastive study, mistranslation, Japanese-Korean dictionary It is already
More informationÿþ
Abstract The aim of this paper is to describe 1. how media, especially mobile phones, have been utilized in childrearing practices, and 2. how the process of adoption influences the placement of techno-social
More information大学における原価計算教育の現状と課題
1 1.1 1.2 1.3 2 2.1 2.2 3 3.1 3.2 3.3 2014a 50 ABC Activity Based Costing LCC Lifecycle Costing MFCA Material Flow Cost Accounting 2 2 2016 9 1 2 3 2014b 2005 2014b 2000 1 2 1962 5 1 3 2 3 4 5 50 2012
More information浜松医科大学紀要
On the Statistical Bias Found in the Horse Racing Data (1) Akio NODA Mathematics Abstract: The purpose of the present paper is to report what type of statistical bias the author has found in the horse
More information, IT.,.,..,.. i
25 To construct the system that promote a interactive method as a knowledge acquisition 1140317 2014 2 28 , IT.,.,..,.. i Abstract To construct the system that promote a interactive method as a knowledge
More informationIPSJ SIG Technical Report Vol.2012-CG-148 No /8/29 3DCG 1,a) On rigid body animation taking into account the 3D computer graphics came
3DCG 1,a) 2 2 2 2 3 On rigid body animation taking into account the 3D computer graphics camera viewpoint Abstract: In using computer graphics for making games or motion pictures, physics simulation is
More information( ) [1] [4] ( ) 2. [5] [6] Piano Tutor[7] [1], [2], [8], [9] Radiobaton[10] Two Finger Piano[11] Coloring-in Piano[12] ism[13] MIDI MIDI 1 Fig. 1 Syst
情報処理学会インタラクション 2015 IPSJ Interaction 2015 15INT014 2015/3/7 1,a) 1,b) 1,c) Design and Implementation of a Piano Learning Support System Considering Motivation Fukuya Yuto 1,a) Takegawa Yoshinari 1,b) Yanagi
More informationJFE.dvi
,, Department of Civil Engineering, Chuo University Kasuga 1-13-27, Bunkyo-ku, Tokyo 112 8551, JAPAN E-mail : atsu1005@kc.chuo-u.ac.jp E-mail : kawa@civil.chuo-u.ac.jp SATO KOGYO CO., LTD. 12-20, Nihonbashi-Honcho
More informationIPSJ SIG Technical Report Vol.2011-EC-19 No /3/ ,.,., Peg-Scope Viewer,,.,,,,. Utilization of Watching Logs for Support of Multi-
1 3 5 4 1 2 1,.,., Peg-Scope Viewer,,.,,,,. Utilization of Watching Logs for Support of Multi-View Video Contents Kosuke Niwa, 1 Shogo Tokai, 3 Tetsuya Kawamoto, 5 Toshiaki Fujii, 4 Marutani Takafumi,
More informationA Feasibility Study of Direct-Mapping-Type Parallel Processing Method to Solve Linear Equations in Load Flow Calculations Hiroaki Inayoshi, Non-member
A Feasibility Study of Direct-Mapping-Type Parallel Processing Method to Solve Linear Equations in Load Flow Calculations Hiroaki Inayoshi, Non-member (University of Tsukuba), Yasuharu Ohsawa, Member (Kobe
More informationVol.53 No (Mar. 2012) 1, 1,a) 1, 2 1 1, , Musical Interaction System Based on Stage Metaphor Seiko Myojin 1, 1,a
1, 1,a) 1, 2 1 1, 3 2 1 2011 6 17, 2011 12 16 Musical Interaction System Based on Stage Metaphor Seiko Myojin 1, 1,a) Kazuki Kanamori 1, 2 Mie Nakatani 1 Hirokazu Kato 1, 3 Sanae H. Wake 2 Shogo Nishida
More information4.1 % 7.5 %
2018 (412837) 4.1 % 7.5 % Abstract Recently, various methods for improving computial performance have been proposed. One of these various methods is Multi-core. Multi-core can execute processes in parallel
More informationHiroshi OSAWA A Study of Nutrition and Behavior With Particular Reference to Functional Hypoglycemia In order to understand causes of various kinds of problem behavior in the present time, it is assumed
More information41 1. 初めに ) The National Theatre of the Deaf 1980
Title Author(s) 手話演劇の様相 : 車座の実践と岸田理生の戯曲を通して 岡田, 蕗子 Citation 待兼山論叢. 美学篇. 48 P.41-P.66 Issue Date 2014-12-25 Text Version publisher URL http://hdl.handle.net/11094/56608 DOI rights 41 1. 初めに 1946 2003 1984
More information00.\...ec5
Yamagata Journal of Health Science, Vol. 6, 23 Kyoko SUGAWARA, Junko GOTO, Mutuko WATARAI Asako HIRATUKA, Reiko ICHIKAWA Recently in Japan, there has been a gradual decrease in the practice of community
More information知能と情報, Vol.30, No.5, pp
1, Adobe Illustrator Photoshop [1] [2] [3] Initital Values Assignment of Parameters Using Onomatopoieas for Interactive Design Tool Tsuyoshi NAKAMURA, Yuki SAWAMURA, Masayoshi KANOH, and Koji YAMADA Graduate
More informationTitle 社 会 化 教 育 における 公 民 的 資 質 : 法 教 育 における 憲 法 的 価 値 原 理 ( fulltext ) Author(s) 中 平, 一 義 Citation 学 校 教 育 学 研 究 論 集 (21): 113-126 Issue Date 2010-03 URL http://hdl.handle.net/2309/107543 Publisher 東 京
More information1 Web [2] Web [3] [4] [5], [6] [7] [8] S.W. [9] 3. MeetingShelf Web MeetingShelf MeetingShelf (1) (2) (3) (4) (5) Web MeetingShelf
1,a) 2,b) 4,c) 3,d) 4,e) Web A Review Supporting System for Whiteboard Logging Movies Based on Notes Timeline Taniguchi Yoshihide 1,a) Horiguchi Satoshi 2,b) Inoue Akifumi 4,c) Igaki Hiroshi 3,d) Hoshi
More information<8ED089EF8B49977634342D312D30914F95742E696E6464>
The Treatments in the Institutions Regarded As Inappropriate by Certified Student Social Workers and Their Coping Behavior: Survey and Analysis Nobuko SAKATA (1) 15 13 (2) 47 16 (3) 53 44-1 2006 17 1810
More informationWebRTC P2P Web Proxy P2P Web Proxy WebRTC WebRTC Web, HTTP, WebRTC, P2P i
26 WebRTC The data distribution system using browser cache sharing and WebRTC 1150361 2015/02/27 WebRTC P2P Web Proxy P2P Web Proxy WebRTC WebRTC Web, HTTP, WebRTC, P2P i Abstract The data distribution
More information2). 3) 4) 1.2 NICTNICT DCRA Dihedral Corner Reflector micro-arraysdcra DCRA DCRA DCRA 3D DCRA PC USB PC PC ON / OFF Velleman K8055 K8055 K8055
1 1 1 2 DCRA 1. 1.1 1) 1 Tactile Interface with Air Jets for Floating Images Aya Higuchi, 1 Nomin, 1 Sandor Markon 1 and Satoshi Maekawa 2 The new optical device DCRA can display floating images in free
More information& Vol.2 No (Mar. 2012) 1,a) , Bluetooth A Health Management Service by Cell Phones and Its Us
1,a) 1 1 1 1 2 2 2011 8 10, 2011 12 2 1 Bluetooth 36 2 3 10 70 34 A Health Management Service by Cell Phones and Its Usability Evaluation Naofumi Yoshida 1,a) Daigo Matsubara 1 Naoki Ishibashi 1 Nobuo
More informationŁ\1,4.ai
34 2009 1 2 2.1. 2.2 3 3.1 3.2 4 1 1990-99 - NPO 1) 2 3 4 2 3 2 2.1. ( ) 3 2.1.1 (2002) 2) 1920 3) P - 100 - 4) 2.1.2 () 1995 5) 1990 6) 2000 7) 8) 9) () - 101 - () D D 10) 11) 12) - 102 - 2.2 N 13) J
More informationVol. 23 No. 4 Oct. 2006 37 2 Kitchen of the Future 1 Kitchen of the Future 1 1 Kitchen of the Future LCD [7], [8] (Kitchen of the Future ) WWW [7], [3
36 Kitchen of the Future: Kitchen of the Future Kitchen of the Future A kitchen is a place of food production, education, and communication. As it is more active place than other parts of a house, there
More information149 (Newell [5]) Newell [5], [1], [1], [11] Li,Ryu, and Song [2], [11] Li,Ryu, and Song [2], [1] 1) 2) ( ) ( ) 3) T : 2 a : 3 a 1 :
Transactions of the Operations Research Society of Japan Vol. 58, 215, pp. 148 165 c ( 215 1 2 ; 215 9 3 ) 1) 2) :,,,,, 1. [9] 3 12 Darroch,Newell, and Morris [1] Mcneil [3] Miller [4] Newell [5, 6], [1]
More information1_26.dvi
C3PV 1,a) 2,b) 2,c) 3,d) 1,e) 2012 4 20, 2012 10 10 C3PV C3PV C3PV 1 Java C3PV 45 38 84% Programming Process Visualization for Supporting Students in Programming Exercise Hiroshi Igaki 1,a) Shun Saito
More information〈論文〉興行データベースから「古典芸能」の定義を考える
Abstract The long performance database of rakugo and kabuki was totaled, and it is found that few programs are repeated in both genres both have the frequency differential of performance. It is a question
More informationTA3-4 31st Fuzzy System Symposium (Chofu, September 2-4, 2015) Interactive Recommendation System LeonardoKen Orihara, 1 Tomonori Hashiyama, 1
Interactive Recommendation System 1 1 1 1 LeonardoKen Orihara, 1 Tomonori Hashiyama, 1 Shun ichi Tano 1 1 Graduate School of Information Systems, The University of Electro-Communications Abstract: The
More information28 Horizontal angle correction using straight line detection in an equirectangular image
28 Horizontal angle correction using straight line detection in an equirectangular image 1170283 2017 3 1 2 i Abstract Horizontal angle correction using straight line detection in an equirectangular image
More informationMicrosoft Word - toyoshima-deim2011.doc
DEIM Forum 2011 E9-4 252-0882 5322 252-0882 5322 E-mail: t09651yt, sashiori, kiyoki @sfc.keio.ac.jp CBIR A Meaning Recognition System for Sign-Logo by Color-Shape-Based Similarity Computations for Images
More informationDPA,, ShareLog 3) 4) 2.2 Strino Strino STRain-based user Interface with tacticle of elastic Natural ObjectsStrino 1 Strino ) PC Log-Log (2007 6)
1 2 1 3 Experimental Evaluation of Convenient Strain Measurement Using a Magnet for Digital Public Art Junghyun Kim, 1 Makoto Iida, 2 Takeshi Naemura 1 and Hiroyuki Ota 3 We present a basic technology
More information6_27.dvi
Vol. 49 No. 6 1932 1941 (June 2008) RFID 1 2 RFID RFID RFID 13.56 MHz RFID A Experimental Study for Measuring Human Activities in A Bathroom Using RFID Ryo Onishi 1 and Shigeyuki Hirai 2 A bathroom is
More informationCore Ethics Vol.
Core Ethics Vol. < > Core Ethics Vol. ( ) ( ) < > < > < > < > < > < > ( ) < > ( ) < > - ( ) < > < > < > < > < > < > < > < > ( ) Core Ethics Vol. ( ) ( ) ( ) < > ( ) < > ( ) < > ( ) < >
More informationKyushu Communication Studies 第2号
Kyushu Communication Studies. 2004. 2:1-11 2004 How College Students Use and Perceive Pictographs in Cell Phone E-mail Messages IGARASHI Noriko (Niigata University of Health and Welfare) ITOI Emi (Bunkyo
More information1 Fig. 1 Extraction of motion,.,,, 4,,, 3., 1, 2. 2.,. CHLAC,. 2.1,. (256 ).,., CHLAC. CHLAC, HLAC. 2.3 (HLAC ) r,.,. HLAC. N. 2 HLAC Fig. 2
CHLAC 1 2 3 3,. (CHLAC), 1).,.,, CHLAC,.,. Suspicious Behavior Detection based on CHLAC Method Hideaki Imanishi, 1 Toyohiro Hayashi, 2 Shuichi Enokida 3 and Toshiaki Ejima 3 We have proposed a method for
More information,, 2024 2024 Web ,, ID ID. ID. ID. ID. must ID. ID. . ... BETWEENNo., - ESPNo. Works Impact of the Recruitment System of New Graduates as Temporary Staff on Transition from College to Work Naoyuki
More information[2] 2. [3 5] 3D [6 8] Morishima [9] N n 24 24FPS k k = 1, 2,..., N i i = 1, 2,..., n Algorithm 1 N io user-specified number of inbetween omis
1,a) 2 2 2 1 2 3 24 Motion Frame Omission for Cartoon-like Effects Abstract: Limited animation is a hand-drawn animation style that holds each drawing for two or three successive frames to make up 24 frames
More information22 2016 3 82 1 1
: 81 1 2 3 4 1990 2015 22 2016 3 82 1 1 83 : 2 5 84 22 2016 3 6 3 7 8 2 : 85 1 S 12 S S S S S S S S S 86 22 2016 3 S S S S S S S S 2 S S : 87 S 9 3 2 1 10 S 11 22 2016 3 88 1 : 89 1 2 3 4 90 22 2016 3
More information2 The Bulletin of Meiji University of Integrative Medicine 3, Yamashita 10 11
1-122013 1 2 1 2 20 2,000 2009 12 1 2 1,362 68.1 2009 1 1 9.5 1 2.2 3.6 0.82.9 1.0 0.2 2 4 3 1 2 4 3 Key words acupuncture and moxibustion Treatment with acupuncture, moxibustion and Anma-Massage-Shiatsu
More informationVol. 42 No. SIG 8(TOD 10) July HTML 100 Development of Authoring and Delivery System for Synchronized Contents and Experiment on High Spe
Vol. 42 No. SIG 8(TOD 10) July 2001 1 2 3 4 HTML 100 Development of Authoring and Delivery System for Synchronized Contents and Experiment on High Speed Networks Yutaka Kidawara, 1 Tomoaki Kawaguchi, 2
More information1 Table 1: Identification by color of voxel Voxel Mode of expression Nothing Other 1 Orange 2 Blue 3 Yellow 4 SSL Humanoid SSL-Vision 3 3 [, 21] 8 325
社団法人人工知能学会 Japanese Society for Artificial Intelligence 人工知能学会研究会資料 JSAI Technical Report SIG-Challenge-B3 (5/5) RoboCup SSL Humanoid A Proposal and its Application of Color Voxel Server for RoboCup SSL
More information24312.dvi
Cognitive Studies, 24(3), 410-434. (Sep. 2017) The Table-talk Role Playing Game (TRPG) is an analog game. This game progresses by repeating acts of speech between a Game Master (GM) and a Player (PL).
More informationsoturon.dvi
12 Exploration Method of Various Routes with Genetic Algorithm 1010369 2001 2 5 ( Genetic Algorithm: GA ) GA 2 3 Dijkstra Dijkstra i Abstract Exploration Method of Various Routes with Genetic Algorithm
More informationII
II 2016 7 21 computer-assisted proof 1 / 64 1. 2. 3. Siegfried M. Rump : [1] I,, 14:3 (2004), pp. 214 223. [2] II,, 14:4 (2004), pp. 346 359. 2 / 64 Risch 18 3 / 64 M n = 2 n 1 (n = 1, 2,... ) 2 2 1 1
More information2
2011 8 6 2011 5 7 [1] 1 2 i ii iii i 3 [2] 4 5 ii 6 7 iii 8 [3] 9 10 11 cf. Abstracts in English In terms of democracy, the patience and the kindness Tohoku people have shown will be dealt with as an exception.
More informationIPSJ SIG Technical Report Vol.2014-HCI-158 No /5/22 1,a) 2 2 3,b) Development of visualization technique expressing rainfall changing conditions
1,a) 2 2 3,b) Development of visualization technique expressing rainfall changing conditions with a still picture Yuuki Hyougo 1,a) Hiroko Suzuki 2 Tadanobu Furukawa 2 Kazuo Misue 3,b) Abstract: In order
More information関西福祉大学紀要 12号(P)/1.太田
Social Work Practice and Methods for Scientific Progress Yoshihiro Ohta Abstract : Although theories and methods of social work have been progressing new ideas and ways that support social work practice
More informationIPSJ SIG Technical Report Vol.2009-DPS-141 No.20 Vol.2009-GN-73 No.20 Vol.2009-EIP-46 No /11/27 1. MIERUKEN 1 2 MIERUKEN MIERUKEN MIERUKEN: Spe
1. MIERUKEN 1 2 MIERUKEN MIERUKEN MIERUKEN: Speech Visualization System Based on Augmented Reality Yuichiro Nagano 1 and Takashi Yoshino 2 As the spread of the Augmented Reality(AR) technology and service,
More informationSERPWatcher SERPWatcher SERP Watcher SERP Watcher,
SERPWatcher 112-8610 2-1-1 112-8610 2-1-1 229-8558 5-10-1 E-mail: nakabe@db.is.ocha.ac.jp, chiemi@is.ocha.ac.jp SERPWatcher SERP Watcher SERP Watcher, SERP Analysis of transition of ranking in SERP Watcher
More information<30375F97E996D88E812E696E6464>
Abstract: This study is intended as an investigation of the transition of Lady Windermere s Fan on stage in the Republic of china. Oscar Wild s Lady Windermere s Fan was adapted for the Chinese stage by
More informationIPSJ SIG Technical Report Vol.2014-EIP-63 No /2/21 1,a) Wi-Fi Probe Request MAC MAC Probe Request MAC A dynamic ads control based on tra
1,a) 1 1 2 1 Wi-Fi Probe Request MAC MAC Probe Request MAC A dynamic ads control based on traffic Abstract: The equipment with Wi-Fi communication function such as a smart phone which are send on a regular
More informationuntitled
JAIS 1 2 1 2 In this paper, we focus on the pauses that partly characterize the utterances of simultaneous interpreters, and attempt to analyze the results of experiments conducted using human subjects
More information202
201 Presenteeism 202 203 204 Table 1. Name Elements of Work Productivity Targeted Populations Measurement items of Presenteeism (Number of Items) Reliability Validity α α 205 α ä 206 Table 2. Factors of
More information第62巻 第1号 平成24年4月/石こうを用いた木材ペレット
Bulletin of Japan Association for Fire Science and Engineering Vol. 62. No. 1 (2012) Development of Two-Dimensional Simple Simulation Model and Evaluation of Discharge Ability for Water Discharge of Firefighting
More information2) TA Hercules CAA 5 [6], [7] CAA BOSS [8] 2. C II C. ( 1 ) C. ( 2 ). ( 3 ) 100. ( 4 ) () HTML NFS Hercules ( )
1,a) 2 4 WC C WC C Grading Student programs for visualizing progress in classroom Naito Hiroshi 1,a) Saito Takashi 2 Abstract: To grade student programs in Computer-Aided Assessment system, we propose
More informationTF-IDF TDF-IDF TDF-IDF Extracting Impression of Sightseeing Spots from Blogs for Supporting Selection of Spots to Visit in Travel Sat
1 1 2 1. TF-IDF TDF-IDF TDF-IDF. 3 18 6 Extracting Impression of Sightseeing Spots from Blogs for Supporting Selection of Spots to Visit in Travel Satoshi Date, 1 Teruaki Kitasuka, 1 Tsuyoshi Itokawa 2
More informationInput image Initialize variables Loop for period of oscillation Update height map Make shade image Change property of image Output image Change time L
1,a) 1,b) 1/f β Generation Method of Animation from Pictures with Natural Flicker Abstract: Some methods to create animation automatically from one picture have been proposed. There is a method that gives
More information08-特集04.indd
5 2 Journal of Multimedia Aided Education Research 2008, Vol. 5, No. 2, 3543 ICT ICT ICT 2 ICT ICT 1100 2008 ICT ICT 2007 ICT ICT ICT ICT IPtalk2008 2006 LAN TCP/IP 1 35 5 22008 1 Enter 1 IPtalk 2 2 2IPtalk
More information2 56
30 2006 pp. 55 67 1 Received October 31, 2006 Xu Weiwas an artist who was famous as a painter and a calligrapher and a drama writer in late Ming dynasty. But it is not known that he leaves poetry as a
More information(Visual Secret Sharing Scheme) VSSS VSSS 3 i
13 A Visual Secret Sharing Scheme for Continuous Color Images 10066 14 8 (Visual Secret Sharing Scheme) VSSS VSSS 3 i Abstract A Visual Secret Sharing Scheme for Continuous Color Images Tomoe Ogawa The
More informationTitle Author(s) Kobe University Repository : Kernel 認知症高齢者と家族介護者間のコミュニケーション改善のために訪問看護師が実施した支援のプロセス : 共依存事例について (The Support Process in Improving Communication Between Elderly with Dementia and the Family
More informationIPSJ SIG Technical Report Pitman-Yor 1 1 Pitman-Yor n-gram A proposal of the melody generation method using hierarchical pitman-yor language model Aki
Pitman-Yor Pitman-Yor n-gram A proposal of the melody generation method using hierarchical pitman-yor language model Akira Shirai and Tadahiro Taniguchi Although a lot of melody generation method has been
More informationVol. 48 No. 4 Apr LAN TCP/IP LAN TCP/IP 1 PC TCP/IP 1 PC User-mode Linux 12 Development of a System to Visualize Computer Network Behavior for L
Vol. 48 No. 4 Apr. 2007 LAN TCP/IP LAN TCP/IP 1 PC TCP/IP 1 PC User-mode Linux 12 Development of a System to Visualize Computer Network Behavior for Learning to Associate LAN Construction Skills with TCP/IP
More informationThe Indirect Support to Faculty Advisers of die Individual Learning Support System for Underachieving Student The Indirect Support to Faculty Advisers of the Individual Learning Support System for Underachieving
More informationShonan Institute of Technology MEMOIRS OF SHONAN INSTITUTE OF TECHNOLOGY Vol. 38, No. 1, b9 199d8 1 * False Belief and Recognition of a Object
MEMOIRS OF SHONAN INSTITUTE OF TECHNOLOGY Vol. 38, No. 1, 2004 195b9 199d8 1 * False Belief and Recognition of a Object An Interpretation of the Aviary Model : Plato s Theaetetus: 195b9 199d8 Satsuki TASAKA*
More information[2] OCR [3], [4] [5] [6] [4], [7] [8], [9] 1 [10] Fig. 1 Current arrangement and size of ruby. 2 Fig. 2 Typography combined with printing
1,a) 1,b) 1,c) 2012 11 8 2012 12 18, 2013 1 27 WEB Ruby Removal Filters Using Genetic Programming for Early-modern Japanese Printed Books Taeka Awazu 1,a) Masami Takata 1,b) Kazuki Joe 1,c) Received: November
More information16_.....E...._.I.v2006
55 1 18 Bull. Nara Univ. Educ., Vol. 55, No.1 (Cult. & Soc.), 2006 165 2002 * 18 Collaboration Between a School Athletic Club and a Community Sports Club A Case Study of SOLESTRELLA NARA 2002 Rie TAKAMURA
More information2 10 The Bulletin of Meiji University of Integrative Medicine 1,2 II 1 Web PubMed elbow pain baseball elbow little leaguer s elbow acupun
10 1-14 2014 1 2 3 4 2 1 2 3 4 Web PubMed elbow pain baseball elbow little leaguer s elbow acupuncture electric acupuncture 2003 2012 10 39 32 Web PubMed Key words growth stage elbow pain baseball elbow
More information123-099_Y05…X…`…‘…“†[…h…•
1. 2 1993 2001 2 1 2 1 2 1 99 2009. 1982 250 251 1991 112 115 1988 75 2004 132 2006 73 3 100 3 4 1. 2. 3. 4. 5. 6.. 3.1 1991 2002 2004 3 4 101 2009 3 4 4 5 1 5 6 1 102 5 6 3.2 2 7 8 2 X Y Z Z X 103 2009
More informationPage 1 of 6 B (The World of Mathematics) November 20, 2006 Final Exam 2006 Division: ID#: Name: 1. p, q, r (Let p, q, r are propositions. ) (10pts) (a
Page 1 of 6 B (The World of Mathematics) November 0, 006 Final Exam 006 Division: ID#: Name: 1. p, q, r (Let p, q, r are propositions. ) (a) (Decide whether the following holds by completing the truth
More information人文学部研究年報12号.indb
制御理論を用いた在庫管理モデルの一解析 * リードタイムが変動する場合 西平直史 1 [1, 2, 3, 4] [1] [2, 3, 4] 1 1 3 2 [2] = +w(k) d(k) (1) 2014 12 1 1 制御理論を用いた在庫管理モデルの一解析 西平 k w(k) d(k) L k u(k) (2) (1) 2 w(k) =u(k L) (2) = +u(k L) d(k) (3)
More information評論・社会科学 84号(よこ)(P)/3.金子
1 1 1 23 2 3 3 4 3 5 CP 1 CP 3 1 1 6 2 CP OS Windows Mac Mac Windows SafariWindows Internet Explorer 3 1 1 CP 2 2. 1 1CP MacProMacOS 10.4.7. 9177 J/A 20 2 Epson GT X 900 Canon ip 4300 Fujifilm FinePix
More informationWebサービス本格活用のための設計ポイント
The Web Services are a system which links up the scattered systems on the Internet, leveraging standardized technology such as SOAP, WSDL and UDDI. It is a general thought that in the future business enterprises
More information生駒山麓の遊園・観光開発計画の蹉跌 - 日下温泉土地を中心として -
Abstract From the beginning the study of land companies of Japan has mainly been developed by Dr. KYOZO TAKECHI. In general, those companies are so shortlived and historical investigation is strongly limited
More information128 18 2 2012 2 2.1 v8 Mathematica ( ) [ ], { } Expand[(a+b)^2] Plot[Sin[x], {x, 0, 2Pi}] Windows Mathematica Mathematica 2.2 v8 Mathematica = ( ) = s
Bulletin of JSSAC(2012) Vol. 18, No. 2, pp. 127-137 : Mathematica v8 Wolfram Research Asia Limited 1 Mathematica R v8 2010 11 v8 12 v8 2007 v6 Mathematica v6 v7 v8 v6 OpenGL R Direct3D R Mathematica v8
More information10-渡部芳栄.indd
COE GCOE GP ) b a b ) () ) () () ) ) .. () ) ) ) ) () ........... / / /.... 交付税額 / 経常費 : 右軸交付税額 /( 経常費 授業料 ): 右軸 . ) ()... /.. 自治体負担額 / 交付税額 : 右軸 ()......... / 自治体負担額 / 経常費 : 右軸 - No. - Vol. No. - IDE
More informationVol.54 No (July 2013) [9] [10] [11] [12], [13] 1 Fig. 1 Flowchart of the proposed system. c 2013 Information
Vol.54 No.7 1937 1950 (July 2013) 1,a) 2012 11 1, 2013 4 5 1 Similar Sounds Sentences Generator Based on Morphological Analysis Manner and Low Class Words Masaaki Kanakubo 1,a) Received: November 1, 2012,
More information29 jjencode JavaScript
Kochi University of Technology Aca Title jjencode で難読化された JavaScript の検知 Author(s) 中村, 弘亮 Citation Date of 2018-03 issue URL http://hdl.handle.net/10173/1975 Rights Text version author Kochi, JAPAN http://kutarr.lib.kochi-tech.ac.jp/dspa
More informationA5 PDF.pwd
Kwansei Gakuin University Rep Title Author(s) 家 族 にとっての 労 働 法 制 のあり 方 : 子 どもにとっての 親 の 非 正 規 労 働 を 中 心 に Hasegawa, Junko, 長 谷 川, 淳 子 Citation 法 と 政 治, 65(3): 193(825)-236(868) Issue Date 2014-11-30 URL
More informationディスプレイと携帯端末間の通信を実現する映像媒介通信技術
Data Transfer Technology to Enable Communication between Displays and Smart Devices 倉木健介 中潟昌平 田中竜太 阿南泰三 あらまし Abstract Recently, the chance to see videos in various places has increased due to the speedup
More informationuntitled
SUMMARY This paper presents current situations, issues, and several practical use scenarios of anonymous communication which provides sender anonymity and receiver anonymity in a communication. As methods
More informationfiš„v8.dvi
(2001) 49 2 333 343 Java Jasp 1 2 3 4 2001 4 13 2001 9 17 Java Jasp (JAva based Statistical Processor) Jasp Jasp. Java. 1. Jasp CPU 1 106 8569 4 6 7; fuji@ism.ac.jp 2 106 8569 4 6 7; nakanoj@ism.ac.jp
More informationn 2 n (Dynamic Programming : DP) (Genetic Algorithm : GA) 2 i
15 Comparison and Evaluation of Dynamic Programming and Genetic Algorithm for a Knapsack Problem 1040277 2004 2 25 n 2 n (Dynamic Programming : DP) (Genetic Algorithm : GA) 2 i Abstract Comparison and
More information02’ÓŠ¹/“Hfi¡
CALL CALL CALL CALL CALL CALL JACET CALLComputer Assisted Language Learning CALL CALL CALL CALL CALL CALL Ehrman & Oxford p Ehrman & Oxford MBTI Myers-Briggs Type IndicatorMBTI proficiency MBTIproficiency
More informationCore Ethics Vol.
Core Ethics Vol. Core Ethics Vol. . % % % Core Ethics Vol. %, Core Ethics Vol. % % % -. %. Core Ethics Vol. a b : Core Ethics Vol. pp... pp.. pp... pp. pp.. pp...pp.... pp. pp. pp.. pp.. Vol.. pp... pp..
More information258 5) GPS 1 GPS 6) GPS DP 7) 8) 10) GPS GPS 2 3 4 5 2. 2.1 3 1) GPS Global Positioning System
Vol. 52 No. 1 257 268 (Jan. 2011) 1 2, 1 1 measurement. In this paper, a dynamic road map making system is proposed. The proposition system uses probe-cars which has an in-vehicle camera and a GPS receiver.
More information