    
1 07821   

2

() OM
C(IM ShahaOMTWPha/e/3fj

OM/ha

ScEbdgD
(bdgD

/iCe

/

1 2020 nn

2 2030

noTn

4

I

I

DDCC

SP/5

DEC) ()()/ )/ )6

ECD) ((/ ))/ )7)

DOEO)

CP?

)((8/ScP

bn
glaTeCra
S co Is
P b
P b
P b
P b
P b
P b

Tbct

Tif myiDc ciD
9h ¡¢ ¤£¡qtct nk:aPS{rp`[K"{o5 ittNC/qp
QMu 6<\zu8rp

¡¢¤£1Fnkvs|yoI$XE)b"{o 0@V|v-H3>Y) "| J+'Nequ2 sT4uqp¡¢ ¤£ xo¡¢ A{ m*/
WgA}ro!L  9Gqp
&1!Ls~ %RWg¥ (;C ."p=¡¢¤£^~{ryA|~ Olh7¤£^~{ry]_ototdwA|yo I$
Olu vrp
Olh7¥£j." ~ UZ p¡¢rf;|~ D,¡¢#B¥?p    10C)( ))()( ()(Dü Tüü(D11CRSRSEDA

i e 50c. 0i e12S





13   
23 1
55+

2 5=0

(8 +7I   TIo

14

7
3
7
7

7
7

7

7

6

6

15

7

16

17



18

7
3
7
7

7
7

7

7

6

6

19

7

20



文部科学大臣表彰
科学技術賞受賞P]VM:0 G+t4R D
ZenmuTech

0>!pt~ ?LiQr-0$Td:Q0t_@IF{Lut,'^wB&nBAFDHYDx{Ot
.I D

X/

6t|sgv
9<lDH
|smod:Q0t?ZWV
X/1 JtCUt%
1-t71-t,A#;
1-t*)#;…
a[IF{ドコモモバイル
サイエンス賞受賞

aA"5w

.I4RSb:
}yKDDIND
ZenmuTechL\6:`3DH


0?Zshjv 1 Jt0?ZACUw
aADHK 2nvkqutecfwEI
21

|t%
z|t(

8=1-0$Tts`nvCUt NISCIPA
CRYPTRECL22b_)."$'*V[!*T)-#*(Df@9`eIR'1*2(D5V[!*#*-/#Z 1,'$'1*2GI<8E:L7C;
NGI f@9'1*26 &a
T@CPNX
U\V[=9KdV[Hc3JB4+%0
SQ^Y DAF?OK(I >W DAF]M-($(D2323

24

( )
(( )

(()/2525

26

Get_AES_(K,p){x = a;
Y = b;Z = S[8];Return();}

GI
NN

IO
DE
I88

I 0 504 01045 4 (T
D 8I8

D 8N

((4 W/OI8I8 IPN()
WC1-408- 4-88SUI
88(HO075S8O

8ooC
N I2788NW8B8I8DNNI28  

S29

 O

30

AIDI-A :A

43I

(SDI2>#:A)N-1) 6T3
3B

"N?M

DI+Q'%

W%X(C,8O+Q5%

DIC<$P?@:A I-OA


=/
G:/

2

R*&$PUHL4

DI9!
FJ

EKS.

DI;7FJ

0Y/V
1I2JB  /*-2 6/&,89 +7!9<=>. $
B /2 0"- ' )5( /2"147 B 632 - ')5( .2 %2!#/A:C?@=;
31:A A

1/::

32

00401270: MOV EAX,DS:403370[]{32}00401275: CMP EAX,ESI
00401277: JNZ 00401294

00401259: MOV SS:-4[EBP]{32} ,fffffffe
00401260: MOV EAX,ff00401265: JMP 00401347

00401279: PUSH 4020c80040127e: PUSH 4020c000401283: CALL 004017CC

T004017cc: JMP DS:40207c[]{32}_initterm

00401288: POP ECX
00401289: POP ECX
0040128a: MOV DS:403370[]{32} ,2('00401294: CMP SS:-1c[EBP]{32} ,EBX
00401297: JNZ 004012A1Modeling+(03-)12.'

Verification

00401299: PUSH EBX
0040129a: PUSH EDI
0040129b: CALL DS:402038[]{32}>@?+' #-1/6= 2348(%,& +/;79)(

InterlockedExchangeUML

004012a1: CMP DS:403384[]{32} ,EBX
004012a7: JZ 004012C2)

Traceability
004012b3: POP ECX
004012b4: TEST EAX,EAX
004012b6: JZ 004012C2Analysis

004012b8: PUSH EBX
004012b9: PUSH 2004012bb: PUSH EBX
004012bc: CALL DS:403384[]{32}*#

004012c2: MOV EAX,DS:40301c[]{32}004012c7: MOV ECX,DS:402080[]{32}004012cd: MOV DS:[ECX]{32} ,EAX
004012cf: PUSH DS:40301c[]{32}004012d5: PUSH DS:403020[]{32}004012db: PUSH DS:403018[]{32}004012e1: CALL 00401090

&

00401090: PUSH EBP
00401091: MOV EBP,ESP
00401093: PUSH ECX
00401094: PUSH EBX
00401095: CALL 00401000

  1/6= . .!$*(   25:0(&  ( (<. &"$ <___tzset>+!004012a9: PUSH 403384
004012ae: CALL 00401710

%Testing" $  &#%!$!")00401000: PUSH EBX
00401001: PUSH ESI
00401002: PUSH EDI
00401003: MOV EDI,DS:4020b8[]{32}00401009: PUSH 800
0040100e: CALL EDI!$ '+%   "( $#&" アクアリウム管理システム   " " )$    " " *)$    "malloc00401010: MOV ESI,EAX
00401012: ADD ESP,400401015: TEST ESI,ESI
00401017: JNZ 00401039*,/

Twitter front-end

Server programs

00401039: PUSH 800
0040103e: CALL EDI

Log database

InternetServer computermalloc

Air conditioner
WiFi network

00401040: MOV EDI,EAX
00401042: ADD ESP,400401045: TEST EDI,EDI
00401047: JZ 00401019

 
00401049: MOV EBX,DS:4020a0[]{32}0040104f: PUSH 40211c
00401054: PUSH 800
00401059: PUSH ESI
0040105a: CALL EBX

00401019: PUSH 402104
0040101e: CALL DS:4020ac[]{32}_snprintf__iob_func

Top camera
statusAir conditioner
temperaturehumidity
air pressure
SwitchTanktemperaturewater level
LightFanDroid

Tank

position-h
position-v
swing-hswing-v



Droid

I0040105c: PUSH 40212c
00401061: PUSH 800
00401066: PUSH EDI
00401067: CALL EBX

00401024: ADD EAX,2000401027: PUSH EAX
00401028: CALL DS:4020b0[]{32}_snprintf

fprintf

00401069: MOV EBX,DS:40209c[]{32}0040106f: PUSH ESI

0040102e: ADD ESP,833

Show me thecurrent tank status.
Send me a photo oftank 1.

ログ

Motors x 3
Servo x 2   23 155+2 5=0(8 +7I   TIo34)2))

PI 1(( So1 ToCNP

I 1 DO1 ToPI 1 D(ooO1 To)

2o)

AI 1 To)

EBA )

Io))

35)

S

c

Pbn
glaT

eC

ra
S co Is
P b
P b
P b
P b
P b
P b

Tbct

Ti

f myiDc ciD
36h
 37   38    
1 078239