\documentclass{jsarticle}
\usepackage[top=20truemm,bottom=20truemm,left=15truemm,right=15truemm]{geometry}
\usepackage{amssymb}		%\rhd
\usepackage{amsmath}		%\cfrac
\usepackage{bussproofs}		%for proof trees
\newcommand{\sem}[1]{[\![ #1 ]\!]}
%\usepackage[top=30truemm,bottom=30truemm,left=25truemm,right=25truemm]{geometry}
\usepackage{pxrubrica}          % \ruby
\usepackage{color}
\usepackage{url}

\newtheorem{proposition}{命題}

\title{コンピュータサイエンス入門\\
〜アルゴリズムとプログラミング言語〜
\\
2020年度Q2 解答例と解説(再配布しないで下さい)}

\usepackage{graphicx}	% required for `\includegraphics' (yatex added)
\begin{document}
\maketitle

\input{2020q2}

\bibliographystyle{/Users/a/Documents/BiBTeX/ipsjunsrt}  %% plain, unsrt, unsrtnat
\bibliography{/Users/a/Documents/BiBTeX/ref,/Users/a/Documents/BiBTeX/ref-jp}

\end{document}