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

(1)

Japan Advanced Institute of Science and Technology

JAIST Repository

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

Title

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

Evolvable e-Society Author(s)

Citation

Issue Date 2006-03

Type Research Paper

Text version publisher

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

Rights

Description 開催：2006年3月8日∼9日, 開催場所：北陸先端科学技

(2)

プログラム

予稿集

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

片山卓也

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

小野寛晰

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

東条敏

4 . 法律条文の言語処理

島津明

5 . CafeOBJを用いた形式手法

―実行可能形式仕様言語によるシステム検証―

二木厚吉

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

平石邦彦

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

小川瑞史

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

落水浩一郎

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

宮地充子

10 . Fault-tolerant group communication protocols and fault-detection for

distributed systems and their application to autonomous mobile systems

Xavier Defago

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

篠田陽一

2 6 9 14 21 26 31 36 39 42 49 1

JAIST

21世紀COEシンポジウム2006

検証進化可能電子社会

JAIST

21世紀COEシンポジウム2006

検証進化可能電子社会

JAIST

21世紀COEシンポジウム2006

検証進化可能電子社会

(3)

2006 年 3 月 8 日（水）

10:00 - 17:30 GRP研究員発表会

2006 年 3 月 9 日（木）

10:00

基調講演

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

片山卓也

（拠点リーダー） 10:45 - 12:15

_{セッション 1 論理と法推論}

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

小野寛晰

（*1）

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

東条敏

（*1）

法律条文の言語処理

島津明

（*1） 13:15 - 15:15

セッション 2 モデル化と検証

CafeOBJ

を用いた形式手法―実行可能形式仕様言語による

システム検証―

二木厚吉

（*1）

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

平石邦彦

（*1）

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

小川瑞史

（*2）

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

落水浩一郎

（*1） 15:30 - 17:00

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

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

宮地充子

（*1）

Fault-tolerant group communication protocols and

fault-detection for distributed systems and their application to

autonomous mobile systems

Xavier Defago

（*1）

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

篠田陽一

（*3）

Programs

※講演者の所属 *1 北陸先端科学技術大学院大学情報科学研究科 *2 北陸先端科学技術大学院大学安心電子社会研究センター *3 北陸先端科学技術大学院大学情報科学センター

(4)

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

片山卓也

拠点リーダー 1 2 3 4 5 6 2

(5)

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

7 8

9 10

(6)

14 15 16 17 18 4 13

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

(7)

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

19 20

21 22

(8)

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

小野寛晰

北陸先端科学技術大学院大学情報科学研究科 6 1 2 3 4 5 6

(9)

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

7 8

9 10

(10)

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

13 14

15 16

17 8

(11)

1 2 3 4 5 6

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

東条敏

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

(12)

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

7 8

9 10

11 12

(13)

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

13 14

15 16

(14)

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

19 20

21 22

23 24

(15)

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

25 26

(16)

法律条文の言語処理

島津明

(17)

法律条文の言語処理

7 8

9 10

(18)

法律条文の言語処理

13 14

15 16

17 18

(19)

法律条文の言語処理

19 20

21 22

(20)

法律条文の言語処理

25 26

27 28

29 30

(21)

法律条文の言語処理

31 32

33 34

(22)

法律条文の言語処理

37 38

39 40

41 20

(23)

1 2 3 4 5 6

CafeOBJを用いた形式手法

―実行可能形式仕様言語によるシステム検証―

二木厚吉

(24)

CafeOBJを用いた形式手法

7 8

9 10

11 12

(25)

CafeOBJを用いた形式手法

13 14

15 16

(26)

CafeOBJを用いた形式手法

19 20

21 22

23 24

(27)

CafeOBJを用いた形式手法

(28)

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

平石邦彦

(29)

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

7 8

9 10

(30)

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

13 14

15 16

17 18

(31)

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

19 20

21 22

(32)

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

25 26

(33)

1 2 3 4 5 6

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

小川瑞史

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

(34)

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

7 8

9 10

11 12

(35)

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

13 14

15 16

(36)

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

19 20

21 22

23 24

(37)

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

25 26

27 28

(38)

1 2 3 4 5 6 36

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

落水浩一郎

(39)

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

7 8

9 10

(40)

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

13 14

15 16

17 18

(41)

1 2 3 4 5 6

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

宮地充子

(42)

7 8

9 10

11 12

40

(43)

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

13 14

(44)

1 2

3 4

5 6

42

Fault-tolerant group communication protocols and fault-detection for distributed systems

and their application to autonomous mobile systems

Xavier Defago

(45)

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

7 8

9 10

(46)

13 14

15 16

17 18

(47)

19 20

21 22

(48)

25 26

27 28

29 30

(49)

31 32

33 34

(50)

37 38

39

(51)

1 2 3 4 5 6

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

篠田陽一

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

(52)

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

7 8

9 10

11 12

(53)

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