process-calculus-basic.ppt
|
|
- めぐの さわまつ
- 5 years ago
- Views:
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 information1 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 information2004年度版「労働組合の会計税務に係る実務マニュアル」の販売について
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 information3 ( 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 informationPBASIC 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 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 information25 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 informationsyspro-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)
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 informationMATLAB® における並列・分散コンピューティング ~ 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 informationSiLK 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 informationVDM-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 informationFileMaker 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 informationquattro.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 informationMicrosoft 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 informationN 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 informationHow 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 informationif 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
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 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 informationOPA134/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 informationHospitality-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 informationuntitled
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 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 informationKumagai09-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 informationPFQX2227_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>
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 information2015-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 informationGP05取説.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 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 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 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 informationOPA277/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 informationLR DEVICE Version 1.1 706434 / 01 04 / 2017 1................................................ 3 1.1............................................... 3 2................................................ 3
More informationHP 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 informationFAX-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 informationSlide 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
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 informationPlan 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 informationTH-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 informationonly 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 informationIntroduction 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 informationVE-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 informationVE-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 informationMicrosoft 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 informationuntitled
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 informationuntitled
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 informationJavaScript の使い方
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 informationjohokiso-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 informationWindows 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 information2011年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 informationLeveraging 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 information2009 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 informationVERSATILITY, 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 informationIBM IBM 100 IBM IBM DNA 経理財務変革コンサルタント 調達業務変革コンサルタント 組織人事変革コンサルタント R&D 業務改革コンサルタント 金融業界コンサルタント 保険業界コンサルタント コンサルタントーポテンシャル採用 コグニティブコンサルタント アナリティクスコンサルタン
IBM Zero to One IBM IBM IBM IBM 100 IBM IBM DNA 経理財務変革コンサルタント 調達業務変革コンサルタント 組織人事変革コンサルタント R&D 業務改革コンサルタント 金融業界コンサルタント 保険業界コンサルタント コンサルタントーポテンシャル採用 コグニティブコンサルタント アナリティクスコンサルタント ブロックチェーンコンサルタント 戦略コンサルタント
More informationC 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 informationEmacs 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 informationLC304_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 information1. 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(応用編)
* 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
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 information2
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 information2
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 informationQOL
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 informationVE-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 informationFortiGate 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 informationMicrosoft 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 informationLAPLINK ヘルプデスク 導入ガイド
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 informationUserManual(日本語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 informationOffice 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
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
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 informationACDSee-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 informationWeb 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 informationContents 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