process-calculus-basic.ppt

Size: px
Start display at page:

Download "process-calculus-basic.ppt"

Transcription

1 講義資料のDFを下記のURL から辿れるようにする 国立情報学研究所 佐藤一郎 E-mil: 物流用コンテナにサーバ格納 コンテナ一個に1000台以上の コンテナに刺さっているホースは冷水を 引き入れと サーバーの冷却に利用した 後の温水の排出 データセンターの電力消費の は冷却コスト データセンターの省電力化 狭い密閉された空間で熱い空気を冷やす UE = データセンタ全体の消費電力 水冷を使用する IT機器による消費電力 Rckleの工場 現在 省電力効率の良いデータセンターはコンテナ形 Hのコンテナ型データセンターのUEは1.25 Googleのコンテナ型データセンターのUEは1.19 国内の最新データセンターのUEは2 (普通は4 5)

2 ( GoogleMicrosoft 1500 Microsoft5000 Softwre-s--ServiceSS SSS Grid Computing Grid Computing GC SS CRM

3 HSHrdwre s Service/ IS (Infrstructure s Service) ()Amzon EC2 (Elstic Compute Cloud)S3 (Simple Storge Service) DSDtse s Service Amzon.com SimpleDBMicrosoftSSDS (SL Server Dt Service) Sltform s Service Slesforce.comForce.comMicrosoft AzureGoogleGoogle App Engine SSSoftwre s Service Slesforce.comCRM/SFA Google Google 1 2 Google 1 Google Amzon EC2 Google App Engine Microsoft Windows Azure

4 Resizle compute cpcity in the cloud. Otin nd oot new server instnces in minutes uickly scle cpcity, up or down, s your computing requirements chnge Full root ccess to lnk Linux mchine Simple We service mngement interfce Chnges the economics of computing: y only for cpcity tht you ctully use + c ecomes just c Smll Lrge Extr Lrge Bits RAM 1.7 GB 7.5 GB 15 GB Disk 160 GB 850 GB 1690 GB EC2 Compute Units I/O erformnce Medium High High Firewll Yes Yes Yes ulic AMIs: Use pre-configured, templte AMIs to get up nd running immeditely. Choose from Fedor, Movle Type, Ununtu configurtions, nd more rivte AMIs: Crete n Amzon Mchine Imge (AMI) contining your pplictions, lirries, dt nd ssocited configurtion settings id AMIs: Set price for your AMI nd let others purchse nd use it (Single pyment nd/or per hour) 1000 DC

5 SI SI () (py-per-use) Slseforce.com SOA ( ) SI SI IT

6 E-mil: A B A B C C A B A B

7 c 0 = = +d 3 =c + 3 d 3 3 = =(c +d 3 ) =c c = +c c = +c c 100 3

8 rocess Clculus rocess Alger input input output System = def (...c. ) input output input output c output c : = 0.. τ. + \ L A L A=A

9 A ::= c A d e B f B ::= g Structurl Opertionl Semntics (SOS) ::= op op op () Sttement ::= Sttement ; Sttement if Condition then Sttement else Sttement endif while Condition do Sttement od Condition ::= true flse + = + +(+c) = (+)+c (+)c = c+ Sttement-1 Sttement-1 Sttement-1 ; Sttement-2 Sttement-1 ; Sttement-2 Condition = true if Condition then Sttement-1 else Sttement-2 endif Sttement-1 Condition = flse if Condition then Sttement-1 else Sttement-2 endif Sttement-2 Condition = true while Condition do Sttement od Sttement ; while Condition do Sttement od Condition = flse while Condition do Sttement od ε + = ()c = (c) '. + ' CCSACCS ' '

10 Leled Trnsition System (LTS) () input output input output c = def.. = def.c. input output input output c System = def (...c. ) input output input System = def (...c. ) output c input output input output c : = ' ' ' + ' ' + '

11 . ' + ' + ' + ' ' ( ( L L)) \ L ' \ L. ' ' ' ' =money.(juice.+money.coffee.) =money.money.coffee.+money.juice R ' ' ' ' R 0 R 2 ' ' τ ' ' τ

12 . +.. R τ R. +.. R. R. +.. R. +. R (). +.. R. R (. +.. R )\{, } τ ( R ) \ {, } ()

13 { } CCS { } c R {, c } { c } c { } c R {, c } (Store-Crry-Forwrd) (S)(R)(C) S = send.s T S = dt S.strt.(ck.S+timeout.S ) T = strt.timeout.t C = dt S.(dt R.C+τ.C) + ck R.(ck S.C+τ.C) R = dt R.ck R.receive.R

2 1,384,000 2,000,000 1,296,211 1,793,925 38,000 54,500 27,804 43,187 41,000 60,000 31,776 49,017 8,781 18,663 25,000 35,300 3 4 5 6 1,296,211 1,793,925 27,804 43,187 1,275,648 1,753,306 29,387 43,025

More information

1 2 2 4 4 6 8 20 51 60 61 64 65 65 67 69 69 70 72 12 104,007 13.9 40.7 34.6 2030 16 1 21 1 16 1 1 1979 1979 25 30 12 25 2 60 2 2 3 16 1 1 1/2500 1979 16 9 4 5 16 11 16 12 6 7 3,214 146,390 977 30.4% 39,658

More information

2004年度版「労働組合の会計税務に係る実務マニュアル」の販売について

2004年度版「労働組合の会計税務に係る実務マニュアル」の販売について URL http://www.rofuku.net 7/17/14 7/127/28 7/268/11 8/12 ( ) FAX ( ) ( ) ( ) @ ( ) ( ) @ ( ) ( ) @ ( ) ( ) @ ( ) ( ) @ (1) YES NO NO YES 1,000 NO YES NO YES YES NO 1,000 YES 5,000 NO NO YES NO YES

More information

3 ( 9 ) ( 13 ) ( ) 4 ( ) (3379 ) ( ) 2 ( ) 5 33 ( 3 ) ( ) 6 10 () 7 ( 4 ) ( ) ( ) 8 3() 2 ( ) 9 81

3 ( 9 ) ( 13 ) ( ) 4 ( ) (3379 ) ( ) 2 ( ) 5 33 ( 3 ) ( ) 6 10 () 7 ( 4 ) ( ) ( ) 8 3() 2 ( ) 9 81 1 ( 1 8 ) 2 ( 9 23 ) 3 ( 24 32 ) 4 ( 33 35 ) 1 9 3 28 3 () 1 (25201 ) 421 5 ()45 (25338 )(2540 )(1230 ) (89 ) () 2 () 3 ( ) 2 ( 1 ) 3 ( 2 ) 4 3 ( 9 ) ( 13 ) ( ) 4 ( 43100 ) (3379 ) ( ) 2 ( ) 5 33 ( 3 )

More information

PBASIC 2.5 PBASIC 2.5 $PBASIC directive PIN type New DEBUG control characters DEBUGIN Line continuation for comma-delimited lists IF THEN ELSE * SELEC

PBASIC 2.5 PBASIC 2.5 $PBASIC directive PIN type New DEBUG control characters DEBUGIN Line continuation for comma-delimited lists IF THEN ELSE * SELEC PBASIC 2.5 PBASIC 2.5 BASIC Stamp Editor / Development System Version 2.0 Beta Release 2 2.0 PBASIC BASIC StampR PBASIC PBASIC PBASIC 2.5 Parallax, Inc. PBASIC 2.5 PBASIC 2.5 support@microbot-ed.com 1

More information

Microsoft Word - Win-Outlook.docx

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

25 II :30 16:00 (1),. Do not open this problem booklet until the start of the examination is announced. (2) 3.. Answer the following 3 proble

25 II :30 16:00 (1),. Do not open this problem booklet until the start of the examination is announced. (2) 3.. Answer the following 3 proble 25 II 25 2 6 13:30 16:00 (1),. Do not open this problem boolet until the start of the examination is announced. (2) 3.. Answer the following 3 problems. Use the designated answer sheet for each problem.

More information

ドライバインストールガイド

ドライバインストールガイド PRIMERGY Single Port ファイバーチャネルカード (8Gbps) Dual Port ファイバーチャネルカード (8Gbps) (PG-FC205/PG-FC205L) (PG-FC206/PG-FC206L) CA092276-8938-01 ドライバインストールガイド i 目次 1. ドライバのインストール / アンインストール方法... 3 1.1. ドライバのダウンロード

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

.......p...{..P01-48(TF)

.......p...{..P01-48(TF) 1 2 3 5 6 7 8 9 10 Act Plan Check Act Do Plan Check Do 11 12 13 14 INPUT OUTPUT 16 17 18 19 20 21 22 23 24 25 26 27 30 33 32 33 34 35 36 37 36 37 38 33 40 41 42 43 44 45 46 47 48 49 50 51 1. 2. 3.

More information

MATLAB® における並列・分散コンピューティング ~ Parallel Computing Toolbox™ & MATLAB Distributed Computing Server™ ~

MATLAB® における並列・分散コンピューティング ~ Parallel Computing Toolbox™ & MATLAB Distributed Computing Server™ ~ MATLAB における並列 分散コンピューティング ~ Parallel Computing Toolbox & MATLAB Distributed Computing Server ~ MathWorks Japan Application Engineering Group Takashi Yoshida 2016 The MathWorks, Inc. 1 System Configuration

More information

SiLK Night #3 nakama 2011/12/19 1

SiLK Night #3 nakama 2011/12/19 1 SiLK Night #3 nakama 2011/12/19 1 FB History from SiLK Night #1,2 2 3 Being The NET Frontier! 4 5 Smart Infra ISP 6 Smart Infra B2C (DTI) SI/ 7 V 400 300 200 100 0-100 -200 8 2010 IT 2 9 Smart Infra B2C

More information

VDM-SL VDM VDM-SL Toolbox VDM++ Toolbox 1 VDM-SL VDM++ Web bool

VDM-SL VDM VDM-SL Toolbox VDM++ Toolbox 1 VDM-SL VDM++ Web bool VDM-SL VDM++ 23 6 28 VDM-SL Toolbox VDM++ Toolbox 1 VDM-SL VDM++ Web 2 1 3 1.1............................................... 3 1.1.1 bool......................................... 3 1.1.2 real rat int

More information

FileMaker Cloud App FileMaker Pro FileMaker Go FileMaker WebDirect App FileMaker Cloud Amazon Web Services (AWS) Marketplace AWS FileMaker Server File

FileMaker Cloud App FileMaker Pro FileMaker Go FileMaker WebDirect App FileMaker Cloud Amazon Web Services (AWS) Marketplace AWS FileMaker Server File An Apple Subsidiary FileMaker Cloud Version 1.16 October 2017 FileMaker Cloud App FileMaker Pro FileMaker Go FileMaker WebDirect App FileMaker Cloud Amazon Web Services (AWS) Marketplace AWS FileMaker

More information

quattro.PDF

quattro.PDF Quattro USB Audio Interface 2 M-AUDIO 3 Windows Windows 98 SE/ Windows ME/ Windows 2000/ Windows XP Platinum III 500MHz/ 96kHz Platinum II 400MKz/ 48kHz 128MB RAM / 96kHz 64MB RAM/ 48kHz Macintosh USB

More information

Microsoft Word - D JP.docx

Microsoft Word - D JP.docx Application Service Gateway Thunder/AX Series vthunder ライセンスキー インストール 手順 1 1.... 3 2. vthunder... 3 3. ACOS... 3 4. ID... 5 5.... 8 6.... 8 61... 8 62 GUI... 10 2 1. 概要 2. vthunder へのアクセス 方法 SSHHTTPSvThunder

More information

N manual_JP.PDF

N manual_JP.PDF NEC Express5800 - 1 - N8103-73 ESMPRO/ServerManagerServerAgent Power Console Plus Express5800 EXPRESSBUILDER Version 3.077-N(1) Version 3.078a-N 1): - 2 - Windows NT 4.0 Microsoft Windows NT Server 4.0

More information

How to Automate Using PowerShell-JP

How to Automate Using PowerShell-JP PowerShell IT PowerShell IT IT IT Excel 1 PowerShell IT PowerShell $ $ IT PowerShell Windows PowerShell Copy-Item DOS Windows Windows PowerShell 1 PowerShell PowerShell Windows PowerShell PowerShell PowerShell

More information

if clear = 1 then Q <= " "; elsif we = 1 then Q <= D; end rtl; regs.vhdl clk 0 1 rst clear we Write Enable we 1 we 0 if clk 1 Q if rst =

if clear = 1 then Q <=  ; elsif we = 1 then Q <= D; end rtl; regs.vhdl clk 0 1 rst clear we Write Enable we 1 we 0 if clk 1 Q if rst = VHDL 2 1 VHDL 1 VHDL FPGA VHDL 2 HDL VHDL 2.1 D 1 library ieee; use ieee.std_logic_1164.all; use ieee.std_logic_unsigned.all; regs.vhdl entity regs is clk, rst : in std_logic; clear : in std_logic; we

More information

,,.,,., II,,,.,,.,.,,,.,,,.,, II i

,,.,,., II,,,.,,.,.,,,.,,,.,, II i 12 Load Dispersion Methods in Thin Client Systems 1010405 2001 2 5 ,,.,,., II,,,.,,.,.,,,.,,,.,, II i Abstract Load Dispersion Methods in Thin Client Systems Noritaka TAKEUCHI Server Based Computing by

More information

取扱説明書

取扱説明書 c TE-2000 TE-2000-5S TE-2000-10M OP 168 PGM OP PGM L J # - p P F f ø m x r t Å v u y 19 0^. R!º d E s i c k 1234%678 1234%678 y r 100V 31 1 2 ) 3 ) 1 2 3 4 5 6 7 5 1 6 2 7 3 8 J J 4 9 ) ) ) ) ) ) )

More information

Web Web Web Web Web, i

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

OPA134/2134/4134('98.03)

OPA134/2134/4134('98.03) OPA OPA OPA OPA OPA OPA OPA OPA OPA TM µ Ω ± ± ± ± + OPA OPA OPA Offset Trim Offset Trim Out A V+ Out A Out D In +In V+ Output In A +In A A B Out B In B In A +In A A D In D +In D V NC V +In B V+ V +In

More information

Hospitality-mae.indd

Hospitality-mae.indd Hospitality on the Scene 15 Key Expressions Vocabulary Check PHASE 1 PHASE 2 Key Expressions A A Contents Unit 1 Transportation 2 Unit 2 At a Check-in Counter (hotel) 7 Unit 3 Facilities and Services (hotel)

More information

untitled

untitled NEC Express5800 Microsoft Windows Server 2003, standard x64 Edition/ Microsoft Windows Server 2003, Enterprise x64 Edition for Express5800/120Lh ) MicrosoftWindows Microsoft Corporation Windows Server

More information

はじめに

はじめに IT 1 NPO (IPEC) 55.7 29.5 Web TOEIC Nice to meet you. How are you doing? 1 type (2002 5 )66 15 1 IT Java (IZUMA, Tsuyuki) James Robinson James James James Oh, YOU are Tsuyuki! Finally, huh? What's going

More information

¥×¥í¥°¥é¥ß¥ó¥°±é½¬I Exercise on Programming I [1zh] ` `%%%`#`&12_`__~~~ alse

¥×¥í¥°¥é¥ß¥ó¥°±é½¬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 information

Kumagai09-hi-2.indd

Kumagai09-hi-2.indd CSR2009 CONTENTS 1 2 3 4 5 6 7 8 9 10 350 11 12 13 14 15 16 17 18 Do Check Action Plan 19 20 INPUT r r r r k k OUTPUT 21 22 Plan Action Check Do 23 24 25 26 27 28 16:50 7:30 8:00 8:30 9:30 10:00 18:00

More information

PFQX2227_ZA

PFQX2227_ZA V E -G P 05D B Ni-MH 1 2 3 4 5 6 1 2 3 4 5 6 A B C D E F 1 2 A B C 1 2 3 2 0 7 9 4 6 6 4 7 9 1 2 3 # 6 6 2 D11 D12 D21 D22 19 # # # # Ni-MH Ω Ω

More information

『赤すぐ』『妊すぐ』<出産・育児トレンド調査2003>

『赤すぐ』『妊すぐ』<出産・育児トレンド調査2003> 79.9 1.6 UP 86.6% 7.0 UP 61.3% 12.7UP 18-24 3 66.6 3.0 UP 38.7 0.7 UP 14.8 1.9 UP 13.3 0.3UP 4 1 024 1.23 0.01down Topics 5 79.9 1.6UP 7.0 UP 12.7U 3.5 0.4 UP 3.4 0.4 UP 6 73.1% 5.7 UP 75.0% 71.2% 7 53.9%

More information

2015-s6-4g-pocket-guidebook_H1-4.indd

2015-s6-4g-pocket-guidebook_H1-4.indd 56C504-01 2 47 47 32 3435 35 2124 26 26 26 424343 434446 4646 12 14 16 18 20 4 28 30 31 36 37 38 42 47 48 49 4 4 4 3 4 5 16 16 6 6 18 18 32 32 30 30 7 20 20 8 9 28 31 10 Do you have a? 36 Do you have

More information

GP05取説.indb

GP05取説.indb E -G V P 05D L V E -G P 05D W Ni-MH + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + 2 + 3 + 4 + 5 + 6 1 2 3 4 5 6 + + + 1 + + + + + + + + + + + + + + + + + + 1 A B C + D + E

More information

Introduction 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 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

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

- 1 - - 2 - - 3 - - 4 - - 5 - - 6 - - 7 - - 8 - - 9 - - 10 - - 11 - - 12 - - 13 - - 14 - - 15 - - 16 - - 17 - - 18 - - 19 - - 20 - - 21 - - 22 - - 23 - - 24 - - 25 - - 26 - - 27 - - 28 - - - - 29 - - 30

More information

OPA277/2277/4277 (2000.1)

OPA277/2277/4277 (2000.1) R OPA OPA OPA OPA OPA OPA OPA OPA OPA µ µ ± ± µ OPA ±± ±± ± µ Offset Trim Offset Trim In OPA +In -Pin DIP, SO- Output NC OPA Out A In A +In A A D Out D In D +In D Out A In A +In A A B Out B In B +In B

More information

LR DEVICE Version 1.1 706434 / 01 04 / 2017 1................................................ 3 1.1............................................... 3 2................................................ 3

More information

HP Server tc2120 Microsoft Windows 2000 Server SP3 HP P

HP Server tc2120 Microsoft Windows 2000 Server SP3 HP P HP Server tc2120 Microsoft Windows 2000 ServerSP3 HP P312977-191 200210 Hewlett-Packard Company Hewlett- Packard Company Hewlett-Packard Company Intel Corporation MicrosoftMS-DOSWindows Windows NT Microsoft

More information

FAX-760CLT

FAX-760CLT FAX-760CLT ;; yy 1 f a n l p w s m t v y k u c j 09,. i 09 V X Q ( < N > O P Z R Q: W Y M S T U V 1 2 3 4 2 1 1 2 1 2 j 11 dd e i j i 1 ; 3 oo c o 1 2 3 4 5 6 j12 00 9 i 0 9 i 0 9 i 0 9 i oo

More information

Slide 1

Slide 1 Microsoft SharePoint Server on AWS リファレンスアーキテクチャー 2012/5/24 アマゾンデータサービスジャパン株式会社 Amazon における SharePoint の利用事例 AWS 利用によるメリット インフラの調達時間 4~6 週間から数分に短縮 サーバのイメージコピー作成 手動で半日から 自動化を実現 年間のインフラコスト オンプレミスと比較して 22%

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

Plan of Talk CAS CAS 2 CAS Single Sign On CAS CAS 2 CAS Aug. 19, 2005 NII p. 2/32

Plan of Talk CAS CAS 2 CAS Single Sign On CAS CAS 2 CAS Aug. 19, 2005 NII p. 2/32 CAS Single Sign On naito@math.nagoya-u.ac.jp naito@math.nagoya-u.ac.jp, Aug. 19, 2005 NII p. 1/32 Plan of Talk CAS CAS 2 CAS Single Sign On CAS CAS 2 CAS naito@math.nagoya-u.ac.jp, Aug. 19, 2005 NII p.

More information

TH-42PAS10 TH-37PAS10 TQBA0286

TH-42PAS10 TH-37PAS10 TQBA0286 TH-42PAS10 TH-37PAS10 TQBA0286 2 4 8 10 11 17 18 20 21 22 23 24 25 26 27 28 29 30 31 32 33 38 42 44 46 50 51 52 53 54 3 4 5 6 7 8 3 4 1 2 9 5 6 1 4 2 3 5 6 10 11 1 2 3 4 12 13 14 TH-42PAS10 TH-42PAS10

More information

only my information

only my information 1 only my information 2010 17 Special thanks 17 2006 2010 60 90 A4 2 1 1 CD 2 3 A B A B A 1/4 B B 3/4 1. 2. A 3 A 3. B 3 B http://www.edu.c.utokyo.ac.jp/edu/information.html only my information 2 2006

More information

取扱説明書

取扱説明書 c TE-3000 TE-3000-15S TE-3000-15M TE-3000-20S TE-3000-20M OP 168 PGM OP PGM L J # - p P F f ø m x r t Å v u y 19 0^. R "º d E s i c k TE-3000!23$56'890 1234%678 y r 100V 31 1 2 ) 3 ) 1 2 3 4 5 6 7

More information

Introduction Purpose This training course describes the configuration and session features of the High-performance Embedded Workshop (HEW), a key tool

Introduction Purpose This training course describes the configuration and session features of the High-performance Embedded Workshop (HEW), a key tool Introduction Purpose This training course describes the configuration and session features of the High-performance Embedded Workshop (HEW), a key tool for developing software for embedded systems that

More information

取扱説明書

取扱説明書 c TE-2100 OP 168 PGM OP PGM L J # - p P F f ø m x r t Å v u y 19 0^. R! d E s i c k TE-2100!23$56'890 1234%678 y r 100V 31 1 2 ) 3 ) 1 2 3 4 5 6 7 5 1 6 2 7 3 8 J J 4 9 ) ) ) ) ) ) ) @ 1200 $ k 2000

More information

VE-GP32DL_DW_ZA

VE-GP32DL_DW_ZA VE-GP32DL VE-GP32DW 1 2 3 4 5 6 1 2 3 4 1 1 2 3 2 3 1 1 2 2 2006 Copyrights VisionInc. @. _ & $ % + = ^ @. _ & $ % + = ^ D11 D12 D21

More information

VE-GD21DL_DW_ZB

VE-GD21DL_DW_ZB V E-G D21D L V E-G D21D W 1 2 3 4 1 2 1 2 1 2 2 1 2 3 1 2 3 1 2 3 1 4 4 2 3 5 5 1 2 3 4 1 2 3 1 2 3 4 1 2 3 2006 Copyrights VisionInc. @. _ & $ % + = ^ 2011

More information

Microsoft PowerPoint - AWS紹介-VIOPS2 [互換モード]

Microsoft PowerPoint - AWS紹介-VIOPS2 [互換モード] Amazon Web Services (AWS) の紹介 JAWS JAWS UG 肝付兼続 Amazon Web Services (AWS) http://aws.amazon.com/ Amazon Web Services (AWS) Amazon Web Services LLC が提供しているパイオニア的な IaaS クラウドサービスサーバホスティング (VPS, 専用サーバ ) 的に利用ハードウェア資産を持たずに情報システムを外部

More information

untitled

untitled NEC Express5800 Microsoft Windows XP Professional x64 Edition for Express5800/56Xc ) MicrosoftWindows Microsoft Corporation Windows XP Professional x64 Edition for Express5800/56Xc NEC Microsoft Windows

More information

untitled

untitled Tylor 006 5 ..........5. -...... 5....5 5 - E. G. BASIC Tylor.. E./G. b δ BASIC.. b) b b b b δ b δ ) δ δ δ δ b b, b ) b δ v, b v v v v) ) v v )., 0 OPTION ARITHMETIC DECIMAL_HIGH INPUT FOR t TO 9 LET /*/)

More information

JavaScript の使い方

JavaScript の使い方 JavaScript Release10.5 JavaScript NXJ JavaScript JavaScript JavaScript 2 JavaScript JavaScript JavaScript NXJ JavaScript 1: JavaScript 2: JavaScript 3: JavaScript 4: 1 1: JavaScript JavaScript NXJ Static

More information

johokiso-internet

johokiso-internet 1 2 (Internet) : ( internet) : IP (The Internet) = Web? Internet, 1960 ARPAnet (Advanced Research Project Agency) : 1988 1989 + 1992 IIJ () 3 4 = (etc.) + = 1 () A B: A3 defaut: A2 A1 A3 B1 defaut: A2

More information

Windows Azure Platformを活用したPaaSサービス:FGCP/A5

Windows Azure Platformを活用したPaaSサービス:FGCP/A5 Windows Azure Platform PaaS : PaaS Service Using Windows Azure Platform 門間 仁 あらまし 2010 7 FUJITSU Global Cloud Platform Powered by Windows Azure Azure Windows Azure Abstract Fujitsu is preparing to offer

More information

2011年11月10日 クラウドサービスのためのSINET 学認説明会 九州地区説明会 九州大学キャンパス クラウドシステムの導入 伊東栄典 情報基盤研究開発センター 1

2011年11月10日 クラウドサービスのためのSINET 学認説明会 九州地区説明会 九州大学キャンパス クラウドシステムの導入 伊東栄典 情報基盤研究開発センター 1 2011年11月10日 クラウドサービスのためのSINET 学認説明会 九州地区説明会 九州大学キャンパス クラウドシステムの導入 伊東栄典 情報基盤研究開発センター ito.eisuke.523@m.kyushu-u.ac.jp 1 用 方 } } } } } 用 (Public Cloud) } Amazon EC2/S3/ElasticMapReduce } (Community Cloud)

More information

取扱説明書

取扱説明書 TK-200 c OP PGM OP PGM y x f u - v m r R t Å 19 0^. o d i c k w P E 1234%678 1234%678 y r 100V 31 1 2 ) ) 1 2 3 4 5 6 7 5 6 7 8 J J 9 1 2 3 4 ) ) ) ) ) ) @ 1 2 3 1 1 1 y 0 y 2 0 y 0 3 2 y 0 e08 @

More information

Leveraging Cloud Computing to launch Python apps

Leveraging Cloud Computing to launch Python apps (Twitter: @KenTamagawa) v 1.1 - July 21st, 2011 (Ken Tamagawa) Twitter: @KenTamagawa 2011 8 6 Japan Innovation Leaders Summit IT IT AWS 90% AWS 90% アーキテクチャ設計 Intro }7 Intro 1 2 3 4 5 6 7 Intro 1 2 3 4

More information

2009 1. 2. 3. 4. 5. 2 2009 CONTENTS 4 6 8 TOPIC 01 10 TOPIC 02 11 TOPIC 03 12 TOPIC 04 14 TOPIC 05 15 TOPIC 06 15 TOPIC 07 16 18 18 19 20 21 22 22 22 23 24 25 26 27 27 27 28 29 30 TOPIC 08 16 TOPIC 09

More information

VERSATILITY, ENERGY-SAVING HI-LOCK UNIT SERIES Hi-Lock Variations Perfectly Satisfy Your Stringent Requirements

VERSATILITY, ENERGY-SAVING HI-LOCK UNIT SERIES Hi-Lock Variations Perfectly Satisfy Your Stringent Requirements HI-LOCK UNIT SERIES VERSATILITY, ENERGY-SAVING HI-LOCK UNIT SERIES Hi-Lock Variations Perfectly Satisfy Your Stringent Requirements WIDE INDUSTRIAL APPLICATION Rotate right or left to use. Nomally set

More information

IBM IBM 100 IBM IBM DNA 経理財務変革コンサルタント 調達業務変革コンサルタント 組織人事変革コンサルタント R&D 業務改革コンサルタント 金融業界コンサルタント 保険業界コンサルタント コンサルタントーポテンシャル採用 コグニティブコンサルタント アナリティクスコンサルタン

IBM IBM 100 IBM IBM DNA 経理財務変革コンサルタント 調達業務変革コンサルタント 組織人事変革コンサルタント R&D 業務改革コンサルタント 金融業界コンサルタント 保険業界コンサルタント コンサルタントーポテンシャル採用 コグニティブコンサルタント アナリティクスコンサルタン IBM Zero to One IBM IBM IBM IBM 100 IBM IBM DNA 経理財務変革コンサルタント 調達業務変革コンサルタント 組織人事変革コンサルタント R&D 業務改革コンサルタント 金融業界コンサルタント 保険業界コンサルタント コンサルタントーポテンシャル採用 コグニティブコンサルタント アナリティクスコンサルタント ブロックチェーンコンサルタント 戦略コンサルタント

More information

C H H H C H H H C C CUTION:These telephones are for use in Japan only. They cannot be used in other countries because of differences in voltages, tele

C H H H C H H H C C CUTION:These telephones are for use in Japan only. They cannot be used in other countries because of differences in voltages, tele VE-PV01LVE-PVW01LVE-PVC01L 1 4 7 2 3 5 6 8 9 * 0 # C H H H C H H H C C CUTION:These telephones are for use in Japan only. They cannot be used in other countries because of differences in voltages, telephone

More information

Emacs Ruby..

Emacs Ruby.. command line editor 27014533 2018 3 1 5 1.1................................... 5 1.2................................... 5 2 6 2.1 Emacs...................................... 6 2.2 Ruby.......................................

More information

LC304_manual.ai

LC304_manual.ai Stick Type Electronic Calculator English INDEX Stick Type Electronic Calculator Instruction manual INDEX Disposal of Old Electrical & Electronic Equipment (Applicable in the European Union

More information

1. A0 A B A0 A : A1,...,A5 B : B1,...,B

1. A0 A B A0 A : A1,...,A5 B : B1,...,B 1. A0 A B A0 A : A1,...,A5 B : B1,...,B12 2. 3. 4. 5. A0 A B f : A B 4 (i) f (ii) f (iii) C 2 g, h: C A f g = f h g = h (iv) C 2 g, h: B C g f = h f g = h 4 (1) (i) (iii) (2) (iii) (i) (3) (ii) (iv) (4)

More information

取説_VE-PV11L(応用編)

取説_VE-PV11L(応用編) * 0 # VE-PV11L VE-PVC11L VE-PS109N 1 2 3 4 5 6 7 8 9 C H H H C H H H C C CAUTION:These telephones are for use in Japan only. They cannot be used in other countries because of differences in voltages, telephone

More information

(4) P θ P 3 P O O = θ OP = a n P n OP n = a n {a n } a = θ, a n = a n (n ) {a n } θ a n = ( ) n θ P n O = a a + a 3 + ( ) n a n a a + a 3 + ( ) n a n

(4) P θ P 3 P O O = θ OP = a n P n OP n = a n {a n } a = θ, a n = a n (n ) {a n } θ a n = ( ) n θ P n O = a a + a 3 + ( ) n a n a a + a 3 + ( ) n a n 3 () 3,,C = a, C = a, C = b, C = θ(0 < θ < π) cos θ = a + (a) b (a) = 5a b 4a b = 5a 4a cos θ b = a 5 4 cos θ a ( b > 0) C C l = a + a + a 5 4 cos θ = a(3 + 5 4 cos θ) C a l = 3 + 5 4 cos θ < cos θ < 4

More information

2

2 8 23 26A800032A8000 31 37 42 51 2 3 23 37 10 11 51 4 26 7 28 7 8 7 9 8 5 6 7 9 8 17 7 7 7 37 10 13 12 23 21 21 8 53 8 8 8 8 1 2 3 17 11 51 51 18 23 29 69 30 39 22 22 22 22 21 56 8 9 12 53 12 56 43 35 27

More information

2

2 8 22 19A800022A8000 30 37 42 49 2 3 22 37 10 11 49 4 24 27 7 49 7 8 7 9 8 5 6 7 9 8 16 7 7 7 37 10 11 20 22 20 20 8 51 8 8 9 17 1 2 3 16 11 49 49 17 22 28 48 29 33 21 21 21 21 20 8 10 9 28 9 53 37 36 25

More information

QOL

QOL 27.8.8 8.9 QOL How to How to How to How to How to 7 50 How to I think Yes 60 SF 11 21 26% 4 1 70 56 CGA CGA 80 3 54 297 400 60 70 3 21 22 22 ( ) ( ) 2.5 17 (1612) (1533-1615) 18 (1613) (1615) (1583-1644)

More information

VE-SV03DL VE-SV03DW Ni-MH Ni-MH Ni-MH 1 2 3 1 2 Ni-MH 3 4 5 I H 3 IH IH IH IH 2 0 4 6 6 1 2 3 # 6 6 4 I H I H I H I H I H I H I H NTT Ni-MH Ni-MH Ni-MH Ω 0570-087-087

More information

FortiGate Ver.4.0MR3Patch14 Information 1

FortiGate Ver.4.0MR3Patch14 Information 1 FortiGate Ver.4.0MR3Patch14 Information 1 H25.7 1.0 2 1.... 4 2.... 4 3. v4.0mr2... 5 3.1. config... 5 3.2.... 6 3.3. Fortianalyzer... 6 4. v4.0mr3... 7 4.1.... 7 4.2. Fortianalyzer... 8 5. Web... 9 6.

More information

Microsoft Word - KUINS-Air_W10_ docx

Microsoft Word - KUINS-Air_W10_ docx KUINS-Air 無線 LAN への接続 (Windows10) How to connect to Wi-Fi KUINS-Air (Windows10) 2019 年 7 月 KUINS-Air への接続には A ID パスワードを使用した接続 もしくは B クライアント証明書を使用した接続方法の 2 種類があります There are 2 ways to connect to KUINS-Air,

More information

LAPLINK ヘルプデスク 導入ガイド

LAPLINK ヘルプデスク 導入ガイド 110-8654 1-3-5 LAPLINK TEL URL 03-3839-6039 http://www.intercom.co.jp/support/laplink_helpdesk/ 9: 00 12:00 13:00 17:00 LAPLINK URL TEL URL 03-3839-6307 http://www.intercom.co.jp/laplink_helpdesk/contact.html

More information

UserManual(日本語0727).pages

UserManual(日本語0727).pages Pinout Version 1.0(Draft) Zesty Systems Inc. 2016.7.27 PINOUT MANUAL Index Pinout... 3 Pinout... 3 PINOUT... 4 Pinout... 5... 6 Pinout... 7 Pinout... 8 Pinout... 13... 14... 20... 22... 24... 26... 28...

More information

Office BCP () Office Microsoft Exchange Exchange Server Exchange Online Exchange Server Exchange Online Exchange Exchange 1997 Exc

Office BCP () Office Microsoft Exchange Exchange Server Exchange Online Exchange Server Exchange Online Exchange Exchange 1997 Exc Microsoft Exchange 2015 Office BCP () Office Microsoft Exchange Exchange Server Exchange Online 2012 12 Exchange Server 2013 2013 1 Exchange Online Exchange Exchange 1997 Exchange ActiveSync 2001 Exchange

More information

富士フイルムニュース vol.63

富士フイルムニュース vol.63 DECEMBER 2002 vol.63 1 Close up FUJIFILM Image Intelligence 2 s s 3 4 HOT NEWS 5 Photokina 2002 6 Don't leave without your favourite player! Choose your favourite image from the archives and take it home

More information

錦鯉ナビ Vol.4

錦鯉ナビ Vol.4 5 3 14 Tomahawk of Kohaku 41cm 21 13 Kohaku 46cm Sakai Fish Farm 15 Kohaku 45cm of Symbol Star 18 Sister Symbol Kohaku 42cm of Legend of Love Garnet of Garnet Kohaku 44cm of 17 20 16 Kohaku 45cm Taisho

More information

ACDSee-Press-Release_0524

ACDSee-Press-Release_0524 ACDSee Pro Windows ACDSee Pro 4 Mac ACDSee Pro (Mac) 5 26 ACDSee 6 30 ACDSee 5,000 URL: http://www.acdsee.jp ACDSee Pro ACDSee Pro 4 16,800 / 21,800 ACDSee Pro (Mac) 9,800 / 14,800 ACDSee Pro 4 RAW ACDSee

More information

Web Web ID Web 16 Web Web i

Web Web ID Web 16 Web Web i 24 Web Proposal of Web Application Password Operations Management System 1130343 2013 3 1 Web Web ID Web 16 Web Web i Abstract Proposal of Web Application Password Operations Management System Tatsuro

More information

Contents Logging in 3-14 Downloading files from e-ijlp 15 Submitting files on e-ijlp Sending messages to instructors Setting up automatic

Contents Logging in 3-14 Downloading files from e-ijlp 15 Submitting files on e-ijlp Sending messages to instructors Setting up automatic e-ijlp(lms) の使い方 How to Use e-ijlp(lms) 学生用 / Guidance for Students (ver. 2.1) 2018.3.26 金沢大学総合日本語プログラム Integrated Japanese Language Program Kanazawa University Contents Logging in 3-14 Downloading files

More information