2002 awk Aho,Weinberger,Kernighan DFA awk Brian Kernighan DFA GNU awk Arnold Robbins DFA NFA MKS awk Mortice Kern Systems POSIX NFA mawk Mike Brennan

Size: px
Start display at page:

Download "2002 awk Aho,Weinberger,Kernighan DFA awk Brian Kernighan DFA GNU awk Arnold Robbins DFA NFA MKS awk Mortice Kern Systems POSIX NFA mawk Mike Brennan"

Transcription

1 Processing Mechanism on Regular Expressions Yoshiyuki SAKAMOTO and Hiroyuki EDO awk NFA DFA DFANFA POSIX NFA DFA NFA NFA NFATcl, Perl, Python, GNU Emacs, ed, sed, vi, grep egrep, awk DFA egrep, awk lex, flex DFA POSIX NFA POSIX NFA 153

2 2002 awk Aho,Weinberger,Kernighan DFA awk Brian Kernighan DFA GNU awk Arnold Robbins DFA NFA MKS awk Mortice Kern Systems POSIX NFA mawk Mike Brennan POSIX NFA egrep Alfred Aho DFA MKS egrep Mortice Kern Systems POSIX NFA GNU Emacs Richard Stallman NFA(POSIX NFA ) Expect Don Libes NFA expr Dick Haight NFA grep Ken Thompson NFA GNU grep Mike Haertel 2.0 DFA NFA GNU find GNU NFA lex Mike Lesk DFA flex Vern Pazon DFA lex Mortice Kern Systems POSIX NFA more Eric Schienbrood NFA less Mark Nudelman (NFA) Perl Larry Wall NFA Python Guido van Rossum NFA sed Lee McMahon NFA Tcl John Ousterhout NFA vi Bill Joy NFA 2.1 Perl 2.2 cat The dragging belly indicates your cat is too fat cat indicates fat cat belly ourfat belly 154

3 The dragging belly indicates your cat is too fat 2.3 usa u s a \ w \ W \ d \ D \ s \ S 2.4? + {min, max} \ < \ w+s \ > regexes s \ w+ s \ w+ regexess \ > [0-9]+March_ Subject Subject ^Subject:_ ^Subject:_(. ) Perl $1 Subject.. $line Subject: Re: happy birthday Perl if ($line = ~ m/^subject: (. )/ ) if { print "The subject is: $1 \ n"; if } The subject is: Re: happy birthday ^(Re:_)?. ^(Re:_)? Re:_. ^(Re:_) Re: 155

4 2002 if ($line = ~ m/^subject: (Re: )?(. )/ ) if {print "the subject is: $2 \ n"; if } The subject is: happy birthday ^Subject: ( (Re:_)?. ) Re:_ ^Subject:_(. ).. ^. ([0-9][0-9]) about_24_characters_long $1 24 ^. ([0-9]+) [0-9]+ [0-9] [0-9]. NFAregex directeddfa text-directed 3.1 NFA to(nite knight night) tonight t to(nite knight night) to nite knight night (nite knight night) NFA NFA 3.2 DFA knight g h t NFA DFA NFA DFA t onight t o(nite knight night) 156

5 toni ght to(ni te knight night) 3.3 Nondeterministic Finite Automaton:NFA Deterministic Finite Automaton:DFA NFA tonight to(ni(ght te) knight) tonite toknight tonight to(k?night nite) DFA DFA DFA DFA NFA NFA 4.1 NFA hot_tonic_tonight! to(nite knight night) t h tonic to. nite n + i + t toni c knight tonight! 4.2 LIFO last in first out: 157

6 abc abc a a bc a b?c a bc ab? c b ab c ab? c ac b a c ab? c abx a bx ab? c a bx ab? c 1 ab x abx 4.4? [0-9]+ a_1234_num a_1 234_num a_12 34_num a_123 4_num a_1234 _num a_ 1234_num ^. ([0-9][0-9]) CA_95472,_usa

7 McDonald s CA_95472,_USA $172 NFADFA DFA NFA NFA 5.1. The name "McDonald s" is said "makudonarudo" in Japanese The name "McDonald s" is said "mkudonarudo" in Japanese.. McDonald s. [^"] [^"] McDonald s [^"] The name "McDonald s" is said "makudonarudo" in Japanese 5.2 <B>...</B> <B> </B> <B>Billions</B>and<B>Ziillions</B> of suns <B>. </B> <B> </B>

8 2002 <B>. </B> <B>Billions</B> and <B>Zillions</B > of suns <B>Billions</B> and <B>Zillions</B > of suns Perl $price $price = ~ s/( \. \ d \ d[1-9]?)\ d /$1/ \. \ d \ [-9]? 1 \ \ d+ $price = ~ s /( \. \ d \ d[1-9]?)\ d+/$1/ 5.5 NFA ^(Subject Date):_ Subject :_ tour to tournament three_tournaments_ won tour NFA tournament POSIX NFA DFA ( \.\ d \ d[1-9]?)\ d ( \.\ d \ d \.\ d \ d[1-9])\ d ( \.\ d \ d[1-9]?)\ d ) Jan 31 Jan_[0123][0-9] Jan_00 Jan_39 Jan_7 Jan_(0?[1-9] [12][0-9] 3[01]) 160

9 Jan 31 is my dad s birthday Jan 3 Jan_(31 [123]0 [012]? [1-9]) Jan_(0[1-9] [12][0-9]? 3[01]? [4-9]) 5.7 NFA 5.8 [abc] a b c NFA DFA NFA,DFA POSIX 6.1 Longest-Leftmost oneselfsufficient one(self)?(selfsufficient)? NFA onseselfsufficient

10 2002 DFA oneselfsufficient DFA SRC=array.c builtin.c eval.c field.c gaw kmisc.c io.c main.c \ Missing.c msg.c no de.c re.c version.c ( \ \ \ n. ) NFA. 6.2 POSIX POSIX POSOIX longest of the leftmost DFA DFA DFANFA 6.3 DFA NFA DFA NFA NFA NFA POSIX NFA NFA NFA NFADFA 6.4 DFA NFA 7.1 NFA 162

11 7.2 NFA^ \ w+=. ( \ \ \ n. ) SRC=array.c builtin.c eval.c field.c gaw kmisc.c io.c main.c \ missing.c msg.c no de.c re.c version.c ^ \ w+=[^ \ n \\] ( \\\ n[^ \ n \\] ) IP IP ^[0-9]+ \.[0-9]+ \.[0-9]+ \.[0-9]$ ^ \ d \ d \ d \.\ d \ d \ d \.\ d \ d \ d \.\ d \ d \ d \ $ \ d d \ d \ [01] \ d \ d 2[0-4] \ d 25[0-5] [01]? \ d \ d? 2[0-4] \ d 25[0-5] ^([01]? \ d \ d? 2[0-4] \ d 25[0-5]) \. ([01]? \ d \ d? 2[0-4] \ d 25[0-5]) \.([01 ]? \ d \ d? 2[0-4] \ d 25[0-5]) \.([01]? \ d \ d? 2[0-4] \ d 25[0-5])$ 7.3 ". " "[^"]. " \ (.\ \ ) \ ([^)] \ ) \ ([^( )] \ ) (this) foo

12 2002 -?([0-9]+(1 \.[0-9] )? \.[0-9]+) 7.5 / / HTML <CODE><...> <A_HREF="...">anchor_text</A> anchor_text HTML.mailrc alias jeff jfriedl@ora.com alias for your passport, you need a "2 \"x3 \ "likeness" of yourself \\" "([^"] \\") " DFA POSIX "( \ \?" [^"]) " "someone has?" forgotten?" the closing quote 164

13 "( \\" [^ \\"]) " DFA POSIX NFA NFA /usr/local/bin/gcc gcc $filename $Wholepath= ~ m!([^/] )$!; #$path $FileName = $1; # /usr/local/bin/prel 40 Tcl $1 $2 if($wholepath = ~m!^(. )/(. )$!){ $LeadingPath = $1; $FileName = $2; }else{ $LeadingPath = "."; # file.txt "./file.txt" $FileName = $WholePath; } Tcl if [regexp -indices. /$WholePath Match] Perl Tcl Python $filename = ~ S!^. /!!; regsub"^. /" $filename " "filename filename = regsub.sub("^. /"," ", filename) 165

14 2002 { # set LeadingPath [string range $Whole Path 0 [expr [lindex $ Match 1] -1]] set File Name [string range $ Whole path [expr [Index $ Match 1]+1] end] } { # set LeadingPath. set FileName $Whole Path } rindex 8.1 NFADFA NFA POSIX NFA DFA POSIX POSIX DFA NFA NFA POSIX NFA NFA 8.2 NFA NFA NFA NFA DFA Jeffrey E.F.Friedl

15 I 2000 II

2001 ElispExpectPerlPythonTcl videlphiemacsbrief Visual C++Nisus Writer Jeffrey E.F. Friedl PerlPython this. this _ [...] [...] [ ] 210

2001 ElispExpectPerlPythonTcl videlphiemacsbrief Visual C++Nisus Writer Jeffrey E.F. Friedl PerlPython this. this _ [...] [...] [ ] 210 209228 2001 How to Master Regular Expression SAKAMOTO Yoshiyuki and EDO Hiroyuki Awk 209 2001 ElispExpectPerlPythonTcl videlphiemacsbrief Visual C++Nisus Writer Jeffrey E.F. Friedl PerlPython this. this

More information

UNIX

UNIX 2000 2 UNIX 2000 4 24 1 3 1.1 : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.2 : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :

More information

Networking Semester 802.3

Networking Semester 802.3 Networking Semester 802.3 2 ) ( Computer Hardware () () () () () () () () ()- () () () () () BIOS () Computer Software Operating Systems Windows, Linux Linux Windows OS I 1.C 2. 3. 3-1.main 3-2.printf

More information

NOTE P, A,. A P ( A, P ),,.,. P A. (set) (set), (). (element), (element).,.,. ( A, B, X, Y, P ), { } (),..3 (union) A, B,A B, A B (union),. A B = {x x

NOTE P, A,. A P ( A, P ),,.,. P A. (set) (set), (). (element), (element).,.,. ( A, B, X, Y, P ), { } (),..3 (union) A, B,A B, A B (union),. A B = {x x 2. (set)............... 2.2,.... 2.3 (union)............ 2.4 (intersection)......... 2.5 (power set)......... 3.6 (cartesian product set)... 3 2, 3 2. (length)........ 3 2.2 (epsilon)............ 3 2.3

More information

1 1 1........................... 1 2........... 1 3........................... 4 4.............. 6 2 7 1...................... 7 2........................... 8 3............................ 8 4...............

More information

K-BASIC 1st: ユニケージ基礎編(前編)

K-BASIC 1st: ユニケージ基礎編(前編) 5 2 AWK AWK AWK 2.1 AWK AWK UNIX OS 1977 UNIX Alfred Aho Peter Weinberger Brian Kernighan 3 AWK AWK /etc/resolv.conf DNS IP 1 [hoge@lecture ~]$ cat /etc/resolv.conf awk {print $2} 2 ---------- 3 4 8.8.8.8

More information

Automatic Processing System on Internet Text Messages Hiroyuki EDO abd Yoshiyuki SAKAMOTO 1 Return-Path: Return- Path: RFC822: Standard f

Automatic Processing System on Internet Text Messages Hiroyuki EDO abd Yoshiyuki SAKAMOTO 1 Return-Path: Return- Path: RFC822: Standard f 163 177 2000 Automatic Processing System on Internet Text Messages Hiroyuki EDO abd Yoshiyuki SAKAMOTO 1 Return-Path: Return- Path: RFC822: Standard for ARPA Internet Text Messages 163 2000 RFC822:ARPA

More information

48 * *2

48 * *2 374-1- 17 2 1 1 B A C A C 48 *2 49-2- 2 176 176 *2 -3- B A A B B C A B A C 1 B C B C 2 B C 94 2 B C 3 1 6 2 8 1 177 C B C C C A D A A B A 7 B C C A 3 C A 187 187 C B 10 AC 187-4- 10 C C B B B B A B 2 BC

More information

2 1. Ubuntu 1.1 OS OS OS ( OS ) OS ( OS ) VMware Player VMware Player jp/download/player/ URL VMware Plaeyr VMware

2 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 information

140 120 100 80 60 40 20 0 115 107 102 99 95 97 95 97 98 100 64 72 37 60 50 53 50 36 32 18 H18 H19 H20 H21 H22 H23 H24 H25 H26 H27 1 100 () 80 60 40 20 0 1 19 16 10 11 6 8 9 5 10 35 76 83 73 68 46 44 H11

More information

25 2 15 4 1 1 2 1 2.1............................. 1 2.2............................... 2 2.3.................... 5 2.4..................... 6 3 6 3.1.................................... 6 3.2..........................

More information

Windows 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

Windows 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 information

54 144 144 144 144 144 80 152 84 122 HTML

54 144 144 144 144 144 80 152 84 122 HTML 54 144 144 144 144 144 80 152 84 122 HTML P20 P24 P28 P40 P54 P84 P122 P138 P144 P152 P220 P234 P240 P242 1 1-1 1-2 1-3 1-4 1-5 1 1-6 1 2 2-1 2-2 A C D E F 2 G H I 2-3 2-4 C D E E A 2

More information

¥¤¥ó¥¿¡¼¥Í¥Ã¥È·×¬¤È¥Ç¡¼¥¿²òÀÏ Âè3²ó

¥¤¥ó¥¿¡¼¥Í¥Ã¥È·×¬¤È¥Ç¡¼¥¿²òÀÏ Âè3²ó 3 2011 5 25 :gnuplot 2 / 26 : 3 / 26 web server accesslog mail log syslog firewall log IDS log 4 / 26 : ( ) 5 / 26 ( ) 6 / 26 (syslog API ) RRD (Round Robin Database) : 5 1 2 1 1 1 web 7 / 26 web server

More information

PSCHG000.PS

PSCHG000.PS a b c a ac bc ab bc a b c a c a b bc a b c a ac bc ab bc a b c a ac bc ab bc a b c a ac bc ab bc de df d d d d df d d d d d d d a a b c a b b a b c a b c b a a a a b a b a

More information

syspro-0405.ppt

syspro-0405.ppt 3 4, 5 1 UNIX csh 2.1 bash X Window 2 grep l POSIX * more POSIX 3 UNIX. 4 first.sh #!bin/sh #first.sh #This file looks through all the files in the current #directory for the string yamada, and then prints

More information

/

/ / 1 UNIX AWK( ) 1.1 AWK AWK AWK A.V.Aho P.J.Weinberger B.W.Kernighan 3 UNIX AWK GNU AWK 1 1.2 1 mkdir ~/data data ( ) cd data 1 98 MS DOS FD 1 2 AWK 2.1 AWK 1 2 1 byte.data 1 byte.data 900 0 750 11 810

More information

2.4.7 \ AWK AWK......

2.4.7 \ AWK AWK...... AWK ogurisu@lagendra.s.kanazawa-u.ac.jp 2001 1 8 ( ): 1 2002 10 10 ( ): 1.1 AWK C Java AWK perl, ruby web AWK A4 A4 1 ( :p) 2 1 AWK 2 2 AWK 4 2.1 AWK............................... 5 2.2 AWK NR NF.....................................

More information

> > <., vs. > x 2 x y = ax 2 + bx + c y = 0 2 ax 2 + bx + c = 0 y = 0 x ( x ) y = ax 2 + bx + c D = b 2 4ac (1) D > 0 x (2) D = 0 x (3

> > <., vs. > x 2 x y = ax 2 + bx + c y = 0 2 ax 2 + bx + c = 0 y = 0 x ( x ) y = ax 2 + bx + c D = b 2 4ac (1) D > 0 x (2) D = 0 x (3 13 2 13.0 2 ( ) ( ) 2 13.1 ( ) ax 2 + bx + c > 0 ( a, b, c ) ( ) 275 > > 2 2 13.3 x 2 x y = ax 2 + bx + c y = 0 2 ax 2 + bx + c = 0 y = 0 x ( x ) y = ax 2 + bx + c D = b 2 4ac (1) D >

More information

橡SPA2000.PDF

橡SPA2000.PDF XSLT ( ) d-oka@is.s.u-tokyo.ac.jp ( ) hagiya@is.s.u-tokyo.ac.jp XSLT(eXtensible Stylesheet Language Transformations) XML XML XSLT XSLT XML XSLT XML XSLT XML XML XPath XML XSLT XPath XML XSLT,XPath 1 XSLT([6])

More information

) 9 81

) 9 81 4 4.0 2000 ) 9 81 10 4.1 natural numbers 1, 2, 3, 4, 4.2, 3, 2, 1, 0, 1, 2, 3, integral numbers integers 1, 2, 3,, 3, 2, 1 1 4.3 4.3.1 ( ) m, n m 0 n m 82 rational numbers m 1 ( ) 3 = 3 1 4.3.2 3 5 = 2

More information

Sokushu2_perl

Sokushu2_perl hello.pl Perl print("hello, Bioinformatics!\n"); $ perl hello.pl 1 2 hello.pl print("hello, Bioinformatics!\n"); $ perl hello.pl 3 4 hello.pl 3 hello.pl Perl Perl Perl Perl print("hello, Bioinformatics!\n

More information

UnixText2.pptx

UnixText2.pptx Unix Unix! grep! sed! sort! cut! join! awk! (grep)! grep ' ' [...]! grep 'GO' 1433B_HUMAN.sprot!! 1433B_HUMAN.sprot GO grep '^FT' 1433B_HUMAN.sprot!! 1433B_HUMAN.sprot FT! grep -v! grep -i! grep -w!!!

More information

Introduction_analysis_and_query_dsl_for_print.key

Introduction_analysis_and_query_dsl_for_print.key ! 2014/04/21 @johtani Twitter @johtani lucene-gosen elasticsearch-extended-analyze http://blog.johtani.info ElasticSearch Server 0.90.x Kibana Kuromoji KindleBOOKWALKER Doorkeeper Doorkeeper http://elasticsearch.doorkeeper.jp!

More information

vii iii I GLOBAL GLOBAL.....

vii iii I GLOBAL GLOBAL..... vii iii I 1 1 3 1.1............................. 3 1.2................................... 4 1.2.1 GLOBAL.......................... 4 1.2.2 GLOBAL.............................. 4 1.2.3............... 4

More information

A/B (2018/10/19) Ver kurino/2018/soft/soft.html A/B

A/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 information

, ,279 w

, ,279 w No.482 DEC. 200315 14 1754,406 100.0 2160,279 w 100 90 80 70 60 50 40 30 20 10 28.9 23.8 25.0 19.3 30.4 25.0 29.5 80.7 75.0 75.0 70.5 71.1 69.6 76.2 7 8 9 10 11 12 13 23.2 76.8 14 14 1751,189 100.0 2156,574

More information

double float

double 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 information

10/ / /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

10/ / /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 information

untitled

untitled 19 Email 2008.3.3 1. Email 2. Email 3. 3.1. Subject line 3.2. Salutation 3.3. Opening line 3.4. Text 3.5. Closing line 3.6 Signature 4. 5. 6. 6.1. PPlan 6.2. WWrite 6.3. PProofread 6.4. SSend 1/20 1. Email

More information

unix.dvi

unix.dvi 1 UNIX 1999 4 27 1 UNIX? 2 1.1 Windows/Macintosh? : : : : : : : : : : : : : : : : : : : : : : : : 2 1.2 UNIX OS : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 1.3 : : : : : : : : : : : :

More information

LAN

LAN HUB 1090248 21 3 19 1 1 2 3 2.1...................................... 3 2.1.1................................ 4 2.1.2 LAN................................. 6 2.2................................... 8 3 12

More information

(2 Linux Mozilla [ ] [ ] [ ] [ ] URL 2 qkc, nkc ~/.cshrc (emacs 2 set path=($path /usr/meiji/pub/linux/bin tcsh b

(2 Linux Mozilla [ ] [ ] [ ] [ ] URL   2 qkc, nkc ~/.cshrc (emacs 2 set path=($path /usr/meiji/pub/linux/bin tcsh b II 5 (1 2005 5 26 http://www.math.meiji.ac.jp/~mk/syori2-2005/ UNIX (Linux Linux 1 : 2005 http://www.math.meiji.ac.jp/~mk/syori2-2005/jouhousyori2-2005-00/node2. html ( (Linux 1 2 ( ( http://www.meiji.ac.jp/mind/tool/internet-license/

More information

UNIX

UNIX 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

¥¤¥ó¥¿¡¼¥Í¥Ã¥È·×¬¤È¥Ç¡¼¥¿²òÀÏ Âè11²ó

¥¤¥ó¥¿¡¼¥Í¥Ã¥È·×¬¤È¥Ç¡¼¥¿²òÀÏ Âè11²ó 11 2013 6 19 11 (6/19) 6 (18:10-19:40) λ13 UNIX : 2 / 26 UNIX UNIX sort, head, tail, cat, cut diff, tee, grep, uniq, wc join, find, sed, awk, screen 3 / 26 sort sort : $ sort [options] [FILE...] options

More information

平成23年度 児童・生徒の学力向上を図るための調査 中学校第2 学年 外国語(英語) 調査票

平成23年度 児童・生徒の学力向上を図るための調査 中学校第2 学年 外国語(英語) 調査票 I played tennis in the park. I watched TV at home. I went there yesterday. I went there with my sister. Yes, please. I m sorry. Here you are. Thank you. It s nice. I m fine. Nice to meet you. It s mine.

More information

ML Edinburgh LCF ML Curry-Howard ML ( ) ( ) ( ) ( ) 1

ML Edinburgh LCF ML Curry-Howard ML ( ) ( ) ( ) ( ) 1 More Logic More Types ML/OCaml GADT Jacques Garrigue ( ) Jacques Le Normand (Google) Didier Rémy (INRIA) @garriguejej ocamlgadt ML Edinburgh LCF ML Curry-Howard ML ( ) ( ) ( ) ( ) 1 ( ) ML type nebou and

More information

2

2 2 3 Page 4 5 6 A-1B-1 C0 D0 E0 F0 G0 A0 B0 C1 D1 E1 F1 G1 A1 B1 C2 D2 E2 F2 G2 A2 B2 C3 D3 E3 7 F3 G3 A3 B3 C4 D4 E4 F4 G4 A4 B4 C5 D5 E5 F5 G5 A5 B5 C6 D6 E6 F6 G6 A6 B6 C7 8 Page 9 1 2 3 1 2 10 1 11

More information

TEX American Mathematical Society PostScript Adobe Systems Incorporated

TEX American Mathematical Society PostScript Adobe Systems Incorporated P A D manual ( pad2ps 3.1j ) (seiichi@muraoka.info.waseda.ac.jp) 1996 11 2 TEX American Mathematical Society PostScript Adobe Systems Incorporated pad2ps PAD PAD (Problem Analysis Diagram) C 1 2 PAD PAD

More information

★20052G1.doc

★20052G1.doc Office I Office Application I: Word Processor Windows IME Word web 2002() FOM Programming C C C CQ Operating Systems I Windows, Linux OS I Linux OS Linux Linux vi X-Window i-node Linux/UNIX ISBN4-7973-2742-1

More information

DEFCON 2011 JRF

DEFCON 2011 JRF DEFCON 2011 JRF DEFCON 2011 DEFCON CTF Twitter @ asp 1 01. DEFCON 02. Capture The Flag(CTF) 03. DEFCON CTF 04. DEFCON CTF 05. DEFCON 06. 2 DEFCON 3 DEFCON Jeff Moss https://www.defcon.org/ 4 DEFCON 19

More information

I117 II I117 PROGRAMMING PRACTICE II SCRIPT LANGUAGE 1 Research Center for Advanced Computing Infrastructure (RCACI) / Yasuhiro Ohara

I117 II I117 PROGRAMMING PRACTICE II SCRIPT LANGUAGE 1 Research Center for Advanced Computing Infrastructure (RCACI) / Yasuhiro Ohara I117 II I117 PROGRAMMING PRACTICE II SCRIPT LANGUAGE 1 Research Center for Advanced Computing Infrastructure (RCACI) / Yasuhiro Ohara yasu@jaist.ac.jp / SCHEDULE 1. 2011/06/07(Tue) / Basic of Programming

More information

News_Letter_No35(Ver.2).p65

News_Letter_No35(Ver.2).p65 OCIAL AFETY CIENCE No.35 2000.8 from Institute of Social Safety Science 10 11 17 11 19 17 181819 18 420-0042 5-9-1 JR 25 Tel 054-251-7100-1 - 10 10 I (1) 12 11 17 19 (2) 5-9-1 JR 25 II (1) 12 9 18 (2)

More information

- 1 - - 2 - 10.8 24.9 24.6 28.1 38.1 43.8-3 - - 4 - - 5 - - 6 - - 7 - - 8 - 2 3-9 - - 10 - - 11 - - 12 - - 13 - - 14 - - 15 - - 16 - - 17 - - 18 - - 19 - - 20 - - 21 - - 22 - - 23 - - 24 - - 25 - - 26

More information

IP S ( :H ) ( ) ( :H22 4

IP S ( :H ) ( ) ( :H22 4 90 30 440 8515 4 101 0532 54 5111 0532 53 1379 IP 1. 2. 3. 11 1 1. 2. 12 0 1 2 3 8 0 8 0 8 S 5 5 0 5 2 1 13 0 5 0 4 (:H22 4 28 ) 1 1 0 5 () (:H22 4 28 ) 1 2 5 0 (: ) ー (: ) ー1 0 0 0 0 (: ) 1/26 50P7 21

More information

1 (1) vs. (2) (2) (a)(c) (a) (b) (c) 31 2 (a) (b) (c) LENCHAR

1 (1) vs. (2) (2) (a)(c) (a) (b) (c) 31 2 (a) (b) (c) LENCHAR () 601 1 () 265 OK 36.11.16 20 604 266 601 30.4.5 (1) 91621 3037 (2) 20-12.2 20-13 (3) ex. 2540-64 - LENCHAR 1 (1) vs. (2) (2) 605 50.2.13 41.4.27 10 10 40.3.17 (a)(c) 2 1 10 (a) (b) (c) 31 2 (a) (b) (c)

More information

</ul> (XXX ) 15 ( )15 35 (XXX ) 15 ( ) [4] HTML HTML HTML HTML 1. <!--- CONTENTS_TITLE_TABLE ---> <b><font size=+1>xxx </font></b> <sm

</ul> (XXX ) 15 ( )15 35 (XXX ) 15 ( ) [4] HTML HTML HTML HTML 1. <!--- CONTENTS_TITLE_TABLE ---> <b><font size=+1>xxx </font></b> <sm 1. 1 2006 9 5 AWK HTML 2 1 [4] AWK Yahoo! : http://headlines.yahoo.co.jp/hl HTML HTML [4] HTML HTML ( ) HTML 3 2 Yahoo! Yahoo! ( ) (XXX ) - 15 ( )15 35

More information

行列代数2010A

行列代数2010A a ij i j 1) i +j i, j) ij ij 1 j a i1 a ij a i a 1 a j a ij 1) i +j 1,j 1,j +1 a i1,1 a i1,j 1 a i1,j +1 a i1, a i +1,1 a i +1.j 1 a i +1,j +1 a i +1, a 1 a,j 1 a,j +1 a, ij i j 1,j 1,j +1 ij 1) i +j a

More information

C¥×¥í¥°¥é¥ß¥ó¥° ÆþÌç

C¥×¥í¥°¥é¥ß¥ó¥° ÆþÌç C (3) if else switch AND && OR (NOT)! 1 BMI BMI BMI = 10 4 [kg]) ( [cm]) 2 bmi1.c Input your height[cm]: 173.2 Enter Input your weight[kg]: 60.3 Enter Your BMI is 20.1. 10 4 = 10000.0 1 BMI BMI BMI = 10

More information

1,000 700-1 -

1,000 700-1 - 23 9 () - 0 - 1,000 700-1 - 2 3 ( 16:0017:00 ( 8:15 8:30 10:3010:50 8:00 8:10 8:10 9:30 11:0011:20 11:3015:30 16:0016:40 16:0016:10 16:50 21:00 4:00 4:006:00 6:00 6:1511:00 11:3012:00 12:3014:30 (1) ()

More information

扉・目次・INDEX/INDEX(2008)

扉・目次・INDEX/INDEX(2008) INDEX INDEX A I II I II I II INDEX I II B B I II I II I Essentials of Accountig Reviewninth ed II Essentials of Accountig Reviewninth ed I II I II III INDEX IV I II I III II II II III I I I I III News

More information

C1-202 / F-101 originally from 2014 4 15 3 1 3 C1 2 C1-202 F 1 F-101 PC imac MacPro OS Mac OS X C WWW L A TEX 2 3 4 e-mail kyama@tut.jp C-506 6767 5 2 2.1 ID ID 2.2 2.3 2.4 2.4.1 1. imac MacPro 2. 3.

More information

EPSON VP-1200 取扱説明書

EPSON VP-1200 取扱説明書 4020178-01 w p s 2 p 3 4 5 6 7 8 p s s s p 9 p A B p C 10 D p E 11 F G H H 12 p G I s 13 p s A D p B 14 C D E 15 F s p G 16 A B p 17 18 s p s 19 p 20 21 22 A B 23 A B C 24 A B 25 26 p s p s 27 28 p s p

More information

: gettoken(1) module P = Printf exception End_of_system (* *) let _ISTREAM = ref stdin let ch = ref ( ) let read () = (let c =!ch in ch := inp

: gettoken(1) module P = Printf exception End_of_system (* *) let _ISTREAM = ref stdin let ch = ref ( ) let read () = (let c =!ch in ch := inp 7 OCaml () 1. 2. () (compiler) (interpreter) 2 OCaml (syntax) (BNF,backus normal form ) 1 + 2; let x be 2-1 in x; ::= ; let be in ; ::= + - ::= * / ::= 7.1 ( (printable characters) (tokens) 1 (lexical

More information

( ) Shift JIS ( ) ASCII ASCII ( ) 8bit = 1 Byte JIS(Japan Industrial Standard) X 0201 (X ) 2 Byte JIS ISO-2022-JP, Shift JIS, EUC 1 Byte 2 By

( ) Shift JIS ( ) ASCII ASCII ( ) 8bit = 1 Byte JIS(Japan Industrial Standard) X 0201 (X ) 2 Byte JIS ISO-2022-JP, Shift JIS, EUC 1 Byte 2 By 23 3 ( ( (binary file) UNIX CUI 3.1 = + 2 bit ) ( 3.1) bit bit 1 Byte=8 bit 1 Byte ASCII, JIS X 0201 ASCII(American Standard Code for Information Interchange) 7bit (;) (:) ( ) (") ) 7bit ( ) 24 3 3.1 (

More information

13,825,228 3,707,995 26.8 4.9 25 3 8 9 1 50,000 0.29 1.59 70,000 0.29 1.74 12,500 0.39 1.69 12,500 0.55 10,000 20,000 0.13 1.58 30,000 0.00 1.26 5,000 0.13 1.58 25,000 40,000 0.13 1.58 50,000 0.00 1.26

More information

haskell.gby

haskell.gby Haskell 1 2 3 Haskell ( ) 4 Haskell Lisper 5 Haskell = Haskell 6 Haskell Haskell... 7 qsort [8,2,5,1] [1,2,5,8] "Hello, " ++ "world!" "Hello, world!" 1 + 2 div 8 2 (+) 1 2 8 div 2 3 4 map even [1,2,3,4]

More information

M41 JP Manual.indd

M41 JP Manual.indd i ii iii iv v vi vii 1 No / A-B EQ 2 MIC REC REC00001.WAV Stereo CH:01 0:00:00 1:50:00 3 4 5 6 7 8 9 10 11 12 1 1 F F A A 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 Φ 35 36 37 38

More information

WebOS aplat WebOS WebOS 3 XML Yahoo!Pipes Popfry UNIX grep awk XML GUI WebOS GUI GUI 4 CUI

WebOS aplat WebOS WebOS 3 XML Yahoo!Pipes Popfry UNIX grep awk XML GUI WebOS GUI GUI 4 CUI 7 XML Week Web WebOS WebShell WebOS WebOS GUI WebOS WebOS 2 WebOS aplat WebOS WebOS 3 XML Yahoo!Pipes Popfry UNIX grep awk XML GUI WebOS GUI GUI 4 CUI CUI JavaScript I/O CommandClass WebShell webshell

More information

01-24C

01-24C Public Relations KIKUYO TOWN Public Relation 7 7 7 Happy Birthday! Happy Birthday! Happy Birthday! 2 4 7 8 13 13 14 14 2 4 7 8 13 14 MY HOME TOWN KIKUYO 2011.7 MY HOME TOWN KIKUYO 2011.7 MY HOME TOWN KIKUYO

More information

第5回お試しアカウント付き並列プログラミング講習会

第5回お試しアカウント付き並列プログラミング講習会 qstat -l ID (qstat -f) qscript ID BATCH REQUEST: 253443.batch1 Name: test.sh Owner: uid=32637, gid=30123 Priority: 63 State: 1(RUNNING) Created at: Tue Jun 30 05:36:24 2009 Started at: Tue Jun 30 05:36:27

More information

01

01 2 0 0 7 0 3 2 2 i n d e x 0 7. 0 2. 0 3. 0 4. 0 8. 0 9. 1 0. 1 1. 0 5. 1 2. 1 3. 1 4. 1 5. 1 6. 1 7. 1 8. 1 9. 2 0. 2 1. 2 3. 2 4. 2 5. 2 6. O k h o t s k H a m a n a s u B e e f 0 2 http://clione-beef.n43.jp

More information

X Window System X X &

X Window System X X & 1 1 1.1 X Window System................................... 1 1.2 X......................................... 1 1.3 X &................................ 1 1.3.1 X.......................... 1 1.3.2 &....................................

More information

I I / 68

I I / 68 2013.07.04 I 2013 3 I 2013.07.04 1 / 68 I 2013.07.04 2 / 68 I 2013.07.04 3 / 68 heat1.f90 heat2.f90 /tmp/130704/heat2.f90 I 2013.07.04 4 / 68 diff heat1.f90 heat2.f90!! heat2. f 9 0! c m > NGRID! c nmax

More information

A/B (2010/10/08) Ver kurino/2010/soft/soft.html A/B

A/B (2010/10/08) Ver kurino/2010/soft/soft.html A/B A/B (2010/10/08) Ver. 1.0 kurino@math.cst.nihon-u.ac.jp http://edu-gw2.math.cst.nihon-u.ac.jp/ kurino/2010/soft/soft.html 2010 10 8 A/B 1 2010 10 8 2 1 1 1.1 OHP.................................... 1 1.2.......................................

More information

H27 28 4 1 11,353 45 14 10 120 27 90 26 78 323 401 27 11,120 D A BC 11,120 H27 33 H26 38 H27 35 40 126,154 129,125 130,000 150,000 5,961 11,996 6,000 15,000 688,684 708,924 700,000 750,000 1300 H28

More information

本チュートリアルについて 14 部構成 比較的簡単なトピックから 各回 プログラミング言語 任意 チュートリアルで 新しい内容 宿題 プログラミング演習 次の週 結果について発表 もしくは話し合いをする スライドは Python で Python, C++, Java, Perl についての質問い答

本チュートリアルについて 14 部構成 比較的簡単なトピックから 各回 プログラミング言語 任意 チュートリアルで 新しい内容 宿題 プログラミング演習 次の週 結果について発表 もしくは話し合いをする スライドは Python で Python, C++, Java, Perl についての質問い答 自然言語処理プログラミング勉強会 0 プログラミング入門 Graham Neubig 奈良先端科学技術大学院大学 (NAIST) 1 本チュートリアルについて 14 部構成 比較的簡単なトピックから 各回 プログラミング言語 任意 チュートリアルで 新しい内容 宿題 プログラミング演習 次の週 結果について発表 もしくは話し合いをする スライドは Python で Python, C++, Java,

More information

1 2 3 4 5 6 X Y ABC A ABC B 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 13 18 30 P331 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 ( ) 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59

More information

26 2 3 4 5 8 9 6 7 2 3 4 5 2 6 7 3 8 9 3 0 4 2 4 3 4 4 5 6 5 7 6 2 2 A B C ABC 8 9 6 3 3 4 4 20 2 6 2 2 3 3 4 4 5 5 22 6 6 7 7 23 6 2 2 3 3 4 4 24 2 2 3 3 4 4 25 6 2 2 3 3 4 4 26 2 2 3 3 27 6 4 4 5 5

More information

mogiJugyo_slide_full.dvi

mogiJugyo_slide_full.dvi a 2 + b 2 = c 2 (a, b, c) a 2 a 2 = a a a 1/ 78 2/ 78 3/ 78 4/ 78 180 5/ 78 http://www.kaijo.ed.jp/ 6/ 78 a, b, c ABC C a b B c A C 90 a 2 + b 2 = c 2 7/ 78 C a b a 2 +b 2 = c 2 B c A a 2 a a 2 = a a 8/

More information

解きながら学ぶC言語

解きながら学ぶ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 information

(CC Attribution) Lisp 2.1 (Gauche )

(CC Attribution) Lisp 2.1 (Gauche ) http://www.flickr.com/photos/dust/3603580129/ (CC Attribution) Lisp 2.1 (Gauche ) 2 2000EY-Office 3 4 Lisp 5 New York The lisps Sammy Tunis flickr lisp http://www.flickr.com/photos/dust/3603580129/ (CC

More information

2001 1.1 1.3 1.4 1.3 1 1.5 1.4Excel 2.1 Excel 2.1 2.2 1.1 Excel ID 230

2001 1.1 1.3 1.4 1.3 1 1.5 1.4Excel 2.1 Excel 2.1 2.2 1.1 Excel ID 230 229245 2001 Automatic Processing System on Internet Text Messages(II) Automatic Generation of Roll Sheets EDO Hiroyuki and SAKAMOTO Yoshiyuki 1.1 Excel 1.1 1.2 11 151 229 2001 1.1 1.3 1.4 1.3 1 1.5 1.4Excel

More information

GNU Emacs GNU Emacs

GNU Emacs GNU Emacs GNU Emacs 2015 10 2 1 GNU Emacs 1 1.1....................................... 1 1.2....................................... 1 1.2.1..................................... 1 1.2.2.....................................

More information

csj-report.pdf

csj-report.pdf 527 9 CSJ CSJ CSJ 1 8 XML CSJ XML Browser (MonoForC) CSJ 1.7 CSJ CSJ CSJ 9.1 GREP GREP Unix Windows Windows (http://www.vector.co.jp/) Trn Windows Trn > > grep *.trn 528 9 CSJ A01F0132.trn:& A01M0097.trn:&

More information

untitled

untitled yoshi@image.med.osaka-u.ac.jp http://www.image.med.osaka-u.ac.jp/member/yoshi/ II Excel, Mathematica Mathematica Osaka Electro-Communication University (2007 Apr) 09849-31503-64015-30704-18799-390 http://www.image.med.osaka-u.ac.jp/member/yoshi/

More information

C. S2 X D. E.. (1) X S1 10 S2 X+S1 3 X+S S1S2 X+S1+S2 X S1 X+S S X+S2 X A. S1 2 a. b. c. d. e. 2

C. S2 X D. E.. (1) X S1 10 S2 X+S1 3 X+S S1S2 X+S1+S2 X S1 X+S S X+S2 X A. S1 2 a. b. c. d. e. 2 I. 200 2 II. ( 2001) 30 1992 Do X for S2 because S1(is not desirable) XS S2 A. S1 S2 B. S S2 S2 X 1 C. S2 X D. E.. (1) X 12 15 S1 10 S2 X+S1 3 X+S2 4 13 S1S2 X+S1+S2 X S1 X+S2. 2. 3.. S X+S2 X A. S1 2

More information

Ruby Ruby ruby Ruby G: Ruby>ruby Ks sample1.rb G: Ruby> irb (interactive Ruby) G: Ruby>irb -Ks irb(main):001:0> print( ) 44=>

Ruby Ruby ruby Ruby G: Ruby>ruby Ks sample1.rb G: Ruby> irb (interactive Ruby) G: Ruby>irb -Ks irb(main):001:0> print( ) 44=> Ruby Ruby 200779 ruby Ruby G: Ruby>ruby Ks sample1.rb G: Ruby> irb (interactive Ruby) G: Ruby>irb -Ks irb(main):001:0> print( 2+3+4+5+6+7+8+9 ) 44 irb(main):002:0> irb irb(main):001:0> 1+2+3+4 => 10 irb(main):002:0>

More information

新たな基礎年金制度の構築に向けて

新たな基礎年金制度の構築に向けて [ ] 1 1 4 60 1 ( 1 ) 1 1 1 4 1 1 1 1 1 4 1 2 1 1 1 ( ) 2 1 1 1 1 1 1 1996 1 3 4.3(2) 1997 1 65 1 1 2 1/3 ( )2/3 1 1/3 ( ) 1 1 2 3 2 4 6 2.1 1 2 1 ( ) 13 1 1 1 1 2 2 ( ) ( ) 1 ( ) 60 1 1 2.2 (1) (3) ( 9

More information

002-2

002-2 2 4 6 9 13 Public Relations KIKUYO TOWN Public Relation 5 5 5 Happy Birthday! Happy Birthday! Happy Birthday! MY HOME TOWN KIKUYO 2011.5 MY HOME TOWN KIKUYO 2011.5 MY HOME TOWN KIKUYO 2011.5 MY HOME TOWN

More information

VLD Kazutoshi Kobayashi

VLD Kazutoshi Kobayashi VLD Kazutoshi Kobayashi (kobayasi@kuee.kyoto-u.ac.jp) 2005 8 26-29 1, Verilog-HDL, Verilog-HDL. Verilog-HDL,, FPGA,, HDL,. 1.1, 1. (a) (b) (c) FPGA (d). 2. 10,, Verilog-HDL, FPGA,. 1.2,,,, html. % netscape

More information

¥¤¥ó¥¿¡¼¥Í¥Ã¥È·×¬¤È¥Ç¡¼¥¿²òÀÏ Âè2²ó

¥¤¥ó¥¿¡¼¥Í¥Ã¥È·×¬¤È¥Ç¡¼¥¿²òÀÏ Âè2²ó 2 2015 4 20 1 (4/13) : ruby 2 / 49 2 ( ) : gnuplot 3 / 49 1 1 2014 6 IIJ / 4 / 49 1 ( ) / 5 / 49 ( ) 6 / 49 (summary statistics) : (mean) (median) (mode) : (range) (variance) (standard deviation) 7 / 49

More information

EPSON エプソンプリンタ共通 取扱説明書 ネットワーク編

EPSON エプソンプリンタ共通 取扱説明書 ネットワーク編 K L N K N N N N N N N N N N N N L A B C N N N A AB B C L D N N N N N L N N N A L B N N A B C N L N N N N L N A B C D N N A L N A L B C D N L N A L N B C N N D E F N K G H N A B C A L N N N N D D

More information