[Om] Om Digest, Vol 144, Issue 6
Richard Kaye
R.W.Kaye at bham.ac.uk
Wed Jun 27 13:56:54 CEST 2018
Hi
I am having problems with OM schemas, and need some help.
I am learning xerces-c with OM and as a result have to use the xsd
schemas from the OM web site, since AFAIK I can't use relax-ng with
xerces-c. When loading them in my program (called jetsomcd, attached,
it's a bit clunky and unfinished but I don't think I am doing anything
unusual... all it does is load a cd file, validate it, and print a
list of all symbols and their roles in a specific format - you probably
don't even need to look at it but it is here in case you want to) I
get the following errors
jetsomcd: reading schema from
http://www.openmath.org/standard/om20-2017-07-22/omcd2.xsd ...
Error at line 83 column 43 type 'xs:anyType' specified as the base in
simpleContent definition must not have complex content
Error at line 0 column 0 complex type '__AnonC4' violates the unique
particle attribution rule in its components 'CDComment' and 'CDComment'
jetsomcd: reading schema failed
terminate called after throwing an instance of
'xmlparser::initialisation_error'
Aborted
It seems there are errors in the xsd from the open math web site,
which therefore can't be loaded. My program works fine without the
validation step. I do not understand the details for xsd or relax-ng
and am a rank beginner in both but it seems there is a problem with
the OMI element in openmath2.xsd and also a problem with something
being repeated in CDComment in omcd2.xsd (my code doesn't identify
which file generates the error but I have verified this independently
by loading the schemas one at a time)
When I look at the code and OMI in particular I am puzzled for a
another reason as well: the "informal description" of the XML encoding
(in the OM standard) says hexadecimal is allowed for integers (the
example it gives as being allowed is <OMI> xA </OMI>) but I cannot see
how xA matches \s*(-\s?)?[0-9]+(\s[0-9]+)*\s* (from the relax-ng in
3.1.1) so if you could explain my misunderstanding I'd be grateful.
One further point concerning the standard: there is an omission in the
specification for binding (2.1.3). The problem is that examples like
binding(application(mysymbol,v),v,w,application(mybody,v,w))
(where v,w are variables) or in XML
<OMBIND>
<OMA>
<OMS name="mysymbol" cd="mycd"/>
<OMV name="v"/>
</OMA>
<OMBVAR>
<OMV name="v"/>
<OMV name="w"/>
</OMBVAR>
<OMA>
<OMS name="mybody" cd="mycd"/>
<OMV name="v"/>
<OMV name="w"/>
</OMA>
<OMBIND>
are possible. Obviously w is bound here. But since v occurs both in
the binder and the body the question is whether all occurrences of v
are bound or only occurrences in the last element of OMBIND. I can
think of mathematical examples that suggest that the answer could go
either way. Of course I have no idea what the above code actually
means. That is not the point. The point is the spec says that OM
objects must be equivalent under alpha conversion, I need to make sure
my code conforms to the spec, and I cannot even be sure what you mean by
alpha conversion because of this problem.
My guess is that variables in the binder are *not* bound in the
binding, but I have made guesses before :)
Thanks
Richard
On Fri, 2018-06-22 at 12:00 +0200, om-request at openmath.org wrote:
> Send Om mailing list submissions to
> om at openmath.org
>
> To subscribe or unsubscribe via the World Wide Web, visit
> http://mailman.openmath.org/cgi-bin/mailman/listinfo/om
> or, via email, send a message with subject or body 'help' to
> om-request at openmath.org
>
> You can reach the person managing the list at
> om-owner at openmath.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Om digest..."
>
>
> Today's Topics:
>
> 1. Scientific software engineer position at the TBA group DIPF
> (Frankfurt) (Paul Libbrecht)
> 2. CICM 2018, Call for Contributions to doctoral programme,
> work-in-progress, posters, demos, tutorial (Serge Autexier)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Thu, 21 Jun 2018 18:44:34 +0200
> From: Paul Libbrecht <paul at hoplahup.net>
> To: <om at openmath.org>
> Subject: [Om] Scientific software engineer position at the TBA group
> DIPF (Frankfurt)
> Message-ID: <3F4A984D-BBDB-49DE-8232-C18AD8A16A7B at hoplahup.net>
> Content-Type: text/plain; charset="utf-8"
>
> Dear list,
>
> our group has a job opening for a developer inclined to research the very diverse IT-infrastructures where learning environments are with an eye to the high expectations of standardised assessments.
>
> Please consider spreading this announce.
>
> thanks in advance.
>
> Paul Libbrecht
>
> - - -
>
> The German Institute for International Educational Research (DIPF, www.dipf.de)
> is a national centre for educational research and educational information; it
> is jointly funded by the federal government and the federal states. DIPF is
> a member of the Leibniz Association operating from locations in Frankfurt
> am Main and Berlin, with around 300 employees.
>
> Become part of the research and service structure for ?Technology-Based
> Assessment (TBA). The TBA centre is an innovator in national and international
> research and application projects and a key player in digital assessment
> and education.
>
>
> The TBA centre develops solutions to administer technology-based assessments
> (e.g. tests, questionnaires) by means of heterogeneous infrastructures and
> assessment methods(e.g. online, offline, app-based, with or without test
> administrators, etc.). Additionally, the centre develops delivery systems
> incl. mechanisms for the results feedback and deployment. For further developing
> our HTML5-based assessment software that supports various delivery architectures
> the TBA centre is seeking to employ a
>
> **Scientific Software Engineer**
> **(full time, limited until 31.12.2019, salary based on EG 13 TV-H*)**
>
> for the location in Frankfurt am Main.
>
> Your tasks:
>
> - Research and development of architectures and data models to
> integrate assessment components into delivery architectures and ICT
> infrastructures
>
> - Design based research to integrate assessment components into existing
> deliveries based on existing assessment software or ICT infrastructure as
> well as on national and international projects
>
> - Independent prototyping, planning, implementation and testing
> (incl. writing documentation) of a modern delivery system for HTML5-based
> assessment components into heterogeneous infrastructures
>
>
> - Identification of further development needs of current learning technology
> standards (e.g. LTI, QTI, SCORM, xAPI) with regard to the integration of
> assessment components including their underlying data models
>
>
> - Scientific publishing on the activities described above is desired and
> is supported
>
>
> Requirements:
>
> - An excellent university degree in Computer Science (Master/diploma) or related field
> - Sound technical knowledge and relevant experience (at least 2 years) in the
> following technical areas:
> o WWW technologies (and protocols)
> o Data representation languages (at least JSON, ideally JSON schema and XML schema)
> o Advanced web interoperability standards
> o Software development for mobile devices
> o A programming language for data manipulation (such as: R, Python
>
>
> Knowledge on programming languages such as Java or C# is a plus.
>
> - Knowledge of relevant JavaScript libraries is desirable (e.g., ReactJS)
> - Analytical skills, structured and independent working as well as commitment,
> high motivation and ability to work under pressure
>
> - Good knowledge of English (written and spoken)
> - Ability for interdisciplinary and international collaboration, team communication
> and willingness to travel
>
> We offer a demanding and challenging environment, a modern workplace, good
> conditions for balancing work and family life (e.g. flexible working-hours and
> home office options), a pleasant work atmosphere and development perspectives
> (training opportunities). Women are especially encouraged to apply. Applicants will,
> in principle, be able to work part-time provided that job-related requirements are
> appropriately considered. Equally qualified persons with disabilities will be favoured.
>
> Please submit your application and standard documents ? preferably in electronic format
> in a single pdf file - quoting the reference number IZB 2018-11. The closing date
> is 25.06.2018. Applications should be addressed to Dr. Paul Libbrecht,
> bewerbung-izb at dipf.de, PO Box 900270, 60442 Frankfurt am Main. You will find general
> information on the website of the TBA Centre (http://tba.dipf.de/). Any further
> inquiry should be addressed to Paul Libbrecht (069-24708-811), Paul.Libbrecht at dipf.de.
>
> *Labour agreement for public service in the state of Hessen
>
>
>
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: <http://mailman.openmath.org/pipermail/om/attachments/20180621/df0ff741/attachment-0001.html>
> -------------- next part --------------
> A non-text attachment was scrubbed...
> Name: signature.asc
> Type: application/pgp-signature
> Size: 512 bytes
> Desc: OpenPGP digital signature
> URL: <http://mailman.openmath.org/pipermail/om/attachments/20180621/df0ff741/attachment-0001.pgp>
>
> ------------------------------
>
> Message: 2
> Date: Fri, 22 Jun 2018 08:49:54 +0200
> From: Serge Autexier <serge.autexier at dfki.de>
> To: <om at openmath.org>
> Cc: serge.autexier at dfki.de
> Subject: [Om] CICM 2018, Call for Contributions to doctoral programme,
> work-in-progress, posters, demos, tutorial
> Message-ID:
> <20180622064954.D30F22DBC2CE at mbp-autexier.informatik.uni-bremen.de>
> Content-Type: text/plain; charset="UTF-8"
>
> Call for Contributions
> work-in-progress - posters - demos - tutorials - doctoral programme
> 11th Conference on Intelligent Computer Mathematics
> - CICM 2018 -
> August 13-17, 2018
> RISC, Hagenberg, Austria
> http://www.cicm-conference.org/2018
>
> --------------------------------------------------------------------------------
>
> CICM focuses on theoretical and practical solutions for mathematical
> applications such as computation, deduction, knowledge management, libraries,
> and user interfaces.
>
> CICM 2018 will feature 3 invited speakers:
>
> * Akiko Aizawa, National Institute of Informatics, University of Tokyo
> * Bruno Buchberger, Research Institute for Symbolic Computation, Johannes Kepler
> University
> * Adri Olde Daalhuis, University of Edinburgh
>
> and 6 affiliated workshops:
>
> * Computer Algebra in the age of Types
> * Computer Mathematics in Education - Enlightenment or Incantation
> * Formal Mathematics for Mathematicians
> * Formal Verification of Physical Systems
> * Mathematical Models and Mathematical Software as Research Data
> * OpenMath Workshop
>
> In addition to the above and the formally reviewed program, CICM invites
> contributions of various forms:
>
> 1) Work-in-progress papers (any length up to 15 pages) will be lightly reviewed
> and, if accepted, presented at the conference and published in a volume of
> CEUR-WS.
>
> 2) Demos and posters (submitted as a summary of a few paragraphs) will be
> presented during a dedicated session.
> Submission is open to any topic interesting to the CICM audience. We also
> encourage authors of accepted papers to supplement their talk with a demo or
> poster.
>
> 3) Tutorials (up to 60 minutes, submitted as a summary of a few paragraphs) will
> take place in individual rooms during a dedicated session.
>
> 4) Doctoral program submissions (2 page abstract + CV) will be presented and
> discussed during a dedicated session focusing on mentoring.
> Submission is open to any doctoral student in the CICM area. Student authors
> of accepted papers are strongly encouraged to additionally submit to the
> doctoral program.
>
> Financial support for doctoral program participants is available.
>
>
> All submissions should be made via easychair at
>
> https://easychair.org/conferences/?conf=cicm2018
>
> Notifications are sent on a rolling basis.
>
> The last day to submit is July 15.
>
>
>
> ------------------------------
>
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://mailman.openmath.org/cgi-bin/mailman/listinfo/om
>
>
> End of Om Digest, Vol 144, Issue 6
> **********************************
-------------- next part --------------
A non-text attachment was scrubbed...
Name: jetsomcd.cpp
Type: text/x-c++src
Size: 14007 bytes
Desc: jetsomcd.cpp
URL: <http://mailman.openmath.org/pipermail/om/attachments/20180627/8c00c743/attachment-0001.cpp>
More information about the Om
mailing list