<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[11pt,
  % twoside,
  logo = {example-image},
  % logo height = 1cm,  % logo width = 2cm,
  title in boldface,
  % title in sffamily,
  theorem in new line,
  % remove qed,
  colored solution,
]{homework}

%% For highlighting the code in this document
\usepackage{newverbs}
\newverbcommand{\cverb}{\color{red!50!orange}}{}

%% Below is the main document


\UseLanguage{Japanese}


\title{ç§‘ç›®åã€ç¬¬ 1 é€±}
\author{è‘—è€…å}
% \date{\todayã€æ‰€åœ¨åœ°}
% \date{\today[only-year-month]ã€æ‰€åœ¨åœ°}
\date{\TheDate{2024-01-01}ã€æ‰€åœ¨åœ°}


\begin{document}


\textcolor{gray!55}{(ã‚½ãƒªãƒ¥ãƒ¼ã‚·ãƒ§ãƒ³ã‚’ç›´æŽ¥æ›¸ãã¤ã‚‚ã‚Šãªã‚‰â€¦)}

\begin{problem}
    ã“ã‚ŒãŒç­”ãˆ/è¨¼æ˜Žã§ã™ã€‚
\end{problem}


\bigskip\textcolor{gray!55}{ï¼ˆã‚‚ã—ã€å•é¡Œã‚’è¿°ã¹ã¦ã‹ã‚‰ã‚½ãƒªãƒ¥ãƒ¼ã‚·ãƒ§ãƒ³ã‚’æ›¸ããŸã„ã®ã§ã‚ã‚Œã°...ï¼‰}

\begin{problem}[å•é¡Œç´¹ä»‹]
    ã“ã“ã«å•é¡Œã‚’è¿°ã¹ã¦â€¦
\end{problem}

\begin{solution}
    â€¦ã“ã“ã«ã‚½ãƒªãƒ¥ãƒ¼ã‚·ãƒ§ãƒ³ã‚’æ›¸ãã“ã¨ãŒã§ãã¾ã™...
\end{solution}

\bigskip\textcolor{gray!55}{ï¼ˆã‚‚ã—\textquote{è§£ç­”}ã‚ˆã‚Šã‚‚\textquote{è¨¼æ˜Ž}ã‚’æ›¸ããŸã„ã®ãªã‚‰...ï¼‰}

\begin{solution}[è¨¼æ˜Ž]
    â€¦ã¾ãŸã¯æ¬¡ã®ã‚ˆã†ãªè¨¼æ˜Žã‚’æ›¸ãã¾ã™...
    \begin{lemma}[ã“ã“ã«ã‚³ãƒ¡ãƒ³ãƒˆã‚’æ›¸ãã“ã¨ãŒã§ãã¾ã™]\label{lem}
        ã„ãã¤ã‹ã®è£œåŠ©çš„ãªçµæžœã€‚
    \end{lemma}
    \begin{proof}
        ã“ã‚ŒãŒ\cref{lem}ã®è¨¼æ˜Žã§ã™ã€‚æ¬¡ã®å¼ãŒä½¿ç”¨ã•ã‚Œã¾ã™ï¼ˆ\cverb|\qedhere| ã®ä½¿ç”¨ã«æ³¨æ„ã—ã¦ãã&nbsp;ã•ã„ï¼‰ï¼š
        \[
            \infty = \infty + 1
            \makebox[0pt][l]{\,ã€‚} % æ–‡æœ«ã®ãƒ”ãƒªã‚ªãƒ‰
            \qedhere               % Q.E.D. ã‚·ãƒ³ãƒœãƒ«ã‚’æ­£ã—ã„ä½ç½®ã«é…ç½®ã™ã‚‹ãŸã‚ã«ä½¿ç”¨ã•ã‚Œã¾ã™
        \]
    \end{proof}
    \begin{fact}[ã“ã®çµæžœã«ã¯è¨¼æ˜Žã®å¿…è¦ã¯ãªã„]
        \proofless
        \cverb|\proofless| ã‚’ä½¿ç”¨ã—ã¦ã€å®šç†ã‚¿ã‚¤ãƒ—ã®ç’°å¢ƒã®çµ‚ã‚ã‚Šã‚’ç¤ºã™ä¸­ç©ºã®ãƒœãƒƒã‚¯ã‚¹ã‚’ä¸­å®Ÿã®ãƒœãƒƒã‚¯ã‚¹ã«å¤‰æ›´ã—ã¾ã™ã€‚
    \end{fact}
    â€¦ãã—ã¦æ®‹ã‚Šã®ã‚¹ãƒ†ãƒƒãƒ—â€¦
\end{solution}


\bigskip\textcolor{gray!55}{ï¼ˆ\texttt{answer} ç’°å¢ƒã‚’ä½¿ç”¨ã™ã‚‹ã“ã¨ã‚‚ã§ãã¾ã™â€¦ï¼‰}

\begin{answer}
    \verb|answer| ç’°å¢ƒã¯ \verb|solution| ç’°å¢ƒã¨ã¾ã£ãŸãåŒã˜ã‚ˆã†ã«ä½¿ç”¨ã•ã‚Œã¾ã™ã€‚
\end{answer}


\enlargethispage*{2\baselineskip}


\bigskip\textcolor{gray!55}{ï¼ˆä¼çµ±çš„ãªè¨¼æ˜Žã‚¹ã‚¿ã‚¤ãƒ«ãŒãŠå¥½ã¿ãªã‚‰â€¦ï¼‰}

\begin{proof}
    \verb|proof| ç’°å¢ƒã¯ã¾ã&nbsp;åˆ©ç”¨å¯èƒ½ã§ã™ã€‚
\end{proof}


\bigskip\textcolor{gray!55}{ï¼ˆå•é¡Œã®å„å°å•ã«å€‹åˆ¥ã«å›žç­”ã—ãŸã„å&nbsp;´åˆã¯â€¦ï¼‰}

\begin{problem}[å¤šãã®å°å•ãŒã‚ã‚‹å•é¡Œ]
    \begin{enumerate}
        \item ä¸€ç•ªç›®ã®å•é¡Œã€‚

        \begin{solution}
            ä¸€ç•ªç›®ã®å•é¡Œã®è§£ç­”ã€‚
        \end{solution}

        \item äºŒç•ªç›®ã®å•é¡Œã€‚

        \begin{enumerate}
            \item ä¸€ç•ªç›®ã®å°å•ã€‚

            \begin{solution}
                ä¸€ç•ªç›®ã®å°å•ã®è§£ç­”ã€‚
            \end{solution}

            \item äºŒç•ªç›®ã®å°å•ã€‚

            \begin{solution}
                äºŒç•ªç›®ã®å°å•ã®è§£ç­”ã€‚
            \end{solution}

        \end{enumerate}

        \item ä¸‰ç•ªç›®ã®å•é¡Œã€‚

        \begin{solution}
            ä¸‰ç•ªç›®ã®å•é¡Œã®è§£ç­”ã€‚
        \end{solution}

    \end{enumerate}
    ç¾åœ¨ã®å•é¡Œã®çµ‚ã‚ã‚Šã‚’ç¤ºã™ Q.E.D. ã‚·ãƒ³ãƒœãƒ«ã‚’è¡¨ç¤ºã—ãªã„ã‚ˆã†ã«ã™ã‚‹ã«ã¯ã€æœ€å¾Œã« \cverb|\noqed|ï¼ˆã¾ãŸã¯ \cverb|\noQED|ï¼‰ã‚’ä½¿ã†ã€‚
    \noQED
\end{problem}


\bigskip\textcolor{gray!55}{ï¼ˆç·´ç¿’ã«æ‰‹å‹•ã§ç•ªå·ã‚’ä»˜ã‘ãŸã„å&nbsp;´åˆã¯â€¦ï¼‰}

\ManualNumbering{exercise}{A.1.1}
\begin{exercise}[æ‰‹å‹•ã§ç•ªå·ã‚’ä»˜ã‘ãŸç·´ç¿’]
    \cverb|\ManualNumbering| ã‚’ä½¿ç”¨ã—ã¦ã€æ‰‹å‹•ã§ç·´ç¿’ã«ç•ªå·ã‚’ä»˜ã‘ã¾ã™ã€‚ã“ã®ç•ªå·ä»˜ã‘ã¯ã€æ¬¡ã«æŒ‡å®šã•ã‚ŒãŸç’°å¢ƒã«ã®ã¿å½±éŸ¿ã—ã¾ã™ã€‚
\end{exercise}

\begin{exercise}
    ãã®å¾Œã€ç•ªå·ä»˜ã‘ã¯é€šå¸¸ã«æˆ»ã‚Šã¾ã™ã€‚
\end{exercise}


\bigskip\textcolor{gray!55}{ï¼ˆä¸€æ™‚çš„ã«è§£æ±ºã§ããªã„å•é¡ŒãŒã‚ã‚‹å&nbsp;´åˆã¯â€¦ï¼‰}

\DNF&lt;ã„ãã¤ã‹ã®èª¬æ˜Ž&gt;


\end{document}
</pre></body></html>