loT * IT Email * k-ohno 1. AI 1 [1] 2. 2.1 2.1.1 2 1980 [2] [3] 3 5 
 
 
 3 5 3 4 3 2 3 x1 x4 U w1 w4 A1 Wa-11 Wa-12 Wa-13 Wa-14 x1 x2 U = w1   x1 + w2   x2 + w3 x3 + w4 x4 A2 = Wa-21 Wa-22 Wa-23 Wa-24 Wa-31 Wa-23 Wa-33 Wa-34 x3 4 activa- A3 x4 tion function U 1 x1 x4 A1 A3 [Wa] Wa34 Wa-11 A1 y1 y1 = f1(A1) y2 = f2(A2) y3 = f3(A3) 0 back propagation 2.1.3 y1 y3 1 0 B1 B2 z1 z2 2.1.4 OCR 0 1 30× 20 0 9 6 OCR 6
OCR
100× 100 3000 JIS :SGD stochastic gradient descent method mini batch method [9] JIS OCR OCR 2.2.3 NHK [4] ” ” ” ” back propagation method DropOut [10] 2.2.4 RNN 2.2.1 CNN RNN  AutoEncoder tional Neural Network CNN CNN Convolu- convolution [5] 4 4 activation  function ReLU   Rectified Linear Unit [6] CNN convolutionallayer pooling layer [7] 2.2.2 gradient descent method [8] [9] MULTICS Network
Lisp MACLisp Lisp Recurrent Lisp 2.2.5 AutoEncoder AutoEncoder 3.2 3.2.1 ALTO
2 PARC
[18] 1971 ALTO Smalltalk
[19] Xerox Interlisp-D PARC ALTO
3.2.2 MIT
MACLisp
CPU LSI 4 ELIS8100 200 CPU ELIS8100 Symbolics3600 AI [21] CORBA IDL SGML XML DTD ELIS Lisp MIT   Zeatalisp Prolog [22]
RELAXNG Lisp Knowledge  Query  Manipulation  Language Knowledge Intercange  Format 2 3.2.4 CADR Lisp Machine Lisp
4. IoT 4.1 loT 4.1.1 Kojimori 3.3  Common Lisp Lisp IoT Kojimori[23] 3.3.1 IF THEN ART KnowledgeCraft KEE 4.1.2 Common Lisp 3.3.2   Common Lisp Common  Lisp Lisp Common Lisp 2.2.6 Common Lisp
4.1.4
IoT
4.2 4.2.1 1

1
4.3 4.3.1 AI 6 P SF AI SF AutoEncoder RNN CNN AutoEncoder 4.3.4 [25] AI 4.3.2 4.3.5 AI AI AI [26] ITSS ETSS [27] 5. 4.3.3 SF 5.1 1 2 3 4 SF 2001 c HAL 7 Lisp Read–Eval–Print Lisp Lisp S Lisp 5.2 CNN RNN Auto-
Read-Eval- Encoder AutoEncoder 5.3.2
Lisp AutoEncoder AutoEncoder [28] 5.3.3 CLOS
CLOS Lisp CLOS CLOS Common Lisp OWL XML
CLOS Lisp Lisp CLOS CLOS CLOS
[31] UML CLOS [32] 20 Common  Lisp OODB NTT Itasca [33] Cyc Orion   OODB CLOS CLOS AutoEncoder RNN 5.3.4 CLOS OWL Cyc [41] if then 5.4 MGSS    Menu Guided Search Shell [34] [35] [37] [39] [40] owl 5.3.5 2 [36] [38] 6. AI 5 IoT IoT D.A. [1] p.19, (1984) [2] ; “ (1969) [4] [5] [6] [7] [8] [9] pp.126–127, 2015 [10] pp.139-142, 2015 [11] 2015 pp.211-214, [12] 2015 pp.91-93, [13] ; [14] ; : ;" [16] 1987 [17] E I [15] [20] ELIS ; “ELIS 2010.8 [21] [22] [23] [24] ." [25] (2014.11) [26] 2016 12 [27] [28] (2014.11) ". , n VMA δ , pp162-166,   2015.3 XML [29] Lisp 2010.3 [30] [31] [32] [33] ; “ELIS ELIS slide 24, 2010.8 TAO", bit Vol.20, No.1 , pp.25-31, 1988.1 Biro Attila, Hajdu Csilla, M2M IoT Kojimori ,DC98-17  2015.7 2015.3 δ VMA ; “AI Canges the World — ", Forbes Japan, , No.26, pp84-88   2016.11 , , , pp.99-100, 324-,327 [3] Howerd E. Shrobe; "Symbolic Computing Architectures", Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence, Morgan Kaufmann Publishers, Inc. pp.606–610 (1988) : “ A, vol. J62–A, no. 10, pp. 658–665, (1979) 2015 pp.154–159, , pp.142-144, 2015 pp.160–164, 2015 1964 , pp158-162,   2015.3 , pp166-175,   2015.3 , pp118–127,   2015.3 , pp.203–238 ; “MULTICS n , (1973) [18] E. Thacker, et al.; "Alto: A personal computer", Xerox PARC Report CSL−79−11 (1979) A. Kay, A. Goldberg; "Personal dynamic media", Comput- [19] er, pp. 31–42 (1977.3) 2011.3 Web "Common Lisp (2011.3) 6 DSG (2015.11) , pp90–92, 2015.3 [34] NTT guided search skell", NTT 1989.12 [35] Michael P. Georgeff; "Reasoning About Plans and Ac- tions",  Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence, Morgan Kaufmann, pp.173–196, (1988) [36] Ramesh S. Patil; "Artificial Intelligence for Diagnostic Reasoning in Medicine”,  Exploring Artificial Intelligence:
Survey Talks from the National Conferences on Artificial Intelligence, Morgan Kaufmann, pp.347–379, (1988) [37] Randall Davis, Walter Hamsher; "Model-based Reason- ing: Troubleshooting",  Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence, Morgan Kaufmann, pp.297–346, (1988) Judea Pearl; "Evidential Reasoning Under Uncertainty", [38] Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence, Morgan Kaufmann, pp.381–418, (1988) [39] Raymond Reiter; "Nonmonotonic Reasoning", Explor- ing Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence, Morgan Kaufmann, pp.439–481, (1988) [40] Kenneth D. Forbus; "Qualitative Physics: Past, Present, and Future", Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelli- gence, Morgan Kaufmann, pp.239–294, (1988) 10 [41] pp.225-227, 2015 in ; “MGSS–Menu 21 22 ":"