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

JAIST 21世紀COEシンポジウム2006 検証進化可能電子社会 : 講演予稿集 = Proceedings of the JAIST 21stCentury COE Symposium 2006 Verifiable andEvolvable e‑Society

Title

Author(s)CitationIssue Date2006‑03

TypeResearch Paper

Text version

publisher

URL

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

RightsDescription

開催：2006年3月8日〜9日, 開催場所：北陸先端科学技術大学院大学

Japan Advanced Institute of Science and Technology

JAIST
21世紀COEシンポジウム2006
検証進化可能電子社会プログラム

1

予稿集
1 . 「検証進化可能電子社会」の実現にむけて

片山 卓也

22 . 論理における証明論的方法と代数的方法の接点

小野 寛晰

6

3 . 法律知識の矛盾の発見・解消を行う論理システム

東条敏

94 . 法律条文の言語処理

島津明

14

二木 厚吉

21

6 . ビジネスプロセスの安心性検証

平石 邦彦

26

7 . モデル化と証明に基づく電子社会の安心性検証

小川 瑞史

31

8 . ソフトウェアアカウンタビリティの定義と実現法

落水浩一郎

36

9 . 電子社会の安心性検証のための情報セキュリティ

宮地 充子

39

5 . CafeOBJを用いた形式手法―実行可能形式仕様言語によるシステム検証―

10 . Fault-tolerant group communication protocols and fault-detection for
distributed systems and their application to autonomous mobile systems
Xavier Defago 42
11. インターネットシミュレータによる電子社会の安心性検証

篠田 陽一

49

Programs
2006 年 3 月 8 日（水）10:00 - 17:30 GRP研究員発表会

2006 年 3 月 9 日（木）
10:00

基調講演
「検証進化可能電子社会」の実現にむけて片山

10:45 - 12:15

セッション 1卓也（拠点リーダー）

論理と法推論論理における証明論的方法と代数的方法の接点
小野寛晰（*1）

法律知識の矛盾の発見・解消を行う論理システム
東条 敏（*1）
法律条文の言語処理
13:15 - 15:15

セッション 2

島津明（*1）モデル化と検証

CafeOBJを用いた形式手法―実行可能形式仕様言語によるシステム検証―

二木厚吉（*1）

ビジネスプロセスの安心性検証

平石邦彦（*1）

モデル化と証明に基づく電子社会の安心性検証
小川瑞史（*2）

ソフトウェアアカウンタビリティの定義と実現法
落水浩一郎（*1）
15:30 - 17:00

セッション 3

セキュリティとインフラストラクチャー

電子社会の安心性検証のための情報セキュリティ
宮地 充子（*1）
Fault-tolerant group communication protocols and faultdetection for distributed systems and their application toautonomous mobile systems
Xavier Defago（*1）
インターネットシミュレータによる電子社会の安心性検証篠田 陽一（*3）※講演者の所属*1 北陸先端科学技術大学院大学 情報科学研究科*2 北陸先端科学技術大学院大学 安心電子社会研究センター*3 北陸先端科学技術大学院大学 情報科学センター

1

「検証進化可能電子社会」の実現にむけて
片山卓也

拠点リーダー

2

1

2

3

4

5

6

「検証進化可能電子社会」の実現にむけて

78

910

11

12

3

「検証進化可能電子社会」の実現にむけて

413

1415

161718

「検証進化可能電子社会」の実現にむけて

19

20

2122235

論理における証明論的方法と代数的方法の接点小野寛晰

北陸先端科学技術大学院大学 情報科学研究科

6

12

3456

論理における証明論的方法と代数的方法の接点

7

8

910

11127

論理における証明論的方法と代数的方法の接点

13

14

15

16178

法律知識の矛盾の発見・解消を行う論理システム
東条敏北陸先端科学技術大学院大学 情報科学研究科

1234569

法律知識の矛盾の発見・解消を行う論理システム

10789101112

法律知識の矛盾の発見・解消を行う論理システム

13141516171811

法律知識の矛盾の発見・解消を行う論理システム

12

192021222324

法律知識の矛盾の発見・解消を行う論理システム

25

26272813

法律条文の言語処理島津明

北陸先端科学技術大学院大学 情報科学研究科

14123456

法律条文の言語処理

78910111215

法律条文の言語処理

16

13

1415

161718

法律条文の言語処理

1920

21

22232417

法律条文の言語処理

18

25

26

27

28

2930

法律条文の言語処理

31

32

33

3435

36

19

法律条文の言語処理

37

38

3940

41

20

CafeOBJを用いた形式手法―実行可能形式仕様言語によるシステム検証―二木厚吉

北陸先端科学技術大学院大学 情報科学研究科

12345621

CafeOBJを用いた形式手法

22

789101112

CafeOBJを用いた形式手法

131415161718

23

CafeOBJを用いた形式手法

24

19

20

21

2223

24

CafeOBJを用いた形式手法

25

26

25

ビジネスプロセスの安心性検証
平石邦彦

北陸先端科学技術大学院大学 情報科学研究科

26

1

23456

ビジネスプロセスの安心性検証

78910111227

ビジネスプロセスの安心性検証

28

13

14

15

161718

ビジネスプロセスの安心性検証

19202122232429

ビジネスプロセスの安心性検証

25

30

26

モデル化と証明に基づく電子社会の安心性検証小川瑞史

北陸先端科学技術大学院大学 安心電子社会研究センター

12345631

モデル化と証明に基づく電子社会の安心性検証

32789101112

モデル化と証明に基づく電子社会の安心性検証

13141516171833

モデル化と証明に基づく電子社会の安心性検証

34

192021222324

モデル化と証明に基づく電子社会の安心性検証

252627282935

ソフトウェアアカウンタビリティの定義と実現法
落水浩一郎

北陸先端科学技術大学院大学 情報科学研究科

36123456

ソフトウェアアカウンタビリティの定義と実現法

78910111237

ソフトウェアアカウンタビリティの定義と実現法

38

131415161718

電子社会の安心性検証のための情報セキュリティ
宮地充子

北陸先端科学技術大学院大学 情報科学研究科

1

2

3

45639

電子社会の安心性検証のための情報セキュリティ

40789101112

電子社会の安心性検証のための情報セキュリティ

13141541

Fault-tolerant group communication protocols and fault-detection for distributed systems
and their application to autonomous mobile systems
Xavier Defago
北陸先端科学技術大学院大学 情報科学研究科

42123456

Fault-tolerant group communication protocols and fault-detection for distributed systems
and their application to autonomous mobile systems

78910111243

Fault-tolerant group communication protocols and fault-detection for distributed systems
and their application to autonomous mobile systems

44131415161718

Fault-tolerant group communication protocols and fault-detection for distributed systems
and their application to autonomous mobile systems

19202122232445

Fault-tolerant group communication protocols and fault-detection for distributed systems
and their application to autonomous mobile systems

46

25262728

2930

Fault-tolerant group communication protocols and fault-detection for distributed systems
and their application to autonomous mobile systems

31

32

33

34

35

3647

Fault-tolerant group communication protocols and fault-detection for distributed systems
and their application to autonomous mobile systems

37

39

48

38

インターネットシミュレータによる電子社会の安心性検証篠田陽一

北陸先端科学技術大学院大学 情報科学センター

12345649

インターネットシミュレータによる電子社会の安心性検証

50

789101112インターネットシミュレータによる電子社会の安心性検証

131451