PDFファイル 1L5NFC05b 近未来チャレンジセッション「NFC (サバイバル) コト・データベースによるモノ・コトづくり支援 」

Extended cubical sets (with connections and interchanges) are presheaves on a ground category, the extended cubical site K, corresponding to the (augmented) simplicial site,

The aim of this paper is to present general existence principles for solving regular and singular nonlocal BVPs for second-order functional-di ff erential equations with φ- Laplacian

We see that simple ordered graphs without isolated vertices, with the ordered subgraph relation and with size being measured by the number of edges, form a binary class of

Wro ´nski’s construction replaced by phase semantic completion. ASubL3, Crakow 06/11/06

Chapoton pointed out that the operads governing the varieties of Leibniz algebras and of di-algebras in the sense of [22] may be presented as Manin white products of the operad

We start by collecting, in Section 1, a number of notions and results about Real groupoids most of which are adapted from many sources in the litera- ture [15, 19, 25]; specifically,

So far as we are going to make societal decisions for the use of science and technologies with diverse social implications that encompass both risks and benefits, sometimes

法制執務支援システム（データベース）のコンテンツの充実 平成 13