From 2bdad786649d7c19d9d95d8d7c32944936277f7e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Sun, 7 Jul 2024 14:35:02 +0000 Subject: [PATCH] writing --- src/main.tex | 232 +++++++-------------------------------------------- 1 file changed, 29 insertions(+), 203 deletions(-) diff --git a/src/main.tex b/src/main.tex index 603e6a0..2617539 100644 --- a/src/main.tex +++ b/src/main.tex @@ -196,108 +196,49 @@ submission. This template can be found on the conference website. -\subsection{Figures} -\label{ssec:figures} - -All figures should be centered on the column (or page, if the figure spans both -columns). Figure captions (in italic) should follow each figure and have the -format given in Figure~\ref{fft_plot}. Vectorial figures are preferred (e.g., -Postscript, PDF, etc.). Also, in order to provide a better readability, figure -text font size should be at least identical to footnote font size. If bitmap -figures are used, please make sure that the resolution is enough for print -quality. Figure~\ref{ftt_plot2} illustrates an example of a figure spanning two -columns. +\section{Syntax} +\label{sec:syntax} \begin{figure}[ht] -\centerline{\includegraphics[scale=0.7]{counter.pdf}} -\caption{\label{fft_plot}{\it \F{} counter.}} +\begin{equation*} + \begin{aligned} + \tau ::=&\quad R_a \quad & a \in \mathbb{N}\\ + |&\quad I_n \quad &n \in \mathbb{N} \\\ + |&\quad \tau \rightarrow \tau \quad &a,b \in \mathbb{N}\\ + % |&\quad \langle \tau \rangle + \end{aligned} +\end{equation*} +\caption{\label{fig:syntax_ty}{\it Syntax of the $\lambda_{mmm}$.}} \end{figure} -\begin{figure*}[ht] -\center -\includegraphics[width=5in]{TwoColumnSine2} -\caption{\label{ftt_plot2}{\it A figure spanning two columns, as mentioned in -Sec. \ref{ssec:figures}.}} -\end{figure*} -\subsection{Tables} +where equation (\ref{fig:syntax_ty}) is a one pole filter with frequency response: -As for figures, all tables should be centered on the column (or page, if the -table spans both columns). Table captions should be in italic, precede each -table and have the format given in Table~\ref{tab:example}. +\begin{figure}[ht] +\begin{equation*} +\begin{align} + v \; ::= & \quad R \\ + | & \quad \lambda x:\tau.e \quad & [lambda]\\ + |& \quad fix \; x.e \quad & [fixpoint]\\ + |& \quad feed \; x.e \quad & [feed] \\ +\end{aligned} +\end{equation*} +\caption{\label{fig:syntax_ty}{\it Syntax of the $\lambda_{mmm}$.}} +\end{figure} -\begin{table}[ht] - \caption{\itshape Basic trigonometric values.} - \centering - \begin{tabular}{|c|c|} - \hline - $\mathrm{angle}\,(\theta, \mathrm{rad})$ & $\sin \theta$ \\\hline - $\frac{\pi}{2}$ & $1$ \\ - $\pi$ & $0$ \\ - $\frac{3\pi}{2}$ & $-1$ \\ - $2\pi$ & $0$ \\\hline - \end{tabular} - % - \label{tab:example} -\end{table} +\section{Semantics} +\label{sec:semantics} -\begin{table*}[ht] - \caption{{\it Basic trigonometric values, spanning two columns.}} - \centering - \begin{tabular}{|c|c|c|c|c|c|c|}\hline - $\mathrm{angle}\, (\theta, \mathrm{rad})$ & $\sin \theta$ & $\cos \theta $ & $(\sin \theta)/2 $ & $(\cos \theta) /2 $ & $(\sin \theta)/3 $ & $(\cos \theta)/3$ \\\hline - $\frac{\pi}{2}$ & $1$ & $0$ & $1/2$ & $0$ & $1/3$ & $0$ \\ - $\pi$ & $0$ & $-1$ & $0$ & $-1/2$ & $0$ & $-1/3$\\ - $\frac{3\pi}{2}$ & $-1$ & $0$ & $-1/2$ & $0$ & $-1/3$ & $0$ \\ - $2\pi$ & $0$ & $1$ & $0$ & $1/2$ & $0$ & $1/3$ \\\hline - \end{tabular} - % - \label{tab:example2} -\end{table*} -\subsection{Equations} +\section{VM Model and Instruction Set} +\label{sec:vm} -Equations should be placed on separate lines and numbered: +\section{Discussion} +\label{sec:discussion} -\begin{equation} - y(n)=b_0x(n)-a_1y(n-1) - \label{eq1} - \end{equation} - where equation (\ref{eq1}) is a one pole filter with frequency response: - \begin{equation} - H(e^{j \omega T}) = \frac{b_0}{1+a_1e^{-j \omega T}} - \label{eq2} -\end{equation} -\subsection{Code} -Code can be listed in a block: -\begin{lstlisting} - process = _; -\end{lstlisting} -\noindent -or directly in-lined in the body of the text: \lstinline{process = 1;}. - -\subsection{Page Numbers} - -Page numbers will be added to the document in the post-processing stage, so -{\em please leave the numbering as is}. - -\subsection{Reviewing} - -Submissions should not be anonymous for reviewing. - -\subsection{References} - -The references will be numbered in order of appearance \cite{Orlarey2009}, -\cite{Smith2012}, \cite{Graef2012} and \cite{Michon2011}. Please avoid listing -references that do not appear in the text. - -\subsubsection{Reference Format} - -The reference format is the standard IEEE one. We recommend to use BibTeX to -create the reference list. \section{Conclusions} @@ -316,119 +257,4 @@ Many thanks to the great number of anonymous reviewers! \bibliographystyle{IEEEbib} \bibliography{IFC-24} % requires file IFC-24.bib -\section{Appendix: Margin Check} - -This section shows the column margins for the text. \bigskip\newline - -Lorem ipsum dolor sit amet, consectetur adipisici elit, sed eiusmod tempor -incidunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis -nostrud exercitation ullamco laboris nisi ut aliquid ex ea commodi consequat. -Quis aute iure reprehenderit in voluptate velit esse cillum dolore eu fugiat -nulla pariatur. Excepteur sint obcaecat cupiditat non proident, sunt in culpa -qui officia deserunt mollit anim id est laborum. - -Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie -consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan -et iusto odio dignissim qui blandit praesent luptatum zzril delenit augue duis -dolore te feugait nulla facilisi. Lorem ipsum dolor sit amet, consectetuer -adipiscing elit, sed diam nonummy nibh euismod tincidunt ut laoreet dolore -magna aliquam erat volutpat. - -Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit -lobortis nisl ut aliquip ex ea commodo consequat. Duis autem vel eum iriure -dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore -eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui -blandit praesent luptatum zzril delenit augue duis dolore te feugait nulla -facilisi. - -Nam liber tempor cum soluta nobis eleifend option congue nihil imperdiet doming -id quod mazim placerat facer possim assum. Lorem ipsum dolor sit amet, -consectetuer adipiscing elit, sed diam nonummy nibh euismod tincidunt ut -laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis -nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea -commodo consequat. - -Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie -consequat, vel illum dolore eu feugiat nulla facilisis. - -At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd -gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum -dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor -invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua. At vero -eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no -sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit -amet, consetetur sadipscing elitr, At accusam aliquyam diam diam dolore dolores -duo eirmod eos erat, et nonumy sed tempor et et invidunt justo labore Stet -clita ea et gubergren, kasd magna no rebum. sanctus sea sed takimata ut vero -voluptua. est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet, -consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore -et dolore magna aliquyam erat. - -Consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore -et dolore magna aliquyam erat, sed diam voluptua. At vero eos et accusam et -justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata -sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet, consetetur -sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore -magna aliquyam erat, sed diam voluptua. At vero eos et accusam et justo duo -dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est -Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet, consetetur sadipscing -elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam -erat, sed diam voluptua. At vero eos et accusam et justo duo dolores et ea -rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor -sit amet. - -Lorem ipsum dolor sit amet, consectetur adipisici elit, sed eiusmod tempor -incidunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis -nostrud exercitation ullamco laboris nisi ut aliquid ex ea commodi consequat. -Quis aute iure reprehenderit in voluptate velit esse cillum dolore eu fugiat -nulla pariatur. Excepteur sint obcaecat cupiditat non proident, sunt in culpa -qui officia deserunt mollit anim id est laborum. - - -Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie -consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan -et iusto odio dignissim qui blandit praesent luptatum zzril delenit augue duis -dolore te feugait nulla facilisi. Lorem ipsum dolor sit amet, consectetuer -adipiscing elit, sed diam nonummy nibh euismod tincidunt ut laoreet dolore -magna aliquam erat volutpat. - -Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit -lobortis nisl ut aliquip ex ea commodo consequat. Duis autem vel eum iriure -dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore -eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui -blandit praesent luptatum zzril delenit augue duis dolore te feugait nulla -facilisi. - -Nam liber tempor cum soluta nobis eleifend option congue nihil imperdiet doming -id quod mazim placerat facer possim assum. Lorem ipsum dolor sit amet, -consectetuer adipiscing elit, sed diam nonummy nibh euismod tincidunt ut -laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis -nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea -commodo consequat. - -Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie -consequat, vel illum dolore eu feugiat nulla facilisis. - -At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd -gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum -dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor -invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua. At vero -eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no -sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet, -consetetur sadipscing elitr, At accusam aliquyam diam diam dolore dolores duo -eirmod eos erat, et nonumy sed tempor et et invidunt justo labore Stet clita ea -et gubergren, kasd magna no rebum. sanctus sea sed takimata ut vero voluptua. -est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet, consetetur -sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore -magna aliquyam erat. - -Consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore -et dolore magna aliquyam erat, sed diam voluptua. At vero eos et accusam et -justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata -sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet, consetetur -sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore -magna aliquyam erat, sed diam voluptua. At vero eos et accusam et justo duo -dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est -Lorem ipsum dolor sit amet. - \end{document}