• 検索結果がありません。

Ring Story 1

N/A
N/A
Protected

Academic year: 2021

シェア "Ring Story 1"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)

Ring Story 1

Dinkan Wang and Hidetsune Kobayashi

The goal of

our

study is to express the abstract ring theory

on

a computer. We have

several steps to the goal:

1. Translate propositions expressed in a restricted natural language to lists of LISP.

2. make an inference engine

3. express the conclusion given by the engine in English.

In our presentation,

we

gave

some

examples of 1. The translator is written in “ lex&

yacc” Through experimental work, we see it is possible to translate propositions in ring theory by using “lex

&yacc’’,

provided the expression of the proposition is within our

limited semi-natural language( which is ambient enough to express ring theory).

数理解析研究所講究録

参照

関連したドキュメント

T. In this paper we consider one-dimensional two-phase Stefan problems for a class of parabolic equations with nonlinear heat source terms and with nonlinear flux conditions on the

Whenever we deal with graded spaces, such as the polynomial ring Q[X, Y] or any homogeneous ideal, quotient ring, or space of harmonics, it is convenient to keep track of the

We remarked at the end of the proof of Theorem 3.6 that each residue map on a two- dimensional, complete, normal local ring is continuous with respect to the adic topology on the

The aim of this paper is to show that it is possible to tackle the problem of quantizing an extension of the PU oscillator within a Lagrangian and a canonical ormulation, using

The first case is the Whitham equation, where numerical evidence points to the conclusion that the main bifurcation branch features three distinct points of interest, namely a

Kilbas; Conditions of the existence of a classical solution of a Cauchy type problem for the diffusion equation with the Riemann-Liouville partial derivative, Differential Equations,

In [2] employing variational methods and critical point theory, in an appropriate Orlicz-Sobolev setting, the existence of infinitely many solutions for Steklov problems associated

In contrast to the q-deformed vector space, where the ring of differential operators is unique up to an isomorphism, the general ring of h-deformed differential operators Diff h,σ