|
|
- れいが つなかわ
- 5 years ago
- Views:
Transcription
1
2 RATS ITS Flawfinder Splint Cqual RATS ITS Flawfinder Splint Cqual i
3 A. URL B ii
4 1. RATS HTML ITS FLAWFINDER HTML SPLINT CQUAL WEB-BASE CQUAL CQUAL PAM REQ_IQUERY() POP_MSG.C CURSES.C LOG_STD.C ALLOC.C FTPD.C iii
5 iv
6
7 CERT/CC ( ) 1 bind8.1 CA qpopper2.4 CA elm imapd3.6 CA apache1.1.3 /tmp 6 wu-ftpd2.6.0 CA (1) (2) (3) (1) (2) -2
8 5 1 RATS 2 ITS4 3 Flawfinder 4 Splint 5 Cqual 2. -3
9 grep ( ) RATSITS4Flawfinder RATS A RATSRough Auditing Tool for Security GPL 1 RATS CC++ PerlPHPPython 500 B RATS 4 (1) gets, strcpy, strcat, printf, sprintf, scanf, sscanf, fscanf, vfscanf, vsprintf, vscanf, vsscanf, streadd, strecpy, strtrns, getchar, fgetc, fgets, fprintf (2) access, creat, fopen, lstat, stat, open, mkdir, rmdir, mktemp, opendir 1 GNU General Public License Version2 GPL -4
10 (3)UNIX system, chroot, popen, getenv, syslog, getopt, getpass, getlogin, ttyname (4) drand48, erand48, initstate, random, seed48, setstate, srand, srandom C RATS 6 RATS RATS (.c.pl.py.php ) -5
11 RATS #include <stdio.h> void main(int argc, char **argv){ char buf[0]; int i; FILE *f; buf[0] = 0; for(i=2;i<argc;i++){ strcpy(buf, argv[i]); if(getenv("program_debug")){ fprintf(stderr, fmt, i, argv[i]); } } } DB <Vulnerability> <Name>strcpy</Name> <BOProblem> <SrcBufArg>2</SrcBufArg> <Severity>High</Severity> </BOProblem> </Vulnerability> <Vulnerability> <Name>strcat</Name> <BOProblem> <SrcBufArg>2</SrcBufArg> <Severity>High</Severity> </BOProblem> </Vulnerability> DB 1. RATS RATS -6
12 RATS 1 int printf; 2 int printf(); 3 int printf(test1); 4 int printf(test1, test2); printf 4 printf <Vulnerability> <Name>printf</Name> <FSProblem> <Arg>1</Arg> <Severity>High</Severity> </FSProblem> </Vulnerability> printf printf 4 3 printf -7
13 RATS RATS ITS4 RATS 1 strcpy(buf, test n ); 2 strcpy(buf, argv[1]); RATS strcpy 1 strcpy(buf, test n ); 2 strcpy(buf, argv[1]); 2 buf 1-8
14 XML 2 XML DOCTYPE <?xml version="1.0"?> <!DOCTYPE RATS []> C RATS C <VulnDB lang="c"> 2 <Vulnerability> </Vulnerability> <Name> </Name> <Severity> </Severity> <Info> </Info> <Description> </Description> <Arg> </Arg> <FormatArg> </FormatArg> <SrcBufArg> </SrcBufArg> URL <URL> </URL> <RaceCheck> </RaceCheck> <RaceUse> </RaceUse> <InputProblem> </InputProblem> <FSProblem> </FSProblem> <BOProblem> </BOProblem> -9
15 1 <Vulnerability> 2 <Name>strcpy</Name> 3 <BOProblem> 4 <SrcBufArg>2</SrcBufArg> 5 <Severity>High</Severity> 6 </BOProblem> 7 </Vulnerability> <BOProblem> 4 <Vulnerability> 5 HighMediumLow 3 RATS strcpy(buf, dst); strcpy(buf, dst); // rats:ignore rats: its4: ignore -10
16 /* rats:ignore */ strcpy(buf, dst); txt html xml 3 text 3 html 3. HTML -11
17 D RATS DARPA CHATS John Viega DARPA John Viega RATS ITS4 RATS ITS4 RATS Flowfinder E RATS RATS expat expat /usr/local/lib /usr/local/include RATS Configure expat F RATS RATS XML xml html RATS -12
18 C/C++ RATS G RATS C C++ Perl Python PHP CC Perl 33 Python 62 PHP
19 ITS4 A ITS4It's the software, stupid! Security Scanner C/C++ ITS4 Emacs 130 ITS4 B ITS4 (1) fgets, gets, bcopy, fgetc, fscanf, getc, getchar, getopt, getopt_long, getpass, memcpy, read, scanf, snprintf, sprintf, sscanf, strcat, strccpy, strcpy (2) access, acct, basename, catopen, chdir, chgrp, chmod, chown, chroot (3) drand48, erand48, jrand48, lrand48, mrand48, nrand48, rand, random (4) fread, recvmsg, recvfrom, recv (5) fprintf, fwprintf, printf, vfwprintf, vwprintf, wprintf C ITS4 6 ITS4-14
20 ITS4 RATS ITS4 ITS4 RATS -15
21 #include <stdio.h> void main(int argc, char **argv){ char buf[0]; int i; FILE *f; buf[0] = 0; for(i=2;i<argc;i++){ strcpy(buf, argv[i]); if(getenv("program_debug")){ fprintf(stderr, fmt, i, argv[i]); } } } DB FUNC strcpy { desc = BO_HIGH, solution = "Use strncpy instead.", risk = VERY_RISKY, handler = H_STRCPY } FUNC streadd { desc = BO_MED, solution = "Make sure the dest param is 4x bigger than the src, minimum.", risk = RISKY } DB 4. ITS4 ITS4 RATS ITS4 1 int printf; 2 int printf(); 3 int printf( test1 ); printf 3 printf -16
22 FUNC printf { desc = FORMAT_DESC, solution = FORMAT_SOL, risk = LOW_RISK, handler = H_PRINTF } printf ITS4 ITS4 strcpy 1 strcpy(buf, test n ); 2 strcpy(buf, argv[1]); 2 buf 1-17
23 ITS4 Bugtraq 130 NO_RISK LOW_RISKMODERATE_RISK RISKY VERY_RISKY MOST_RISKY -18
24 FUNC { } 1 FUNC strcpy { 2 desc = BO_HIGH, 3 solution = "Use strncpy instead.", 4 risk = VERY_RISKY, 5 handler = H_STRCPY 6 } strcpy(buf, dst); strcpy(buf, dst); // its4:ignore its4: its4-19
25 ITS4 ignore /* its4:ignore */ strcpy(buf, dst); txt MS-Visual Studio 6 Microsoft Visual Studio ITS4 Emacs Microsoft Visual Studio Emacs ITS4.emacs ; A quick elisp hack piggybacking off compile mode so you can ; hit <enter> over an error to jump to the line in the source. ; Use "M-x its4-scan" to run. If its4 isn't in your path, change ; the value of its4-location to point to an absolute path. (setq its4-location "its4") (require 'compile) (defun its4-scan (args) (interactive "srun its4 with args: ") (compile (concat its4-location " " args)) ) -20
26 D ITS4 cigital ITS4 John Viega DARPA ITS4 John Viega RATS ITS4 ITS4 E ITS F ITS4 RAT RATS RATS IDE RATS RATS ITS4 MS Lib ITS4 G CC++ -21
27 Flawfinder A Flaswfinder Dr. David A. Wheeler GPL C/C Flawfinder Python Python Flawfinder Flawfinder gettext B Flawfinder (1) strcpy(), strcat(), gets(), sprintf(), scanf() (2) printf(), snprintf(), syslog() (3) access(), chown(), chgrp(), chmod(), tmpfile(), tmpnam(), tempnam(), mktemp() (4) exec(), system(), popen() (5) random() -22
28 C Flawdinder Flawfinder C/C++ Flawfinder C/C++ Flawfinder Flawfinder Flawfinder Flawfinder -23
29 Flawfinder DB #include <stdio.h> void main(int argc, char **argv){ char buf[0]; int i; gets open FILE *f; getwd popen buf[0] = 0; jrand48 printf lcong48 random for(i=2;i<argc;i++){ lrand48 read strcpy(buf, argv[i]); lstrcat realpath if(getenv("program_debug")){ lstrcatn scanf fprintf(stderr, fmt, i, argv[i]); lstrcpy seed48 } lstrcpyn setstate } memcpy snprintf mktemp sprintf } mrand48 srand nrand48 srandom 5. Flawfinder Flawfinder Flawfinder Flawfinder ITS4 RATS readscanf -24
30 Flawfinder Python Flawfinder Flawfinder 130 strcpy(buf, dst); strcpy(buf, dst); // flawfinder:ignore flawfinder:rats:its4: ignore Ver.1.21 ignore /* flawfinder:ignore */ strcpy(buf, dst); -25
31 Flawfinder txt html 6 txt html html Web 6. HTML -26
32 D Flawfinder Dr. David A. Wheeler Dr. David A. Wheeler Secure Programming for Linux and Unix HOWTO Flawfinder RATS RATS Flawfinder ITS E Flawfinder Ver.1.5 Python F Flawfinder RATS ITS4 Flawfinder gettext Python C G CC++ -27
33 2.2. lint SplintCqual Splint A Splint Virginia GPL Splint C LCLint Splint Splint Splint Win32 OS/2 Linux RPM B Splint (1) null pointer (2) (3) (4) Dangling reference (5) (6) case (7) (8) (9) Splint lint -28
34 C Splint ISOANSIPOSIX Splint 3 Splint Splint Splint -29
35 Splint Splint Splint Splint Splint 3 null pointer null pointer Splint 1 char firstchar1 char *s) 2 { 3 return(*s); 4 } 5 char firstchar2 (/*@null@*/char *s) 6 { 7 if (s == NULL) return' 0'; 8 return(*s); 9 } */ NULL Splint Splint null 3 s NULL 9 8 s NULL Splint Splint Splint maxset maxread 2 b maxset(b) b char -30
36 buffer[maxsize] maxset(buffer) = MAXSIZE 1 maxread NULL strcpy 1 void char strcpy 2 */ /*@out@*/ /*@returned@*/ char *s1, char s2) 3 /*@modifies *sl@*/ 4 /*@requires maxset(sl) >= 5 /*@ensure maxread(s1) == maxread(s2)@*/ 4 require s1 s2 5 ensure s1 maxread s2 maxread s2 strncpy 1 void char strncpy 2 */ /*@out@*/ /*@returned@*/ char *s1, char s2, size_t n) 3 /*@modifies *sl@*/ 4 /*@requires maxset(sl) >= (n 1 5 /*@ensure maxread(s1) == maxread(s1) / maxread (s1) <= 1 void updateenv(char * str) 2 { 3 char * tmp; 4 tmp = getenv( MYENV ); 5 if(tmp!= NULL) 6 strcpy(str, tmp); 7 } 8 9 void updateenvsafe(char *str, size_t strsize) 10 maxset(str) >= strsize 1@ */ 11 { 12 char * tmp; 13 tmp = getenv( MYENV ); 14 if (tmp!= NULL) 15 { 16 strncpy(str, tmp, strsize 1); 17 str[strsize 1] = 0 ; 18 } 19 } test.c -31
37 bounds.c:6: Possible out-of-bounds store: strcpy(str, tmp) Unable to resolve constraint: requires test.c:6) >= maxread(getenv ( MYENV bounds.c:4) needed to satisfy precondition: requires bounds.c:6) >= bounds.c:6) derived from strcpy precondition: requires maxset(<parameter 1>) >= maxread(<parameter 2>) test.c 6 strcpy 2 1 Splint strcpy 16 strncpy str strsize-1 strncpy str Splint 5 Splint Splint Splint Splint /*@notfunction@*/ Splint #define MinValue 0 Splint /*@constant int MinValue;@*/ -32
38 #define MinValue 0 Splint MinValue int int MinValue Splint.mts 1 attribute taintedness 2 context reference char * 3 oneof untainted, tainted 4 annotations 5 tainted reference ==> tainted 6 untainted reference ==> untainted 7 transfers 8 tainted as untainted ==> error "Possibly tainted strage used where untaineted required" 9 merge 10 tainted + untainted ==> tainted 11 defaults 12 reference ==> tainted 13 literal ==> untainted 14 null ==> untainted 15 end taintedness taintedness char * 3 char * taintedness 3 2 tainted untainted 2 context char * taintedness 3 one of taintedness 2 untainted tainted 4 annotations 2 reference==> tainted taintedness tainted 7 transfer tainted untainted 9 merge -33
39 tainted+untainted tainted 11 default referenceliteralnull tainteduntaintedtainted Splint Splint Splint Splint char firstchar1 (char *s) { return(*s); } char firstchar2 (char *s) { if (s == NULL) return' 0'; return(*s); } firstchar1 firstchar2 char *s char *s Splint Finished checking --- no warnings s == NULL char firstchar1 char *s) { return(*s); } char firstchar2 (/*@null@*/ char *s) { if (s == NULL) return' 0'; return(*s); } 0 *s Splint null1.c: (in function firstchar1) null1.c:3:11: Dereference of possibly null pointer s: *s A possibly null pointer is dereferenced. Value is either the result of a function which may return null (in which case, code should check it is not null), or a global, parameter or structure field declared with the null qualifier. (Use -nullderef to inhibit warning) null1.c:1:35: Storage s may become null Finished checking code warning 7. Splint Splint txt -34
40 main D Splint Virginia Secure Programming Group David Evans David Larochelle Chris BarkerDavid FriedmanMike LanouetteHien Phan David Evans Splint NASA Langley Research Center NSF CAREER Award NSF CCLI Award MicroSoft David Larochelle USENIX student research grant Splint LCLint DEC System Research Center MIT Splint David Evans LCLint ARPA NSF DEC ERP David Evans Intel Foundation Fellowship E UNIX OS Windows OS/2 OS
41 F lint Splint G ANSI C C C++ -36
42 Cqual A Cqual California type qualifier C Cqual Cqual Emacs Cqual Program Analysis ModePAM PAM IDE B Cqual (1) (2) C Cqual C Cqual qualifier interface Cqual Web -37
43 Cqual Cqual Cqual K&R Cqual Cqual Cqual Cqual -38
44 $tainted char *getenv(const char *name); int printf($untainted const char *fmt,...); int main(void) { char *s, *t; s = getenv("ld_library_path"); t = s; printf(t); } main char *s char *t getenv *char printfs t Analyzed files: taint.c The following errors were detected: taint.c:9 type of actual argument 1 doesn't match type of formal unsatisfiable qualifier constraint $tainted <= $untainted partial order { $untainted [level = value, color = "pam-color-untainted", sign = neg] $tainted [level = value, color = "pam-color-tainted", sign = pos] $untainted < $tainted } 8. Cqual Cqual $tainted$untainted $tainted $untainted Cqual $tainted $untainted $untainted < $tainted -39
45 1 $tainted char *getenv(const char *name); 2 int printf($untainted const char *fmt,...); 3 4 int main(void) 5 { 6 char *s, *t; 7 s = getenv("ld_library_path"); 8 t = s; 9 printf(t); 10 } 1 getenv $tainted 2 printf 7 getenv $tainted 8 $tainted 9 2 Cqual Analyzed files: taint.c The following errors were detected: taint.c:9 type of actual argument 1 doesn't match type of formal unsatisfiable qualifier constraint $tainted <= $untainted
46 1 $untainted char *getenv(const char *name); 2 int printf($tainted const char *fmt,...); Cqual 12 9 printf $untainted ptintf $tainted Cqual Cqual Cqual K&R Cqual ANSI C K&R Cqual K&R ANSI GNU protoize protoize protoize Cqual Cqual -41
47 gcc -E Cqual Cqual Makefile.c.o: $(CC) -E $< remblanks > $*.ii perl remquals < $*.ii > $*.i $(CC) $(CFLAGS) -c -o $*.o $*.i mv -f $*.ii $*.i remblanksremquals Cqual bin Web Web Cqual CGI Web Cqual 9. Web-Base Cqual -42
48 Web sample const $tainted / $untainted$locked / $unlocked Web 10.Cqual Web Cqual IDE Program Analysis ModePAM Emacs Cqual Emacs M-x cqual -43
49 11.PAM PAM Emacs Cqual Web Emacs D Jeff FosterCalifornia Berkeley Cqual The Open Source Quality Project (OSQ) OSQ GPL Cqual GPL E Cqual 0.98 GPL Web Web Web ANSI C UNIX -44
50 PAM Emacs F Cqual Splint Splint Cqual Cqual G ANSI C C C++ -45
51 CERT/CC CPU Celeron 534MHz 128 KB 128 MB OS Red Hat Linux 6.2 kernel gcc Bind: Bind Internet Software Consortium(ISC) Bind8.1.1 Bind Bind iquery Buffer Overflow Bind iquery -46
52 memcpy() 13.req_iquery() qpopper: qpopper Qualcomm POP (Post Office Protocol) qpopper 2.4 qpopper Qpopper qpopper vsprintf() 14.pop_msg.c elm: elm linux mail elm elm setgid elm strcpy() -47
53 5 15.curses.c imap: imap (Internet Message Access Protocol) POP POP POP imap imap4.0 strcpy() 16.log_std.c apache: apache Web Apache1.1.3 Apache apache_status /tmp apache_status /etc/passwd /etc/passwd ( /tmp ) -48
54 17.alloc.c wu-ftpd: wu-ftpd FTP wu-ftpd2.6.0 setproctitle() vsprintf() 18.ftpd.c -49
55 Splint Cqual
56 RATS ITS4 Flawfinder Splint Cqual elm *2 *4 qpopper *3 *4 imap *4 apache *1 *4 bind *1 *1 *2 *4 wu-ftpd *5 *4 *1 *2 *3 *4 *5 sprintf strcpy -51
57 Cqual Splint time time user system swap RATS ITS4 Flawfinder Splint Cqual elm qpopper imap apache bind wu-ftpd RATS ITS4 Flawfinder Flawfinder Python RATS ITS4 Flawfinder Python Cqual Cqual -52
58 Splint Flawfinder RATS ITS4 Flawfinder Splint Cqual elm qpopper imap apache bind wu-ftpd txt txt RATS ITS4 Flawfinder Splint Cqual -53
59 RATS ITS4 Flawfinder Splint Cqual RATS RATS Splint Splint Cqual Flawfinder RATS ITS RATS RATS 3 RATS 2 RATS -54
60 ITS4 ITS4 5 ITS 1 ITS4 GPL Flawfinder Flawfinder Flawfinder Python Flawfinder Python Flawfinder Splint Splint -55
61 BIND Splint 5 Splint Splint Splint Cqual Cqual C Cqual K&R Cqual -56
62 4. Flawfinder ITS4 RATS ITS4 RATS RATS -57
63 [1] Sardonix Security Portal, [2] Gary McGraw, John Viega,, IBM, 2002, [3] NCSA Secure Programming Guidelines, NCSA Servers, [4] Source Code Scanners for Better Code, Linux Journal, 2002, [5] Secure UNIX Programming FAQ, 1999, [6] How to Write Secure Code, 2002, [7] John Viega, Gary McGraw, Building Secure Software [8] SecureSoftware Web Page, John Viega, McGraw, ITS4 A Static Vulnerability Scanner for C and C++ Code, Reliable Software Technologies, [10] Flawfinder Home Page, [11] David A. Wheeler, Flawfinder manual, [12] David A. Wheeler, Secure Programming for Linux and Unix HOWTO, 2002, [13] Splint Home Page, David Evans, David Larochelle, Improving Security Using Extensible Lightweight Static Analysis, IEEE Software, 2002, [15] David Larochellle, David Evans, Statically Detecting Buffer Overflow Vulnerabilities, USENIX, 2001, -58
64 [16] David Evans, John Guttag, James Horning, Yang Meng Tan, LCLint: A Tool for Using Specifications to Check Code, Symposium on the Foundations of Software Engineering, 1994, [17] CQUAL A tool for adding type qualifiers to C, [18] Web-Based Cqual, [19] Xiaolan Zhang, Antony Edwards, Trent Jaeger, Using CQUAL for Static Analysis of Authorization Hook Placement, 11 th USENIX, 2002, [20] Prelude, The Open Source Quality Project(OSQ), [21] Jeffrey S.Foster, Manuel Fähndrich, Alexander Aiken, A Theory of Type Qualifiers, PLDI 99, 1999, [22] Libparanoia Home Page, Jeffrey S.Foster, Alex Aiken, Checking Programmer-Specified Non-Aliasing, University of California, Berkeley, [23] Jeffrey S.Foster, Tachio Terauchi, Alex Aiken, Flow-Sensitive Type Qualifiers, PLDI 2002, 2001, -59
65 A. URL 1. RATS (Rough Auditing Tool for Security) Homepage ITS4 (It's the Software Stupid Source Scanner) Homepage Flawfinder Homepage Splint (LCLint) Homepage Cqual Homepage
66 B. 1. Sardonix Sardonix DARPA CHATS Sardonix Open Source Quality Project Cqual 3. Pscan printf printf -61
67 1. PARASOFT: CodeWizard CodeWizard : QAC QAC Reasoning: Illuma NULL 4. Gimpel Software: PC-lint/FlexLint PC-lint/FlexLint -62
68 -63
1.... 1 2.... 1 2.1. RATS... 1 2.1.1. expat... 1 2.1.2. expat... 1 2.1.3. expat... 2 2.2. RATS... 2 2.2.1. RATS... 2 2.2.2.... 3 3. RATS... 4 3.1.... 4 3.2.... 4 3.3.... 6 3.3.1.... 6 3.3.2.... 6 3.3.3....
More informationA/B (2018/10/19) Ver kurino/2018/soft/soft.html A/B
A/B (2018/10/19) Ver. 1.0 kurino@math.cst.nihon-u.ac.jp http://edu-gw2.math.cst.nihon-u.ac.jp/ kurino/2018/soft/soft.html 2018 10 19 A/B 1 2018 10 19 2 1 1 1.1 OHP.................................... 1
More informationARM gcc Kunihiko IMAI 2009 1 11 ARM gcc 1 2 2 2 3 3 4 3 4.1................................. 3 4.2............................................ 4 4.3........................................
More information,,,,., C Java,,.,,.,., ,,.,, i
24 Development of the programming s learning tool for children be derived from maze 1130353 2013 3 1 ,,,,., C Java,,.,,.,., 1 6 1 2.,,.,, i Abstract Development of the programming s learning tool for children
More information1 C STL(1) C C C libc C C C++ STL(Standard Template Library ) libc libc C++ C STL libc STL iostream Algorithm libc STL string vector l
C/C++ 2007 6 18 1 C STL(1) 2 1.1............................................... 2 1.2 stdio................................................ 3 1.3.......................................... 10 2 11 2.1 sizeof......................................
More informationMicrosoft Word - C.....u.K...doc
C uwêííôöðöõ Ð C ÔÖÐÖÕ ÐÊÉÌÊ C ÔÖÐÖÕÊ C ÔÖÐÖÕÊ Ç Ê Æ ~ if eíè ~ for ÒÑÒ ÌÆÊÉÉÊ ~ switch ÉeÍÈ ~ while ÒÑÒ ÊÍÍÔÖÐÖÕÊ ~ 1 C ÔÖÐÖÕ ÐÊÉÌÊ uê~ ÏÒÏÑ Ð ÓÏÖ CUI Ô ÑÊ ÏÒÏÑ ÔÖÐÖÕÎ d ÈÍÉÇÊ ÆÒ Ö ÒÐÑÒ ÊÔÎÏÖÎ d ÉÇÍÊ
More informationmstrcpy char *mstrcpy(const char *src); mstrcpy malloc (main free ) stdio.h fgets char *fgets(char *s, int size, FILE *stream); s size ( )
2008 3 10 1 mstrcpy char *mstrcpy(const char *src); mstrcpy malloc (main free ) stdio.h fgets char *fgets(char *s, int size, FILE *stream); s size ( ) stream FILE ( man ) 40 ( ) %./a.out String : test
More information1.ppt
/* * Program name: hello.c */ #include int main() { printf( hello, world\n ); return 0; /* * Program name: Hello.java */ import java.io.*; class Hello { public static void main(string[] arg)
More informationex14.dvi
1,, 0, b (b b 2 b ) n k n = n j b j, (0 n j b 1), n =(n k n k 1...n 1 n 0 ) b, n j j j +1, 0,...,b 1 (digit). b b, n b 1 ñ, ñ = k (b 1 n j )b j b N, n b n, n = b N n, n =ñ+1 b N, n m n + m (mod b N ),
More informationpara02-2.dvi
2002 2 2002 4 23 : MPI MPI 1 MPI MPI(Message Passing Interface) MPI UNIX Windows Machintosh OS, MPI 2 1 1 2 2.1 1 1 1 1 1 1 Fig. 1 A B C F Fig. 2 A B F Fig. 1 1 1 Fig. 2 2.2 Fig. 3 1 . Fig. 4 Fig. 3 Fig.
More informationohp03.dvi
19 3 ( ) 2019.4.20 CS 1 (comand line arguments) Unix./a.out aa bbb ccc ( ) C main void int main(int argc, char *argv[]) {... 2 (2) argc argv argc ( ) argv (C char ) ( 1) argc 4 argv NULL. / a. o u t \0
More informationOriginal : Hello World! (0x0xbfab85e0) Copy : Hello World! (0x0x804a050) fgets mstrcpy malloc mstrcpy (main ) mstrcpy malloc free fgets stream 1 ( \n
2008 3 10 1 mstrcpy char *mstrcpy(const char *src); mstrcpy malloc (main free ) stdio.h fgets char *fgets(char *s, int size, FILE *stream); s size ( ) stream FILE ( man ) 40 ( ) %./a.out String : test
More information28 Docker Design and Implementation of Program Evaluation System Using Docker Virtualized Environment
28 Docker Design and Implementation of Program Evaluation System Using Docker Virtualized Environment 1170288 2017 2 28 Docker,.,,.,,.,,.,. Docker.,..,., Web, Web.,.,.,, CPU,,. i ., OS..,, OS, VirtualBox,.,
More informationuntitled
IBM i IBM AS/400 Power Systems 63.8% CPU 19,516 43,690 25,072 2002 POWER4 2000 SOI 2005 2004 POWER5 2007 POWER6 2008 IBM i 2004 eserver i5 2000 eserver iseries e 2006 System i5 Systems Agenda 2008 Power
More informationdouble float
2015 3 13 1 2 2 3 2.1.......................... 3 2.2............................. 3 3 4 3.1............................... 4 3.2 double float......................... 5 3.3 main.......................
More informationjoho07-1.ppt
0xbffffc5c 0xbffffc60 xxxxxxxx xxxxxxxx 00001010 00000000 00000000 00000000 01100011 00000000 00000000 00000000 xxxxxxxx x y 2 func1 func2 double func1(double y) { y = y + 5.0; return y; } double func2(double*
More informationCondition DAQ condition condition 2 3 XML key value
Condition DAQ condition 2009 6 10 2009 7 2 2009 7 3 2010 8 3 1 2 2 condition 2 3 XML key value 3 4 4 4.1............................. 5 4.2...................... 5 5 6 6 Makefile 7 7 9 7.1 Condition.h.............................
More informationr08.dvi
19 8 ( ) 019.4.0 1 1.1 (linked list) ( ) next ( 1) (head) (tail) ( ) top head tail head data next 1: NULL nil ( ) NULL ( NULL ) ( 1 ) (double linked list ) ( ) 1 next 1 prev 1 head cur tail head cur prev
More information卒 業 研 究 報 告.PDF
C 13 2 9 1 1-1. 1-2. 2 2-1. 2-2. 2-3. 2-4. 3 3-1. 3-2. 3-3. 3-4. 3-5. 3-5-1. 3-5-2. 3-6. 3-6-1. 3-6-2. 4 5 6 7-1 - 1 1 1-1. 1-2. ++ Lisp Pascal Java Purl HTML Windows - 2-2 2 2-1. 1972 D.M. (Dennis M Ritchie)
More informationII ( ) prog8-1.c s1542h017%./prog8-1 1 => 35 Hiroshi 2 => 23 Koji 3 => 67 Satoshi 4 => 87 Junko 5 => 64 Ichiro 6 => 89 Mari 7 => 73 D
II 8 2003 11 12 1 6 ( ) prog8-1.c s1542h017%./prog8-1 1 => 35 Hiroshi 2 => 23 Koji 3 => 67 Satoshi 4 => 87 Junko 5 => 64 Ichiro 6 => 89 Mari 7 => 73 Daisuke 8 =>. 73 Daisuke 35 Hiroshi 64 Ichiro 87 Junko
More informationJP1/Integrated Management - Service Support 操作ガイド
JP1 Version 9 JP1/Integrated Management - Service Support 3020-3-R92-10 P-242C-8F94 JP1/Integrated Management - Service Support 09-50 OS Windows Server 2008 Windows Server 2003 OS JP1/Integrated Management
More information10/ / /30 3. ( ) 11/ 6 4. UNIX + C socket 11/13 5. ( ) C 11/20 6. http, CGI Perl 11/27 7. ( ) Perl 12/ 4 8. Windows Winsock 12/11 9. JAV
tutimura@mist.i.u-tokyo.ac.jp kaneko@ipl.t.u-tokyo.ac.jp http://www.misojiro.t.u-tokyo.ac.jp/ tutimura/sem3/ 2002 11 20 p.1/34 10/16 1. 10/23 2. 10/30 3. ( ) 11/ 6 4. UNIX + C socket 11/13 5. ( ) C 11/20
More informationohp08.dvi
19 8 ( ) 2019.4.20 1 (linked list) ( ) next ( 1) (head) (tail) ( ) top head tail head data next 1: 2 (2) NULL nil ( ) NULL ( NULL ) ( 1 ) (double linked list ) ( 2) 3 (3) head cur tail head cur prev data
More information/ SCHEDULE /06/07(Tue) / Basic of Programming /06/09(Thu) / Fundamental structures /06/14(Tue) / Memory Management /06/1
I117 II I117 PROGRAMMING PRACTICE II 2 MEMORY MANAGEMENT 2 Research Center for Advanced Computing Infrastructure (RCACI) / Yasuhiro Ohara yasu@jaist.ac.jp / SCHEDULE 1. 2011/06/07(Tue) / Basic of Programming
More information‚æ2›ñ C„¾„ê‡Ìš|
I 8 10 10 I ( 6 ) 10 10 1 / 23 1 C ( ) getchar(), gets(), scanf() ( ) putchar(), puts(), printf() 1 getchar(), putchar() 1 I ( 6 ) 10 10 2 / 23 1 (getchar 1 1) 1 #include 2 void main(void){ 3 int
More information超初心者用
3 1999 10 13 1. 2. hello.c printf( Hello, world! n ); cc hello.c a.out./a.out Hello, world printf( Hello, world! n ); 2 Hello, world printf n printf 3. ( ) int num; num = 100; num 100 100 num int num num
More informationr03.dvi
19 ( ) 019.4.0 CS 1 (comand line arguments) Unix./a.out aa bbb ccc ( ) C main void... argc argv argc ( ) argv (C char ) ( 1) argc 4 argv NULL. / a. o u t \0 a a \0 b b b \0 c c c \0 1: // argdemo1.c ---
More informationLAN Copyright c Daikoku Manabu This tutorial is licensed under a Creative Commons Attribution 2.1 Japan License
LAN 2014 3 19 Copyright c 1993 2014 Daikoku Manabu This tutorial is licensed under a Creative Commons Attribution 2.1 Japan License. 1 2 1.1................................... 2 1.2.........................
More information2) TA Hercules CAA 5 [6], [7] CAA BOSS [8] 2. C II C. ( 1 ) C. ( 2 ). ( 3 ) 100. ( 4 ) () HTML NFS Hercules ( )
1,a) 2 4 WC C WC C Grading Student programs for visualizing progress in classroom Naito Hiroshi 1,a) Saito Takashi 2 Abstract: To grade student programs in Computer-Aided Assessment system, we propose
More informationslide5.pptx
ソフトウェア工学入門 第 5 回コマンド作成 1 head コマンド作成 1 早速ですが 次のプログラムを head.c という名前で作成してください #include #include static void do_head(file *f, long nlines); int main(int argc, char *argv[]) { if (argc!=
More informationex12.dvi
1 0. C, char., char, 0,. C, ("),., char str[]="abc" ; str abc.,, str 4. str 3. char str[10]="abc" ;, str 10, str 3., char s[]="abc", t[10] ;, t = s. ASCII, 0x00 0x7F, char., "abc" 3, 1. 1 8 256, 2., 2
More informationMicrosoft Word - Win-Outlook.docx
Microsoft Office Outlook での設定方法 (IMAP および POP 編 ) How to set up with Microsoft Office Outlook (IMAP and POP) 0. 事前に https://office365.iii.kyushu-u.ac.jp/login からサインインし 以下の手順で自分の基本アドレスをメモしておいてください Sign
More information1.... 1 2.... 2 2.1.... 2 2.2.... 4 2.3.... 7 3.... 9 3.1.... 9 3.1.1.... 10 3.1.2.... 11 3.1.3.... 13 3.1.4.... 15 3.1.5.... 16 3.1.6.... 17 3.2.... 18 3.2.1.... 19 3.2.2.... 20 3.2.3.... 20 3.2.4....
More informationuntitled
IBM i IBM GUI 2 JAVA JAVA JAVA JAVA-COBOL JAVA JDBC CUI CUI COBOL DB2 3 1 3270 5250 HTML IBM HATS WebFacing 4 2 IBM CS Bridge XML Bridge 5 Eclipse RSE RPG 6 7 WEB/JAVA RPG WEB 8 EBCDIC EBCDIC PC ASCII
More information新版明解C言語 実践編
2 List - "max.h" a, b max List - max "max.h" #define max(a, b) ((a) > (b)? (a) : (b)) max List -2 List -2 max #include "max.h" int x, y; printf("x"); printf("y"); scanf("%d", &x); scanf("%d", &y); printf("max(x,
More informationprogrammingII2019-v01
II 2019 2Q A 6/11 6/18 6/25 7/2 7/9 7/16 7/23 B 6/12 6/19 6/24 7/3 7/10 7/17 7/24 x = 0 dv(t) dt = g Z t2 t 1 dv(t) dt dt = Z t2 t 1 gdt g v(t 2 ) = v(t 1 ) + g(t 2 t 1 ) v v(t) x g(t 2 t 1 ) t 1 t 2
More informationfile"a" file"b" fp = fopen("a", "r"); while(fgets(line, BUFSIZ, fp)) {... fclose(fp); fp = fopen("b", "r"); while(fgets(line, BUFSIZ, fp)) {... fclose
I117 9 2 School of Information Science, Japan Advanced Institute of Science and Technology file"a" file"b" fp = fopen("a", "r"); while(fgets(line, BUFSIZ, fp)) {... fclose(fp); fp = fopen("b", "r"); while(fgets(line,
More informationLAN LAN LAN LAN LAN LAN,, i
22 A secure wireless communication system using virtualization technologies 1115139 2011 3 4 LAN LAN LAN LAN LAN LAN,, i Abstract A secure wireless communication system using virtualization technologies
More information07-二村幸孝・出口大輔.indd
GPU Graphics Processing Units HPC High Performance Computing GPU GPGPU General-Purpose computation on GPU CPU GPU GPU *1 Intel Quad-Core Xeon E5472 3.0 GHz 2 6 MB L2 cache 1600 MHz FSB 80 GFlops 1 nvidia
More informationWinHPC ppt
MPI.NET C# 2 2009 1 20 MPI.NET MPI.NET C# MPI.NET C# MPI MPI.NET 1 1 MPI.NET C# Hello World MPI.NET.NET Framework.NET C# API C# Microsoft.NET java.net (Visual Basic.NET Visual C++) C# class Helloworld
More informationMicrosoft PowerPoint - CproNt11.ppt [互換モード]
第 11 章入出力関数とライブラリ関数 CPro:11-01 概要 getchar putchar gets puts scanf printf strcat strcmp strcpy strlen atoi atof sprint sscanf 11.1 コンソール入出力関数 11-02 入力 出力 getchar putchar 一文字 gets puts 文字列 ( 一行 ) scanf printf
More information[user@linux tmp]$ tar xzvf utvpn-src-unix-v100-7092-beta-2010.06.25.tar.gz [user@linux tmp]$ cd utvpn-unix-v100-7092-beta [user@linux utvpn-unix-v100-7092-beta]$ ls License-ja.txt configure makefiles src
More informationr07.dvi
19 7 ( ) 2019.4.20 1 1.1 (data structure ( (dynamic data structure 1 malloc C free C (garbage collection GC C GC(conservative GC 2 1.2 data next p 3 5 7 9 p 3 5 7 9 p 3 5 7 9 1 1: (single linked list 1
More informationohp07.dvi
19 7 ( ) 2019.4.20 1 (data structure) ( ) (dynamic data structure) 1 malloc C free 1 (static data structure) 2 (2) C (garbage collection GC) C GC(conservative GC) 2 2 conservative GC 3 data next p 3 5
More informationprogram.dvi
2001.06.19 1 programming semi ver.1.0 2001.06.19 1 GA SA 2 A 2.1 valuename = value value name = valuename # ; Fig. 1 #-----GA parameter popsize = 200 mutation rate = 0.01 crossover rate = 1.0 generation
More informationh1,..., h6: (heading) h1 h2 table: table tr (table row) tr td (table data) ol, ul: (ordered) (unordered) </tag1> </tag4> 1: HTML [1] html: Web HTML he
HTML CGI 1 Web HTML (Hyper-Text Markup Language)[1] CGI (Common Gateway Interface)[2] HTML CGI Web Web 2 Web GUI CUI GUI OS GUI GUI Web GUI OS OS Web 3 HTML 3.1 HTML WWW (World Wide Web, Web) Web Web HTML
More informationunix.dvi
1 UNIX 1999 4 27 1 UNIX? 2 1.1 Windows/Macintosh? : : : : : : : : : : : : : : : : : : : : : : : : 2 1.2 UNIX OS : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 1.3 : : : : : : : : : : : :
More informationOKDT-IW02T6-JPNICdist.ppt
Internet Week 2002 tutorial - T6 http://techstyle.jp/ riotaro@techstyle.jp about Speaker 1989 1999 Linux 2001 Allabout Linux http://allabout.co.jp/computer/linux/ 2002 PHP 2002 CISA http://okdt.org/ riotaro@techstyle.jp
More information橡Pro PDF
1 void main( ) char c; /* int c; */ int sum=0; while ((c = getchar())!= EOF) if(isdigit(c) ) sum += (c-'0'); printf("%d\n", sum); main()int i,sum=0; for(i=0;i
More informationNios® II HAL API を使用したソフトウェア・サンプル集 「Modular Scatter-Gather DMA Core」
ALTIMA Company, MACNICA, Inc Nios II HAL API Modular Scatter-Gather DMA Core Ver.17.1 2018 8 Rev.1 Nios II HAL API Modular Scatter-Gather DMA Core...3...3...4... 4... 5 3-2-1. msgdma... 6 3-2-2. On-Chip
More informationネットワークビデオレコーダー VK-64/VK-16/VK-Lite v2.2 セットアップガイド
VK-64/VK-16/VK-Lite Ver. 2.2 VK-64 v2.2 VK-16 v2.2 ( VK-64/VK-16) VK-Lite v2.2 ( VK-Lite) VK-64/VK-16 VK-Lite 2 1. 2. 3. 4. 2. 3. ( ) ( ) canon.jp/webview Canon Canon Microsoft Windows Microsoft Internet
More information大統一Debian勉強会 gdb+python拡張を使ったデバッグ手法
Debian 2013 gdb+python nozzy@debian.or.jp 2013 6 29 Level Debian Up Debian Debian debian sid unstable Debian debian sid unstable *-dbg Debian debian sid unstable *-dbg gdb Debian debian sid unstable *-dbg
More informationCopyright Oracle Parkway, Redwood City, CA U.S. GOVERNMENT END USERS: Oracle programs, including any operating system, integrated softw
Oracle Solaris Studio 12.3 Part No: E26466 2011 12 Copyright 2011 500 Oracle Parkway, Redwood City, CA 94065 U.S. GOVERNMENT END USERS: Oracle programs, including any operating system, integrated software,
More informationUNIX
2000 1 UNIX 2000 4 14 1 UNIX? 2 1.1 UNIX OS....................................... 2 1.2.................................................... 2 1.3 UNIX...................................... 2 1.4 Windows
More information(K&R 2.9) ~, &,, >>, << 2. (K&R 5.7) 3. (K&R 5.9) 4. (K&R 5.10) (argc argv atoi(), atof() ) 5. (K&R 7.5) (K&R 7.6) - FILE, stdin, stdout, std
3 3 1. 1 (K&R.9) ~, &,, >>,
More informationWeb Web Web Web Web, i
22 Web Research of a Web search support system based on individual sensitivity 1135117 2011 2 14 Web Web Web Web Web, i Abstract Research of a Web search support system based on individual sensitivity
More informationtuat1.dvi
( 1 ) http://ist.ksc.kwansei.ac.jp/ tutimura/ 2012 6 23 ( 1 ) 1 / 58 C ( 1 ) 2 / 58 2008 9 2002 2005 T E X ptetex3, ptexlive pt E X UTF-8 xdvi-jp 3 ( 1 ) 3 / 58 ( 1 ) 4 / 58 C,... ( 1 ) 5 / 58 6/23( )
More information1 (bit ) ( ) PC WS CPU IEEE754 standard ( 24bit) ( 53bit)
GNU MP BNCpack tkouya@cs.sist.ac.jp 2002 9 20 ( ) Linux Conference 2002 1 1 (bit ) ( ) PC WS CPU IEEE754 standard ( 24bit) ( 53bit) 10 2 2 3 4 5768:9:; = %? @BADCEGFH-I:JLKNMNOQP R )TSVU!" # %$ & " #
More information2 2.1 NPCMJ ( (Santorini, 2010) (NPCMJ, 2016) (1) (, 2016) (1) (2) (1) ( (IP-MAT (CONJ ) (PP (NP (D ) (N )) (P )) (NP-SBJ *
Emacs Emacs : Emacs 1 Emacs Emacs ( ) (NPCMJ ) 1 Emacs NPCMJ 2 1 2 2.1 NPCMJ (http://npcmj.ninjal.ac.jp/) (Santorini, 2010) (NPCMJ, 2016) (1) (, 2016) (1) (2) (1) ( (IP-MAT (CONJ ) (PP (NP (D ) (N )) (P
More informationIP L09( Tue) : Time-stamp: Tue 14:52 JST hig TCP/IP. IP,,,. ( ) L09 IP (2017) 1 / 28
L09(2017-11-21 Tue) : Time-stamp: 2017-11-21 Tue 14:52 JST hig TCP/IP. IP,,,. http://hig3.net L09 (2017) 1 / 28 9, IP, - L09 (2017) 2 / 28 C (ex. ) 1 TCP/IP 2 3 ( ) ( L09 (2017) 3 / 28 50+5, ( )50+5. (
More information2 1. Ubuntu 1.1 OS OS OS ( OS ) OS ( OS ) VMware Player VMware Player jp/download/player/ URL VMware Plaeyr VMware
1 2010 k-okada@jsk.t.u-tokyo.ac.jp http://www.jsk.t.u-tokyo.ac.jp/~k-okada/lecture/ 2010 4 5 Linux 1 Ubuntu Ubuntu Linux 1 Ubuntu Ubuntu 3 1. 1 Ubuntu 2. OS Ubuntu OS 3. OS Ubuntu https://wiki.ubuntulinux.jp/ubuntutips/install/installdualboot
More informationIntroduction Purpose This training course demonstrates the use of the High-performance Embedded Workshop (HEW), a key tool for developing software for
Introduction Purpose This training course demonstrates the use of the High-performance Embedded Workshop (HEW), a key tool for developing software for embedded systems that use microcontrollers (MCUs)
More information新・明解C言語 ポインタ完全攻略
2 1-1 1-1 /* 1-1 */ 1 int n = 100; int *p = &n; printf(" n %d\n", n); /* n int */ printf("*&n %d\n", *&n); /* *&n int */ printf(" p %p\n", p); /* p int * */ printf("&*p %p\n", &*p); /* &*p int * */ printf("sizeof(n)
More informationApache Web Server 2 Compaq ActiveAnswers Deskpro Compaq Insight Manager Fastart Systempro Systempro/LT ProLiant ROMPaq Qvision SmartStart NetFlex Quic
Technical Guide 1999 5 Internet and E-Commerce Solutions Business Unit Enterprise Solutions Division Apache Web Server Compaq Linux Apache HTTP Compaq Computer Corporation...3...3...4...5...6...7...7...7...8...10...10...16...16
More informationCX-Checker CX-Checker (1)XPath (2)DOM (3) 3 XPath CX-Checker. MISRA-C 62%(79/127) SQMlint 76%(13/17) XPath CX-Checker 3. CX-Checker 4., MISRA-C CX- Ch
CX-Checker: C 1 1 2 3 4 5 1 CX-Checker CX-Checker XPath DOM 3 CX-Checker MISRA-C CX-Checker: A Customizable Coding Checker for C TOSHINORI OSUKA, 1 TAKASHI KOBAYASHI, 1 JUNICHI MASE, 2 NORITOSHI ATSUMI,
More informationC
C 1 2 1.1........................... 2 1.2........................ 2 1.3 make................................................ 3 1.4....................................... 5 1.4.1 strip................................................
More information,…I…y…„†[…e…B…fi…O…V…X…e…•‡Ì…J†[…l…‰fi®“ì‡Ì›Â”‰›»pdfauthor
OS 1 1 4 1.1........................................... 4 1.2........................................... 4 2 5 2.1..................................... 5 2.2 OS................................... 5 3 7
More information新・明解C言語 実践編
第 1 章 見 21 1-1 見えないエラー 見 List 1-1 "max2x1.h" a, b max2 List 1-1 chap01/max2x1.h max2 "max2x1.h" #define max2(a, b) ((a) > (b)? (a) : (b)) max2 List 1-2 List 1-2 chap01/max2x1test.c max2 #include
More information計算機プログラミング
プログラミング言語 C 第 8 講 システム標準関数 ( 入出力関数 ) システム標準関数 システムに備え付けの関数 例 ) printf( ); scanf( ); 標準出力関数 標準入力関数 A. 入出力用の関数 高水準入出力関数 高水準言語 (OS に依存しない ) 低水準入出力関数 機械語レベル (OS に依存 ) B. それ以外の関数 引数と関数の型 ( 戻り値 ) に注目しましょう 例
More informationLinuxデバイスドライバ.PDF
Linux hidaka@devdrv.com 2002/10/9 Linux Kernel Conference 2002 1 Linux 2 Linux 3 Software Hardware Device Algolith m Protocol Applicati on 4 CPU 128MB NIC ATI Radeon GeForce2 MX400 Matrox G400 DISK 5 OS
More information1st-session key
1 2013/11/29 Project based Learning: Soccer Agent Program 1 2012/12/9 Project based Learning: Soccer Agent Program PBL Learning by doing Schedule 1,2 2013 11/29 Make 2013 12/6 2013 12/13 2013 12/20 2014
More informationA/B WWW MTA/MSP sendmail POP/IMAP apache WWW 1 1 sendmail uw imap apache WWW host host subnet1: /24 IF1: router & server mail and
A/B WWW MTA/MSP sendmail POP/IMAP apache WWW 1 1 sendmail uw imap apache WWW host host subnet1: 192.168.1/24 IF1:192.168.1.1 router & server mail and WWW IF2:192.168.0.32 subnet2: 192.168.0/24 1: 1 2 iep.sie.dendai.ac.jp
More informationI #2 : ( 8-13), () URL : j inoue/prog2007/prog2007.html
Title 計算機プログラミング I 同演習講義ノート 2007 Author(s) 井上, 純一 Citation Issue Date 2007-08-22T04:23:05Z DOI Doc URLhttp://hdl.handle.net/2115/28047 Right Type learningobject Additional There are other files related
More information評論・社会科学 84号(よこ)(P)/3.金子
1 1 1 23 2 3 3 4 3 5 CP 1 CP 3 1 1 6 2 CP OS Windows Mac Mac Windows SafariWindows Internet Explorer 3 1 1 CP 2 2. 1 1CP MacProMacOS 10.4.7. 9177 J/A 20 2 Epson GT X 900 Canon ip 4300 Fujifilm FinePix
More information2 2 2 3 3 4 4 4 4 4 5 5 5 6 N 6 7 Patricia 7 7 7 8 8 Namazu9 Namazu 9 9 10 10 10 10 11 11 HTML 11 12 web 12 12 URL 14 全文検索システムの機能とその活用 渡邉里美 swatan14@cs.reitaku-u.ac.jp 麗澤大学国際経済学部国際経済学科 概要 WWW WWW WWW The
More informationRX600 & RX200シリーズ アプリケーションノート RX用仮想EEPROM
R01AN0724JU0170 Rev.1.70 MCU EEPROM RX MCU 1 RX MCU EEPROM VEE VEE API MCU MCU API RX621 RX62N RX62T RX62G RX630 RX631 RX63N RX63T RX210 R01AN0724JU0170 Rev.1.70 Page 1 of 33 1.... 3 1.1... 3 1.2... 3
More information1 1.1 C 2 1 double a[ ][ ]; 1 3x x3 ( ) malloc() 2 double *a[ ]; double 1 malloc() dou
1 1.1 C 2 1 double a[ ][ ]; 1 3x3 0 1 3x3 ( ) 0.240 0.143 0.339 0.191 0.341 0.477 0.412 0.003 0.921 1.2 malloc() 2 double *a[ ]; double 1 malloc() double 1 malloc() free() 3 #include #include
More informationXML ( ) XML XML jedit XML XPath XSLT jedit JAVA VM jedit Slava Pestov GNU GPL ( ) jedit jedit ( jedit XML jed
XML XML XML jedit XML XPath XSLT jedit JAVA VM jedit Slava Pestov GNU GPL ( jedit jedit (http://www.jedit.org/index.php jedit XML jedit Plugin Central (http://plugins.jedit.org/ jedit Java (Java VM = Java
More information解きながら学ぶC言語
printf 2-5 37 52 537 52 printf("%d\n", 5 + 37); 5370 source program source file.c ex00.c 0 comment %d d 0 decimal -2 -p.6 3-2 5 37 5 37-22 537 537-22 printf("537%d\n", 5-37); function function call ( )argument,
More informationI J
I 065763J 8 7 7 31 jikken/ +----- accumulation_demupa.c +----- accumulation_rain.c +----- frequency_demupa.c +----- frequency_rain.c +----- go.sh +----- graph_maker.sh +----- mesure-ryudai/ 2007/4/1 2007/6/30
More informationWindows Cygwin Mac *1 Emacs Ruby ( ) 1 Cygwin Bash Cygwin Windows Cygwin Cygwin Mac 1 Mac 1.2 *2 ls *3 *1 OS Linux *2 *3 Enter ( ) 2
September 2016 1 Windows Cygwin Mac *1 Emacs Ruby 1 1.1 ( ) 1 Cygwin Bash Cygwin Windows Cygwin Cygwin Mac 1 Mac 1.2 *2 ls *3 *1 OS Linux *2 *3 Enter ( ) 2 ~/16:00:20> ls 2 2 ls ls -a ~/16:00:20> ls -a
More informationIPSJ SIG Technical Report Vol.2014-EIP-63 No /2/21 1,a) Wi-Fi Probe Request MAC MAC Probe Request MAC A dynamic ads control based on tra
1,a) 1 1 2 1 Wi-Fi Probe Request MAC MAC Probe Request MAC A dynamic ads control based on traffic Abstract: The equipment with Wi-Fi communication function such as a smart phone which are send on a regular
More informationSystemwalker IT Service Management Systemwalker IT Service Management V11.0L10 IT Service Management - Centric Manager Windows
Systemwalker IT Service Management Systemwalker IT Service Management V11.0L10 IT Service Management - Centric Manager Windows Systemwalker IT Service Management Systemwalker Centric Manager IT Service
More informationCM-3G 周辺モジュール拡張技術文書 MS5607センサ(温度、気圧)
CM-3G 周辺モジュール拡張技術文書 MS5607 センサ ( 温度 気圧 ) ( 第 1 版 ) Copyright (C)2016 株式会社コンピューテックス 目次 1. はじめに... 1 2. MS5607 について... 1 3. 接続図... 1 4. アプリケーション ソース... 2 5. アプリケーションのコンパイル方法... 7 6. アプリケーションの実行... 8 1. はじめに
More informationrzat10pdf.ps
IBM i 7.2 IBM Navigator for i IBM IBM i 7.2 IBM Navigator for i IBM 9 IBM i 7.2 ( 5770-SS1) RISC CISC IBM IBM i Version 7.2 Connecting to your system Connecting to IBM Navigator for i Copyright IBM Corporation
More information/* do-while */ #include <stdio.h> #include <math.h> int main(void) double val1, val2, arith_mean, geo_mean; printf( \n ); do printf( ); scanf( %lf, &v
1 http://www7.bpe.es.osaka-u.ac.jp/~kota/classes/jse.html kota@fbs.osaka-u.ac.jp /* do-while */ #include #include int main(void) double val1, val2, arith_mean, geo_mean; printf( \n );
More informationfiš„v3.dvi
(2001) 49 2 261 275 Web 1 1 2001 2 21 2001 4 26 Windows OS Web Windows OS, DELPHI, 1. Windows OS. DELPHI Web DELPHI ALGOL PASCAL VISUAL BASIC C++ JAVA DELPHI Windows OS Linux OS KyLix Mac OS (ver 10) JAVA
More information/* sansu1.c */ #include <stdio.h> main() { int a, b, c; /* a, b, c */ a = 200; b = 1300; /* a 200 */ /* b 200 */ c = a + b; /* a b c */ }
C 2: A Pedestrian Approach to the C Programming Language 2 2-1 2.1........................... 2-1 2.1.1.............................. 2-1 2.1.2......... 2-4 2.1.3..................................... 2-6
More informationII 3 yacc (2) 2005 : Yacc 0 ~nakai/ipp2 1 C main main 1 NULL NULL for 2 (a) Yacc 2 (b) 2 3 y
II 3 yacc (2) 2005 : Yacc 0 ~nakai/ipp2 1 C 1 6 9 1 main main 1 NULL NULL 1 15 23 25 48 26 30 32 36 38 43 45 47 50 52 for 2 (a) 2 2 1 Yacc 2 (b) 2 3 yytext tmp2 ("") tmp2->next->word tmp2 yytext tmp2->next->word
More informationjoho09.ppt
s M B e E s: (+ or -) M: B: (=2) e: E: ax 2 + bx + c = 0 y = ax 2 + bx + c x a, b y +/- [a, b] a, b y (a+b) / 2 1-2 1-3 x 1 A a, b y 1. 2. a, b 3. for Loop (b-a)/ 4. y=a*x*x + b*x + c 5. y==0.0 y (y2)
More informationスライド 1
IBM Global Technology Services PCI DSS ITS IAS. IAS. 2I/T 1PCIDSS 2 2 PCI DSS QSA PCIDSS Fi Gap IBM PCIDSS IBM PCIDSS QSA QSA PCIDSS ROC* 1/ * ROC: Report on Compliance 3 PCI DSS 4 PCIDSS PCIDSS 1. PCIDSS
More information¥×¥í¥°¥é¥ß¥ó¥°±é½¬I Exercise on Programming I [1zh] ` `%%%`#`&12_`__~~~alse
I Exercise on Programming I http://bit.ly/oitprog1 1, 2 of 14 ( RD S ) I 1, 2 of 14 1 / 44 Ruby Ruby ( RD S ) I 1, 2 of 14 2 / 44 7 5 9 2 9 3 3 2 6 5 1 3 2 5 6 4 7 8 4 5 2 7 9 6 4 7 1 3 ( RD S ) I 1, 2
More informationtutorial_lc.dvi
00 Linux v.s. RT Linux v.s. ART-Linux Linux RT-Linux ART-Linux Linux kumagai@emura.mech.tohoku.ac.jp 1 1.1 Linux Yes, No.,. OS., Yes. Linux,.,, Linux., Linux.,, Linux. Linux.,,. Linux,.,, 0..,. RT-Linux
More informationインストール取扱説明書
Kabayaki for Linux version 1.2.0 2 Kabayaki : 2003-09-01 3 4 2003-8-04: Kabayaki Version 1.2.0 released. URL WebSpider URL () 1 WebSpider () 2003-6-30: Kabayaki Version 1.1.5 released. WebSpider robots.txt
More informationDec , IS p. 1/60
Dec 08 2007, IS p. 1/60 Dec 08 2007, IS p. 2/60 Plan of Talk (LDAP) (CAS) (IdM) Dec 08 2007, IS p. 3/60 Dec 08 2007, IS p. 4/60 .. Dec 08 2007, IS p. 5/60 Dec 08 2007, IS p. 6/60 Dec 08 2007, IS p. 7/60
More informationAutoTuned-RB
ABCLib Working Notes No.10 AutoTuned-RB Version 1.00 AutoTuned-RB AutoTuned-RB RB_DGEMM RB_DGEMM ( TransA, TransB, M, N, K, a, A, lda, B, ldb, b, C, ldc ) L3BLAS DGEMM (C a Trans(A) Trans(B) b C) (1) TransA:
More informationAN 100: ISPを使用するためのガイドライン
ISP AN 100: In-System Programmability Guidelines 1998 8 ver.1.01 Application Note 100 ISP Altera Corporation Page 1 A-AN-100-01.01/J VCCINT VCCINT VCCINT Page 2 Altera Corporation IEEE Std. 1149.1 TCK
More information20 H8/3069LAN H. Fukura
20 H8/3069LAN 1.1 2009 2 9 H. Fukura 1 1 2 Cygwin 2 2.1................... 3 2.2................. 3 3 h8300-hms 13 3.1................... 14 3.2......... 14 3.3............. 35 3.4.............. 38 i
More informationetrust Access Control etrust Access Control UNIX(Linux, Windows) 2
etrust Access Control etrust Access Control UNIX(Linux, Windows) 2 etrust Access Control etrust Access Control 3 ID 10 ID SU ID root 4 OS OS 2 aaa 3 5 TCP/IP outgoing incoming DMZ 6 OS setuid/setgid) OS
More informationCプログラミング1(再) 第2回
C プログラミング 1( 再 ) 第 2 回 講義では Cプログラミングの基本を学び演習では やや実践的なプログラミングを通して学ぶ 1 前回のレポートから 前回の宿題 数あてゲーム の説明において 次のように書いていたものがいた : これはコンピュータがランダムに設定した数字を人間が当てるゲームである この説明でどこかおかしなところはないだろうか? 2 コンピュータの用語と日常的な用語の違い 物理において
More information