• 検索結果がありません。

Japan Advanced Institute of Science and Technology

N/A
N/A
Info
ダウンロード
Protected

Academic year: 2021

シェア "Japan Advanced Institute of Science and Technology"

Copied!
5
0
0

読み込み中.... (全文を見る)

今ダウンロードする ( 5 ページ )

全文

(1)

Japan Advanced Institute of Science and Technology

JAIST Repository

https://dspace.jaist.ac.jp/

Title

STSプロトコルの形式化と検証によるCafeOBJとCoqの比

較

Author(s)

原, 光太朗

Citation

Issue Date

2005‑03

Type

Thesis or Dissertation

Text version

author

URL

http://hdl.handle.net/10119/1910

Rights

Description

Supervisor:片山 卓也, 情報科学研究科, 修士

(2)

!" #$

! %& '() '*+

,- "-+ .

' /-0

" " + 1

" /-0 "

+

0 0

"2& "-3

+ /- Æ & 3

2

+ 0

- - " " +

" "

" + " -

+

! 4 5

6 + ! 2 -

- /, - -

- "

" - 5+ !

- &

­

(3)

+

0

" 5+ "

" 5 - "

& - - 0 -

" +

) 0 0 - 6

0 -0

6 "- - "

- + " & "

- 0 + (

- 6 "-

- "7+

8

- 0 "

9Æ3 0 32 5 -

" 7 6 3

+

- -

2 0 - - : -

" 0 + 8 "

" 2 0

+

8 - 6 ;

'() '*+ '() " &

< " "

" & + " &3

'() & " "

& & * 3

" *+ 8 '* "

3

+ '* *

& '* 3

/ 9 -

(4)

- "

+

! - "

- - - -

-0+ - ("

( 0 + (

0 0 - &

" - " -

+ 8

- & - " -0

- " -

"

- +

/2- " -0 -

&+ " '()

" '*+ 0 - & -

" -

-

+

/2 - " - '() '* -

"+ '() 3

2 '() "

" *+ '* 2

"+

! - -'()&

" -

- '*+ '() & "

* - -

+ 8 '* &2 " *

" & + '

- +

- -

+ ' 0 -

- -

(5)

- & 2 -

"

+

- 0 -0

- ; ! 2 '() &

- " " &

" + 8 '*

- 0 + 8 -

" - - '() '*

+

参照

今ダウンロードする ( PDF - 5 ページ - 74.56 KB )

関連したドキュメント

JAIST Repository https://dspace.jaist.ac.jp/

Advanced speech technology, such as voice conversion techniques and speech synthesis, can synthesize or clone speech entirely as a human voice.. Distributing users’

Development of AR System Using Hand Gesture

* Graduate School of Information Science, Nara Institute of Science and Technology, Nara (ex-affiliation: Department of Information Systems Design, Faculty of Engineering,

NIST Special ublication IT システムにおける緊急時対応計画ガイド 米国国立標準技術研究所による推奨 Marianne Swanson, Amy Wohl, Lucinda Pope, Tim Grance, Joan Hash, Ray Thomas, この文

National Institute of Standards and Technology, Special Publication 800-18, Guide for Developing Security Plans and Information Technology Systems, December 1998. National Institute

The Clay Science Society of Japan

The bacteria on the hexagonal plates O,1um in dtameter CC, arrows) and unicellular bacteria aiter 90 days

The Crop Science Society of Japan

[r]

Comparison of the two specializations of nonsymmetric Macdonald polynomials: at t = 0 and at t = 1

(Tokyo Institute of Technology) This talk is based on

A remark about fractional (f, n)-critical graphs

This research was supported by Natural Science Foundation of the Higher Education Institutions of Jiangsu Province (10KJB110003) and Jiangsu Uni- versity of Science and

URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ASYMPTOTIC BEHAVIOR OF INTERMEDIATE SOLUTIONS OF FOURTH-ORDER NONLINEAR DIFFERENTIAL EQUATIONS WITH REGULARLY VARYING COEFFICIENTS ALEKSANDRA B

Kusano; Asymptotic Behavior of Positive Solutions of a Class of Systems of Second Order Nonlinear Differential Equations, Electronic Journal of Qualitative Theory of