ã»ãã®å°ãã®ã³ã¡ã³ãïŒ
1ïŒBEAMERããã±ãŒãžã¯ãPowerPoint以å€ã®ã¹ã©ã€ããšãã¬ãŒã ã®æŠå¿µã§åäœããŸãïŒãã¬ãŒã³ããŒã·ã§ã³ã¯äžé£ã®ãã¬ãŒã ã§æ§æãããåãã¬ãŒã ã¯è€æ°ã®ã¹ã©ã€ãã§æ§æãããŸãïŒããããã¯ããã¹ãã®èªèã«ã¯åœ±é¿ããŸããã
2ïŒTeXããŒã ã¯ããã¹ãã«æ°åç»å ŽããŸãããã³ã³ããã¹ãã§ã¯èª¬æãå¿ èŠãšããŸããã
5ãã¬ãŒã³ããŒã·ã§ã³äœæã®æšå¥šäºé
ãã®ã»ã¯ã·ã§ã³ã§ã¯ããã¬ãŒã³ããŒã·ã§ã³ãäœæãããšãã«é å®ããããšããæšå¥šäºé ã®æŠèŠã説æããŸãã ãããã®æšå¥šäºé ã¯ãçµéšãåžžèããŸãã¯ä»ã®äººãæ¬ã®æšå¥šäºé ããçããŸãã ãã¡ããããããã®èŠåã¯æããšèŠãªãããã¹ãã§ã¯ãããŸãããæããå®ãããªããã°ãçœå®³ã«ã€ãªããã§ãããã ã¿ã€ãã°ã©ãã£ã®åºæ¬çãªã«ãŒã«ã¯ããã¬ãŒã³ããŒã·ã§ã³ã®äœæã«ãé©çšã§ããŸã ã ã©ã®ã«ãŒã«ã«ãéåããããšãã§ããŸãããç¡èŠããããšã¯ã§ããŸããã
5.1ãã¬ãŒã³ããŒã·ã§ã³ã®æ§é å
5.1.1å¶éæéã«ã€ããŠ
ãã¬ãŒã³ããŒã·ã§ã³ã®äœæãéå§ãããšããæåã«å¿é ããå¿ èŠãããã®ã¯ããã¬ãŒã³ããŒã·ã§ã³ã«äœ¿çšã§ããæéã§ãã ç¶æ³ã«å¿ããŠã2åãã2æéã«ãªãããšããããŸãã
- ãã¬ãŒã æ°ã®ç°¡åãªã«ãŒã«ã¯ã1åéã«1ãã¬ãŒã 以äžã«ããããšã§ãã
- ã»ãšãã©ã®å Žåãå ±åããæéã¯æã£ããããçããªããŸãã
- æéã®èš±ãéããã¬ãŒã³ããŒã·ã§ã³ã«è©°ã蟌ãŸãªãã§ãã ãã ã äžéšã®è©³çŽ°ãã©ãã»ã©éèŠã§ãããã¯é¢ä¿ãããŸããã詳现ãçç¥ããæ¹ãããã§ãããäž»ãªæå³ãŸãã¯è©³çŽ°ãäŒããªãããããäž»ãªã¢ã€ãã¢ãæ確ã«è¿°ã¹ãŠãã ããã
å€ãã®å Žåãããªããã©ãã ãã®æéãæã£ãŠãããã®ç°¡åãªè©äŸ¡ã¯ãããªããããã€ãã®åŸ®åŠãªç¹ã«èšåã§ããªãããšã瀺ããŸãã ãã®ç¥èã«ãããã¹ã©ã€ãã®æºåã«äœæéãç¯çŽã§ããŸãããããã«ããŠããåŸã§åé€ããå¿ èŠããããŸãã
5.1.2ã°ããŒãã«æ§é
ãã¬ãŒã³ããŒã·ã§ã³ã®ãã°ããŒãã«æ§é ããäœæããã«ã¯ãæéã®å¶çŽãèæ ®ããŠã次ã®æé ãå®è¡ããŸãã
- ããªãã®å¿ã®äžã§ã¯ãå²ãåœãŠãããæéå ã«åççã«è©±ãããšãã§ãããã®ã®ãªã¹ããäœæããŸãã
- ãªã¹ããã»ã¯ã·ã§ã³ãšãµãã»ã¯ã·ã§ã³ã«åããŸãã
- éåžžã«é·ããã¬ãŒã³ããŒã·ã§ã³ïŒããšãã°ã90åéã®è¬çŸ©ïŒã®å Žåã \ partã³ãã³ãã䜿çšããŠããã¬ãŒã³ããŒã·ã§ã³ãç¬ç«ããéšåïŒããšãã°ããè¬çŸ©ã®åã®éšåã®ã¬ãã¥ãŒããšãäž»èŠãªéšåãïŒã«åå²ããããšãã§ããŸãã åéšåã«ã¯ç¬èªã®ç®æ¬¡ãããããšã«æ³šæããŠãã ããã
- åŸã§ã¬ããŒããäœæãããšãã«æ§é ãå€æŽããããšãæããªãã§ãã ããã
éšåãã»ã¯ã·ã§ã³ããµãã»ã¯ã·ã§ã³
- åããŒãã§4ã€ä»¥äžãŸãã¯2ã€æªæºã®ã»ã¯ã·ã§ã³ã䜿çšããªãã§ãã ããã
å®éãéåžžã«è»œãæ§é ã«ä»çããŠããªãå Žåã4ã€ã®ã»ã¯ã·ã§ã³ãå€ãããŸãã 5ã€ä»¥äžã®ã»ã¯ã·ã§ã³ã¯ãèŽè¡ãèŠããã«ã¯é£ããããŸãã æçµçã«ãç®æ¬¡ã衚瀺ãããšããèŠèŽè ã¯ããŸããŸãªã»ã¯ã·ã§ã³ã®éèŠæ§ãšçžäºæ¥ç¶ãææ¡ããããšãã§ãããã»ãšãã©ã®å Žåããããã«å°éãããŸã§ã«ããããå¿ããŸãã
- çæ³çã«ã¯ãç®æ¬¡ã¯èªæã§ããã¹ãã§ãã ç¹ã«ã誰ããããªãã®ã¹ããŒããèãåã«ãããç解ã§ããªããã°ãªããŸããã
- ã»ã¯ã·ã§ã³åãšãµãã»ã¯ã·ã§ã³åãèªçµŠèªè¶³ã«ããŸãã
- ã»ã¯ã·ã§ã³ãšãµãã»ã¯ã·ã§ã³ã®äž¡æ¹ãè«çãã¿ãŒã³ã«åŸãå¿ èŠããããŸãã
- ã¬ããŒãã®å
容ã説æããããšããå§ããŸãã ïŒèª°ãããããç¥ã£ãŠãããšã¯æããªãã§ãã ããã
ç¡ç¥ãªèŽè¡æ³ã¯æ¬¡ã®ããã«è¿°ã¹ãŠããŸãïŒèŽè¡ã®äžã§éèŠãªäººã¯ãç§ãã¡ãç¡ç¥ãªèŽè¡æ³ãèæ ®ããŠããããªãã誰ããç¥ã£ãŠããã¹ãã ãšæã£ãŠããããããã£ãšå°ãªãããšãåžžã«ç¥ã£ãŠããŸããïŒ - 次ã«ãããªããŸãã¯ä»ã®èª°ãããããã¯ã®ã¡ãªããã«ã€ããŠç¥ã£ãããšã説æããŸãã
- ã¹ããŒãã®çµããã«ã¯ãã¬ããŒãã®äž»èŠãªã¢ã€ãã¢ãç°¡æœãã€ç°¡æœãªæ¹æ³ã§ç¹°ãè¿ãçµè«ãå¿ ãåºããŠãã ããã 人ã ã¯ãã¬ããŒãã®æåãšæåŸã«æã泚æãæããŸãã èŠçŽã¯ãèããäŒããããã®ãäºåºŠç®ã®ãã£ã³ã¹ãã§ãã
- ãŸãã \ appendixã³ãã³ãã䜿çšããŠãããŒããè¿œå ããããšãã§ããŸãã
ãã®éšåã«ãããªããå®éã«è©±ãã€ããã¯ãªããã質åããããšãã«åœ¹ã«ç«ã€ããšãã§ãããã®ãã¹ãŠãå ¥ããŠãã ããã - ãµãã»ã¯ã·ã§ã³ã䜿çšããªãã§ãã ããããããã¯æªã§ãã
泚é
èšäºã§ã¯ã泚éã¯äœæ¥å šäœã®æŠèŠãçŽ100èªã§ç€ºããŸãã èªè ãèšäºå šäœãèªãå¿ èŠããããã©ãããè©äŸ¡ããã®ãå©ããããšãç®çãšããŠããŸãã
- æåã®ã¹ã©ã€ãã®åŸã«èŠèŽè ãéããå¯èœæ§ã¯äœããããéåžžã¯ãã¬ãŒã³ããŒã·ã§ã³ã§æ³šéãä»ããå¿ èŠã¯ãããŸããã
- ãã ããã¬ããŒãã®é©åã§ç°¡æœãªã¹ããŒãã¡ã³ããæäŸã§ããå Žåã¯ãèŠçŽãæ¿å ¥ããããšããå§ãããŸãã
- 泚éãæ¿å ¥ããå Žåããããé·ãããã¹ãã§ã¯ãªããéåžžã«çãã¢ã€ãã¢ã§ããããšã確èªããŠãã ããã
- ã¢ãã¹ãã©ã¯ãããæã 㯠ããŸãã¯ã ã
- 泚éãäžèšã®2ã€ã®ããããã§ããå Žåã蚌æ ãæ£ããããšãå確èªããŠãã ããã
çªå·ä»ãå®çãšå®çŸ©
èšäºãæžç±ã®ã°ããŒãã«ãªæ§é åïŒæ°åŠïŒã®éåžžã®æ¹æ³ã¯ãé£ç¶ããçªå·ã®å®çŸ©ãšå®çã䜿çšããããšã§ãã æ®å¿µãªããããã¬ãŒã³ããŒã·ã§ã³ã®å Žåãç¶æ³ã¯ããå°ãè€éã§ããããã¬ãŒã³ããŒã·ã§ã³ã§ã®çªå·ä»ãå®çã®äœ¿çšãæšå¥šããŸããã ãªã¹ããŒã¯ãããã®æ°å€ã決ããŠèŠããŸããã ãããŠãå ã»ã©ãèŠãããå®ç2.5ã§âŠããšæ±ºããŠèšã£ãŠã¯ãããŸãããå®ç2.5ã§ã¯ãªããã¯ã³ããŒã®å®çãåç §ããæ¹ããã£ãšè¯ãã§ãããã å®ç2.5ãïŒKummerã®å®çãŸãã¯Mainã®å®çãŸãã¯Second Mainã®å®çãŸãã¯Key lemmaãšã¯å¯Ÿç §çã«ïŒç¬èªã®ååããªããããäžæãªå ŽåãèŽè¡ã¯ãããæ¯ãè¿ããŸã§ã«ãšã«ããå¿ããŠããŸããŸãã
ç§ãã¡ã®æèŠã§ã¯ãå®çã®çªå·ä»ãããã¬ãŒã³ããŒã·ã§ã³ã§çã«ããªã£ãŠããå¯äžã®ç¶æ³ã¯è¬çŸ©ã§ãããåŠçã¯ãã®è¬çŸ©ãšäžŠè¡ããŠèŠçŽãèªãããšãã§ããå®çã¯ãŸã£ããåãæ¹æ³ã§çªå·ä»ããããŸãã
å®çãšæ°ã®å®çŸ©ãäžããå Žåããã¹ãŠã«é çªã«çªå·ãä»ããŸãã ãããã£ãŠã1ã€ã®å®çã1ã€ã®è£é¡ãããã³1ã€ã®å®çŸ©ãããå Žåãå®ç1ãè£é¡2ãããã³å®çŸ©3ãåŸãããŸããäžéšã®äººã¯3ã€ãã¹ãŠãçªå·1ã§çªå·ä»ãããããšã奜ã¿ãŸãã åé¡ã¯ãå®ç2ãå®çŸ©10ãè¿œãããšãã§ããå ŽåããŸãã¯ãã®éã®å ŽåãäœããèŠã€ããããšãã»ãšãã©äžå¯èœã«ãªãããšã§ãã ããã«æªãããšã«ãå®ç1ãšå®çŸ©1ã®ããæ¬ã¯çãã
- ä»ã®äººãå·ã€ããªãã§ãã ããã
æžèª
ãŸããã¬ããŒãã®æåŸã«åèæç®ã®ãªã¹ããæäŸããŠãã©ã®ãããªãè¿œå ã®æç®ããå¯èœãã人ã ã確èªã§ããããã«ããããšãã§ããŸãã ãã¬ãŒã³ããŒã·ã§ã³ã«åèæç®ãè¿œå ãããšãã¯ã次ã®ããšã«æ³šæããŠãã ããã
- ãã¬ãŒã³ããŒã·ã§ã³ã§åç §ã®é·ããªã¹ããæ瀺ããã®ã¯æªãèãã§ãã éåžžã«å°ãªããªã³ã¯ã衚瀺ããŸãã ïŒåœç¶ãããã¯ã¬ããŒãèªäœã«ã®ã¿é©çšãããé åžè³æã«ã¯é©çšãããŸãããïŒ
- 1ã€ã®ã¹ã©ã€ãã«åãŸããªãã»ã©å€ãã®ãªã³ã¯ãè¡šãå Žåããããã®ã©ããèšæ¶ãããªãããšã¯ã»ãŒç¢ºå®ã§ãã
- ãªã³ã¯ããè¿œå ã®æç®ããšããŠæå³ãããŠããå Žåã«ã®ã¿ãªã³ã¯ã衚瀺ããŸããèšäºã§éåžžè¡ãããã«ããªãã§ãã ããã
- ã¬ããŒãã«é¢é£æ§ââã®ãªãä»ã®ãã¹ãŠã®åªããäœåã®é·ããªã¹ããæåºããªãã§ãã ããã
- \ citeã³ãã³ãã®äœ¿çšã¯ãèŽè¡ããªã³ã¯ãã¡ã¢ãªã«ä¿æããå¯èœæ§ãäœããããæ··ä¹±ãæãå¯èœæ§ããããŸãã åºçç©ãåç §ããå Žåã¯ãèè ã®ãã«ããŒã ãšå¹Žãåžžã«ã[2,4]ããŸãã¯ã[Tan01ãNT02]ãã§ã¯ãªãã[Tantauã2003]ããšããŠåŒçšããŠãã ããã
- è¬èã«ãªãããå Žåã¯ãèªåãåŒçšãããšãã«ååãçãããããšãã§ããŸã
ã[Nickelsen and T.ã2003]ããŸãã¯ã[Nickelsen and Tã2003]ãããã ãããTããã誰ã§ããããããã«ã¯ããããªãããšãå€ããããããã¯ãªã¹ããŒã«ãšã£ãŠæ··ä¹±ãæãå¯èœæ§ããããŸãããã«ããŒã ã
5.1.3ãã¬ãŒã æ§é
ãã¬ãŒã³ããŒã·ã§ã³å šäœãšåæ§ã«ãåãã¬ãŒã ãæ§é åããå¿ èŠããããŸãã éåžžã«é·ãããã¹ãã§æºãããããã¬ãŒã ã¯ã远跡ããã®ãéåžžã«å°é£ã§ãã çæ³çã«ã¯ã芳客ãéèŠãªæ å ±ãè¿œå æ å ±ãæ瀺ãããæ å ±ãã©ã®ããã«é¢é£ããããªã©ãããã«èŠãããããã«ãåãã¬ãŒã ã®ã³ã³ãã³ããæ§æããã®ãããªãã®ä»äºã§ãã
ãã¬ãŒã å
- åãã¬ãŒã ã«ãã£ãã·ã§ã³ãé 眮ããŸãã ã¿ã€ãã«ã¯ãã¹ã©ã€ãã®ãã¹ãŠã®è©³çŽ°ã«åŸã£ãŠããªã人ã«ãã¬ãŒã ã®å 容ã説æããŸãã
- èŠåºãã¯ãã¹ã©ã€ãå šäœãç解ããããŸã§ç解ã§ããªãæå·åãããå±¥æŽæžã ãã§ãªããå®éã«èª¬æããå¿ èŠããããŸãã ããšãã°ãããããã®ãPLAã®å®çŸ©ã®æŠèŠããªã©ã®ã¿ã€ãã«ã¯ããã®ã¹ã©ã€ããäœã§ããããæ··ä¹±ãããŸãã ãéšåé åºã»ããïŒPLSïŒã®å®çŸ©ã®æŠèŠãããéºäŒååãããªãã¯ã¹ã®åã®éšåé åºããªã©ã®ååã¯ã ã¯ããã«æçã§ãã
- çæ³çã«ã¯ãé£ç¶ãããã¬ãŒã ã®ã¿ã€ãã«ã¯ãç¬èªã«ãç©èªãèªããã¹ãã§ãã
- è±èªã§ã¯ããã¬ãŒã ã®ååã«ãå è©ãaããŸãã¯ãtheãïŒååã®ããã«ïŒãé€ããã¹ãŠã®åèªãåžžã«å€§æåã§èšè¿°ããããåžžã«éåžžã®å°æåã䜿çšããå¿ èŠããããŸãã æ··åããªãã§ãã ãã ã äžã€ã®ã«ãŒã«ã«åºå·ããã åãããšããããã¯ããããŒã«ãåœãŠã¯ãŸããŸãã ããšãã°ãããã¥ãŒãªã³ã°ãã·ã³ã®ç°¡åãªã¬ãã¥ãŒããšããååãæžããªãã§ãã ãããããã¥ãŒãªã³ã°ãã·ã³ã®ç°¡åãªã¬ãã¥ãŒããŸãã¯ããã¥ãŒãªã³ã°ãã·ã³ã®ç°¡åãªã¬ãã¥ãŒãã䜿çšããŠãã ããã ã
- è±èªã§ã¯ãææžå šäœã®ååã¯ã倧æåã§æžãããšã«é¢ä¿ãªãã倧æåã§æžãå¿ èŠããããŸãã
- ãã€ãèªããã³ãã®ä»ã®å€§æåã®åèªãå€ãèšèªã§ã¯ãåžžã«æ£ãã倧æå/å°æåã䜿çšããŠãã ããã ããªããéåžžæžããã®ã«å ããŠã倧æåããäœãã決ããŠæžããªãã§ãã ããã
ããªãã¯ãã¬ãŒã ã«ã©ãããã眮ãããšãã§ããŸããïŒ
- ãã¬ãŒã ãå°ããã»ã©åªããŠããŸãã éåžžã®ãã¬ãŒã ã«ã¯ã20ã40èªãå«ãŸããŠããå¿ èŠããããŸãã æ倧ã¯çŽ80ã¯ãŒãã§ãã
- èŽè¡ã®èª°ããè°è«äžã®åé¡ã®å°é家ã ãšã¯æããªãã§ãã ããã ããªãã®è©±ãèããŠãã人ãå°é家ã§ãã£ãŠããæ°å¹Žåã«ããªããèªæã§ãããšæãããšã«ã€ããŠæåŸã«èãããšãã§ãããšããŠãã ãã»ãã³ãã£ãã¯è€é床ã¯ã©ã¹ããŸãã¯ãéšåçã«é åºä»ããããã»ããããäœã§ããããããã«æãåºãããããã®æéãåžžã«ç¢ºä¿ããå¿ èŠããããŸãã
- è¬æŒäžã«èª¬æããã€ããã®ãªããã®ãã¹ã©ã€ãã«èŒããªãã§ãã ãããããªãã®ãããã¯ãå®éã«ã©ãã»ã©é£ãããã誰ãã«å°è±¡ã¥ããããšãã§ããŸãã ãã ããã¹ã©ã€ããäœã§ãªããã説æã§ããŸãã
- ããç°¡åã«ã éåžžãèŽè¡ã¯50ç§ä»¥å ã«ã¹ã©ã€ããèŠãã§ãããã 圌ãã¯é·ãæç« ãè€éãªæ°åŒã«ã€ããŠå°æããæéããããŸããã
- ã³ã³ãã¥ãŒã¿ãŒãµã€ãšã³ã¹ã®ææã§ããã©ã³ã¹ãã©ãŒãããŠã¯ãPowerPointãŠãŒã¶ãŒã¯ãã¬ãŒã³ããŒã·ã§ã³ã®æ¹ãåªããŠãããšèšããŸãã 圌ã®èæ ®äºé ïŒPowerPointã¯æ°åŒãå ¥åããã®ãéåžžã«æªãããããŠãŒã¶ãŒã¯äœ¿çšããæ°åŠãå°ãªããã¬ããŒããç解ããããããŠããŸãã ç§ãã¡ã®æèŠã§ã¯ãããã«ã¯ããã€ãã®çå®ããããŸãã TEXæ°åŒãå ¥åããããšã®å¯èœæ§ã¯éåžžã«å€§ãããããå¿ èŠä»¥äžã«å€ãã®æ°åŒã䜿çšããŠå¥åº·ã«è¯ããšæãããå¯èœæ§ããããŸãã ããšãã°ããSince ç§ãã¡ã¯...ã䜿çšãããŠãã ãã¬ãã£ãã¯ã¹ã®æ°ã¯éãããŠããŸããç§ãã¡ã¯æã£ãŠããŸãã ãã¡ãããæ°åŠã®è¬çŸ©ã®ããã«ãå®éã«äœããã®æ°åŠçãªåé¡ãè°è«ããŠããå Žåã¯ãå¯èœæ§ã掻çšããŠãã ãã 奜ããªã ãã
ãã¬ãŒã æ§é
- block ã theorem ã proof ã exampleãªã©ã®ãããã¯ç°å¢ã䜿çšããŸãã
- ãã¬ãŒã³ããã¹ãã§ã¯ãªããçªå·ä»ããªã¹ããšçªå·ãªããªã¹ããåªå ããŸãã
- ããã€ãã®ããšãå®çŸ©ãããšãã¯ã 説æç°å¢ã䜿çšããŸãã
- ãªã¹ãå ã§3ã¬ãã«ä»¥äžã®ãã¹ãã䜿çšããªãã§ãã ããã BEAMERã¯3ã€ã®ã¬ãã«ããµããŒãããŠããŸããããã®3çªç®ã®ã¬ãã«ã¯äœ¿çšããªãã§ãã ããã äžè¬ã«ã2çªç®ã®ãã®ã䜿çšãã¹ãã§ã¯ãããŸããã 代ããã«é©åãªã°ã©ãã£ãã¯ã䜿çšããŠãã ããã
- ç¡éã®çªå·ä»ãããã³é åºãªããªã¹ããäœæããªãã§ãã ããã
- ãªã¹ããæççã«å±éããªãã§ãã ããã
- 匷調ã¯ãæ§é ãäœæããéèŠãªéšåã§ãã \ alertã³ãã³ãã䜿çšããŠãéèŠãªãã®ã匷調衚瀺ããŸãã åäžã®åèªãŸãã¯æå šäœãæå®ã§ããŸãã ãã ããéžæãä¹±çšããªãã§ãã ãããçµæãç¡å¹ã«ãªããŸãã
- åã䜿çšããŸãã
- è泚ã䜿çšããªãã§ãã ãã ã ãããã¯ãèªã¿åãã¹ããªãŒã ãäžå¿ èŠã«æ··ä¹±ãããŸãã è泚ã§è¿°ã¹ãããŠããããšã¯éèŠã§ããããã¬ãŒã³ããã¹ãã§é 眮ããããéèŠã§ã¯ãªãã®ã§çç¥ããŠãã ããïŒ ç¹ã«ãã¬ãŒã³ããŒã·ã§ã³ã§ã¯ïŒã
- åŒçšãŸãã¯åŒçšã䜿çšã㊠ã åŒçšãããããã¹ããæ¿å ¥ããŸãã
- é·ãåèæç®ãé€ãã allowframebreaksãªãã·ã§ã³ã䜿çšããªãã§ãã ããã
- é·ãåèæç®ã䜿çšããªãã§ãã ããã
ã¹ãã«ããã¹ã
- çãæç« ã䜿çšããŸãã
- å®å šãªæç« ããããã¬ãŒãºãåªå ããŸãã ããšãã°ããå·Šã®åçã¯ãã¥ãŒãªã³ã°ãã·ã³ã瀺ããå³ã®åçã¯ã¹ããŒããã·ã³ã瀺ããŠããŸãããã®ä»£ããã«ããå·ŠïŒãã¥ãŒãªã³ã°ãã·ã³ã å³ïŒã¹ããŒããã·ã³ã "ããã«è¯ãããšã«ããªã¹ããŸãã¯èª¬æã«å€ããŠãã ããã
- å¥èªç¹ãæ£ããé 眮ããïŒå¥ã®åŸã«å¥èªç¹ãä»ããªããå®å šãªæã®ååŸã«å®å šãªå¥èªç¹ãä»ããã
- ããã¬ãŒã ã«ãããã£ãããããããã«å°ããªãã©ã³ããµã€ãºã䜿çšããªãã§ãã ãã ã 決ã㊠ã æªè³ªãª çž®å°ãªãã·ã§ã³ã䜿çšããªãã§ãã ãã ã
- èšèãæããªãã§ãã ããã ã©ãããŠãå¿ èŠãªå Žåã¯ã \-ã³ãã³ãã䜿çšããŠãæåã§ãåèªãã©ããããŸãã
- \\ã³ãã³ãã䜿çšããŠæåã§è¡ãåå²ããŸãã èªåæ¹è¡ã«äŸåããªãã§ãã ããã è«ççãªäžæåæ¢ãããå ŽæãåŒãè£ããŸãã ããšãã°ããããŒãã¢ã«ãã¡ããããã®é©åãªã®ã£ããã¯ããmoreããšããåèªã®åãšãinputãã®åã®ãå ¥åã¢ã«ãã¡ããããããã倧ããã§ããæªãã®ã£ããã¯ããalphabetãã®åãŸãã¯ãwhatãã®åã«ãããŸãã
- ã°ã©ãäžã®ããã¹ããšæ°åã¯ããã¬ãŒã³ããã¹ããšåããµã€ãºã§ããå¿ èŠããããŸãã å€èªã§ããªã軞çªå·ã¯ãéåžžããã£ãŒããšãã®æå³ãå°ç¡ãã«ããŸãã
5.1.4ã€ã³ã¿ã©ã¯ãã£ããªèŠçŽ
ãã¬ãŒã³ããŒã·ã§ã³äžã«ãã¹ã©ã€ãããšã«PgDnããŒãæŒãããšã«ãããã¹ã©ã€ããå®å šã«çŽç·çãªã¹ã¿ã€ã«ã§è¡šç€ºããããšããŸãã ãã ãããã®ç·åœ¢é åºããéžè±ããå¿ èŠãããã®ã«ã¯ãããŸããŸãªçç±ããããŸãã
- ãã¬ãŒã³ããŒã·ã§ã³ã«ã¯ãããŸããŸãªè©³çŽ°ã¬ãã«ããå«ãŸããŠããå ŽåããããŸãããèŠèŽè ã®åå¿ã«å¿ããŠãã¹ããããããå±éãããããããšã¯ã§ããŸãã
- 質åããããè¿œå ã®ã¹ã©ã€ãã衚瀺ãããã
- è€éãªç»åã衚瀺ãã詳现ã説æããããã«ããŸããŸãªéšåããçž®å°ãããå¿ èŠããããŸãã
- åã®ã¹ã©ã€ãã«ã€ããŠè³ªåãããããããèŠã€ããŠãã®ã¹ã©ã€ãã«ç§»åããŸãã
å®éã«ã¯ããã®çš®ã®è³ªåã«æºåããããšã¯ã§ããŸããã ãã®å Žåãããã²ãŒã·ã§ã³ããŒãšã·ã³ãã«ã䜿çšããŠãé¢å¿ã®ããã¹ã©ã€ããèŠã€ããããšãã§ããŸãïŒ8.2.3ãåç §ïŒã
æåã®3çš®é¡ã®ãªããªãŒãã«ã€ããŠã¯ããèšç»ãããè¿åããŸãã¯ãèšç»ãããåæãã«åããŠããã€ãã®ããšããããŸãã
- ã¹ããããã¿ã³ãè¿œå ã§ããŸãã ãã®ãã¿ã³ãæŒããšãã¬ããŒãã®ç¹å®ã®éšåã«ãžã£ã³ãããŸãã ã¹ããããã¿ã³ã«ã¯ããé²ããããŒãæŒãã ãã®å Žåãšæ¯ã¹ãŠ2ã€ã®å©ç¹ããããŸãã1ã€ç®ã¯ãé©åãªå Žæã«ããããšã§ãã ããšãã°ããSkip Proofããšæžãããã¹ããããã¿ã³ãã¯ãªãã¯ãããšãã¹ããããããå 容ã«æžæãããšã¯ãããŸããã
- ã¬ããŒãã«ã¢ããªã±ãŒã·ã§ã³ãè¿œå ã§ããŸãã ãã®ã¢ããªã¯ãã¡ã€ã³ã¬ããŒããããå®å šã«åé¢ããããŠããŸãã ã¢ããªã±ãŒã·ã§ã³ã»ã¯ã·ã§ã³ãïŒãããããã€ããŒãªã³ã¯ãä»ããŠïŒå ¥åããå Žåã«ã®ã¿ãã¢ããªã±ãŒã·ã§ã³æ§é ã衚瀺ãããŸãã ãã®ä»é²ã§ã¯ãã¬ããŒãã®éåžžã®ã³ãŒã¹ã§ã¯è¡šç€ºããªãããã ãããå°ããå Žåã«åããŠæå ã«çœ®ããããã¹ãŠã®ãã¬ãŒã ãé 眮ã§ããŸãã
- [移å]ãã¿ã³ãš[æ»ã]ãã¿ã³ãè¿œå ããŠãåé¿çãäœæã§ããŸãã [Go]ãã¿ã³ãæŒããšããã¬ãŒã³ããŒã·ã§ã³ã®ç¹å®ã®éšåã«ç§»åããè¿œå ã®è©³çŽ°ã衚瀺ã§ããŸãã ãã®éšåã§ã¯ãåã¹ã©ã€ãã«æ»ããã¿ã³ãããã[æ»ã]ãã¿ã³ãã¯ãªãã¯ããå Žæã«æ»ãããšãã§ããŸãã
- BEAMERã§ã¯ã \ againframeã³ãã³ãã䜿çšããŠã以åã«ã©ããã§äœæãããäžéšã®è©³çŽ°ãçç¥ãããã¬ãŒã ããç¶ç¶ãã§ããŸãã ããšãã°ãã¢ããªã±ãŒã·ã§ã³ã§ã®ã¿ã \ againframeã³ãã³ããåŸã§äœ¿çšããŠãããã«è¿œå ã®ã¹ã©ã€ãã衚瀺ã§ããŸãã
- BEAMERã§ã¯ã \ framezoomã³ãã³ãã䜿çšããŠãè€éãªã¹ã©ã€ãã®äžéšãæ¡å€§çž®å°ããããã®ãªã³ã¯ãäœæã§ããŸãã
5.2ã°ã©ãã£ãã¯ã®äœ¿çš
ã°ã©ãã£ãã¯ã¹ã¯ãå€ãã®å Žåãããã¹ããããã¯ããã«å¹ççã«æŠå¿µãã¢ã€ãã¢ãäŒããŸããå³é¢ã¯ã1000èªä»¥äžã話ãããšãã§ããŸãã ïŒãã ããæã«ã¯èšèã§äœåãã®å³é¢ãèšãããšãã§ããŸããïŒ
- å¯èœãªéããåã¹ã©ã€ãã«ïŒå°ãªããšãïŒ1ã€ã®ã°ã©ããé 眮ããŸãã èŠèŠåã¯ãªã¹ããŒã«ãšã£ãŠéåžžã«åœ¹ç«ã¡ãŸãã
- éåžžãã°ã©ãã£ãã¯ã¹ã¯ããã¹ãã®å·ŠåŽã«ãããŸãã ïŒ åç°å¢ã䜿çšããŸã ãïŒå·Šããå³ã«èªããšãã¯ãæåã«å·ŠããèŠãŠãã ããã
- ãã£ãŒãã«ã¯ãããã¹ããšåã掻çå°å·ãã©ã¡ãŒã¿ãŒã䜿çšããå¿ èŠããããŸãããã£ãŒãã§ã¯ãã¡ã€ã³ããã¹ããšåããã©ã³ãïŒåããµã€ãºïŒã䜿çšããŸãã ã°ã©ãã®æå°ãããã¯ãããã¹ãã®æå°ããããšãŸã£ããåããµã€ãºã§ããå¿ èŠããããŸãã ç·ã®å¹ ã¯ããã©ã³ãã®ã°ãªããäœæããããã«äœ¿çšãããã¹ãããŒã¯ã®å¹ ãšåãã§ãªããã°ãªããŸããã ããšãã°ã11ptã®éæ²¹æ§ãã©ã³ãComputer Modernã®ã¹ãããŒã¯å¹ ã¯0.4ptã§ãã
- åçãªã©ã®ããããããã¯ä»ã®ããã¹ããããã¯ããã«ã«ã©ãã«ã§ããããã¯ã¿ãŒã°ã©ãã£ãã¯ã¹ã¯ã¡ã€ã³ããã¹ããšåããã«ã©ãŒããžãã¯ãã«åŸãå¿ èŠããããŸãïŒé»=éåžžã®ç·ãèµ€=éžæããéšåãç·=äŸãé=æ§é ïŒã
- ããã¹ãã®ããã«ãã°ã©ãã«è¡šç€ºããããã¹ãŠã説æããå¿ èŠããããŸãã èãéããéèŠãªãã®ãããå Žåã説æã§ããªã詳现ãèŽè¡ãå°æãããŸãã èšäºããã®ä»ã®ãœãŒã¹ãããã£ãŒããã€ã³ããŒããããšãã¯æ³šæããŠãã ããã éåžžããããã¯ããªãã説æã§ãããããã¯ããã«è©³çŽ°ã§ãããæ ¹æ¬çã«ç°¡çŽ åãããã¹ãã§ãã
- ã°ã©ãã£ãã¯ã¹ã®è€éãã¯æå³çã§ããå Žåããããç»åãéåžžã«è©³çŽ°ã«èª¬æããã®ã«å€ãã®æéãè²»ããããšãããšããªãããšããããŸãã ãã®å ŽåãèŽè¡ã«ãšã£ãŠã¹ã±ãžã¥ãŒã«ã®çŽ°éšãèŠãã®ãé£ãããšããåé¡ã«ééããããšããããããŸãã ãã®å Žåã \ framezoomã®ãããªã³ãã³ãã䜿çšããŠãã°ã©ãã£ãã¯ãªããžã§ã¯ãã®æ³å®ãããèå³æ·±ãéšåãè¿äŒŒããå¿ èŠããããŸããã»ã¯ã·ã§ã³11.3ãåç §ããŠãã ããã
5.3ã¢ãã¡ãŒã·ã§ã³å¹æãšãã©ã³ãžã·ã§ã³ã®äœ¿çš
- ã¢ãã¡ãŒã·ã§ã³ã䜿çšããŠãã·ã¹ãã ãã€ããã¯ã¹ãã¢ã«ãŽãªãºã ãªã©ã説æããŸãã
- ã¢ãã¡ãŒã·ã§ã³ãèŠèŽè ã®æ³šæãåŒãããã ãã«äœ¿çšããªãã§ãã ããã ããã¯ãå€ãã®å Žåãã¹ã©ã€ãã®ã¡ã€ã³ããŒããã泚æãããããŸãã å転ãããã«ã¯ãŒã«ã§ãé£è¡å®çãã©ã®ããã«èŠããŠãã芳客ã幞ãã«ãªãããã«äœããã®ã¢ã¯ã·ã§ã³ãå¿ èŠã§ãããšããªããæããŠãããšããŠãã芳客ã®ã»ãšãã©ã®äººã¯éåžžããªãããããã楜ããŸããŠãããšæããŸãã
- ç¹ã«çç±ããªãéããã¹ã©ã€ãã®ã溶解ããªã©ã®æ°ãæ£ããç¹æ®å¹æã䜿çšããªãã§ãã ãã ã ãã§ã«äœ¿çšããŠããå Žåã¯ãã»ãšãã©äœ¿çšããªãã§ãã ããã ãããã¯ããã€ãã®ç¶æ³ã§åœ¹ç«ã¡ãŸããããšãã°ãã¹ã©ã€ãã«ç·ã®åã衚瀺ãããã®ã¹ã©ã€ãããã£ãŸã«ãããŠã代ããã«å€§äººã瀺ãã¹ã©ã€ãã«ãããå ŽåããããŸãã ãã®å Žåã解æ£ã¯èŠ³å®¢ã«ãå°å¹Žãããã£ãããšãç·ã«ãªããšããèŠèŠçã€ã¡ãŒãžãäžããŸãã