tomoyanonymous/ifc-2024-lambdammm
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

basic setup

Browse Source
This commit is contained in:
松浦 知也 Matsuura Tomoya
2024-07-07 13:21:29 +00:00
commit 264dc0448a
22 changed files with 5498 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1021
src/IEEEbib.bst Normal file
View File

File diff suppressed because it is too large Load Diff

35
src/IFC-24.bib Normal file
View File

@@ -0,0 +1,35 @@
@InBook{Orlarey2009,
Title = {New Computational Paradigms for Computer Music},
Author = {Yann Orlarey and St\'ephane Letz and Dominique Fober},
Chapter = {``{Faust}: an Efficient Functional Approach to {DSP} Programming''},
Publisher = {Delatour},
Year = {2009},
Address = {Paris, France}
}
@InProceedings{Smith2012,
Title = {Signal Processing Libraries for {Faust}},
Author = {Julius O. Smith},
Booktitle = {Proceedings of Linux Audio Conference (LAC-12)},
Year = {2012},
Address = {Stanford, USA},
Month = {May}
}
@InProceedings{Graef2012,
Title = {pd-faust: An Integrated Environment for Running {Faust} Objects in {Pd}},
Author = {Albert Gräf},
Booktitle = {Proceedings of the Linux Audio Conference (LAC-12)},
Year = {2012},
Address = {Stanford, USA},
Month = {April}
}
@InProceedings{Michon2011,
Title = {{Faust-STK}: a set of linear and nonlinear physical models for the {Faust} programming language},
Author = {Romain Michon and Julius O. Smith},
Booktitle = {Proceedings of the 14th International Conference on Digital Audio Effects (DAFx-11)},
Year = {2011},
Address = {Paris, France},
Month = {September}
}

494
src/IFC-24.sty Normal file
View File

@@ -0,0 +1,494 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% File: IFC-24.sty (LaTeX Document style option "IFC-24")
%
% Usage: \documentclass{article}
% \usepackage{IFC-20}
%
% Or for LaTeX 2.09:
% Usage: \documentstyle[...,IFC-24,...]{article}
%
% Purpose:
%
% Style file for the International Faust Conference (IFC-24).
% Modified from DAFx-16.sty
% Features:
% - correct page size (175mm x 226mm)
% - use times-roman font as default font (roman font) in order to achieve
% best quality on paper and screen
% - twocolumn format
% - boldfaced, numbered, and centered section headings
% - correct subsection and subsubsection headings
% - use \title{xx} for title, will automatically be typeset uppercase (not need for the user to do so)
%
% NEW NEW NEW
%
% - use \affiliation{author1, author2, ... and authorN}{address} for author(s) <typeset in italics>
% with a single affiliation (address)
% - use \affiliationS{author}{address1}{address2} for author(s) <typeset in italics>
% with double affiliation (address)
% - use \twoaffiliations{author1}{address1}{author2}{address2}
% for two (or more) authors with two separate addresses
% - use \threeaffiliations{author1}{address1}{author2}{address2}{author3}{address3}
% for three (or more) authors with three separate addresses
% - use \fouraffiliations{author1}{address1}{author2}{address2}{author3}{address3}{author4}{address4}
% for four (or more) authors with four separate addresses
% - note: no need for \name \address \author nor \date
%
% - optional: can use \thanks{xx} within \affiliation, \affiliations, etc.
% asterisk is not printed after name nor in footnote
% - optional: can use \sthanks{xx} after each name within \name or
% \twoauthors if different thanks for each author,
% footnote symbol will appear for each name and footnote
% - optional: use \ninept to typeset text in 9 pt; default is 10pt.
%
% Example of use for one or more authors at a common address and
% common support. For distinct support acknowledgments,
% use \sthanks{xx} after each name.
%
% \documentstyle[dafx_14]{article}
% \title{Title of the paper}
% \affiliation{George P. Burdell and John Q. Professor
% \thanks{This work was supported by...}}
% {Common address, department \\
% City, etc \\
% optional e-mail address}
%
% \begin{document}
% OPTIONAL --> \ninept <-- OPTIONAL, for nine pt only
% \maketitle
% \begin{abstract}
% This is the abstract for my paper.
% \end{abstract}
% .
% Insert text of paper
% .
% \end{document}
%
% Example of use for authors at two distinct addresses with only
% one support acknowledgment. For distinct support acknowledgments,
% use \sthanks{xx} after each name.
%
% \documentstyle[dafx_14]{article}
% \title{Title of the paper}
% \twoaffiliations{John Doe
% \thanks{This work was supported by...}}
% {Doe's address, department \\
% City, etc \\
% optional e-mail address}
% {Judy Smith}
% {Smith's address, department \\
% City, etc \\
% optional e-mail address}
%
% \begin{document}
% OPTIONAL --> \ninept <-- OPTIONAL, for nine pt only
% \maketitle
% \begin{abstract}
% This is the abstract for my paper.
% \end{abstract}
% .
% Insert text of paper
% .
% \end{document}
%
%
% PLEASE REPORT ANY BUGS
%
% Author: Stephen Martucci -- martucci@cdg.nj.nec.com
% Modifications: Jyri Huopaniemi -- jyri.huopaniemi@research.nokia.com
% the Dafx crew -- dafx@sci.univr.it
% The DAFx04 crew -- dafx04@na.infn.it
% The DAFx06 crew -- dafx06@dafx.ca
% The DAFx07 crew -- dafx07@labri.fr
% The DAFx08 crew -- dafx08@acousctics.hut.fi
% The DAFx09 crew -- dafx09@como.polimi.it
% The DAFx10 crew -- dafx10@iem.at
% The DAFx12 crew -- papers@dafx12.york.ac.uk
% The DAFx13 crew -- papers@dafx13.nuim.ie
% The DAFx14 crew -- dafx14@audiolabs-erlangen.de
% The DAFx16 crew -- dafx16@vutbr.cz
% The IFC-20 crew -- ifc20@sciencesconf.org
% The IFC-22 crew -- ifc20@sciencesconf.org
% The IFC-24 crew -- ifc24@soundmit.com
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%change default font to times-roman
\renewcommand{\sfdefault}{phv}
\renewcommand{\rmdefault}{ptm}
\renewcommand{\ttdefault}{pcr}
\oddsidemargin -0.31in
\evensidemargin -0.31in
%\oddsidemargin 0pt
%\evensidemargin -22pt
\topmargin 0truept
\headheight 12truept
\footskip 0truept
\textheight 226truemm
\textwidth 175truemm
\voffset -14truept
\headsep 18truept
\twocolumn
\columnsep 8truemm
\pagestyle{empty}
\def\ninept{\def\baselinestretch{0.95}\let\normalsize\small\normalsize}
\def\maketitle{\par
\begingroup
\def\thefootnote{}
\def\@makefnmark{\hbox to 6pt{$^{\@thefnmark}$\hss}}
\if@twocolumn
\twocolumn[\@maketitle]
\else \newpage
\global\@topnum\z@ \@maketitle \fi\@thanks
\endgroup
\setcounter{footnote}{0}
\let\maketitle\relax
\let\@maketitle\relax
\gdef\thefootnote{\arabic{footnote}}\gdef\@@savethanks{}%
\gdef\@thanks{}\gdef\@author{}\gdef\@title{}\let\thanks\relax}
\def\@maketitle{\newpage
\null
\vskip 1em
\begin{center}
{\large \bf \@title \par} \vskip 2em
{%
%\large
%\ninept
\lineskip .5em
\begin{tabular}[t]{c}\@name \\ \@address
\end{tabular}\par}
\end{center}
\par
\vskip 1.4em}
\def\title#1{\gdef\@title{\MakeUppercase{#1}}}
%\def\name#1{\gdef\@name{{\em #1}\\}}
%\def\address#1{\gdef\@address{#1}}
\gdef\@title{\uppercase{title of paper}}
\gdef\@name{{\em Name of author}\\}
\gdef\@address{Address - Line 1 \\
Address - Line 2 \\
Address - Line 3}
\let\@@savethanks\thanks
\def\thanks#1{\gdef\thefootnote{}\@@savethanks{#1}}
\def\sthanks#1{\gdef\thefootnote{\fnsymbol{footnote}}\@@savethanks{#1}}
\def\affiliationSpace{2mm}
%\def\affiliation#1#2{\gdef\@address{}
%\gdef\@name{\begin{tabular}{@{}c@{}}
%{\em #1} \\ \vspace*{\affiliationSpace}\\
%#2\relax
%\end{tabular}
%}
%}
\def\affiliation#1#2{\gdef\@address{}
\gdef\@name{
\begin{minipage}[t]{\linewidth}
\centering
{\em #1}\\[\affiliationSpace]
#2\relax
\end{minipage}
}
}
\def\affiliations#1#2#3{\gdef\@address{}
\gdef\@name{\begin{tabular}{@{}c@{}}
{\em #1} \\ \vspace*{\affiliationSpace}\\
\begin{tabular}{@{}c@{}}
#2\relax
\end{tabular}\hskip 0.3in
\begin{tabular}{@{}c@{}}
#3\relax
\end{tabular}
\end{tabular}
}
}
%\def\twoaffiliations#1#2#3#4{\gdef\@address{}
%\gdef\@name{\begin{tabular}{@{}c@{}}
%{\em #1} \\ \vspace*{\affiliationSpace}\\
%#2\relax
%\end{tabular}\hskip 0.3in
%\begin{tabular}{@{}c@{}}
%{\em #3} \\ \vspace*{\affiliationSpace}\\
%#4\relax
%\end{tabular}
%}
%}
\def\twoaffiliations#1#2#3#4{\gdef\@address{}
\gdef\@name{
\begin{minipage}[t]{.5\linewidth}
\centering
{\em #1}\\[\affiliationSpace]
#2\relax
\end{minipage}%
\begin{minipage}[t]{.5\linewidth}
\centering
{\em #3}\\[\affiliationSpace]
#4\relax
\end{minipage}%
}
}
%\def\threeaffiliations#1#2#3#4#5#6{\gdef\@address{}
%\gdef\@name{\begin{tabular}{@{}c@{}}
%{\em #1} \\ \vspace*{\affiliationSpace}\\
%#2\relax
%\end{tabular}\hskip 0.3in
%\begin{tabular}{@{}c@{}}
%{\em #3} \\ \vspace*{\affiliationSpace}\\
%#4\relax
%\end{tabular} \\ \\
%\begin{tabular}{@{}c@{}}
%{\em #5} \\ \vspace*{\affiliationSpace}\\
%#6\relax
%\end{tabular}
%}
%}
%
\def\threeaffiliations#1#2#3#4#5#6{\gdef\@address{}
\gdef\@name{
\begin{minipage}[t]{.333\linewidth}
\centering
{\em #1}\\[\affiliationSpace]
#2\relax
\end{minipage}%
\hfill%
\begin{minipage}[t]{.333\linewidth}
\centering
{\em #3}\\[\affiliationSpace]
#4\relax
\end{minipage}%
\hfill%
\begin{minipage}[t]{.333\linewidth}
\centering
{\em #5}\\[\affiliationSpace]
#6\relax
\end{minipage}%
}
}
%\def\fouraffiliations#1#2#3#4#5#6#7#8{\gdef\@address{}
%\gdef\@name{\begin{tabular}{@{}c@{}}
%{\em #1} \\ \vspace*{\affiliationSpace}\\
%#2\relax
%\end{tabular}\hskip 0.3in
%\begin{tabular}{@{}c@{}}
%{\em #3} \\ \vspace*{\affiliationSpace}\\
%#4\relax
%\end{tabular} \\ \\
%\begin{tabular}{@{}c@{}}
%{\em #5} \\ \vspace*{\affiliationSpace}\\
%#6\relax
%\end{tabular}\hskip 0.3in
%\begin{tabular}{@{}c@{}}
%{\em #7} \\ \vspace*{\affiliationSpace}\\
%#8\relax
%\end{tabular}
%}
%}
\def\fouraffiliations#1#2#3#4#5#6#7#8{\gdef\@address{}
\gdef\@name{
\begin{minipage}[t]{.5\linewidth}
\centering
{\em #1}\\[\affiliationSpace]
#2\relax
\end{minipage}%
\begin{minipage}[t]{.5\linewidth}
\centering
{\em #3}\\[\affiliationSpace]
#4\relax
\end{minipage}%
\\[22mm]%
\begin{minipage}[t]{.5\linewidth}
\centering
{\em #5}\\[\affiliationSpace]
#6\relax
\end{minipage}%
\begin{minipage}[t]{.5\linewidth}
\centering
{\em #7}\\[\affiliationSpace]
#8\relax
\end{minipage}%
}
}
\def\@sect#1#2#3#4#5#6[#7]#8{
\refstepcounter{#1}\edef\@svsec{\csname the#1\endcsname.\hskip 0.6em}
\begingroup \ifnum #2=1\bf\centering
{\interlinepenalty \@M
\@svsec\uppercase{#8}\par}\else\ifnum #2=2\bf
\noindent{\interlinepenalty \@M \@svsec #8\par}\else\it
\@hangfrom{\hskip\parindent}{\interlinepenalty \@M
\@svsec #8\par}\fi\fi\endgroup
\csname #1mark\endcsname{#7}\addcontentsline
{toc}{#1}{\protect\numberline{\csname the#1\endcsname} #7}
\@tempskipa #5\relax
\@xsect{\@tempskipa}}
\def\abstract{\begin{center}
{\bf ABSTRACT\vspace{-.5em}\vspace{0pt}}
\end{center}}
\def\endabstract{\par}
\def\copyrightnotice#1{\gdef\@copyrightnotice{#1}}\let\@copyrightnotice\relax
\def\toappear#1{\gdef\@toappear{#1}}\let\@toappear\relax
%%% Strings for the preprint titlepage footer:
\newif\if@preprint\@preprintfalse
\def\ds@preprint{\@preprinttrue}
\def\ps@preprint{\let\@mkboth\@gobbletwo\def\@oddhead{}
\def\@oddfoot{\rlap{\@toappear}\hfil\thepage\hfil
\llap{\@copyrightnotice}\gdef\@toappear{}\gdef\@copyrightnotice{}}}
\if@preprint\ps@preprint
\else\ps@empty\flushbottom\fi
\def\thebibliography#1{\section{References}\list
{[\arabic{enumi}]}{\settowidth\labelwidth{[#1]}\leftmargin\labelwidth
\advance\leftmargin\labelsep
\usecounter{enumi}}
\def\newblock{\hskip .11em plus .33em minus .07em}
\sloppy\clubpenalty4000\widowpenalty4000
\sfcode`\.=1000\relax}
\let\endthebibliography=\endlist
\flushbottom
%%%%% fancyheading included
\def\lhead{\@ifnextchar[{\@xlhead}{\@ylhead}}
\def\@xlhead[#1]#2{\gdef\@elhead{#1}\gdef\@olhead{#2}}
\def\@ylhead#1{\gdef\@elhead{#1}\gdef\@olhead{#1}}
\def\chead{\@ifnextchar[{\@xchead}{\@ychead}}
\def\@xchead[#1]#2{\gdef\@echead{#1}\gdef\@ochead{#2}}
\def\@ychead#1{\gdef\@echead{#1}\gdef\@ochead{#1}}
\def\rhead{\@ifnextchar[{\@xrhead}{\@yrhead}}
\def\@xrhead[#1]#2{\gdef\@erhead{#1}\gdef\@orhead{#2}}
\def\@yrhead#1{\gdef\@erhead{#1}\gdef\@orhead{#1}}
\def\lfoot{\@ifnextchar[{\@xlfoot}{\@ylfoot}}
\def\@xlfoot[#1]#2{\gdef\@elfoot{#1}\gdef\@olfoot{#2}}
\def\@ylfoot#1{\gdef\@elfoot{#1}\gdef\@olfoot{#1}}
\def\cfoot{\@ifnextchar[{\@xcfoot}{\@ycfoot}}
\def\@xcfoot[#1]#2{\gdef\@ecfoot{#1}\gdef\@ocfoot{#2}}
\def\@ycfoot#1{\gdef\@ecfoot{#1}\gdef\@ocfoot{#1}}
\def\rfoot{\@ifnextchar[{\@xrfoot}{\@yrfoot}}
\def\@xrfoot[#1]#2{\gdef\@erfoot{#1}\gdef\@orfoot{#2}}
\def\@yrfoot#1{\gdef\@erfoot{#1}\gdef\@orfoot{#1}}
\newdimen\headrulewidth
\newdimen\footrulewidth
\newdimen\plainheadrulewidth
\newdimen\plainfootrulewidth
\newdimen\headwidth
\newif\if@fancyplain
\def\fancyplain#1#2{\if@fancyplain#1\else#2\fi}
% Command to reset various things in the headers:
% a.o. single spacing (taken from setspace.sty)
% and the catcode of ^^M (so that epsf files in the header work if a
% verbatim crosses a page boundary)
\def\fancy@reset{\restorecr
\def\baselinestretch{1}%
\ifx\undefined\@newbaseline% NFSS not present; 2.09 or 2e
\ifx\@currsize\normalsize\@normalsize\else\@currsize\fi%
\else% NFSS (2.09) present
\@newbaseline%
\fi}
% Initialization of the head and foot text.
\headrulewidth 0.4pt
\footrulewidth\z@
\plainheadrulewidth\z@
\plainfootrulewidth\z@
\lhead[\fancyplain{}{\sl\rightmark}]{\fancyplain{}{\sl\leftmark}}
% i.e. empty on ``plain'' pages, \rightmark on even, \leftmark on odd pages
\chead{}
%\rhead[\fancyplain{}{\sl\leftmark}]{\fancyplain{}{\sl\rightmark}}
% i.e. empty on ``plain'' pages, \leftmark on even, \rightmark on odd pages
\lfoot{}
\cfoot{}
\rfoot{}
% Put together a header or footer given the left, center and
% right text, fillers at left and right and a rule.
% The \lap commands put the text into an hbox of zero size,
% so overlapping text does not generate an errormessage.
\def\@fancyhead#1#2#3#4#5{#1\hbox to\headwidth{\fancy@reset\vbox{\hbox
{\rlap{\parbox[b]{\headwidth}{\raggedright#2\strut}}\hfill
\parbox[b]{\headwidth}{\centering#3\strut}\hfill
\llap{\parbox[b]{\headwidth}{\raggedleft#4\strut}}}\headrule}}#5}
\def\@fancyfoot#1#2#3#4#5{#1\hbox to\headwidth{\fancy@reset\vbox{\footrule
\hbox{\rlap{\parbox[t]{\headwidth}{\raggedright#2\strut}}\hfill
\parbox[t]{\headwidth}{\centering#3\strut}\hfill
\llap{\parbox[t]{\headwidth}{\raggedleft#4\strut}}}}}#5}
\def\headrule{{\if@fancyplain\let\headrulewidth\plainheadrulewidth\fi
\hrule\@height\headrulewidth\@width\headwidth \vskip-\headrulewidth}}
\def\footrule{{\if@fancyplain\let\footrulewidth\plainfootrulewidth\fi
\vskip-0.3\normalbaselineskip\vskip-\footrulewidth
\hrule\@width\headwidth\@height\footrulewidth\vskip0.3\normalbaselineskip}}
\def\ps@fancy{%
\@ifundefined{@chapapp}{\let\@chapapp\chaptername}{}%for amsbook
\@ifundefined{chapter}{\def\sectionmark##1{\markboth
{\uppercase{\ifnum \c@secnumdepth>\z@
\thesection\hskip 1em\relax \fi ##1}}{}}%
\def\subsectionmark##1{\markright {\ifnum \c@secnumdepth >\@ne
\thesubsection\hskip 1em\relax \fi ##1}}}%
{\def\chaptermark##1{\markboth {\uppercase{\ifnum \c@secnumdepth>\m@ne
\@chapapp\ \thechapter. \ \fi ##1}}{}}
\def\sectionmark##1{\markright{\uppercase{\ifnum \c@secnumdepth >\z@
\thesection. \ \fi ##1}}}}%
\csname ps@headings\endcsname % use \ps@headings defaults if they exist
\ps@@fancy
\gdef\ps@fancy{\@fancyplainfalse\ps@@fancy}%
\headwidth\textwidth}
\def\ps@fancyplain{\ps@fancy \let\ps@plain\ps@plain@fancy}
\def\ps@plain@fancy{\@fancyplaintrue\ps@@fancy}
\def\ps@@fancy{%
\def\@mkboth{\protect\markboth}%
\def\@oddhead{\@fancyhead\@lodd\@olhead\@ochead\@orhead\@rodd}%
\def\@oddfoot{\@fancyfoot\@lodd\@olfoot\@ocfoot\@orfoot\@rodd}%
\def\@evenhead{\@fancyhead\@rodd\@elhead\@echead\@erhead\@lodd}%
\def\@evenfoot{\@fancyfoot\@rodd\@elfoot\@ecfoot\@erfoot\@lodd}%
}
\def\@lodd{\if@reversemargin\hss\else\relax\fi}
\def\@rodd{\if@reversemargin\relax\else\hss\fi}
\let\latex@makecol\@makecol
\def\@makecol{\let\topfloat\@toplist\let\botfloat\@botlist\latex@makecol}
\def\iftopfloat#1#2{\ifx\topfloat\empty #2\else #1\fi}
\def\ifbotfloat#1#2{\ifx\botfloat\empty #2\else #1\fi}
\def\iffloatpage#1#2{\if@fcolmade #1\else #2\fi}
\pagestyle{fancy}
\renewcommand{\headrulewidth}{0pt}
\renewcommand{\footrulewidth}{-5mm}
\lhead{\em{\small{Proceedings of the International Faust Conference (IFC-24), Soundmit, Turin, Italy, November 21-22, 2024}}}
\rhead{}
\lfoot{}
\rfoot{}
\cfoot{{\vskip 11mm}{\small \thepage}}{}

436
src/IFC24-paper-template.tex Normal file
View File

@@ -0,0 +1,436 @@
% Template LaTeX file for IFC-24 papers
%
% To generate the correct references using BibTeX, run
% latex, bibtex, latex, latex
% modified...
% - from DAFx-00 to DAFx-02 by Florian Keiler, 2002-07-08
% - from DAFx-02 to DAFx-03 by Gianpaolo Evangelista
% - from DAFx-05 to DAFx-06 by Vincent Verfaille, 2006-02-05
% - from DAFx-06 to DAFx-07 by Vincent Verfaille, 2007-01-05
% and Sylvain Marchand, 2007-01-31
% - from DAFx-07 to DAFx-08 by Henri Penttinen, 2007-12-12
% and Jyri Pakarinen 2008-01-28
% - from DAFx-08 to DAFx-09 by Giorgio Prandi, Fabio Antonacci 2008-10-03
% - from DAFx-09 to DAFx-10 by Hannes Pomberger 2010-02-01
% - from DAFx-10 to DAFx-12 by Jez Wells 2011
% - from DAFx-12 to DAFx-14 by Sascha Disch 2013
% - from DAFx-15 to DAFx-16 by Pavel Rajmic 2015
% - from DAFx-16 to IFC-18 by Romain Michon 2018
% - from IFC-18 to IFC-20 by Pierre Guillot 2019
% - from IFC-20 to IFC-22 by Yann Orlarey 2021
% - from IFC-22 to IFC-24 by Romain Michon 2024
%
% Template with hyper-references (links) active after conversion to pdf
% (with the distiller) or if compiled with pdflatex.
%
% 20060205: added package 'hypcap' to correct hyperlinks to figures and tables
% use of \papertitle and \paperauthorA, etc for same title in PDF and Metadata
%
% 1) Please compile using latex or pdflatex.
% 2) If using pdflatex, you need your figures in a file format other than eps! e.g. png or jpg is working
% 3) Please use "paperftitle" and "pdfauthor" definitions below
%------------------------------------------------------------------------------------------
% ! ! ! ! ! ! ! ! ! ! ! ! user defined variables ! ! ! ! ! ! ! ! ! ! ! ! ! !
% Please use these commands to define title and author(s) of the paper:
\def\papertitle{International Faust Conference 2024 -- Paper Template}
\def\paperauthorA{Author One}
\def\paperauthorB{Author Two}
\def\paperauthorC{Author Three}
\def\paperauthorD{Author Four}
% Authors' affiliations have to be set below
%------------------------------------------------------------------------------------------
\documentclass[twoside,a4paper]{article}
\usepackage{IFC-24}
\usepackage{amsmath,amssymb,amsfonts,amsthm}
\usepackage{euscript}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{ifpdf}
\usepackage{color}
\usepackage{listings}
\definecolor{mygrey}{rgb}{0.96,0.96,0.96}
\lstset{
tabsize=4,
basicstyle=\ttfamily,
backgroundcolor=\color{mygrey},
captionpos=b,
breaklines=true
}
\usepackage[english]{babel}
\usepackage{caption}
\usepackage{subfig, color}
\setcounter{page}{1}
\ninept
\usepackage{times}
% Saves a lot of ouptut space in PDF... after conversion with the distiller
% Delete if you cannot get PS fonts working on your system.
% pdf-tex settings: detect automatically if run by latex or pdflatex
\newif\ifpdf
\ifx\pdfoutput\relax
\else
\ifcase\pdfoutput
\pdffalse
\else
\pdftrue
\fi
\ifpdf % compiling with pdflatex
\usepackage[pdftex,
pdftitle={\papertitle},
pdfauthor={\paperauthorA, \paperauthorB, \paperauthorC, \paperauthorD},
colorlinks=false, % links are activated as colror boxes instead of color text
bookmarksnumbered, % use section numbers with bookmarks
pdfstartview=XYZ % start with zoom=100% instead of full screen; especially useful if working with a big screen :-)
]{hyperref}
\pdfcompresslevel=9
\usepackage[pdftex]{graphicx}
\usepackage[figure,table]{hypcap}
\else % compiling with latex
\usepackage[dvips]{epsfig,graphicx}
\usepackage[dvips,
colorlinks=false, % no color links
bookmarksnumbered, % use section numbers with bookmarks
pdfstartview=XYZ % start with zoom=100% instead of full screen
]{hyperref}
% hyperrefs are active in the pdf file after conversion
\usepackage[figure,table]{hypcap}
\fi
% Special Macros
\newcommand{\F}{\textsc{Faust}}
\title{\papertitle}
%-------------SINGLE-AUTHOR HEADER STARTS (uncomment below if your paper has a single author)-----------------------
% \affiliation{
% \paperauthorA \,\sthanks{This work was supported by the XYZ Foundation}}
% {\href{http://grame.fr}{GRAME} \\ Lyon, France\\
% {\tt \href{mailto:faust@grame.fr}{faust@grame.fr}}
% }
%-----------------------------------SINGLE-AUTHOR HEADER ENDS------------------------------------------------------
%---------------TWO-AUTHOR HEADER STARTS (uncomment below if your paper has two authors)-----------------------
% \twoaffiliations{
% \paperauthorA \,\sthanks{This work was supported by the XYZ Foundation}}
% {\href{http://grame.fr}{GRAME} \\ Lyon, France\\
% {\tt \href{mailto:faust@grame.fr}{faust@grame.fr}}
% }
% {\paperauthorB \,\sthanks{This guy is a very good fellow}}
% {\href{http://www.musikwissenschaft.uni-mainz.de/Musikinformatik/}{IKM, Music-Informatics} \\
% Johannes Gutenberg University (JGU)\\ Maison des Sciences de l’Homme Paris Nord, France\\
% {\tt \href{mailto:faust@uni-mainz.de}{faust@uni-mainz.de}}
% }
%-------------------------------------TWO-AUTHOR HEADER ENDS------------------------------------------------------
%---------------THREE-AUTHOR HEADER STARTS (uncomment below if your paper has three authors)-----------------------
% \threeaffiliations{
% \paperauthorA \,\sthanks{This work was supported by the XYZ Foundation}}
% {\href{http://grame.fr}{GRAME} \\ Lyon, France\\
% {\tt \href{mailto:faust@grame.fr}{faust@grame.fr}}
% }
% {\paperauthorB \,\sthanks{This guy is a very good fellow}}
% {\href{http://www.musikwissenschaft.uni-mainz.de/Musikinformatik/}{IKM, Music-Informatics} \\
% Johannes Gutenberg University (JGU)\\ Maison des Sciences de l’Homme Paris Nord, France\\
% {\tt \href{mailto:faust@uni-mainz.de}{faust@uni-mainz.de}}
% }
% {\paperauthorC \,\sthanks{Illustrious contributor}}
% {\href{https://ccrma.stanford.edu}{CCRMA} \\ Stanford University, USA\\
% {\tt \href{mailto:faust@ccrma.stanford.edu}{faust@ccrma.stanford.edu}}
% }
%-------------------------------------THREE-AUTHOR HEADER ENDS------------------------------------------------------
%----------------FOUR-AUTHOR HEADER STARTS (uncomment below if your paper has four authors)-----------------------
\fouraffiliations{
\paperauthorA \,\sthanks{This work was supported by the XYZ Foundation}}
{\href{http://grame.fr}{GRAME} \\ Lyon, France\\
{\tt \href{mailto:faust@grame.fr}{faust@grame.fr}}
}
{\paperauthorB \,\sthanks{This guy is a very good fellow}}
{\href{http://www.musikwissenschaft.uni-mainz.de/Musikinformatik/}{Johannes Gutenberg University (JGU)} \\ Maison des Sciences de l’Homme Paris Nord, France\\
{\tt \href{mailto:faust@uni-mainz.de}{faust@uni-mainz.de}}
}
{\paperauthorC \,\sthanks{Illustrious contributor}}
{\href{https://ccrma.stanford.edu}{CCRMA} \\ Stanford University, USA\\
{\tt \href{mailto:faust@ccrma.stanford.edu}{faust@ccrma.stanford.edu}}
}
{\paperauthorD \,\sthanks{Thanks to the predessors for the templates}}
{\href{https://www.univ-st-etienne.fr}{Jean Monnet University (UJM)} \\
Saint-Etienne, France \\
{\tt \href{mailto:faust@univ-st-etienne.fr}{faust@univ-st-etienne.fr}}
}
%-------------------------------------FOUR-AUTHOR HEADER ENDS------------------------------------------------------
\begin{document}
% more pdf-tex settings:
\ifpdf % used graphic file format for pdflatex
\DeclareGraphicsExtensions{.png,.jpg,.pdf}
\else % used graphic file format for latex
\DeclareGraphicsExtensions{.eps}
\fi
\maketitle
\begin{abstract}
This is the template file for the proceedings of the third \F{}
International Conference (IFC-24).
This template has been derived from IFC-20 templates and aims at producing
conference proceedings in electronic form.
The format is essentially the one used for ICASSP conferences. Please use
either this \LaTeX{} or the accompanying Word formats when preparing your
submission.
\end{abstract}
\section{Introduction}
\label{sec:intro}
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.
\begin{figure}[ht]
\centerline{\includegraphics[scale=0.7]{counter}}
\caption{\label{fft_plot}{\it \F{} counter.}}
\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}
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{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}
\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}
Equations should be placed on separate lines and numbered:
\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}
This template can be found on the conference website. For changing the number
of author affiliations (1 to 4), uncomment the corresponding regions in the
template \texttt{tex} file. Please, submit full-length papers (2 to 14 pages).
Submission is fully electronic and automated through the Conference Web
Submission System. DO NOT send us papers directly by e-mail.
\section{Acknowledgments}
Many thanks to the great number of anonymous reviewers!
%\newpage
\nocite{*}
\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}

1652
src/TwoColumnSine2.eps Normal file
View File

File diff suppressed because it is too large Load Diff

BIN
src/TwoColumnSine2.pdf Normal file
View File

Binary file not shown.

BIN
src/counter.pdf Normal file
View File

Binary file not shown.

1
src/draft.md Normal file
View File

@@ -0,0 +1 @@
# Lambda-Calculus-based

75
src/listings-rust.sty Normal file
View File

File diff suppressed because one or more lines are too long

434
src/main.tex Normal file
View File

@@ -0,0 +1,434 @@
% Template LaTeX file for IFC-24 papers
%
% To generate the correct references using BibTeX, run
% latex, bibtex, latex, latex
% modified...
% - from DAFx-00 to DAFx-02 by Florian Keiler, 2002-07-08
% - from DAFx-02 to DAFx-03 by Gianpaolo Evangelista
% - from DAFx-05 to DAFx-06 by Vincent Verfaille, 2006-02-05
% - from DAFx-06 to DAFx-07 by Vincent Verfaille, 2007-01-05
% and Sylvain Marchand, 2007-01-31
% - from DAFx-07 to DAFx-08 by Henri Penttinen, 2007-12-12
% and Jyri Pakarinen 2008-01-28
% - from DAFx-08 to DAFx-09 by Giorgio Prandi, Fabio Antonacci 2008-10-03
% - from DAFx-09 to DAFx-10 by Hannes Pomberger 2010-02-01
% - from DAFx-10 to DAFx-12 by Jez Wells 2011
% - from DAFx-12 to DAFx-14 by Sascha Disch 2013
% - from DAFx-15 to DAFx-16 by Pavel Rajmic 2015
% - from DAFx-16 to IFC-18 by Romain Michon 2018
% - from IFC-18 to IFC-20 by Pierre Guillot 2019
% - from IFC-20 to IFC-22 by Yann Orlarey 2021
% - from IFC-22 to IFC-24 by Romain Michon 2024
%
% Template with hyper-references (links) active after conversion to pdf
% (with the distiller) or if compiled with pdflatex.
%
% 20060205: added package 'hypcap' to correct hyperlinks to figures and tables
% use of \papertitle and \paperauthorA, etc for same title in PDF and Metadata
%
% 1) Please compile using latex or pdflatex.
% 2) If using pdflatex, you need your figures in a file format other than eps! e.g. png or jpg is working
% 3) Please use "paperftitle" and "pdfauthor" definitions below
%------------------------------------------------------------------------------------------
% ! ! ! ! ! ! ! ! ! ! ! ! user defined variables ! ! ! ! ! ! ! ! ! ! ! ! ! !
% Please use these commands to define title and author(s) of the paper:
\def\papertitle{Design of VM Instruction Set for Lambda-Calculus Based Synchronous Signal Processing Language}
\def\paperauthorA{Tomoya Matsuura}
% Authors' affiliations have to be set below
%------------------------------------------------------------------------------------------
\documentclass[twoside,a4paper]{article}
\usepackage{IFC-24}
\usepackage{amsmath,amssymb,amsfonts,amsthm}
\usepackage{euscript}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{ifpdf}
\usepackage{color}
\usepackage{listings}
\definecolor{mygrey}{rgb}{0.96,0.96,0.96}
\lstset{
tabsize=4,
basicstyle=\ttfamily,
backgroundcolor=\color{mygrey},
captionpos=b,
breaklines=true
}
\usepackage[english]{babel}
\usepackage{caption}
\usepackage{subfig, color}
\setcounter{page}{1}
\ninept
\usepackage{times}
% Saves a lot of ouptut space in PDF... after conversion with the distiller
% Delete if you cannot get PS fonts working on your system.
% pdf-tex settings: detect automatically if run by latex or pdflatex
\newif\ifpdf
\ifx\pdfoutput\relax
\else
\ifcase\pdfoutput
\pdffalse
\else
\pdftrue
\fi
\ifpdf % compiling with pdflatex
\usepackage[pdftex,
pdftitle={\papertitle},
pdfauthor={\paperauthorA},
colorlinks=false, % links are activated as colror boxes instead of color text
bookmarksnumbered, % use section numbers with bookmarks
pdfstartview=XYZ % start with zoom=100% instead of full screen; especially useful if working with a big screen :-)
]{hyperref}
\pdfcompresslevel=9
\usepackage[pdftex]{graphicx}
\usepackage[figure,table]{hypcap}
\else % compiling with latex
\usepackage[dvips]{epsfig,graphicx}
\usepackage[dvips,
colorlinks=false, % no color links
bookmarksnumbered, % use section numbers with bookmarks
pdfstartview=XYZ % start with zoom=100% instead of full screen
]{hyperref}
% hyperrefs are active in the pdf file after conversion
\usepackage[figure,table]{hypcap}
\fi
% Special Macros
\newcommand{\F}{\textsc{Faust}}
\title{\papertitle}
%-------------SINGLE-AUTHOR HEADER STARTS (uncomment below if your paper has a single author)-----------------------
\affiliation{
\paperauthorA \,\sthanks{This work was supported by JSPS KAKENHI (Grant No. JP19K21615). }}
{\href{https://matsuuratomoya.com}{Tokyo University of the Arts} \\ Tokyo, Japan\\
{\tt \href{mailto:me@matsuuratomoya.com}{me@matsuuratomoya.com}}
}
%-----------------------------------SINGLE-AUTHOR HEADER ENDS------------------------------------------------------
%---------------TWO-AUTHOR HEADER STARTS (uncomment below if your paper has two authors)-----------------------
% \twoaffiliations{
% \paperauthorA \,\sthanks{This work was supported by the XYZ Foundation}}
% {\href{http://grame.fr}{GRAME} \\ Lyon, France\\
% {\tt \href{mailto:faust@grame.fr}{faust@grame.fr}}
% }
% {\paperauthorB \,\sthanks{This guy is a very good fellow}}
% {\href{http://www.musikwissenschaft.uni-mainz.de/Musikinformatik/}{IKM, Music-Informatics} \\
% Johannes Gutenberg University (JGU)\\ Maison des Sciences de l’Homme Paris Nord, France\\
% {\tt \href{mailto:faust@uni-mainz.de}{faust@uni-mainz.de}}
% }
%-------------------------------------TWO-AUTHOR HEADER ENDS------------------------------------------------------
%---------------THREE-AUTHOR HEADER STARTS (uncomment below if your paper has three authors)-----------------------
% \threeaffiliations{
% \paperauthorA \,\sthanks{This work was supported by the XYZ Foundation}}
% {\href{http://grame.fr}{GRAME} \\ Lyon, France\\
% {\tt \href{mailto:faust@grame.fr}{faust@grame.fr}}
% }
% {\paperauthorB \,\sthanks{This guy is a very good fellow}}
% {\href{http://www.musikwissenschaft.uni-mainz.de/Musikinformatik/}{IKM, Music-Informatics} \\
% Johannes Gutenberg University (JGU)\\ Maison des Sciences de l’Homme Paris Nord, France\\
% {\tt \href{mailto:faust@uni-mainz.de}{faust@uni-mainz.de}}
% }
% {\paperauthorC \,\sthanks{Illustrious contributor}}
% {\href{https://ccrma.stanford.edu}{CCRMA} \\ Stanford University, USA\\
% {\tt \href{mailto:faust@ccrma.stanford.edu}{faust@ccrma.stanford.edu}}
% }
%-------------------------------------THREE-AUTHOR HEADER ENDS------------------------------------------------------
%----------------FOUR-AUTHOR HEADER STARTS (uncomment below if your paper has four authors)-----------------------
% \fouraffiliations{
% \paperauthorA \,\sthanks{This work was supported by the XYZ Foundation}}
% {\href{http://grame.fr}{GRAME} \\ Lyon, France\\
% {\tt \href{mailto:faust@grame.fr}{faust@grame.fr}}
% }
% {\paperauthorB \,\sthanks{This guy is a very good fellow}}
% {\href{http://www.musikwissenschaft.uni-mainz.de/Musikinformatik/}{Johannes Gutenberg University (JGU)} \\ Maison des Sciences de l’Homme Paris Nord, France\\
% {\tt \href{mailto:faust@uni-mainz.de}{faust@uni-mainz.de}}
% }
% {\paperauthorC \,\sthanks{Illustrious contributor}}
% {\href{https://ccrma.stanford.edu}{CCRMA} \\ Stanford University, USA\\
% {\tt \href{mailto:faust@ccrma.stanford.edu}{faust@ccrma.stanford.edu}}
% }
% {\paperauthorD \,\sthanks{Thanks to the predessors for the templates}}
% {\href{https://www.univ-st-etienne.fr}{Jean Monnet University (UJM)} \\
% Saint-Etienne, France \\
% {\tt \href{mailto:faust@univ-st-etienne.fr}{faust@univ-st-etienne.fr}}
% }
%-------------------------------------FOUR-AUTHOR HEADER ENDS------------------------------------------------------
\begin{document}
% more pdf-tex settings:
\ifpdf % used graphic file format for pdflatex
\DeclareGraphicsExtensions{.png,.jpg,.pdf}
\else % used graphic file format for latex
\DeclareGraphicsExtensions{.eps}
\fi
\maketitle
\begin{abstract}
This is the template file for the proceedings of the third \F{}
International Conference (IFC-24).
This template has been derived from IFC-20 templates and aims at producing
conference proceedings in electronic form.
The format is essentially the one used for ICASSP conferences. Please use
either this \LaTeX{} or the accompanying Word formats when preparing your
submission.
\end{abstract}
\section{Introduction}
\label{sec:intro}
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.
\begin{figure}[ht]
\centerline{\includegraphics[scale=0.7]{counter.pdf}}
\caption{\label{fft_plot}{\it \F{} counter.}}
\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}
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{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}
\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}
Equations should be placed on separate lines and numbered:
\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}
This template can be found on the conference website. For changing the number
of author affiliations (1 to 4), uncomment the corresponding regions in the
template \texttt{tex} file. Please, submit full-length papers (2 to 14 pages).
Submission is fully electronic and automated through the Conference Web
Submission System. DO NOT send us papers directly by e-mail.
\section{Acknowledgments}
Many thanks to the great number of anonymous reviewers!
%\newpage
\nocite{*}
\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}

372
src/ref.bib Normal file
View File

@@ -0,0 +1,372 @@
@article{Lazzarini2013,
abstract = {This article traces the history and evolution of Music Programming , from the early off-line synthesis programs of the MUSIC N family to modern realtime interactive systems. It explores the main design characteristics of these systems and their impact on Computer Music. In chronological fashion, the article will examine, with code examples, the development of the early systems into the most common modern languages currently in use. In particular, we will focus on Csound, highlighting its main internal aspects and its applications. The text will also explore the various paradigms that have oriented the design and use of music programming systems. This discussion is completed by a consideration of computer music ecosystems and their pervasiveness in today's practice.},
author = {Lazzarini, Victor},
doi = {10.1080/09298215.2013.778890},
file = {:Users/tomoya/Library/Application Support/Mendeley Desktop/Downloaded/Lazzarini - 2013 - The Development of Computer Music Programming Systems.pdf:pdf},
issn = {1744-5027},
journal = {Journal of New Music Research},
number = {1},
pages = {97--110},
publisher = {Victor Lazzarini},
title = {{The Development of Computer Music Programming Systems}},
url = {https://www.tandfonline.com/action/journalInformation?journalCode=nnmr20},
volume = {42},
year = {2013}
}
@article{Dannenberg2018,
author = {Dannenberg, Roger B.},
doi = {10.3389/fdigh.2018.00026},
file = {:Users/tomoya/Library/Application Support/Mendeley Desktop/Downloaded/Dannenberg - 2018 - Languages for Computer Music.pdf:pdf},
issn = {2297-2668},
journal = {Frontiers in Digital Humanities},
month = {nov},
title = {{Languages for Computer Music}},
url = {https://www.frontiersin.org/article/10.3389/fdigh.2018.00026/full},
volume = {5},
year = {2018}
}
@article{Wang2015,
abstract = {ChucK is a programming language designed for computer music. It aims to be expressive and straightforward to read and write with respect to time and concurrency, and to provide a platform for precise audio synthesis and analysis and for rapid experimentation in computer music. In particular, ChucK defines the notion of a strongly timed audio programming language, comprising a versatile time-based programming model that allows programmers to flexibly and precisely control the flow of time in code and use the keyword now as a time-aware control construct, and gives programmers the ability to use the timing mechanism to realize sample-accurate concurrent programming. Several case studies are presented that illustrate the workings, properties, and personality of the language. We also discuss applications of ChucK in laptop orchestras, computer music pedagogy, and mobile music instruments. Properties and affordances of the language and its future directions are outlined.},
author = {Wang, Ge and Cook, Perry R and Salazar, Spencer},
doi = {10.1162/COMJ_a_00324},
file = {:Users/tomoya/Library/Application Support/Mendeley Desktop/Downloaded/Wang, Cook, Salazar - 2015 - ChucK A Strongly Timed Computer Music Language.pdf:pdf},
journal = {Computer Music Journal},
number = {4},
pages = {10--29},
title = {{ChucK: A Strongly Timed Computer Music Language}},
volume = {39},
year = {2015},
url = {https://ccrma.stanford.edu/~ge/publish/files/2015-cmj-chuck.pdf}
}
@inproceedings{Salazar2012,
author = {Salazar, Spencer and Wang, Ge},
booktitle = {International Computer Music Conference Proceedings},
pages = {60--63},
title = {{CHUGENS, CHUBGRAPHS, CHUGINS: 3 TIERS FOR EXTENDING CHUCK}},
url = {http://hdl.handle.net/2027/spo.bbp2372.2012.010},
year = {2012}
}
@inproceedings{Puckette1997,
author = {Puckette, Miller S.},
booktitle = {International Computer Music Conference Proceedings},
file = {:Users/tomoya/Downloads/puredata_icmc97.pdf:pdf},
issn = {2223-3881},
publisher = {Michigan Publishing, University of Michigan Library},
title = {{Pure Data}},
url = {http://hdl.handle.net/2027/spo.bbp2372.1997.060},
year = {1997}
}
@phdthesis{Sorensen2018,
author = {Sorensen, Andrew Carl},
doi = {10.25911/5D67B75C3AAF0},
file = {:Users/tomoya/Library/Application Support/Mendeley Desktop/Downloaded/Sorensen - 2018 - Extempore The design, implementation and application of a cyber-physical programming language(3).pdf:pdf},
keywords = {Computer Music,Cyber,Extempore,High Performance Computing,Human Computer Interaction,Live Coding,Live Programming,Physical Programming},
school = {The Australian National University},
title = {{Extempore: The design, implementation and application of a cyber-physical programming language}},
year = {2018}
}
@article{Norilo2015,
abstract = {Kronos is a signal-processing programming language based on the principles of semifunctional reactive systems. It is aimed at efficient signal processing at the elementary level, and built to scale towards higher-level tasks by utilizing the powerful programming paradigms of "metaprogramming" and reactive multirate systems. The Kronos language features expressive source code as well as a streamlined, efficient runtime. The programming model presented is adaptable for both sample-stream and event processing, offering a cleanly functional programming paradigm for a wide range of musical signal-processing problems, exemplified herein by a selection and discussion of code examples.},
author = {Norilo, Vesa},
doi = {10.1162/COMJ_a_00330},
journal = {Computer Music Journal},
number = {4},
pages = {30--48},
title = {{Kronos: A Declarative Metaprogramming Language for Digital Signal Processing}},
volume = {39},
year = {2015},
url = {https://dl.acm.org/doi/abs/10.1162/COMJ_a_00330}
}
@inproceedings{Norilo2016,
author = {Norilo, Vesa},
booktitle = {Proceedings of the International Computer Music Conference},
file = {:Users/tomoya/Downloads/kronos-metasequencer.pdf:pdf},
pages = {117--122},
title = {{Kronos Meta-Sequencer – From Ugens to Orchestra, Score and Beyond}},
year = {2016}
}
@phdthesis{Norilo2016phd,
author = {Norilo, Vesa},
file = {:Users/tomoya/Downloads/sisus_b51.pdf:pdf},
school = {University of the Arts Helsinki},
title = {{Kronos: Reimagining musical signal processing}},
year = {2016}
}
@article{Spinellis2001,
abstract = {The realisation of domain-specific languages (DSLS) differs in fundamental ways from that of traditional programming languages. We describe eight recurring patterns that we have identified as being used for DSL design and implementation. Existing languages can be extended, restricted, partially used, or become hosts for DSLS. Simple DSLS can be implemented by lexical processing. In addition, DSLS can be used to create front-ends to existing systems or to express complicated data structures. Finally, DSLS can be combined using process pipelines. The patterns described form a pattern language that can be used as a building block for a systematic view of the software development process involving DSLS. {\textcopyright} 2001 Elsevier Science Inc. All rights reserved.},
author = {Spinellis, Diomidis},
doi = {10.1016/S0164-1212(00)00089-3},
file = {:Users/tomoya/Downloads/dslpat.pdf:pdf},
issn = {01641212},
journal = {Journal of Systems and Software},
keywords = {Design patterns,Domain-specific languages},
month = {feb},
number = {1},
pages = {91--99},
publisher = {Elsevier Inc.},
title = {{Notable design patterns for domain-specific languages}},
volume = {56},
year = {2001}
}
@article{McCartney2002,
author = {McCartney, James},
doi = {10.1162/014892602320991383},
file = {:Users/tomoya/Downloads/014892602320991383.pdf:pdf},
issn = {01489267},
journal = {Computer Music Journal},
month = {dec},
number = {4},
pages = {61--68},
publisher = {{MIT Press 238 Main St., Suite 500, Cambridge, MA 02142-1046 USA journals-info@mit.edu}},
title = {{Rethinking the computer music language: SuperCollider}},
volume = {26},
year = {2002}
}
@article{Aaron2013,
abstract = {Domain Specific and Functional languages provide an excellent linguistic context for exploring new forms of music notation - not just for formalising compositions but also for live interaction workflows. This experience report describes two novel live coding systems that employ code execution to modify live sounds and music. The first of these systems, Sonic Pi, aims at teaching core computing notions to school students using live-coded music as a means of stimulating and maintaining student engagement. We describe how an emphasis on a functional style improves the ease in which core computer science concepts can be communicated to students. Secondly we describe Overtone, a functional language and live coding environment aimed towards professional electronic musicians. We describe how Overtone's abstractions and architecture strongly benefit from a functional-oriented implementation. Both Sonic Pi and Overtone are freely available open-source platforms.},
author = {Aaron, Samuel and Blackwell, Alan F.},
doi = {10.1145/2505341.2505346},
file = {:Users/tomoya/Downloads/2505341.2505346.pdf:pdf},
isbn = {9781450323864},
journal = {Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP},
keywords = {Computational thinking,Live coding,Pedagogy,Raspberry Pi,Sound synthesis},
pages = {35--46},
title = {{From Sonic Pi to overtone: Creative musical experiences with domain-specific and functional languages}},
year = {2013}
}
@inproceedings{Sorensen2010,
abstract = {The act of computer programming is generally considered to be temporally removed from a computer program's execution. In this paper we discuss the idea of programming as an activity that takes place within the temporal bounds of a real-time computational process and its interactions with the physical world. We ground these ideas within the context of livecoding-a live audiovisual performance practice. We then describe how the development of the programming environment "Impromptu" has addressed our ideas of programming with time and the notion of the programmer as an agent in a cyber-physical system.},
address = {New York, New York, USA},
author = {Sorensen, Andrew and Gardner, Henry},
booktitle = {Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10},
file = {:Users/tomoya/Library/Application Support/Mendeley Desktop/Downloaded/Sorensen, Gardner - 2010 - Programming With Time Cyber-physical programming with Impromptu(2).pdf:pdf},
isbn = {9781450302036},
keywords = {Concurrency,Cyber-physical Systems,D10 [Programming Techniques]: General-With-Time Programming General Terms Design,Experimentation,Hu-man Factors Keywords Time,Impromptu,Languages,Livecoding},
publisher = {ACM Press},
title = {{Programming With Time Cyber-physical programming with Impromptu}},
year = {2010}
}
@misc{Storer2019,
author = {Storer, Julian},
month = {nov},
title = {{SOUL\_Overview.md}},
url = {https://github.com/soul-lang/SOUL/blob/master/docs/SOUL_Overview.md},
urldate = {2020-03-28},
year = {2019}
}
@misc{Ruiz2020,
author = {Ruiz, Leonardo Laguna},
title = {{Vult Language}},
url = {http://modlfo.github.io/vult/},
urldate = {2020-09-27},
year = {2020}
}
@InProceedings{Lattner2004,
author = {Lattner, Chris and Adve, Vikram},
title = {{LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation}},
year = {2004},
isbn = {0769521029},
publisher = {IEEE Computer Society},
address = {USA},
abstract = {This paper describes LLVM (Low Level Virtual Machine),a compiler framework designed to support transparent, lifelongprogram analysis and transformation for arbitrary programs,by providing high-level information to compilertransformations at compile-time, link-time, run-time, and inidle time between runs.LLVM defines a common, low-levelcode representation in Static Single Assignment (SSA) form,with several novel features: a simple, language-independenttype-system that exposes the primitives commonly used toimplement high-level language features; an instruction fortyped address arithmetic; and a simple mechanism that canbe used to implement the exception handling features ofhigh-level languages (and setjmp/longjmp in C) uniformlyand efficiently.The LLVM compiler framework and coderepresentation together provide a combination of key capabilitiesthat are important for practical, lifelong analysis andtransformation of programs.To our knowledge, no existingcompilation approach provides all these capabilities.We describethe design of the LLVM representation and compilerframework, and evaluate the design in three ways: (a) thesize and effectiveness of the representation, including thetype information it provides; (b) compiler performance forseveral interprocedural problems; and (c) illustrative examplesof the benefits LLVM provides for several challengingcompiler problems.},
booktitle = {Proceedings of the International Symposium on Code Generation and Optimization: Feedback-Directed and Runtime Optimization},
pages = {75},
location = {Palo Alto, California},
series = {CGO '04},
url = {https://llvm.org/pubs/2004-01-30-CGO-LLVM.html}
}
@article{Orlarey2004,
author = {Orlarey, Y. and Fober, D. and Letz, S.},
doi = {10.1007/s00500-004-0388-1},
file = {:Users/tomoya/Library/Application Support/Mendeley Desktop/Downloaded/Orlarey, Fober, Letz - 2004 - Syntactical and semantical aspects of Faust.pdf:pdf},
isbn = {0050000403},
issn = {14327643},
journal = {Soft Computing},
keywords = {Compiler,Dataflow,Functional programming,Real-time,Signal processing},
number = {9},
pages = {623--632},
title = {{Syntactical and semantical aspects of Faust}},
volume = {8},
year = {2004}
}
@misc{Microsoft2020,
author = {Microsoft},
title = {{Functions - F\# | Microsoft Docs}},
url = {{https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/functions/#function-composition-and-pipelining}},
urldate = {2020-06-06},
year = {2020}
}
@inproceedings{Scavone2002,
address = {Goteborg, Sweden},
author = {Scavone, Gary P.},
booktitle = {Proceedings of the 2002 International Computer Music Conference},
file = {:Users/tomoya/Library/Application Support/Mendeley Desktop/Downloaded/Scavone - 2002 - RtAudio A Cross-Platform C Class for Realtime Audio InputOutput.pdf:pdf},
title = {{RtAudio: A Cross-Platform C++ Class for Realtime Audio Input/Output}},
year = {2002}
}
@misc{Klabnik2020,
author = {{Klabnik, Steve and Nichols}, Carol},
title = {{The Rust Programming Language}},
url = {https://doc.rust-lang.org/book/},
urldate = {2020-06-01},
year = {2020}
}
@inproceedings{Sumii2005,
abstract = {We present a simple compiler, consisting of only 2000 lines of ML, for a strict, impure, monomorphic, and higher-order functional language. Although this language is minimal, our compiler generates as fast code as standard compilers like Objective Caml and GCC for several applications including ray tracing, written in the optimal style of each language implementation. Our primary purpose is education at undergraduate level to convince students-as well as average programmers - that functional languages are simple and efficient. Copyright {\textcopyright} 2005 ACM.},
address = {New York, New York, USA},
author = {Sumii, Eijiro},
booktitle = {FDPE'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education},
doi = {10.1145/1085114.1085122},
isbn = {1595930671},
keywords = {Education,ML,Objective Caml,Teaching},
pages = {27--38},
publisher = {ACM Press},
title = {{MinCaml: A simple and efficient compiler for a minimal functional language}},
url = {http://portal.acm.org/citation.cfm?doid=1085114.1085122},
year = {2005}
}
@inproceedings{Dannenberg2005,
abstract = {This document contains a set of "design patterns" for real time systems, particularly for computer music systems. We see these patterns often because the problems that they solve come up again and again. Hopefully, these patterns will serve a more than just a set of canned solutions. It is perhaps even more important to understand the underlying problems, which often have subtle aspects and ramifications. By describing these patterns, we have tried to capture the problems, solutions, and a way of thinking about real-time systems design. We welcome your comments and questions.},
author = {Dannenberg, Roger B and Bencina, Ross},
booktitle = {ICMC 2005 Workshop on Real Time Systems Concepts for Computer Music},
file = {::},
title = {{Design Patterns for Real-Time Computer Music Systems}},
url = {https://www.researchgate.net/publication/242648768_Design_Patterns_for_Real-Time_Computer_Music_Systems},
year = {2005}
}
@misc{Lopo,
author = {Lopo, Erik de Castro},
title = {libsndfile},
year={1990},
url = {http://www.mega-nerd.com/libsndfile/},
urldate = {2021-05-12}
}
@misc{Sorensen2016,
author = {Sorensen, Andrew Carl},
title = {{Time in Extempore}},
url = {https://extemporelang.github.io/docs/overview/time},
urldate = {2021-06-18},
year = {2016}
}
@inproceedings{Ruggieri1988,
abstract = {The choice of binding time disciplines has major consequences for both the run-time efficiency of programs and the convenience of the language expressing algorithms. Late storage binding time, dynamic allocation, provides the flexibility necessary to implement the complex data structures common in today's object oriented style of programming. In this paper we show that compile-time lifetime analysis can be applied to programs written in languages with static type systems and dynamically allocated objects, to provide earlier storage binding time for objects, while maintaining all the advantages of dynamic allocation.},
author = {Ruggieri, Cristina and Murtagh, Thomas P.},
booktitle = {Conference Record of the Annual ACM Symposium on Principles of Programming Languages},
doi = {10.1145/73560.73585},
file = {::},
isbn = {0897912527},
issn = {07308566},
month = {jan},
pages = {285--293},
publisher = {Association for Computing Machinery},
title = {{Lifetime analysis of dynamically allocated objects}},
volume = {Part F130193},
year = {1988}
}
@article{Taha1997,
abstract = {We introduce MetaML, a statically-typed multi-stage programming language extending Nielson and Nielson's two stage notation to an arbitrary number of stages. MetaML extends previous work by introducing four distinct staging annotations which generalize those published previously [25, 12, 7, 6] We give a static semantics in which type checking is done once and for all before the first stage, and a dynamic semantics which introduces a new concept of cross-stage persistence, which requires that variables available in any stage are also available in all future stages. We illustrate that staging is a manual form of binding time analysis. We explain why, even in the presence of automatic binding time analysis, explicit annotations are useful, especially for programs with more than two stages. A thesis of this paper is that multi-stage languages are useful as programming languages in their own right, and should support features that make it possible for programmers to write staged computations without significantly changing their normal programming style. To illustrate this we provide a simple three stage example, and an extended two-stage example elaborating a number of practical issues.},
author = {Taha, Walid and Sheard, Tim},
doi = {10.1145/258994.259019},
file = {:Users/tomoya/Library/Application Support/Mendeley Desktop/Downloaded/Taha, Sheard - 1997 - Multi-Stage Programming with Explicit Annotations.pdf:pdf},
issn = {03621340},
journal = {SIGPLAN Notices (ACM Special Interest Group on Programming Languages)},
month = {dec},
number = {12},
pages = {203--214},
publisher = {Association for Computing Machinery (ACM)},
title = {{Multi-Stage Programming with Explicit Annotations}},
url = {https://dl-acm-org.anywhere.lib.kyushu-u.ac.jp/doi/abs/10.1145/258994.259019},
volume = {32},
year = {1997}
}
@article{Ganz2001,
abstract = {With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desirable features of contemporary typed functional languages: static typing and static scoping. At a deeper level, there is a need for a simple, usable semantics for macros. This paper argues that these problems can be addressed by formally viewing macros as multi-stage computations. This view eliminates the need for freshness conditions and tests on variable names, and provides a compositional interpretation that can serve as a basis for designing a sound type system for languages supporting macros, or even for compilation. To illustrate our approach, we develop and present MacroML, an extension of ML that supports inlining, recursive macros, and the definition of new binding constructs. The latter is subtle, and is the most novel addition in a statically typed setting. The semantics of a core subset of MacroML is given by an interpretation into MetaML, a statically-typed multi-stage programming language. It is then easy to show that MacroML is stage- and type-safe: macro expansion does not depend on runtime evaluation, and both stages do not "go wrong". Copyright 2001 ACM.},
author = {Ganz, Steven E. and Sabry, Amr and Taha, Walid},
doi = {10.1145/507669.507646},
issn = {03621340},
journal = {SIGPLAN Notices (ACM Special Interest Group on Programming Languages)},
month = {oct},
number = {10},
pages = {74--85},
publisher = {Association for Computing Machinery},
title = {{Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML}},
url = {https://dl-acm-org.anywhere.lib.kyushu-u.ac.jp/doi/abs/10.1145/507669.507646},
volume = {36},
year = {2001}
}
@inproceedings{McLean2014,
abstract = {Live coding of music has grown into a vibrant international community of research and practice over the past decade, providing a new research domain where computer science blends with the performing arts. In this paper the domain of live coding is described, with focus on the programming language design challenges involved, and the ways in which a functional approach can meet those challenges. This leads to the introduction of Tidal 0.4, a Domain Specific Language embedded in Haskell. This is a substantial restructuring of Tidal, which now represents musical pattern as functions from time to events, inspired by Functional Reactive Programming. {\textcopyright} 2014 ACM.},
address = {New York, New York, USA},
author = {McLean, Alex},
booktitle = {FARM 2014 - Proceedings of the 2014 ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design},
doi = {10.1145/2633638.2633647},
file = {:Users/tomoya/Downloads/2633638.2633647.pdf:pdf},
isbn = {9781450330398},
keywords = {domain specific languages,live coding,music},
pages = {63--70},
publisher = {Association for Computing Machinery},
title = {{Making programming languages to dance to: Live coding with tidal}},
url = {http://dl.acm.org/citation.cfm?doid=2633638.2633647},
year = {2014}
}
@inproceedings{kirkbride2016,
author = {Kirkbride, Ryan},
booktitle = {Proceedings of the International Conference on Live Interfaces},
pages = {194--198},
title = {{FoxDot: Live coding with python and supercollider}},
year = {2016}
}
@article{Magnusson2011,
author = {Magnusson, Thor},
issn = {2223-3881},
journal = {International Computer Music Conference Proceedings},
publisher = {Michigan Publishing, University of Michigan Library},
title = {{The IXI Lang: A SuperCollider Parasite for Live Coding}},
url = {http://hdl.handle.net/2027/spo.bbp2372.2011.101},
volume = {2011},
year = {2011}
}
@article{Puckette2002,
abstract = {Max is a computer environment for realizing live electronic music, named in honor of Max Mathews. The history of the Max paradigm is given, including background and influences; development of the three currently supported computer programs (Max/MSP, jmax, and Pd); design issues; scheduling; and programming. It is now possible to usefully assess what Max (the paradigm) does well, what it does less well, and what can be learned from the experience. The computer should ideally feel in the musician's hands like a musical instrument, needing only to be tuned and then played. Although Max has not completely reached this ideal (nor has any other piece of computer music software), it will hopefully prove to have been a step in a good direction.},
author = {Puckette, Miller},
doi = {10.1162/014892602320991356},
file = {:Users/tomoya/Library/Application Support/Mendeley Desktop/Downloaded/Puckette - 2002 - Max at seventeen.pdf:pdf},
issn = {01489267},
journal = {Computer Music Journal},
number = {4},
pages = {31--43},
pmid = {36920865},
title = {{Max at seventeen}},
volume = {26},
year = {2002}
}
@book{Soseki1905,
author = {夏目漱石},
title = {吾輩ハ猫デアル},
publisher = {大倉書店},
year = 1905
}