(a) (b) (c) Canny (d) 1 ( x α, y α ) 3 (x α, y α ) (a) A 2 + B 2 + C 2 + D 2 + E 2 + F 2 = 1 (3) u ξ α u (A, B, C, D, E, F ) (4) ξ α (x 2 α, 2x α y α,
|
|
|
- まとも ささおか
- 7 years ago
- Views:
Transcription
1 [II] Optimization Computation for 3-D Understanding of Images [II]: Ellipse Fitting 1. (1) 2. (2) (edge detection) (edge) (zero-crossing) Canny (Canny operator) (3) 1(a) [I] [II] [III] [IV ] [email protected] [email protected] Yasuyuki SUGAYA, Member (Department of Information and Computer Sciences, Toyohashi University of Technology, Toyohashi-shi, Japan) and Kenichi KANATANI, Member (Graduate School of Natural Science and Technology, Okayama-shi, Japan). Vol. 92 No. 4 pp (b) 1(c) Canny (4),(5) 1(c) 1(d) 1(d) 2 CG 3. Ax 2 +2Bxy+Cy 2 +2(Dx+Ey)f 0 +F f 2 0 =0 (1) f 0 (1) (x α, y α ), α = 1,..., N (1) α = 1,..., N Ax 2 α+2bx α y α +Cy 2 α+2(dx α +Ey α )f 0 +Ff (2) A, B, C, D, E, F 3 A, B, C, D, E, F [II] 301
2 (a) (b) (c) Canny (d) 1 ( x α, y α ) 3 (x α, y α ) (a) A 2 + B 2 + C 2 + D 2 + E 2 + F 2 = 1 (3) u ξ α u (A, B, C, D, E, F ) (4) ξ α (x 2 α, 2x α y α, y 2 α, 2f 0 x α, 2f 0 y α, f 2 0 ) (5) 2 (b) CG (2) (u, ξ α ) 0, α = 1,..., N (6) a, b (a, b) F = 1, A + B = 1, A 2 + B 2 + C 2 + D 2 + E 2 + F 2 = 1 (3) u = 1 (1) ( 1) ( 1) u (x α, y α ) x α 302 Vol.92, No.4, 2009
3 (1) (conic) (1) (6) ( 2) 4. (6) u N (u, ξ α) 2 (least squares) 6 6 M LS M LS ξ α ξ α (7) (u, ξ α ) 2 = (u, ξ α ξ α u) = (u, M LS u) (8) u u M LS (8) (3) F = 1 A + B = 1 (8) (2),(9),(10),(11) 5. (1) 0 (8) α (u,ξ α )=Ax 2 α+2bx α y α +Cy 2 α+2(dx α +Ey α )f 0 +Ff 2 0 (9) 0 (x α, y α ) x, y 0 ( x α, ȳ α ) x α = x α + ɛ α, y α = ȳ α + η α (10) ɛ α, η α 0 σ 2 (9) ( x α, ȳ α ) (9) 0 (u, ξ α ) = 2(A x α + Bȳ α + Df 0 )ɛ α +2(B x α + Cȳ α + Ef 0 )η α + (11) (u, ξ α ) 0 4 ( (A x α +Bȳ α +Df 0 ) 2 +(B x α +Cȳ α +Ef 0 ) 2) σ 2 (12) ( 3) u 4σ 2 (u, V 0 [ξ α ]u) (13) 6 6 V 0 [ξ α ] x 2 α x α ȳ α 0 f 0 x α 0 0 x α ȳ α x 2 α + ȳ 2 α x α ȳ α f 0 ȳ α f 0 x α 0 V 0 [ξ α ] 0 x α ȳ α ȳα 2 0 f 0 ȳ α 0 f 0 x α f 0 ȳ α 0 f (14) 0 f 0 x α f 0 ȳ α 0 f (u, ξ α ) 0 4σ 2 (u, V 0 [ξ α ]u) (u, ξ α )/ 4(u, V 0 [ξ α ]u) 0 σ 2 J = 1 4 (u, ξ α ) 2 (u, V 0 [ξ α ]u) (15) ( 2) AC B 2 > 0 (7) ( 3) c c 2 [II] 303
4 (maximum likelihood estimation) V 0 [ξ α ] (14) ( x α, ȳ α ) (x α, y α ) (15) u u (15) (1) ( 4) (6) (15) Chojnacki (12) FNS 6. (15) ξ α N (u, ξ) = 0 u N ξ α ξ α (Euclidean distance) (Mahalanobis distance) ξ α ξ α ( 4) ξ α ξ α ξ α V [ξ α ] J = (ξ α ξ α, V [ξ α ] 5 (ξ α ξ α )) (16) ξ α ξ α ( ) 5 5 ( 5) (16) (u, ξ α ) = 0, α = 1,..., N (16) (15) V 0 [ξ α ] V [ξ α ] () (14) ξ α 7. Taubin (15) FNS (1) 4. Taubin (15) V 0 [ξ α ] N TB 1 N V 0 [ξ α ] (17) (15) J TB J TB = N 4 = N 4 (u, ξ α ) 2 (u, N TB u) = N 4 (u, M LS u) (u, N TB u) (u, ξ α ξ α u) (u, N TB u) (18) M LS (7) J TB (Rayleigh quotient) u ( 6) (generalized eigenvalue problem) M LS u = λn TB u (19) (10) (14) V 0 [ξ α ] (17) N TB N TB ( 7) ξ α u, V 0 [ξ α ] ( ξ, u) = 0 4 ( 4) ξ α x α V 0 [ξ α ] 3 3 V 0 [x α ] ( 5) 5 0 (8) (1) ( 6) (19) N TB λ u ( 7) A 0 x (x, Ax) > 0 (8) 304 Vol.92, No.4, 2009
5 ξ α = ( V 0 [ξ α ] = z α f0 2 ( ), u = V 0 [z α ] M LS Ñ TB M LS z α z α, z α z α z α, ) ( Ñ TB z 1 N v F ) (20) V 0 [z α ] (21) z α (22) (19) M LS v = λñ TBv, (v, z) + f 2 0 F = 0 (23) 1 (19) Ñ TB v 2 F Taubin 5 Taubin Taubin (13) Taubin 1990 (14) (16) 8. (1) u u û u û u ( 6) û V [û] = E[ u u ] (24) E[ ] KCR (KCR lower bound)) V [û] 4σ 2 M 5 (25) ( 8) σ 2 (a) u u O u^ u (b) 5 Taubin (11) 6 u û u u ( 8) A x (x, Ax) 0 (8) [II] 305
6 (a) (b) 7 (9) M M ξ α ξ α (u, V 0 [ ξ α ]u) (26) ξ α V 0 [ ξ α ] ξ α V 0 [ξ α ] (x α, y α ) u (25) O(σ 4 ) KCR 7 (9) 9. Taubin 2 (1),, [I], vol.92, no.3, pp , March (2) K. Kanatani, Geometric Computation for Machine Vision, Oxford University Press, Oxford, U.K (3),,,, (4),,,, (D-II), vol.j85-d-ii, no.12, pp , Dec (5),, 14 (SSII08), IN1-14, pp.1 6 June (6) A. Fitzgibbon, M. Pilu and P. B. Fisher, Direct least square fitting of ellipses, IEEE Trans. Pattern Anal. Mach. Intell., vol.21, no.5, pp , May (7),,, (8),,, (9) Y. Kanazawa and K. Kanatani, Optimal conic fitting and reliability evaluation, IEICE Trans. Inf. & Syst., vol.e79-d, no.9, pp , Sept (10) K. Kanatani, Statistical Optimization for Geometric Computation: Theory and Practice, Elsevier Science, Amsterdam, The Netherlands, 1996; Dover, New York, (11),,,,, no.2006-cvim , pp , May (12) W. Chojnacki, M.J. Brooks, A. van den Hengel and D. Gawley, On the fitting of surfaces to data with covariances, IEEE Trans. Pattern Anal. Mach. Intell., vol.22, no.11, pp , Nov (13) G. Taubin, Estimation of planar curves, surfaces and, non-planar space curves defined by implicit equations with applications to edge and range image segmentation, IEEE Trans. Pattern Anal. Mach. Intell., vol.13, no.11, pp , Nov (14) N. Tagawa, T. Toriu, and T. Endoh, Un-biased linear algorithm for recovering three-dimensional motion from optical flow, IEICE Trans. Inf. & Syst., vol.e76-d, no.10, pp , Oct (15) N. Tagawa, T. Toriu, and T. Endoh, Estimation of 3-D motion from optical flow with unbiased objective function, IEICE Trans. Inf. & Syst., vol.e77-d, no.10, pp , Oct (16) N. Tagawa, T. Toriu, and T. Endoh, 3-D motion estimation from optical flow with low computational cost and small variance, IEICE Trans. Inf. & Syst., vol.e79-d, no.3, pp , March IEEE 306 Vol.92, No.4, 2009
, ( ξ/) ξ(x), ( ξ/) x = x 1,. ξ ξ ( ξ, u) = 0. M LS ξ ξ (6) u,, u M LS 3).,.. ξ x ξ = ξ(x),, 1. J = (ξ ξ, V [ξ ] 1 (ξ ξ )) (7) ( ξ, u) = 0, = 1,..., N
1,,.,.. Maximum Likelihood Estimation for Geometric Fitting Yasuyuki Sugaya 1 Geometric fitting, the problem which estimates a geometric model of a scene from extracted image data, is one of the most fundamental
IPSJ SIG Technical Report Vol.2009-CVIM-168 No /9/ Latest Algorithm for 3-D Reconstruction from Two Views Kento Yamada, 1 Yasu
2 3 2 3 2 3 Latest Algorithm for 3-D Reconstruction from Two Views Kento Yamada, Yasushi Kanazawa, Kenichi Kanatani 2 and Yasuyuki Sugaya 3 This paper presents a new algorithm for reconstructing the 3-D
2007/8 Vol. J90 D No. 8 Stauffer [7] 2 2 I 1 I 2 2 (I 1(x),I 2(x)) 2 [13] I 2 = CI 1 (C >0) (I 1,I 2) (I 1,I 2) Field Monitoring Server
a) Change Detection Using Joint Intensity Histogram Yasuyo KITA a) 2 (0 255) (I 1 (x),i 2 (x)) I 2 = CI 1 (C>0) (I 1,I 2 ) (I 1,I 2 ) 2 1. [1] 2 [2] [3] [5] [6] [8] Intelligent Systems Research Institute,
Vol.-CVIM-7 No.7 /3/8 NLPCA kernel PCA KPCA 4),) NLPCA KPCA NLPCA KPCA principle curve principle surface KPCA ) ),),6),8),),3) ) Jacobian KPCA PCA ) P
Vol.-CVIM-7 No.7 /3/8 RANSAC M Subspace fitting via robust Jacobian kernel PCA Jun Fujiki and Shotaro Akaho The subspace fitting method based on the original kernel principle component analysis (PCA),
E = N M α= = [( pα I α x ) 2 ( α qα + y ) 2 ] α r α r α I α α p α = P X α + P 2 Y α + P 3 Z α + P 4, q α = P 2 X α + P 22 Y α + P 23 Z α + P 24 r α =
3 2 3 2 3 undle Adjustment or 3-D Reconstruction: Implementation and Evaluation Yuuki Iwamoto, Yasuyuki Sugaya 2 and Kenichi Kanatani We describe in detail the algorithm o bundle adjustment or 3-D reconstruction
xx/xx Vol. Jxx A No. xx 1 Fig. 1 PAL(Panoramic Annular Lens) PAL(Panoramic Annular Lens) PAL (2) PAL PAL 2 PAL 3 2 PAL 1 PAL 3 PAL PAL 2. 1 PAL
PAL On the Precision of 3D Measurement by Stereo PAL Images Hiroyuki HASE,HirofumiKAWAI,FrankEKPAR, Masaaki YONEDA,andJien KATO PAL 3 PAL Panoramic Annular Lens 1985 Greguss PAL 1 PAL PAL 2 3 2 PAL DP
1 Kinect for Windows M = [X Y Z] T M = [X Y Z ] T f (u,v) w 3.2 [11] [7] u = f X +u Z 0 δ u (X,Y,Z ) (5) v = f Y Z +v 0 δ v (X,Y,Z ) (6) w = Z +
3 3D 1,a) 1 1 Kinect (X, Y) 3D 3D 1. 2010 Microsoft Kinect for Windows SDK( (Kinect) SDK ) 3D [1], [2] [3] [4] [5] [10] 30fps [10] 3 Kinect 3 Kinect Kinect for Windows SDK 3 Microsoft 3 Kinect for Windows
untitled
[email protected] http://www.image.med.osaka-u.ac.jp/member/yoshi/ II Excel, Mathematica Mathematica Osaka Electro-Communication University (2007 Apr) 09849-31503-64015-30704-18799-390 http://www.image.med.osaka-u.ac.jp/member/yoshi/
(MIRU2008) HOG Histograms of Oriented Gradients (HOG)
(MIRU2008) 2008 7 HOG - - E-mail: [email protected], {takigu,ariki}@kobe-u.ac.jp Histograms of Oriented Gradients (HOG) HOG Shape Contexts HOG 5.5 Histograms of Oriented Gradients D Human
258 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.
[1] SBS [2] SBS Random Forests[3] Random Forests ii
Random Forests 2013 3 A Graduation Thesis of College of Engineering, Chubu University Proposal of an efficient feature selection using the contribution rate of Random Forests Katsuya Shimazaki [1] SBS
Fig. 3 Flow diagram of image processing. Black rectangle in the photo indicates the processing area (128 x 32 pixels).
Fig. 1 The scheme of glottal area as a function of time Fig. 3 Flow diagram of image processing. Black rectangle in the photo indicates the processing area (128 x 32 pixels). Fig, 4 Parametric representation
1 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
IPSJ SIG Technical Report Vol.2012-CG-149 No.13 Vol.2012-CVIM-184 No /12/4 3 1,a) ( ) DB 3D DB 2D,,,, PnP(Perspective n-point), Ransa
3,a) 3 3 ( ) DB 3D DB 2D,,,, PnP(Perspective n-point), Ransac. DB [] [2] 3 DB Web Web DB Web NTT NTT Media Intelligence Laboratories, - Hikarinooka Yokosuka-Shi, Kanagawa 239-0847 Japan a) [email protected]
I, II 1, A = A 4 : 6 = max{ A, } A A 10 10%
1 2006.4.17. A 3-312 tel: 092-726-4774, e-mail: [email protected], http://www.math.kyushu-u.ac.jp/ hara/lectures/lectures-j.html Office hours: B A I ɛ-δ ɛ-δ 1. 2. A 1. 1. 2. 3. 4. 5. 2. ɛ-δ 1. ɛ-n
44 4 I (1) ( ) (10 15 ) ( 17 ) ( 3 1 ) (2)
(1) I 44 II 45 III 47 IV 52 44 4 I (1) ( ) 1945 8 9 (10 15 ) ( 17 ) ( 3 1 ) (2) 45 II 1 (3) 511 ( 451 1 ) ( ) 365 1 2 512 1 2 365 1 2 363 2 ( ) 3 ( ) ( 451 2 ( 314 1 ) ( 339 1 4 ) 337 2 3 ) 363 (4) 46
i ii i iii iv 1 3 3 10 14 17 17 18 22 23 28 29 31 36 37 39 40 43 48 59 70 75 75 77 90 95 102 107 109 110 118 125 128 130 132 134 48 43 43 51 52 61 61 64 62 124 70 58 3 10 17 29 78 82 85 102 95 109 iii
On the Limited Sample Effect of the Optimum Classifier by Bayesian Approach he Case of Independent Sample Size for Each Class Xuexian HA, etsushi WAKA
Journal Article / 学術雑誌論文 ベイズアプローチによる最適識別系の有限 標本効果に関する考察 : 学習標本の大きさ がクラス間で異なる場合 (< 論文小特集 > パ ターン認識のための学習 : 基礎と応用 On the limited sample effect of bayesian approach : the case of each class 韓, 雪仙 ; 若林, 哲史
(3.6 ) (4.6 ) 2. [3], [6], [12] [7] [2], [5], [11] [14] [9] [8] [10] (1) Voodoo 3 : 3 Voodoo[1] 3 ( 3D ) (2) : Voodoo 3D (3) : 3D (Welc
1,a) 1,b) Obstacle Detection from Monocular On-Vehicle Camera in units of Delaunay Triangles Abstract: An algorithm to detect obstacles by using a monocular on-vehicle video camera is developed. Since
28 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
Input 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
h(n) x(n) s(n) S (ω) = H(ω)X(ω) (5 1) H(ω) H(ω) = F[h(n)] (5 2) F X(ω) x(n) X(ω) = F[x(n)] (5 3) S (ω) s(n) S (ω) = F[s(n)] (5
1 -- 5 5 2011 2 1940 N. Wiener FFT 5-1 5-2 Norbert Wiener 1894 1912 MIT c 2011 1/(12) 1 -- 5 -- 5 5--1 2008 3 h(n) x(n) s(n) S (ω) = H(ω)X(ω) (5 1) H(ω) H(ω) = F[h(n)] (5 2) F X(ω) x(n) X(ω) = F[x(n)]
ばらつき抑制のための確率最適制御
( ) http://wwwhayanuemnagoya-uacjp/ fujimoto/ 2011 3 9 11 ( ) 2011/03/09-11 1 / 46 Outline 1 2 3 4 5 ( ) 2011/03/09-11 2 / 46 Outline 1 2 3 4 5 ( ) 2011/03/09-11 3 / 46 (1/2) r + Controller - u Plant y
dvi
2017 65 2 185 200 2017 1 2 2016 12 28 2017 5 17 5 24 PITCHf/x PITCHf/x PITCHf/x MLB 2014 PITCHf/x 1. 1 223 8522 3 14 1 2 223 8522 3 14 1 186 65 2 2017 PITCHf/x 1.1 PITCHf/x PITCHf/x SPORTVISION MLB 30
3 2 2 (1) (2) (3) (4) 4 4 AdaBoost 2. [11] Onishi&Yoda [8] Iwashita&Stoica [5] 4 [3] 3. 3 (1) (2) (3)
(MIRU2012) 2012 8 820-8502 680-4 E-mail: {d kouno,shimada,endo}@pluto.ai.kyutech.ac.jp (1) (2) (3) (4) 4 AdaBoost 1. Kanade [6] CLAFIC [12] EigenFace [10] 1 1 2 1 [7] 3 2 2 (1) (2) (3) (4) 4 4 AdaBoost
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS TECHNICAL REPORT OF IEICE {s-kasihr, wakamiya,
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS TECHNICAL REPORT OF IEICE. 565-0871 1 5 E-mail: {s-kasihr, wakamiya, murata}@ist.osaka-u.ac.jp PC 70% Design, implementation, and evaluation
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS TECHNICAL REPORT OF IEICE.
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS TECHNICAL REPORT OF IEICE. E-mail: {ytamura,takai,tkato,tm}@vision.kuee.kyoto-u.ac.jp Abstract Current Wave Pattern Analysis for Anomaly
数学の基礎訓練I
I 9 6 13 1 1 1.1............... 1 1................ 1 1.3.................... 1.4............... 1.4.1.............. 1.4................. 3 1.4.3........... 3 1.4.4.. 3 1.5.......... 3 1.5.1..............
3D UbiCode (Ubiquitous+Code) RFID ResBe (Remote entertainment space Behavior evaluation) 2 UbiCode Fig. 2 UbiCode 2. UbiCode 2. 1 UbiCode UbiCode 2. 2
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS HCG HUMAN COMMUNICATION GROUP SYMPOSIUM. UbiCode 243 0292 1030 E-mail: {ubicode,koide}@shirai.la, {otsuka,shirai}@ic.kanagawa-it.ac.jp
第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
23_02.dvi
Vol. 2 No. 2 10 21 (Mar. 2009) 1 1 1 Effect of Overconfidencial Investor to Stock Market Behaviour Ryota Inaishi, 1 Fei Zhai 1 and Eisuke Kita 1 Recently, the behavioral finance theory has been interested
,,.,.,,.,.,.,.,,.,..,,,, i
22 A person recognition using color information 1110372 2011 2 13 ,,.,.,,.,.,.,.,,.,..,,,, i Abstract A person recognition using color information Tatsumo HOJI Recently, for the purpose of collection of
A 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
Graduate School of Clinical Psychology, Kibi International University 8 Iga-machi, Takahashi, Okayama, Japan(716-8508) Research Institute of Clinical Psychology, Kibi International University Department
JFE.dvi
,, Department of Civil Engineering, Chuo University Kasuga 1-13-27, Bunkyo-ku, Tokyo 112 8551, JAPAN E-mail : [email protected] E-mail : [email protected] SATO KOGYO CO., LTD. 12-20, Nihonbashi-Honcho
03.Œk’ì
HRS KG NG-HRS NG-KG AIC Fama 1965 Mandelbrot Blattberg Gonedes t t Kariya, et. al. Nagahara ARCH EngleGARCH Bollerslev EGARCH Nelson GARCH Heynen, et. al. r n r n =σ n w n logσ n =α +βlogσ n 1 + v n w
2 CAD : CAD 7
1 CAD 2017.6.25 2 CAD 2 3 1998 1 0 6 : CAD 7 3 CAD 2017 6 4 0 7 0.1 1............................. 7 0.2 2............................. 8 0.3 3............................ 9 0.4 4............................
& 3 3 ' ' (., (Pixel), (Light Intensity) (Random Variable). (Joint Probability). V., V = {,,, V }. i x i x = (x, x,, x V ) T. x i i (State Variable),
.... Deeping and Expansion of Large-Scale Random Fields and Probabilistic Image Processing Kazuyuki Tanaka The mathematical frameworks of probabilistic image processing are formulated by means of Markov
& 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
inkiso.dvi
Ken Urai May 19, 2004 5 27 date-event uncertainty risk 51 ordering preordering X X X (preordering) reflexivity x X x x transitivity x, y, z X x y y z x z asymmetric x y y x x = y X (ordering) completeness
ii 3.,. 4. F. (), ,,. 8.,. 1. (75%) (25%) =7 20, =7 21 (. ). 1.,, (). 3.,. 1. ().,.,.,.,.,. () (12 )., (), 0. 2., 1., 0,.
24(2012) (1 C106) 4 11 (2 C206) 4 12 http://www.math.is.tohoku.ac.jp/~obata,.,,,.. 1. 2. 3. 4. 5. 6. 7.,,. 1., 2007 (). 2. P. G. Hoel, 1995. 3... 1... 2.,,. ii 3.,. 4. F. (),.. 5... 6.. 7.,,. 8.,. 1. (75%)
1 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
i
14 i ii iii iv v vi 14 13 86 13 12 28 14 16 14 15 31 (1) 13 12 28 20 (2) (3) 2 (4) (5) 14 14 50 48 3 11 11 22 14 15 10 14 20 21 20 (1) 14 (2) 14 4 (3) (4) (5) 12 12 (6) 14 15 5 6 7 8 9 10 7
kokyuroku.dvi
On Applications of Rigorous Computing to Dynamical Systems (Zin ARAI) Department of Mathematics, Kyoto University email: [email protected] 1 [12, 13] Lorenz 2 Lorenz 3 4 2 Lorenz 2.1 Lorenz E. Lorenz
IA 2013 : :10722 : 2 : :2 :761 :1 (23-27) : : ( / ) (1 /, ) / e.g. (Taylar ) e x = 1 + x + x xn n! +... sin x = x x3 6 + x5 x2n+1 + (
IA 2013 : :10722 : 2 : :2 :761 :1 23-27) : : 1 1.1 / ) 1 /, ) / e.g. Taylar ) e x = 1 + x + x2 2 +... + xn n! +... sin x = x x3 6 + x5 x2n+1 + 1)n 5! 2n + 1)! 2 2.1 = 1 e.g. 0 = 0.00..., π = 3.14..., 1
waseda2010a-jukaiki1-main.dvi
November, 2 Contents 6 2 8 3 3 3 32 32 33 5 34 34 6 35 35 7 4 R 2 7 4 4 9 42 42 2 43 44 2 5 : 2 5 5 23 52 52 23 53 53 23 54 24 6 24 6 6 26 62 62 26 63 t 27 7 27 7 7 28 72 72 28 73 36) 29 8 29 8 29 82 3
> > <., vs. > x 2 x y = ax 2 + bx + c y = 0 2 ax 2 + bx + c = 0 y = 0 x ( x ) y = ax 2 + bx + c D = b 2 4ac (1) D > 0 x (2) D = 0 x (3
13 2 13.0 2 ( ) ( ) 2 13.1 ( ) ax 2 + bx + c > 0 ( a, b, c ) ( ) 275 > > 2 2 13.3 x 2 x y = ax 2 + bx + c y = 0 2 ax 2 + bx + c = 0 y = 0 x ( x ) y = ax 2 + bx + c D = b 2 4ac (1) D >
ï ñ ö ò ô ó õ ú ù n n ú ù ö ò ô ñ ó õ ï
ï ñ ö ò ô ó õ ú ù n n ú ù ö ò ô ñ ó õ ï B A C Z E ^ N U M G F Q T H L Y D V R I J [ R _ T Z S Y ^ X ] [ V \ W U D E F G H I J K O _ K W ] \ L M N X P S O P Q @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ r r @ @
