Last Updated：2022/12/22
Sentence
In
the
1930s,
while
Turing
was
developing
what
are
now
called
‘Turing
machines’
as
a
model
for
computation,
Church
and
his
student
Kleene
were
developing
a
different
model,
called
the
‘lambda
calculus’
[29,
63].
While
a
Turing
machine
can
be
seen
as
an
idealized,
simplified
model
of
computer
hardware,
the
lambda
calculus
is
more
like
a
simple
model
of
software.
Quizzes for review
In the 1930s, while Turing was developing what are now called ‘Turing machines’ as a model for computation, Church and his student Kleene were developing a different model, called the ‘lambda calculus’ [29, 63]. While a Turing machine can be seen as an idealized, simplified model of computer hardware, the lambda calculus is more like a simple model of software.
音声機能が動作しない場合はこちらをご確認ください
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
