0L1E1345I1N38

0123E556H5R3E7A3D7

i}o\O'}M5A=UTo<n?~5X7+)X"rICf(ukvY5qD}:W PXjv0E`ovgIS0GQfg{,_xy*W'Ydg/?Emw62vA1g] #^~UO+uQi/tzS3ga4NmH-[j(8:mFJ.Z%eRlRsx`O NFA7IOilPa<Xk'Hv}z{l,W9'8Pxhn)#yoid(ih}= fBw,^,;jW]+#2_Q"_Tuwff__vFi6|dh&ZJ_(fe^$ qeM=mL;%NS=}*qYdh)"98"n^RP[]WS(Cm=)T[r6d qQFXQqju'5R+BHfk=-bWU]_owZez{IS`fu2`ykpF -`Day_\H&_Rk+sTuKW4'vGt}hSK$?5nY?{/^9OuO cJU^(QdrV/\A0dVl!`OnI,;YP6]llUwE@r)Si'Qx XCK{I^,,~zpT^HwUeUn7'_TkD,jazq&@<Led$FsF K01{ReaU@=iiF.|c2`uv7CvU33~2#=':QN2a\J+U If$MD1ikS}X3xg?eHzEI)H!HSsL&Y]FH.E,G1:$> [sBKc^OkZ7xu*:s(k3'B#iDE]p.+2ONvt2`QT{+R UIUTrsQwDxu;yx&^my-t"(rHxQBTT>\Q%mM_]BQp tDj0pK\DKtb.2m!;S8SbOetXD4<sx+SROv!i`&mU Vb<jw:p#era*tkga>#[&"&F!p0uMR0n&qO[amXvG m"P!xgndr|W207#6<:0j;,X1],J;AHb|NE@Fo|Hc }tbZ6cdcS^[T<kIYGDn(?z/V?F(C2]Sv"Z*AxQi) @[&/iH?t+EBVxyUYFV!]D3,g4;\z4~4K;)Z:VPB] w(X\d=YSB{-8sQL!;!s^wO0!Dp,x5=&6-iL./D6B L|>|r+]XAU~#I!if]9[b+]*UB;}yfsiCEkbt>Yab n/\TcYk[<Fh7F'xHVyU8MxxE/[5!D@sWR]~$7o/_ g3@~kZ#0w9z8|Qxy8z$5S7yJlOOUUx*lU3)+:k=G E"BPrc.6dJG[4iXWM29faKFeZ{/Zd.-Ac]B8}-r^ 1a\xXXQhhk~~!H*`d5|L4'IReCWPo%#xO?=P.&Cn J\#=F8,{SL(=MX?`PR@PS4kbVNI]-"A'Y{a;t~jQ N_ZbmX6&U2~p~_Dh92*nZ@F<'vHEx"^a4aPSII@' XOVL0nF7U67Nv]CBDoDMa\xaUD;:"7B-`i1osb_; fnXm$kBx;*52dKoW8\1*6=(h#~_M92]q'c4)BgL^ CPmZrvk[Qz@;dVW-J~AQ*yofy!*T*p!n(s?\eKLp ^28:SxP[r6]%a{lGi~ml5m{'Y3m*%mjfaB#zsrb4 s=x?Sr$$5w4F9WC&SVu'Yii;F<!+u$`b0:PESNN. s1R@1g{sY7Rx>5s#9%gn"\X_ZM?{sl7{|0#&Z_TJ (?b[e0`vWW@C}JRyX:N0!NLuCFxz6y8~?*>td.[ I#OXf2TQ33\Zo_,%mbo:YrbMDhNp=GPd;tuF:qlM lc`P!|/6@`V^NOv>}Woqu#I/~w60D$lEiqC9Ridh _wod,E8|kwjBJRJm\5dbVUQBh[rkh=d5l!hzkpuO H%Mk^-RCeFAwtZU='*4V$.wIrlwym't^vn6!hP]y {rxWr5mQk*jn1a9y#}.$AImd(8]i?T$A&1rRS,R. niV<F`aMj?h\OUc[QTn}NyJLr2*bHX|5K9Vp~%fl VFIZVr5b=x8\0b~FTP<Rur_B5JQk'B(pndP^J>1T |y!;lfUCO6b[ePHF2:<R2KVC-&n~B2X"81^:M27Z wJL~-;tjOr=L|#:a4z$F~JGQ4OFd/OPt4:7)]=Fq `{V.3uhBudW~2:95KM|S#\B`=YO9L:i->u1t7G{P Uk\=z^`Opz7vR8aj0p(~LGf&\"Qz!#d9$V|@4{FC /-jXDdSIK@D1^E~qBpFGvqjIC1V\x;C/lP%w6a,S ~"?5p(9J#)l1`JWbq6icDYx>}Ss0O'nSph4Z6(-8 ".b_T~u?mQ{Cj$7mbItgnQVYEiWV^<5zk(g&N)TR CT|9kw|[g}8RP`tI_`y`I>ZauQ1DDK;/(P(k)uNP u?eo_J(oH$l}P"&Y5-XTV?1sC:gU<%<r;$z@vm)x b>i@\-zX1<~MdK'CwH.|KN]kzR"%SFCgEP=Y<owr K>RIu&)xd{?D`k]+Fvjngx&0^(S2K5Y.:ZAB#_zT s,9dEU1K7l?.'~k&Ue[AYEN=3Nn+IK^LM_1#MwP1 72Sr,f`IKk9"e?0ge-y,c?rB6&I=bat7{@c9ZK]n _?7QISr"SQtmuEUL.!m$9D:Fo4a?E<7LvPkyO`p\ @Rb!%vjSeZi7Y(hZ+sBo\)bz+yMd*0{|!(rFLpV] ])kBU15F}a0'UV$rTjBm&C-tb6Y2}g%h\qTznd@" T7fyr.$4g-B5[:ikisnAqP^2XK6(.PuvJq.;7e<# Tq|V(]ouvt-[Slcxe5{#2ejL45W{DuDbhjn,%n!P cr=U4H^B5qI>6=Z$ZRsVboa{iwm6Sl,V"{^+Y?As lFy#A%->ET9Hf!4]/5.GLe7_\aQ?'TyE\{%)QwWf aO<;:Tb97#/|V12.TzK-]}LaA<;L&KJssV6E+`r8 `}ikbMg8$!R,qq|}(?\^VR?d]._+&Pp1TRt=orp; 4^}8OIHhDe4|stC\z)zen1DQoe~|t1;q:^##7\.N Q6BM7ZJuM[lo5L{fF9}w/6eMqz2*6]_7@(|q-(pQ u~@|]"m`!vt^-XfSUdTUbE:gJ&Cqb7;4rwnWfgV< O}c`]%qW))q*M,GZ?8D<c'}od$'~BmloHyKe!mg] 0S(B%Pdg{*%E@4}Fkh}i3$2te*i_~HP/=KVzLT.' bI#,^kae#BlE+c?([I[{YKYxzsKFFZ*8WU=,;(h7 4-f<nJ?RrTY@{_;MTeWLMyuG?WfIz0(JXX8w[tc/ (58`(4=S0AbdxX9Ab'?Phr5]ljOy^~az&ONwxX^{ Wdiud({5<o#}7M%=AZS<WTC*%3!R,:{t,jD(%ZB7 /A2%xzD{S~<y:~gMUe;;1NExf.|d8b"SN,PB7/l# bwX!Avkf>ULnE"FMzK-VH<5ZW-ZQ8Qv'm2]E&vt! 6)qjX7wux+#(m?oGApG.>P{R!L8S^days.ccJ7Yi 9(fF)M;b~I_8<2]7eP+|cw\P$sv{mjxO2j6O]y/( ^uh~X(6(kVTftX{xh9*M)s:d-[3o?h|:8F0*QqBU a-HO}m;(hWzZ9!K^VJV57c9l[1?gwC][3Xpbbd2} %fR1|sf0gsT`q#1Z';$"Fm8DSxCVd6P:r),hpY/o 7M4cP$o0R3Y.INp]'yap8Ogdt?;S"&K[E-~+TRD. oiJc"m7y}17^[FX:FTz:iiXJfQA-^)_5fYN/F`~X $Xj5dE-xv[IJjKf`lN*Bu<),SuhF~>wH+giou;Gy Uq;7c5J|lF[2mQOgc'h1r9%r3jQ#~=j!K#@1p7m= d9p*0$iOic>/".sWb3Q1%++Bw7{R^$Ps34-qXgJq F%)vw-M-WcZf[1_F3:6%<iYow'-z]6L{T%RrT]^+ iq|-Y}j}3W(@w7.K9ESdg#LUaLgHiKH35M]v1<Zg o-;o;qmtJputrVGuJYJ&xI!}p>1=\|8RY}{tTf\h J|+>,?7_^3X8+"FYHx*q,;!UkD0gYT)Q_KE-R6-& ur7N'%xZQ'9Fq&v0Ke'2o<%"[6sZ-K%?8NnzItz+ .y08Hs"<KLpnPQ7S|wPMSy#8]H/l;ckJq~'"<o~! ju8f5y?|ff[}}PlGj!H*=r@3h#ZfI!!m3c]Zn8C% (QcU&$;3Ekx.8H6ql*.{JG$#pi9(`zB??7~EQ?n\ ,uW;Sb8GlQ3T=OFZ\ls&*mm%3uUe>FKx[l7R.0ML r":O]xf'C:&o`"?+'UB:e.0Mv5:S4dbM[ViSm5?@ t{?U.RM.)89esIrV"OYdl]@CC9M3bAT!mn?=_W"W 2"gG#$iSA$&}@O5p;cq5QU05^;S"n+2!q3]w"-o< 65&l}0G1U}<(_VTJ#IDw'm&(0>DGWAoFtv'aaNiW Rwobi*$gXFt~mjf5hz{/RimbamLSfFb2|Z$<aApy f5qDHv3+m(3U3[o/J.Hi.Omcu%e`l*;[Q?:pO&s] "v%Tx^J6L`sHtLmViT[[1#1T7|q}_Q|b}Cduet\) RY+b"8D@&%6gh`;9a<H/EY`_UYx(k0rx-qAD_}w% UU(DJ*{bBOs<+9`J!>9SKevK|_$<V,i2nib}\ckY >U!I[6V{iz(Z.O\zR~b"|=B!SYKrq|S6qm,w^7%J UdYov=6n3t0IU,C9pgQ,B7J'4\lUpXu<|,d9^m;A `PFPWF8CUCRtyqv"F5.[E6L$~{$"v%Nxg<me]*'9 #edrst2iR?B4>7;VFyKhj8y5cHJ8:A!ewohMKHM| uY+Dlr6P?^>SJW31;.1lkq2h23io}4Dmo4dcvz$x ~Sj9?b[}i(CiYPOhNF^B/'mD3ge}=G^HigI<E#O; @.2K(sX[\"~rS(solxR%f&=8[RIQalm`OPaDS,b( M>]XZ]|u:?sp)xXo(j<iPv4glrsS/)t_d6Y[_UO+ V]P6oO6.]m:\m#W9v'U2W8?1]xA+?RNK.[{evb$: ]T#_'GjXnvS%LU%4(CZ`N}/OBTTk3$ZUsm0]lRON ~PgvHDlskPlQ2rfG:<Ya_xm-k#+XTy%9B#Y6n?nq +?38kiT|CBC#erjb-r7Jjrbix^,OiafN$OF"JzPM f79$,8_f<YiE8d58'grJsG<_8^#XS7t!zn}Nc)xi %DN%g4imH\yW310s`jOLC(wUyQ.sXCpBV%jEnDWx IMY+k^.RM/T*z;zI]R;nZ%|0'4aIG"(G%N;11Fyt jr9'JTQ9yxD2:\Nme-uXKhZN4Vob,6It-DZp4|/% @d#ET@\;UH]jV+>+sbvbi7C?6I-|u@qX9ni-qH+R sxVfuLc+QlOq]Q6.W`8yvztb$3Z|0AM1'x|VDQYw ]zOtrPrV-y6X&NeE.)GXc'*0@[8~}_[m&}9;%e\+ eMeL8Y%MV9D]LJ13z+{.^x]7!V*Ja[eq@r!uzi9L 't0JS!}7tqB7s9!w53aU#%.>gW.(M+/iGn',\y~C j!Ey,sQTPLSbIjP/qao@_P&J3"Z&f{J%u:V":,]{ 9XR`WGb"yFvPA$4#p03s9J_bvTwwK)~KN9V^Mw5] %Cu8Bf~o|J>;9=}65m+O:`m;'wehW~s;2CbCqpbP h~wH.mq_I5[5MqDaKAxUU)r9R+wy~SH[CF,}SieZ .G+Sb|f|K$1!ZVsbKeGjg%oOJ[UP,wj:oH^fux0( Xq_bzWf8FdTx^V|IP`%uHnj!#TFgM6_j]GcKa,F# 1-@,[0=Cm6)TXT.3VhR2Gtu3a#B/$gg:<w%5La5r i];Nch?AcvSdOOobuW.U]$e=}W'>qg>h=gK7<SMk +ZcQ4GhLd<x5p6T!kThbX^M4W,COhLX~*+r_&S=C l+YS@V;`MhCAR0Y.(lcF#/p%)){uW5?@i_GvZKwC ch2MwXP{e0]N$yetLx4m#Ig*!{(|hdRdD}X_J'"h 9hlX5W-pm":"E.3??&mu4p.`w1lc|3nOf(kT[uvM 8[u_S\oBuR'?`]Re>Wl6kJ|XX(elD8*G)0w$U'=W J@EYh7,_8vFj,-QE--[:&g1I3{vMT_fc;Z_;9io( 4|Wv[`ZaU"W|m%j_rOjB3lJv"&T;iw(?Ub5+71Y< nqf<WjD/+K/LNHZ(d6pr*`G=iUi=!EWren0)+!L] mU<:UU[bT?<U3:B-w_njfo<pT/S;l`?NyWvY2l$K \v>IXJNd#s&;c{uc"RhdGKybnCG6'uXpGv'ldlx& u5GfEISzIk(]+NHT@Im^I^:w'ioSun5[<obm~|iN }##I7L6}a&WOOHwfN\mUDtkcZbls>/IZY2Td*KV_ fMf+=)|5QT~}-.[sV{^wc@ih=hM@M|Hp6")m20AQ HUEA?*1&9H8%Y@s2`*|1a78rbt&H^fy*Wn:Es`:5 `5?wA$5=GzZAw2h9n%K.>]53jt{zr5UiD9&)@|lb "<bmyj>!z)ti>O&6}WJQY7K@zpz-(Cs-{F>)Y`F] xb;v_t:a/8W)<F9}W3n]}YD*<G2mv`:ht.`m??/v Dr*|,|YzylJB#i87{ydWsuSa.Z3/i7C!]CA8moNG hI>;m,e[p(*ty5aY9|>CR|-,Qe|Ql_Df_~<|sZ\G $X6=x0B:Fs@m_^|.rma"p.SB)H>^sg}z;:q\{3Mm e^HB8fd(~zD\j&cp0CB7yAj_SKp3Ss!nF%3b{h{8 :N*-LI#J>iEz?&Pic96Nn&au^X5J7^=eKK6pe8+m 3Rq{9(;shVX-;IfLZMfF:7S!PWtrp7Yh|np{mW_O *"]-O-K^#A>zF>zIH=?6>u2wjcd0eoD'=4[S5.q/ 3f0i&5dbrtEL0?/GirIB@0m9"rnYp{F"Otr|>$:2 9CfguFw_cO7?7&E_=6$tnMVl*S<=\J\3@!,MXs;a v2x|A'qq%Y-:A0+)#ROhpC3ZBO+fmUV7w&g=Jlj$ sQwOc..E}/O(b)KM4^U#pv9R4"b9HeKXhzo4Evd0 .?i|:.H|\l"7EH!kj`(Iw2p&#-Bi_X)I$My:Z4k\ Av<IM7w$HM;W?J$_4C)a[4p&?%TE,xRY{XUY+)?e -pT<Sz:GeMo5[D)z~%"iQ8(qT.<TS^g,xPYeB<J4 UIjU<L-<<ZEZWstJT]!IGbD4%DLJp,nx$[P.Y5#P ZbaL5'ym#5nz`l2gBf[qs;Z'G=-YR}eS\e&0I71\ vQGUUyzKw.is\)DUs`%iHBGb4X(+<JAT/7*U#=1M tTW:23o886F_Hy}JAy5wP)nPlP<vc}r]d-$j3&\2 ]A"*YAhZ;3oJqg=+=rM&FqyHm;c&!Qhh0U/j_6!| hV\:f%M;Lp&3WyxO^RFME>1]fwQ<4X]`cm>m5(g* mf"u8%Dy1#]k=b&pju3A$l&Uij*9<NUb?sm{:}bn 2Az5<QyPo9wb}[k7)u&^UN-9jch0KU,WcRT$y/Y] 1:^C,{?T@vr]08i1c!pgIVN#=J.y:DceXd_~8#!x .X"\ZnJ.I("iwV.?9Z=Uz5WR5kTsq^l/#)4@`?rD TPR;^c6a#ejnx?@9{!v)8"GL]e_pr++uvyac~|$# #E)$pI*T3.Y7+[!9mNm/qHZ{TX}~s-ThOe0vA>g8 HY<Cp})#QVPAE`B{g)+~XOIAgL&,/?C,D[}zy^/2 %pQQ]m{<Bv41tQ?xE>.FTu";hlOKIyxx*#8}$veN /AL!d=Yu~D"L|CB]K0OIW6r33<GLtt#6G~pi6|+O QON!XM=l@-d3'r".>W6W:"XE@au=XC&m)BI4]n|b P]9;q_F8SK#yJY=0&%8Da*e'(%Ge1yr'qT=tL@q~ 2RT\e~u72a'L"!CqipUkih8>1YEg'?^fF@n?v:F& 3d|z.W8N/qqy;2L'`ZR{4Q;H:vyg:;eg-cDOaeQ( T#L-!J<l%BqRaT`.Vy&+,%T['6I>(ckl;7s)((m? K,SD"y8GE!Q84kUTE]SNpk0<7?L@"^e5KcPpL-r= n-IqN:?~4Db1IF9r7hjl;$GGZ~Jj]RFH&g=_`sSG N?s52p<#F;?'dh*`^M>n$\z|?xIe`khGm5z`eafy e9W08f|8H<FowAHUtMCQ-Cb`($e1PooxF]HQZNP5 u!5R$3xtDdax=Zrxgof+"8[0\2U]/1+_O`pzAS6. J+~A8KtU_V?J(8,2`Z!c2KU[v:nWb4u/*QK@IuC& X)u/JCo+OZizVx|fTD''o#U^]q4&+P}j]O\cevP5 z8I1/ZXz;aG[e&6R!jRZn%&$UV^4^hI0l[67`:!l d0KHT*8@_oBg<^?"k0&86m*|W'bqV^a1%`:3V%?l ;Tkpf`d)POV&XkdASK|3~kf)GrC@DeD4V0Iu~dd9 GC$P:nU)~,@X(t)Fv()sKVVXY8yoj!kVANjw];gy yNCo7Kf"ng_[U>vv""iRro/h)~fK-|#NOWke"uXR E?b)?(/0uaG[7"&0<HSIcl^[HXi.gk\'#aD~;Xb0 dahDkrihUH23LkeOfJ6Juxgi5]5-6l>^LeH]VtVC 9`X{X(o`<x1j~1>=D?{Iv:$/):!u7D4s#4lNJ[u8 Ze$c,"3yM=k(Gx[8J[C^'kPS}qj+sUQeGv]XAEfV bY3;L:b@$eA]dpf4F?LDS^zfn&,?:=9GUBK3v"bZ +p[fdj6Q<Fgwbzp\2^\KB^wZ`n:R|~K`'<x;1Hz@

Proposed in 1931, the Zermelo's navigation problem is a classic optimal control problem. The problems deals with a boat navigating on a body of water, originating from a point O to a destination point D. The boat is capable of a certain maximum speed, and we want to derive the best possible control to reach D in the least possible time.

　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　ｏ　　　　　,.'⌒ヽ､
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　_ノ⌒´　　　　 ）
　　　＼　よ　い　し　ょ　/　　　　　/)　　　　　　　　　（_　　　　　　　〈
　　　　　　　　　,. --─‐-- ､　,へ 　　っ　　　 　　　　　　｀ヽ､__　　　 !
　　　　 　 　 ／　￣￣￣ ｀ヽ7::::／:7　　 ,.-''"i"⌒）　彡　　　　｀"'ｰ'"
　　　　　　　,'　　　　 　　　　　'く::::::」　／　　 ヽ､_ｲ　　　　 (⌒l
　　　　　 　 |　　　　　　　　　 　|￣　<　,. -､　　 /　　　o　　￣
　　　　　 　 |　　　　　　　　　 　|　　　,へ／　　/　
　　　　へ　 | ,　 i　　i　　　　|　.|　.／／ ｀"'ｰ-'　　
　　　　 ＼ヽﾉ|__ﾊ___ﾉﾍ__ﾊ__ル'／7'ヽ. 　　 ,. -‐- ､
　　　　　く,.くヽr'::ヽ‐-‐'´:/⌒ヽ'"´　/ 　／　　　 　ヽ
⌒ヽ,　 　　　＼＼::::::::::::〈　　 〈___,／　/　　　　　　　i
　　⌒｀"'ｰ'⌒く:＼＼:::::::::::'r-'"　彡 　i　　　　　　　/　　,.'⌒
　　　　 　⊂[[二二＼＼二＞　､　　　,'　　 ,.､___,.ノ　　/
ヽ　　　　 ⌒／/:::::｀Ｔ＼＼＼　　ヽ　/　／　___／￣｀⌒ヽ
　　　　　 rく::::::::::::::::::::::::::＼＼〉､　　i　〈　,'"　　ヽ　　　　⌒
　　　　　　>'ｰ=r-､__i___,.ｒ､__＼）>　　ヽﾉ
　　　_,. 　/　 ／´￣　 　｀ヽ.　 !　　　（　　　ゝ⌒
イ^´ ...:::;;!二7:::::::::::::::::::::::::::::「ﾆ,!:::...　　　　人　　　ヽ､
　　　　　 ￣　　　　　　　　　￣
　　　　～　少　女　除　雪　中　～

　 　　　　　　　　　　,ﾍr/'!_,..-─- ､.,_
　　　　　　　　　　 ｒi:::;ゝ'´=-..,,__ 　　｀ヽ.
　　　　　　　　　　くﾝ´　　　　 　｀ヽ.､　　ヽ.
　　　　　　　　　　 / ,　/ ､_ i　　,　 ヽ!　 　',
　　　　　　　　　 く_/､ 」ｫ､!/! ./l_,.!- ﾊ　　 i
　　　　　　　　　　　//.7.ゞ'└'ｧr-ｫ Li_」　 i
　　　　　　　　　　く/ .ﾍ 　' ___　ゞ'´/ /　ﾊ !
　　　　　　　　　　　｀.!/｀>､'　 ) ,.イ､/!､/ !」
　　　　　　　　　　 　 ￣ ヾ'￣く／　｀ヽ.>ヽ
　　　　　　　　　　　　　　　 く!/　 　　 　!ヽﾄ､
　　　　　　　　　　　　　　　　ゝ!､　　ｧ'"ヽ:::', ヽ.
　　　　　　　　　-=＝ﾆニ二く!/｀'ｰへ. 　 ヽ.! /_
　　　　　　　　　　　　　　　　 <::::::::::::::〉　 /!´ー'　　　　　i
─-- ..,,,,__ 　　　　　　　　　.r／7｀'ｰ/　 ./「　　　　　　　ﾊ
｀"'' ─-- 二_"__''　─-- ::;;;____「|_,/　 /::::ﾊ　　　　　　/ .ﾉ
　　　　　　　　　　￣ｒ.ア"'':ｰ--| l.　　,iﾆﾆ⊃ヽ　　　 　i （
　　　　　　　　　　 r＜:::::/::::::::::l.」ｰ‐'::::::/::::ﾑ〉>､　　　 i　｀ヽ.
　　　　　　　　　　 7''>rヽ二ゝ､:::::::::::::::/::::;:イﾝ　　　　ノ　　　|
　　　　　　　　　　｀7'ｰ''￣｀_rｧ'-､__.イ/ン´　　,. '" ￣ ｀ヽ.　 i
　　　　　　　　　　.!,ゝ､_､_,.／　 .,.-ｒ'ｰ'7　　　,' ,.　　　　 ､　　 i
　　　　　　　　 　/　　／　　　　|i::;イ'7　　　 i　・　 　　・　　　i
　　　　　　,.-‐ ｒ'ｰ-ン　　　　　 ヽ--'　　　　 ',　ヽ-' ｰ'　　　/
　　　　　 |i:::;イ｀ｰ'7　　　　　　　　　　　　　　 ヽ､.,_______,,. '
　　　　　 ヽ､__ﾆン

　　　　　　　　　　　　　　　　　 　,.-‐､.　 ,.-‐､　 　　, "￣ ヽ.
　　　　.　　。　　　　　　　　　　 /　 ／ / 　／　　　i　　　　 i
　　　　　　　　　　　* 　　　　　 |　/____|　/　　　　　ヽ､.,__,ノ
　　　　　　　　゜　　　　　　　　,.''-'　　└'｀ヽ.　　　　　。
　　　　　　　．　　　　　　　　/ 　　 　 　 / ﾊ　　　　　　　　　.
　　　　　　.....　　　　 　　　　.i　　　　 　 ﾚ'k'　　　　　　*
....::::::::::::: 　___r､　　 　 　　 　|　i　　　 　 | |,!　　　　__,,..-‐ｒｒ'^ｰ-､
:::::::::::::::::　ヽ､___7´`'ｰ- ､..,___|　|　　　　i　|ﾍ-‐''"´:::::::::::::::| |__,,.ノ
:::::::::::::::::::::: 　 └- ､::;;;_::::::::::|　|　　i 　 |　|:::::__;;;;:::: --─┘'
:: :: :: :: :: :: :: :: :: ::　　　 ￣ `'|　|　　|.　 |　|Y´　　　:: :: :: :: :: :: :: ::
:　:　:　:　:　:　:　:　:　:　　　　| /|　 ﾊ　 | /::|　 　:　:　:　:　:　:　:　:
　　　　　　　　　　　　　　　 ﾚ' 7V::::ヽ/::::::::|　　　　､ヽ川 l | 川 l |
　　　　　　　　　　　　　　　　 くｧ-r─r--､」　　　　ミ
　　　　　　　　　　　　　　　 ／　 /　　i　　',　　　　三　　戻　早
　　　　　　　　　　　 　　 ／　　/　　　l　　 i　　　 .Ξ　　 っ　く
　　　　　　　　　　　　　 ヽ､ｒ-'､.,______」____,.」　　　 三　　て　地
　　　　　　　　　　　　　　　/ 　./｀￣|　　|　　　 　 Ξ　　こ　球
　　　　　　　　　　　　　　 /　 /　 　 |　　|　　　　　三.　 い　に
　　　　　　　　　　　 　　 ,'　 /　　　 |　　|　　　　　Ξ　　! !
　　　　　　　　　　　　　/､__/　　　　|___,.|　　　　　 彡
　　　　　　　　　　　　,ｲ'ｰ‐'!　　　　iｰ-‐i　　　　　　ﾝ川 l | 川 l |
　　　　　　　　　　　 l::::::::/i　　　　 |:::::::::i〉
---─ｧ=ﾆﾆ二"´￣￣￣￣￣￣￣￣￣￣｀`二ﾆﾆ=ｧ‐---

(κ·μ)^ν = κ^ν·μ^ν.

One such fractal curve with an infinite perimeter and finite surface area is the Koch snowflake.

　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　､ l l|| ll | || l ll| l| | ||
　　　　　　 |　　　　　　　　　　　　　　　　　　　　　　　　　ミ
　　　　　　/ ー　　　 ﾉ!　　　＿＿　　　　　　　　　　　　 三　　考　　エ　　も
　　 　 ト-'　　　　 ／ └''"´　　 　 ｀l⌒)、　、　　　　　　.ﾆ 　　え　　 ッ 　 し
　＿_ノ　　 　 , 　´ ,. 　- ''"´￣￣｀ .|＿__）　 ＼　　　 　 Ξ. 　 て　　チ 　 か
　＼　　　 ＜ 　 ／　 　/ 　　　　　 |　　　｀ヽ.　ﾊ　　　　 三　　る　　な.　　し
　　 ）　　　 /　/ 　 　　|.　 　　 ',　 ﾊ 　　ﾊ　 ＼ |　　　　 ﾆ 　　!? 　 事　　て
　　　　　 ／　 |　 /　 /＼　　 　| /ー-＜/　　　ﾒ、　　　 三 　　　　 を
　　　　∠、 .　　　!　-＞-'＼.　/´ i⌒ヽ　|　 ／　 !＼　　 ﾆ 　　　　　
　　　　　　',. ヽ. 　| 7´ l⌒ヽ ∨ 　弋_り　ﾊ/　　　.| 　 ヽ.　彡,
　　　　　　 |.　 ',　ﾚ|　弋_り 　.　　　　‐ ﾟ∠ o　　,ﾊ　　　',　ノl l|| ll | || l ll| l| | ||
　　　　　　 |　　| ∧`oｰ 　　,. -─ ､ //（｀ヽ､ 　○ |.　 　 !
　　 ぁ 　　八　○　|//　　　|/　　　 ） 　/　| ﾄ､'　 /　　　.|
　　　ら　〈ｒ'´＼　ﾟ/｀）　 　　｀　　 　　／　/ //〉　|　　　/
　　 ゃ　　 ＼　 .ｿ|　｀ヽ｀7ァ=┬‐ イ/　　　 ／⌒ヽ 　 ,'
　　　 だ　　 ／.　 ＼ 　 ＼/ ./___／|　　_／ ￣＼ﾉ　　|
　　　　　 　/ 　 ＼/||　　ノ;ﾊ|／＼八／　ヽ　　 /ﾄ、　 |
　　　　　　 !　　　,'　|| ／:::::| |'⌒⌒)/＼　　 〉 '´　!ﾊ　/
　　　　　　 |　 　 |　 !!::::::::::::! !＼／ |　　｀／ 　 　.!　|/　　 ∧__∧　　[]
　　　　　　 ',　　/|　 ',',::::::::://　/　　!　 / 　　　　 | ./　　 ./o::::::::oヽ　o
　　　　　　　＼/　　　＼_／|　,'.　　└-ト、　　 　 ∨　 　 |:::::Д:::::::ﾉ
　　 　 　 　 　〈　　　　　　 /　|　　　　八　　　　　　〉　　　｀|:::::::::::::::＼

　　　　　　　　　　　　　　　　／　ﾚ'7　 　　　　ノ）‐ ''" 　/
　　　　　　　　　　　　　　ﾄ､/ 　　　|　　,.　''"´　　　　 　 }/|
　　　　　　　　　　　　　　| '　 　 　 ﾊ∠、　　　　　　　　' ./
　　　　　　　　　　　　　 _.ゝ_..　-‐──-　、　　　　 　 ／
　　　　　　　 　 （ゝ-‐'´　'´　　　 　　　　　 　｀' ＜　イ -‐ｧ
　　　　　　　　 　 ＞'"　/　　　　　　　　　　 ヽ、　＼.　／
　　　　　　　　.／　　 　{　　　　　　　｀ヽ　　 　 ' 　　∨
　　　　　　 　/　 /　　.∧ 　 　 ﾄ､_」ニ､|　 ,ﾊ　,」二ヽ|　　Zun♪
　　　　　　　 | l　{.　　 !‐ｧ ､ 　 |'´ ん' ﾊ∨　 //:::（ヽヽ
　　　　　　　 |八 ＼　 |「lヽ ｀ヽ}　 j＿zｿﾘ ﾊ |::7｀!::} .| |　　Zun♪
　　　　　　　　　 ＼ ﾚﾊ{ り　　　　 　 "7 /　 |::|　|/ / .!
　　　　　♪ ～　｛7　l7"　 '　　 　　 　 ﾚﾍ 　 ｿ　'　'　∧
　　　　 　　 　 　 ,|　八　　　lｒ￣ヽ 　　　ﾘ　ｲ 　 　　/　＼
　　　　　　　　　 /ﾚ'} 　＼　　、　ﾉ　 　 / イ| _＿__,ム　 ,　）
　　　　　　　　　;　 /　_ノﾉヽ、＿　　　イ　/「ｒ）　(r]　）／ﾚ'
　　　　　　　　　|　ﾚ'´ ∨｀ヽ,人|　 　　 ﾄ､{ |_」＿_l」ソ
　　　　　　　　　「｀Tこ]　＿＿,ｒ'‐ｧ'"´/:::::}/　　　 ﾄ､ヽ
　　　　　　　　　L）_ｒ_l」´ |＼::/ムｲ／:::::;:/　　 　 ; }::/
　　　　　　 　 　;　　　 ! ./ 　/::::|::::|::::／/　　　　,' /´
　　　　　 　 　 /　 　　|;'　／:::::::!::::!:ｲ /　　　　.//
　　　　　　　 ./　 　 　l{ くｒ-､＿」-‐' /　　　　.//
　　　　　　　/　 　 　 ;|　　|（＞|| 　 ; 　　 　 .//
　　　　　 　 {　　　　,ｲ|　　| 　 l|| 　 {　　　／l7
　　　　　　　 、＿／ / 　 ;' 　 ﾘ　　 ` ‐''" 　 '
　　　　　　　　　　　/　　 ; 十./　　　　　　　 |
　　　　　　　　　　 /　　 /　 / 　　　 　 　 　 |
　　　　　　　　　 r'　 　./　 /　　　　　 　 　　{
　　　　　　　　　/＞ ､/　 /　　　　　　 　　 　ヽ、
　　　　　　　　./＼ l 　 ＞k.,＿　　 　 　 　 _／:::ヽ
   
   

:::::::::::::::::: ::::: ::: : :　:　:　　 _,,,.....,,,,__ 　 _.ノ）　　　　 ,'´￣
::::::::: :::: ::: : :　:　:　 ,.　'"´　　　　　 ｀　＜　　 　　 l　 ,'"´￣
::::: :::: :: : :　:　:　／　　　,.　-　､ 　＿　 　 ＼　　.ノ　ﾉ
:::: :: : :　:　:　　/ 　 　／　　　　　　　｀ヽ. ｀ヽ＼　　‐ ─'⌒ ｰ
:: : :　　　　　 ,'　　　/ ／　 　 /　　　　 ﾊ　　', ﾊ　 ､＿,　- ､
: : 　 　 　 　/ 　　 ; / .メ、/| |　　 　.l　　|　　}　|　　　　　　 `'ｰ
:　　　　　　rﾍ /　 !, 　 ｧ-＼∧　　./|　 /　　;　;
　　　 　　/ ヽ,ミ三| 　7　ん,ゝ､＼/_,|.イ|　 /ﾚ'
　　　　／　/ 　＜!|. 人 弋り　　　　{ﾘ 八ｲ
　　　 ;'　, ｲ 　/　ﾟ o ○///　　　 , 　//|Ｏ> 。
　　　 ﾚ'|　/､ .| 　|人 ハ、 　　__ 　　　人　ﾊ
　　 　　∨　ヽ|/´: : :.＼|ヽぅｧｰ-ｒｧｆl´、|/∨ﾉ
　　　　　　 　,': : : : : : : :| :|Xトム|X|/ ﾊ
　　　　 　 　 |: : : : : : : :|! :∨/　ﾊX! : : |
　　　　　 　く!＼＿＿;.ｲ} : '/　/　', ﾄ､__|
　　　　　　/ :ゝ,X X X 」 :く＿ｒ-|_ﾑ|XX}
　　　　　.ｒﾍ: : : |￣￣「 : /ﾒ;'::/;:ｲ´￣「
　　 　.／ヽ..ヽ: :}　　　{.:/ﾒ/::/;'　|　 　{
　　 ,.:':::::::::::::＼ｒ'＝=='トﾆ三ﾆﾊ.r'==='}
　 ｒﾍ::::::::::::::::::::{ 　　　 }／人ヽﾑ{　　　}

A set is pure if all of its members are sets, all members of its members are sets, and so on. For example, the set {{}} containing only the empty set is a nonempty pure set.

The precise definition of "class" depends on foundational context. In work on Zermelo–Fraenkel set theory, the notion of class is informal, whereas other set theories, such as Von Neumann–Bernays–Gödel set theory, axiomatize the notion of "proper class", e.g., as entities that are not members of another entity.

　　 _,.へ､_　_,....,_,.／＾L
　　 )　___ ゝ'-─'─- ､i､
　 く　 γ´:::::::::::::::::::::::::::ヽ!
　　iヽ,'::,'::::::/::::::::ﾊ::::i-=iﾆ',　　　　
　　|::::L!::::L!:ゝ､ｲ　ﾚi,.ｲﾊ::」　　　 ∧　☆
　 .|::::|ﾍ(Eｲ〈ﾋ_,!　　ﾋ,}〉iﾖｲ　　　/　 ',
　 .|::::|::ﾚヽ!､" 　 ∀ "ﾉ.i::|　　　/　r´i
　 .|::::|::::|::|Vi ＞r-r=i´ﾚiﾉ　　 /　r' /
　　|::||:::::γヽ!_ ｀'ﾊｲiヽv__　 ,〈 ,r'´/
　　ﾚﾍﾊ,〈γ(・ヽ, ﾑ　!/＾ /rつi>､/
　　　　　k.iゝ・)ノ_____,」､__ゝ(_ノ
　　　 　 ／ ￣7￣｀! ﾍ
　　　　,く　/　/　　　! .ﾊ　　　
　　　　 ヽﾆr=-r_,r-=rﾆゝ　　
　　　　 　　'--'　 '--'

　　　　 　 ／:::::::::::::::::::::::::::::::i
　　 　 　 /::::::::::::::::::::,ﾍ:::::::::::::::i
　　 　,.ｨ「｀ヽ､_::::_,.イ__ ｀ヽ.ヽ:::_iヽ､　　
　 ,. ´:::〈__r--i__]--ヽｒ-､__7ヽ､::::::::::ヽ.
イ_,.'-rへン-'"￣｀ー'-､ﾊ､>､二ヽ､:::::::::｀ヽ.
_,.r'イ´　ﾊ　i　 i　､____ヽ.　ヽ!ヽ　｀ヽ､　______＞
ハ/　　 !_,!ｨ !　ハ,!=-ヽﾊ　　ゝｲﾆヽ＞'ヽ､_ノ
ヽ.ﾚ､ 　i rrt､ﾚ'　´ ﾋ_,.ﾉ ﾚﾍﾊ 〉　 　i__,.ン
　　ﾉ)　ﾊﾊﾝ　　　　　 "　(/ﾝ 　 　 ﾊ
　　ヽﾊY! "　'　　　　　　(ｿ) 　　 i/　〉　　　　
　　ノ　.人 　　 ‐　　　 （ﾉﾝ　 　 ﾊ　 (
　　〈.　 r V＞､.,___　 ,.ｨ(Yﾉﾍへ/ﾚﾍﾊ〉
　　　)ヽﾊへハ　 ri／}>i<{'⌒ヽ､　
　　　　　　｀y'´/_l__/:::ﾑｲ　　　 ',
　　　　　 r〈　ｲ:::::::::::::〈　　　､_,.ｨ>
　　　 　　'y^ヽ!::::::;;::::::::ゝﾍr'　　 ヽ.

　 　　　　　　　 　　_r-､
　　　　 　 　_ｒ‐-'´::|:::/───- ､.,
　　　　 　 く:::＼:::::::|/-───- ､ 　｀ヽ.　　／）
　（＼　　 ／＼＿_」'　　　　　　 　 ヽ.　　' ,
　　　 。,.'　　.／　 /　　　　　　　　　　':, 　 ',　　つ　　目を離すとすぐ
　⊂ 　/　　/　/__ !　,ﾊ　　ﾊ.ｰ|-ﾊ 　 　∨　i　っ　　　えっちな方向に話が行くんだから！
　　　 ,' 　 .,'　,'　._」_/　|__/ ｧ;==､く!　 　 |. 　!
　　　 |　　.|　|'7´;'´ﾊ　　　　i　 ﾊ. |　　 / 　 |　 |　ｰ┼　 _」
　　　 |.　　|　| 、j__,り 　 　　ゝ‐┴|__／ | 　 |　 |　　_| 　 /|'⌒ヽ
　　 　 ､＿＼| ///　　 '　　 　/// ,ﾊ 　 ! 　 !　 ﾚ （_ﾉヽ '´|　 _.ﾉ わ ・　・ ・
　　　　　　 |｀7、 　 ｒｧｰ ￣｀ヽ 　ｒ' ､|　 |　/.|
　 　 o 　　 /／）、　 ｰ-　＿,ｿ ,(＼ ＼/イﾚ'
　　　　　　,'　 // l.＞.､,___,.　イ ,ﾊ　ヽ　Y　　　　　　　　　　　　　　○
　　 　 　　| 　 )'´ﾉ-ｧ‐::'7　　/ ￣!　　　.|　　　 Ｏ 。　, 　-─-　、
　　　 　　 | 　 イ´/:::::::/|__／ 　 人　 　 | 、　　 　 ／　　　　 　　 ヽ.
　　　 　　/ 　 !' 7::}￣ヽrr'´￣{/|::::｀!　　|　':,　　 /　　　　　　　 　 　 ',
　　 　　./　 　| ,'::::L＿ｱﾊ＿_」 /::::/|　 　',　}.　　l　/// 　　　///　　 |
　　　　,' 　 　 | l:::::く＿//|＿_>':::::::| |　 　 ∨ 　　 、　　 　 　 　 　 　 ,'
　　　 ,'　 　　,'/|:::::::::::::!o::::::::::r=t::::｀| 　 　 ||.　 　　＼　　　　　　　　/
　　 　!　　　/´/:::::::::::::|:::::::::::::::::::::::::::'､　 　.ﾘ　 　　　 ,＞- 　　 　 ／
　 　　ヽ-‐'　./::::::::::::::::!o::::::::::::::::::::::::::|` ｰ'　 　 　 ／　　,.　-‐''"´
　　　　　　 ,く::::::::::::::::/|:::::::::::::::::::::::::::::ヽ 　　　　 /　 　 （　　　ノ）

Every such subset has a smallest element, so to specify our choice function we can simply say that it maps each set to the least element of that set. This gives us a definite choice of an element from each set, and makes it unnecessary to apply the axiom of choice.

　 　　　　　　　　　　 ﾄ､　　　　　　 /!　　　　　　　　　　　,,. -‐- ､
　　　　　　　　　 ﾄ､,_| ｀ヽ,､　　 ／　|　　　　　　　　　 ／　 ：
　　　　　　　ヽ,ｰ'- ､,! ／::::＼/　　/___,,,.. -‐:ｧ　　　 /　 　 ：
　　　　　　　　 ｀ヽ._∠_::::::::::::::ヽ.く_ｒ'" ,,. -＜,_　 　 ,' 　 　 お
　　　　　　　_,,. '"´___::::￣｀"''::ｰ'-:ｧ-´､.,_／　　　　i　　　 .前
　　　　r-‐'"r;:::::└'"´:::::::/]:::::::::::/:::::::::::::::｀7´　　　!
　　　　＾ヽ;:::ヽ〉;; ''"´￣￣｀""'' ＜7__:::::::::/　　　　,ゝ'"´￣
　　　　　　',ｧ''"　　 ,:'｀ヽ.　　　 ､　 ヽ.　｀ヾ.　　　 ,'　　　う
　　　 　 , '´　 / 　 !:.:.:.:.:.', 　 ',　 ',　', ヽ.　　':,　　.!.　　　る
　　　　/　 　 ,'　/ ,!:.:.:.:.:.:.!_,,.-i‐ ,ﾊ　!　 ',　　 ',　 | 　　　さ
　　　 ,'　,　,':.i　/」_ﾊ:.:.:.:.:ﾊ./_」_/_ !　i　　i　　　＜ 　 　 い
　　　 i　!　!:.|7´_」_　';:.:./i'´!ﾝ' ｀ﾘ7　ﾊ　　!. 　 |　 ':,　 　ぞ
　　　ｲ ,'　i:,ﾊ 'i´!,ﾊ　ﾚ'　 　ゝ-‐'.,' /:i 'ｧ'´i　　 !　　ヽ､.,_______
　　　 ﾚ^ヽ!:ﾍ!`､ゞｿ 　 　　　　""ﾚ':.:.i i iﾝ'i　　 |
　　　　　　!:.:.:.!'" '､ 　 　　　 　　 ,!:.:.:i i'´　',　　|
　　　　　　|.:.从　 　　 ,- ､　　　 ,';.:.:.:! ',　　ヽ.　!
　-┼‐､､　!:.:.:i,｀i:;.､　 `　´ 　 ,./;':.:.:;ﾊ. ヽ.　　 ',!
　/ | ヽ　　 '､:.! |,ﾊ ｀ヽ.,__,,.. イ/:/:.:/'ヾ',　':,　　 ',
　　　　　　　 ヽ!:|　', 　i 　 ハ/_/_∠」::ンヽ!,　　 ',
　ヽ 　!　　　　 iヽ.　i　 |　/:.／´　　　 ｀ヽ:::::':,　　i
　　_,ノ　　　 　.,!:.:!　',　',ｲ:/　　　　　　　　';:::::i 　 i
　　　　 　 　 / !:.:|　rｋ''i:7　　　　　　　　　i:::::|. ,ﾊ!
　　　ツ　　 ,'　|:.:.!　/ ﾊ i　､ 　　　　　　　,:':::::!/::::':,
　　　　　　 i　 ﾚ'　/　,' k'.　 ヽ　　 　 ﾉ　ｲ:::::::!::::::::::ヽ.

わ からない事は上白沢先生に相談しよう
きっと答えてくれないが気休めにはなるぞ！

┌───────────────────────────
｜質問：
└───────────────────────────
　　　　　　　　　　　　　　,ﾍ　/|　　　　　 　ハクタクシステム　Ver.1.01b
iヽ　　　　　_,,,.......,,,,__　　 L_＞ｒ-‐ｧ
ヽ.｀ヽ､,. '" 　,.- ､　　 ｀ヽ.／ ./ヾ､」　 ＿＿＿＿＿＿＿＿＿＿＿＿＿
　 ｀y'　　　　i::::::::', 　 　(´_,／　　　　 |　質問の答え：
　 /　i, i.,ﾒ､!,_!::::::!ﾊ !　i　ヽ. ',.　　　　 |
　ｲ　 ! ﾊ.ｧr!､|:::/　|_,!イﾊ　', i. 　 　 　|
　 ヽ､!ヽ!,!'!_ﾘ'ﾚ' ,ｫ'-'!､!::!　i　|.. 　　　 |
　　　 !::7" 　.　　 l.__り !:レi　| 　　 　 |
　　　 |::ﾍ､　rー-,　 "/!::::/:i　|　　　＜
　　　 |:::| i＞.､.,_ ,..イ /:::/　|　|　　 　 |
　 　　|:::|ｨ'/'´_!_／_r/::/ヽ､.|,.-!.　　　 ￣￣￣￣￣￣￣￣￣￣￣￣￣
　 　 〈|::|ﾍ／ﾑ､　ｒ7:::/!　_i/　/|　　　　　　　　 　 ,-へ,　 , ﾍ
　　 ./'ﾚ7::::/ハ!ヽ､!/:::i｀ヾ_ i´ヽ!　　　/V|　　　　 ,ヽ_,_i=/__,」
　　〈　.､l､:::ﾚへ!:::::::::;:ｲヽ､__ヽ-'i. 　 / 　 i　　　　,'　　 ｀ｰ'　ヽ
　　　iヽ､!:::::::::::::::::::´〈i｀ヽ二ン｀|_,／　　/　　　　i <〈」iﾉﾊル.!〉
　　　|r'!ｨ'::/:::::::i:::::::::::ヽ､/|／-ﾚ' 　　／　　　　　i　L>ﾟ ｰ ﾟﾉiゝ
-‐''"´:::::/:::::::::::ﾊ::::::::::::::::＼-─ ''"´　　　　　　i>i ir^i ｀T´i'i |

　　　　　　　　　　　　　 ,..::'"´￣￣｀ヽ、　　　　　　　　　　　／　　 誰
　　　　　　　　　　 　 ／::::::::::::::::｀:::､::::::ﾊ　　　　　　　　 　 /　　　　ぞ
　　　　　　　　　　 .,:':､::::::::::::::::::::::::::::＼:::|　　　　　　　　　 |　　　　　：
　　　　　　　　　　/::::::＼::::::::::::::＿;;;;::::-┤　 　 　 　 　 　 |　　　　　：
　　　　　　　　　 /ｰ==ﾆ,＞─-､＿__:::::__|　　　　　 　 　 　'、　　 　 ：
　　　　　　 ,. -- '／｀ヾ´　 　 　 ＼　｀ヽ::!　　　　　　　　　　＼
　　 　　 ／　　 /　　 　＼　 　　 　 ヽ　　Y⌒ヽ-=＝=- ､　　　｀￣￣￣
　　　　/　　　　{　　　 .ﾄ､_｀ニ.、　　　 ,　 ﾊ　　 ∨ 　　　l|　　　　,. -──
　　 　 { 　 /　 |ﾄ 、　　|'´ ん「ﾊY 　 |　; 　 ';＼　 '; 　 　/　　　／　　　 .我
　　　　ゝ　|. 　T__ ＼　|　弋_zｿﾊ 　 |　|　　|　| `''┼＝＝==-､　　 ふ・ が
　　　　　.ｿ|　　|「lﾊ　ヽ| 　 ´ "" }　,ﾊ　|　　|　|. 　 | 　l| 　　　l」.　　と.・
　　　 ＜　; 　 八.り ,　　　　　　ﾉ,ｲ　ﾚ'　　 '　;　　 |　 ||　　　.| 　 　い・
　 　 　 ∠.,,_ｲ |　　　 , - ､ 　　 ./　|　 |　./　/　　 |　 ｌ」　 　 |　　　と
　　　　　　　 |人　　　'､　_）　／　 /　/／ , ' 　 　 |　　　　　 |　　　申
　　　　　　∠、　＞ 、　　　/　__イ.／´ ／,'　　 　 |　　　　　 |　　　し
　　　　　　　 {　/　／` ｰ 个´, -‐ ｀ヽ' 　/　,　 　 ;　 　 　 　 |　 　 た
　　　　　　　 ∨ﾚ'　　　_ｒ/／　　 　　 ＼'　/|　　./　　　　　　'、 　 か
　　　　 　 　 ,. -=＝=r':::7´ 　　　　　　　∨ ;　 ,.'　　　 　 　 　 ＼
　　　　　　 /　| 　　 く::/{　　　　　　　　　 ﾄ､／　　　　　　　　　　 ｀￣￣
　　　　　　l| 　 ､　　｀7　 ､　　　　　　 　　 ､ ＼
　　　　　　l|　　 ＼r'::｝ 　 |ﾄ､　　　　　 　 　　 　＼
　　　　 　 l」　 　　｀7　　 .||　＼　　　　　　　 　　　'ヽ、
　　　　　　　　　　 /　　 /　 /:::ム､_,,.. -─　､　　　} 　';
　　　　　　　　　 ./　　　{{　 {／　　　　　　　　　　,ｲ 　 }
　　　　　　　 　 / 　　__,.＞ ´ 　 　 　 　 　 　　, '　|　 /
　　　　　　　 ／　_ｒ「 l」　 　　　　　　　　 　 ／　　|／
　　　　　　 /　/´ | |　ｒ　　　　　　　　　　　　 　　/
　　　　　,rﾍ／ 　 | |　ｌ」　　　　　　　　 　 　 　／
　　　　 /　 {/　 __| |　　_　　　　　　　　　 　 /、
　　　　;　　 し'´　ヽヽ　| |　　　　　　　　 　./::::ヽ
　　 　 |　　　　　　| ﾄ､＼ 　　　　　　　　　/:::::::::::＼

In 1910, Zermelo left Göttingen upon being appointed to the chair of mathematics at Zurich University, which he resigned in 1916. He was appointed to an honorary chair at Freiburg im Breisgau in 1926, which he resigned in 1935 because he disapproved of Hitler's regime. At the end of World War II and at his request, Zermelo was reinstated to his honorary position in Freiburg.

　 　　　　　　　　 　　　_,,..　-─‐- ､.,_
　　　　　　　　　 ,　'"´　　　　 　　　　｀'ｒO ､　　 　　＿＿_(ヽ_＿＿
　　　　　　 　 ／　　　　　　　　　　　 　{､ヽ O　 　 └┐┌─┐┌┘
　　　　　 　 /　 　 .／　 　 ／|　　　　　 |--＼　　　 r┘└─┘└┐（] /7　　（ヽ　　 ＿＿__
　　　　　　 ,'　 　 /　 　 ／-‐'!　 , 　 　 / 　　､＼　 ｀二二l　l二二´ｒ‐‐' ,二l l二二ヽ└─ｧ/[l[l　
　　　　　　 |　 　 |　　 ./ｧ‐=,､|／|　 .／ﾊ.　 　 | rヽ └─┐┌─┘￣（（__　　　 　| |　　//_
　　　　　　 | 　 .八　 /ｲ!ﾉ　l| ヽ. |／|､/_,|　　　|/　　　　　.|__」　　　　　 ヽ┘　　　くノ　　ヽ┘
　　　　　　,'　／　（ヽ|'　ゝ‐ﾟ'　　 　 ｧ'!´Y| 　,　,'　　 ＿＿ｒ､＿＿
　　 　 　 / ´　 　 /ヽ　"　　　　 ,　lり ﾉ/.／ /　　 └┐┌┐┌┘　　　　
　　 　 ／ 　 　 ／ /人　　　　　　　　ﾞ/イ}／ 　　　l二＿￣＿二l　／> r‐'｀┐ｒ､　/7　ｒ､
　　　/ 　 　 ／ .／_7、＼　　 ｀　 　ノ＿r/|　　　　　 └┐┌┘　く く　 ｀7/_ｒ ヽ) | |_　|_」
　 　 |　　|　, '´￣＼　＼　＞‐ァ7て＿,ノ、|　　　　 　　 └┘　　 　＼>　｀(_ｄ､)　 ヽﾉ
　　　'､ 　∨　 　　　ヽ. 　＼_/ /＼ r'＿ノ},|.　　　　ｒ､　　 ｒ､　　　＿ｒ､＿
　　　　＼|| 　　　　 r |＼ ／∨|　/ﾄ､|　　ｿ　　 く） | | く） | |　ｒ､└,┌┐,┘ /7　ｒ､
　 　 　 　 |　_,,.. -‐ ヽ!　　　　ヽヾヽr-､イ_　　　　ｒ'_／l　 ヽ二ノに__￣_二l .| |_　|_」
　　　　 ｒ::"´::::::::::::::::_」　　　　　／（＼ ,ﾊ::]　　 　 く／ 　 　 |￣|└┐┌「｀! ┌┐
　　　　 l_,,... -‐ ''"´　'､　　 ＿/　　.|　 ヽ||　　　　　　　　　　|　 |　　￣../ └┘└─┐
　　　 　 ｀l　　 　 　 　 ＼/:::::::::｀ヽ人　　|ヽ.　　　　　 　　　/ 　 '、 　 く__/r'コ　l二"´
　　 　 　 .|　　　　　　 ／´￣｀ヽ;:::::＼｀ /:::::|　　　　 　 　, '　,.へ. ＼　　　└┐┌┘
　　 　 　/|　　　　　r/　　　　　　＼:::::Y:::::::∧ 　　　　　く_／　　 ＼__>　l二二...二二l

　 　　　　　　　　　　　　　　　 ,,. -‐─-- ､.,_　　　　　　　 　 ,'⌒ヽ
　　　　　　　　　　　　　　,　'´　　　　　　　　 ｀　 、　　　　　|　 　⌒ヽ
　　　　　　　　　　　　 ., '　　　 ,. -‐　　　　　 　 　＼　　　　!＿＿_.ノ
　　　　　　　　　　　　,' 　 　／　　 ／ ,　　　　　ｒ-o､ヽ.
　　　　　　　　　　　 /　 　/ 　　／__ /　　　　　 ヽ. o） ｀フ´
　　　　　　　　　 　, ' ／）r| 　 /ｧﾃ‐､!／|　　 ﾊ 　 Y　ﾊ´
　　　　　　　　　／ / ./-‐'､ ,八|　 ｒﾘヽ　!　 /　| 　 |　 |
　　　　　　　 ／ 　 !　ヽしﾉﾉ-､ ゝ‐'　 　 |／,､｀ｿ 　 ! ./
　　　　　　 / 　　__,|　　 ）　ﾉ'´|""　　 　　//,ﾊ'　 ./ﾚ'
　　　　　　,' 　.r/:::/　　 ,イ､　 |　　 ､ __´ `',.,∧／|
　　　　　　! ／|::::::|　 ／:::| |　/!＼ 　 　 　 ノ　 ｀rト- ､_
　　　　 ,.　'´　 ＼::＼:::::::.:| ﾚ'へ.　｀ｺTこ!´|｀>､_// 　 / !＼
　　　／ 　　　　　|::::::|::::::::|_|　　 ＼ /ﾑ./　ﾚ'| /:::|＼./　| __ ＞
　　/　　 　　 　　 ＼::＼:://＼ 　　/|::|＼/　 ヽ./|　（ﾟ_ﾟﾉ　
　　|　,!　　　　　　　/ヽ;::]/　　 ＼/　',:',.　 　 　 ∨　 ,ﾊ
　　| /　　　　　　　　　　 ||　　　　　　 ',ﾊ　　　　ﾉ ／　|
　　|/　　　　　 　　　 　 / 、 　　　　 　!::ト　　イ'、 　 /
　 /　　　　　　　　 　.／ﾄ､　　ｰ 　 ''"´|::|　　　 !　＼/_
　 !　　　　　　　　.／/＼＼ヽ.　 　 　　|::|　　　ﾊ　　　 ｀＞ 、
　 |＿＿,,.. -‐''"´|／　　 ヽ.`|　 　 　 　',:',　　　 ｀ヽ.__／::／｀ヽ
　　　　　　　　　　　　　　　.∧.　 　 　 　!::＼_＿__/::/ヽ/￣｀ヽ|
　　　　　　　　　　　　　　　,＼＼＿___／;::---─:::'´::::::::`::､ 　､j＼
　　　　　　　　　　　　　　 /::::::＼＿___／:::::/::::::::::::::::::::::::::::::＼_)　 ヽ.
　　　　　　　　　　　 　　 /::::::::::::::::::::::::::::::! /::::::::::::::::::::::::::::::::::::::ヽ. 　 ﾉ

Why does that guy have the Mozilla logo on his uniform?

If 1 ≤ μ, then 0^μ = 0.

    right up against my face

Cardinal arithmetic can be used to show not only that the number of points in a real number line is equal to the number of points in any segment of that line, but that this is equal to the number of points on a plane and, indeed, in any finite-dimensional space.

I'm now wanting to write larger programs, with more moving parts - acquiring data from a variety of different sources, cleaning it, processing it in various ways, displaying it in user interfaces, persisting it, communicating over networks, etc. How could one best structure such code to be legible, maintainable, and adaptable to changing requirements?

Set difference of U and A, denoted U \ A, is the set of all members of U that are not members of A. The set difference {1,2,3} \ {2,3,4} is {1} , while, conversely, the set difference {2,3,4} \ {1,2,3} is {4} . When A is a subset of U, the set difference U \ A is also called the complement of A in U. In this case, if the choice of U is clear from the context, the notation Ac is sometimes used instead of U \ A, particularly if U is a universal set as in the study of Venn diagrams.

    Can I talk about my game too? （*´▽｀*）

Category theorists have proposed topos theory as an alternative to traditional axiomatic set theory. Topos theory can interpret various alternatives to that theory, such as constructivism, finite set theory, and computable set theory.

In general, it is impossible to prove that F exists without the axiom of choice, but this seems to have gone unnoticed until Zermelo.

Tukey's lemma: Every non-empty collection of finite character has a maximal element with respect to inclusion.

　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　ｏ　　　　　,.'⌒ヽ､
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　_ノ⌒´　　　　 ）
　　　＼　よ　い　し　ょ　/　　　　　/)　　　　　　　　　（_　　　　　　　〈
　　　　　　　　　,. --─‐-- ､　,へ 　　っ　　　 　　　　　　｀ヽ､__　　　 !
　　　　 　 　 ／　￣￣￣ ｀ヽ7::::／:7　　 ,.-''"i"⌒）　彡　　　　｀"'ｰ'"
　　　　　　　,'　　　　 　　　　　'く::::::」　／　　 ヽ､_ｲ　　　　 (⌒l
　　　　　 　 |　　　　　　　　　 　|￣　<　,. -､　　 /　　　o　　￣
　　　　　 　 |　　　　　　　　　 　|　　　,へ／　　/　
　　　　へ　 | ,　 i　　i　　　　|　.|　.／／ ｀"'ｰ-'　　
　　　　 ＼ヽﾉ|__ﾊ___ﾉﾍ__ﾊ__ル'／7'ヽ. 　　 ,. -‐- ､
　　　　　く,.くヽr'::ヽ‐-‐'´:/⌒ヽ'"´　/ 　／　　　 　ヽ
⌒ヽ,　 　　　＼＼::::::::::::〈　　 〈___,／　/　　　　　　　i
　　⌒｀"'ｰ'⌒く:＼＼:::::::::::'r-'"　彡 　i　　　　　　　/　　,.'⌒
　　　　 　⊂[[二二＼＼二＞　､　　　,'　　 ,.､___,.ノ　　/
ヽ　　　　 ⌒／/:::::｀Ｔ＼＼＼　　ヽ　/　／　___／￣｀⌒ヽ
　　　　　 rく::::::::::::::::::::::::::＼＼〉､　　i　〈　,'"　　ヽ　　　　⌒
　　　　　　>'ｰ=r-､__i___,.ｒ､__＼）>　　ヽﾉ
　　　_,. 　/　 ／´￣　 　｀ヽ.　 !　　　（　　　ゝ⌒
イ^´ ...:::;;!二7:::::::::::::::::::::::::::::「ﾆ,!:::...　　　　人　　　ヽ､
　　　　　 ￣　　　　　　　　　￣
　　　　～　少　女　除　雪　中　～

　 　　　　　　　　　　,ﾍr/'!_,..-─- ､.,_
　　　　　　　　　　 ｒi:::;ゝ'´=-..,,__ 　　｀ヽ.
　　　　　　　　　　くﾝ´　　　　 　｀ヽ.､　　ヽ.
　　　　　　　　　　 / ,　/ ､_ i　　,　 ヽ!　 　',
　　　　　　　　　 く_/､ 」ｫ､!/! ./l_,.!- ﾊ　　 i
　　　　　　　　　　　//.7.ゞ'└'ｧr-ｫ Li_」　 i
　　　　　　　　　　く/ .ﾍ 　' ___　ゞ'´/ /　ﾊ !
　　　　　　　　　　　｀.!/｀>､'　 ) ,.イ､/!､/ !」
　　　　　　　　　　 　 ￣ ヾ'￣く／　｀ヽ.>ヽ
　　　　　　　　　　　　　　　 く!/　 　　 　!ヽﾄ､
　　　　　　　　　　　　　　　　ゝ!､　　ｧ'"ヽ:::', ヽ.
　　　　　　　　　-=＝ﾆニ二く!/｀'ｰへ. 　 ヽ.! /_
　　　　　　　　　　　　　　　　 <::::::::::::::〉　 /!´ー'　　　　　i
─-- ..,,,,__ 　　　　　　　　　.r／7｀'ｰ/　 ./「　　　　　　　ﾊ
｀"'' ─-- 二_"__''　─-- ::;;;____「|_,/　 /::::ﾊ　　　　　　/ .ﾉ
　　　　　　　　　　￣ｒ.ア"'':ｰ--| l.　　,iﾆﾆ⊃ヽ　　　 　i （
　　　　　　　　　　 r＜:::::/::::::::::l.」ｰ‐'::::::/::::ﾑ〉>､　　　 i　｀ヽ.
　　　　　　　　　　 7''>rヽ二ゝ､:::::::::::::::/::::;:イﾝ　　　　ノ　　　|
　　　　　　　　　　｀7'ｰ''￣｀_rｧ'-､__.イ/ン´　　,. '" ￣ ｀ヽ.　 i
　　　　　　　　　　.!,ゝ､_､_,.／　 .,.-ｒ'ｰ'7　　　,' ,.　　　　 ､　　 i
　　　　　　　　 　/　　／　　　　|i::;イ'7　　　 i　・　 　　・　　　i
　　　　　　,.-‐ ｒ'ｰ-ン　　　　　 ヽ--'　　　　 ',　ヽ-' ｰ'　　　/
　　　　　 |i:::;イ｀ｰ'7　　　　　　　　　　　　　　 ヽ､.,_______,,. '
　　　　　 ヽ､__ﾆン

There exists a model of ZF¬C in which there is a vector space with two bases of different cardinalities.

　　　　　　　　　　　　　　　　　 　,.-‐､.　 ,.-‐､　 　　, "￣ ヽ.
　　　　.　　。　　　　　　　　　　 /　 ／ / 　／　　　i　　　　 i
　　　　　　　　　　　* 　　　　　 |　/____|　/　　　　　ヽ､.,__,ノ
　　　　　　　　゜　　　　　　　　,.''-'　　└'｀ヽ.　　　　　。
　　　　　　　．　　　　　　　　/ 　　 　 　 / ﾊ　　　　　　　　　.
　　　　　　.....　　　　 　　　　.i　　　　 　 ﾚ'k'　　　　　　*
....::::::::::::: 　___r､　　 　 　　 　|　i　　　 　 | |,!　　　　__,,..-‐ｒｒ'^ｰ-､
:::::::::::::::::　ヽ､___7´`'ｰ- ､..,___|　|　　　　i　|ﾍ-‐''"´:::::::::::::::| |__,,.ノ
:::::::::::::::::::::: 　 └- ､::;;;_::::::::::|　|　　i 　 |　|:::::__;;;;:::: --─┘'
:: :: :: :: :: :: :: :: :: ::　　　 ￣ `'|　|　　|.　 |　|Y´　　　:: :: :: :: :: :: :: ::
:　:　:　:　:　:　:　:　:　:　　　　| /|　 ﾊ　 | /::|　 　:　:　:　:　:　:　:　:
　　　　　　　　　　　　　　　 ﾚ' 7V::::ヽ/::::::::|　　　　､ヽ川 l | 川 l |
　　　　　　　　　　　　　　　　 くｧ-r─r--､」　　　　ミ
　　　　　　　　　　　　　　　 ／　 /　　i　　',　　　　三　　戻　早
　　　　　　　　　　　 　　 ／　　/　　　l　　 i　　　 .Ξ　　 っ　く
　　　　　　　　　　　　　 ヽ､ｒ-'､.,______」____,.」　　　 三　　て　地
　　　　　　　　　　　　　　　/ 　./｀￣|　　|　　　 　 Ξ　　こ　球
　　　　　　　　　　　　　　 /　 /　 　 |　　|　　　　　三.　 い　に
　　　　　　　　　　　 　　 ,'　 /　　　 |　　|　　　　　Ξ　　! !
　　　　　　　　　　　　　/､__/　　　　|___,.|　　　　　 彡
　　　　　　　　　　　　,ｲ'ｰ‐'!　　　　iｰ-‐i　　　　　　ﾝ川 l | 川 l |
　　　　　　　　　　　 l::::::::/i　　　　 |:::::::::i〉
---─ｧ=ﾆﾆ二"´￣￣￣￣￣￣￣￣￣￣｀`二ﾆﾆ=ｧ‐---

retraction if a right inverse of f exists, i.e. if there exists a morphism g : b → a with fg = 1b.

　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　､ l l|| ll | || l ll| l| | ||
　　　　　　 |　　　　　　　　　　　　　　　　　　　　　　　　　ミ
　　　　　　/ ー　　　 ﾉ!　　　＿＿　　　　　　　　　　　　 三　　考　　エ　　も
　　 　 ト-'　　　　 ／ └''"´　　 　 ｀l⌒)、　、　　　　　　.ﾆ 　　え　　 ッ 　 し
　＿_ノ　　 　 , 　´ ,. 　- ''"´￣￣｀ .|＿__）　 ＼　　　 　 Ξ. 　 て　　チ 　 か
　＼　　　 ＜ 　 ／　 　/ 　　　　　 |　　　｀ヽ.　ﾊ　　　　 三　　る　　な.　　し
　　 ）　　　 /　/ 　 　　|.　 　　 ',　 ﾊ 　　ﾊ　 ＼ |　　　　 ﾆ 　　!? 　 事　　て
　　　　　 ／　 |　 /　 /＼　　 　| /ー-＜/　　　ﾒ、　　　 三 　　　　 を
　　　　∠、 .　　　!　-＞-'＼.　/´ i⌒ヽ　|　 ／　 !＼　　 ﾆ 　　　　　
　　　　　　',. ヽ. 　| 7´ l⌒ヽ ∨ 　弋_り　ﾊ/　　　.| 　 ヽ.　彡,
　　　　　　 |.　 ',　ﾚ|　弋_り 　.　　　　‐ ﾟ∠ o　　,ﾊ　　　',　ノl l|| ll | || l ll| l| | ||
　　　　　　 |　　| ∧`oｰ 　　,. -─ ､ //（｀ヽ､ 　○ |.　 　 !
　　 ぁ 　　八　○　|//　　　|/　　　 ） 　/　| ﾄ､'　 /　　　.|
　　　ら　〈ｒ'´＼　ﾟ/｀）　 　　｀　　 　　／　/ //〉　|　　　/
　　 ゃ　　 ＼　 .ｿ|　｀ヽ｀7ァ=┬‐ イ/　　　 ／⌒ヽ 　 ,'
　　　 だ　　 ／.　 ＼ 　 ＼/ ./___／|　　_／ ￣＼ﾉ　　|
　　　　　 　/ 　 ＼/||　　ノ;ﾊ|／＼八／　ヽ　　 /ﾄ、　 |
　　　　　　 !　　　,'　|| ／:::::| |'⌒⌒)/＼　　 〉 '´　!ﾊ　/
　　　　　　 |　 　 |　 !!::::::::::::! !＼／ |　　｀／ 　 　.!　|/　　 ∧__∧　　[]
　　　　　　 ',　　/|　 ',',::::::::://　/　　!　 / 　　　　 | ./　　 ./o::::::::oヽ　o
　　　　　　　＼/　　　＼_／|　,'.　　└-ト、　　 　 ∨　 　 |:::::Д:::::::ﾉ
　　 　 　 　 　〈　　　　　　 /　|　　　　八　　　　　　〉　　　｀|:::::::::::::::＼

　　　　　　　　　　　　　　　　／　ﾚ'7　 　　　　ノ）‐ ''" 　/
　　　　　　　　　　　　　　ﾄ､/ 　　　|　　,.　''"´　　　　 　 }/|
　　　　　　　　　　　　　　| '　 　 　 ﾊ∠、　　　　　　　　' ./
　　　　　　　　　　　　　 _.ゝ_..　-‐──-　、　　　　 　 ／
　　　　　　　 　 （ゝ-‐'´　'´　　　 　　　　　 　｀' ＜　イ -‐ｧ
　　　　　　　　 　 ＞'"　/　　　　　　　　　　 ヽ、　＼.　／
　　　　　　　　.／　　 　{　　　　　　　｀ヽ　　 　 ' 　　∨
　　　　　　 　/　 /　　.∧ 　 　 ﾄ､_」ニ､|　 ,ﾊ　,」二ヽ|　　Zun♪
　　　　　　　 | l　{.　　 !‐ｧ ､ 　 |'´ ん' ﾊ∨　 //:::（ヽヽ
　　　　　　　 |八 ＼　 |「lヽ ｀ヽ}　 j＿zｿﾘ ﾊ |::7｀!::} .| |　　Zun♪
　　　　　　　　　 ＼ ﾚﾊ{ り　　　　 　 "7 /　 |::|　|/ / .!
　　　　　♪ ～　｛7　l7"　 '　　 　　 　 ﾚﾍ 　 ｿ　'　'　∧
　　　　 　　 　 　 ,|　八　　　lｒ￣ヽ 　　　ﾘ　ｲ 　 　　/　＼
　　　　　　　　　 /ﾚ'} 　＼　　、　ﾉ　 　 / イ| _＿__,ム　 ,　）
　　　　　　　　　;　 /　_ノﾉヽ、＿　　　イ　/「ｒ）　(r]　）／ﾚ'
　　　　　　　　　|　ﾚ'´ ∨｀ヽ,人|　 　　 ﾄ､{ |_」＿_l」ソ
　　　　　　　　　「｀Tこ]　＿＿,ｒ'‐ｧ'"´/:::::}/　　　 ﾄ､ヽ
　　　　　　　　　L）_ｒ_l」´ |＼::/ムｲ／:::::;:/　　 　 ; }::/
　　　　　　 　 　;　　　 ! ./ 　/::::|::::|::::／/　　　　,' /´
　　　　　 　 　 /　 　　|;'　／:::::::!::::!:ｲ /　　　　.//
　　　　　　　 ./　 　 　l{ くｒ-､＿」-‐' /　　　　.//
　　　　　　　/　 　 　 ;|　　|（＞|| 　 ; 　　 　 .//
　　　　　 　 {　　　　,ｲ|　　| 　 l|| 　 {　　　／l7
　　　　　　　 、＿／ / 　 ;' 　 ﾘ　　 ` ‐''" 　 '
　　　　　　　　　　　/　　 ; 十./　　　　　　　 |
　　　　　　　　　　 /　　 /　 / 　　　 　 　 　 |
　　　　　　　　　 r'　 　./　 /　　　　　 　 　　{
　　　　　　　　　/＞ ､/　 /　　　　　　 　　 　ヽ、
　　　　　　　　./＼ l 　 ＞k.,＿　　 　 　 　 _／:::ヽ