࢚ࣞࢡࢺࣟࢽࢡࢫ⣔ᕤᏛᑓᨷ
᝟ሗฎ⌮ศ㔝
ศᩓฎ⌮ࢯࣇࢺ࢙࢘࢔◊✲ᐊ ᩍᤵ
Distributed Processing Software Lab.
Prof. ࣮࣮࢟࣡ࢻ
ࣉࣟࢭࢫ௦ᩘࠊ≀ὶ⟶⌮ࢩࢫࢸ࣒ࠊࢱ࢖࣒࢔࢘ࢺࠊ
༢యࢸࢫࢺ
process algebra, logistic management system, timeout,
unit test
◊✲ෆᐜ
㹙㸯㹛≀ὶࢩࢫࢸ࣒ࡢᙧᘧⓗグ㏙ࢆ᝿ᐃࡋࡓ
Ambient Calculus ࡢᣑᙇ࡟㛵ࡍࡿ◊✲
Ambient Calculus ࡣືⓗ࡞㝵ᒙᵓ㐀ࢆᣢࡘࢩࢫ
ࢸ࣒ࢆᙧᘧⓗ࡟グ㏙ࡍࡿࡓࡵࡢゝㄒ࡛࠶ࡾࠊศᩓ⎔
ቃ࡟࠾ࡅࡿ⛣ືᆺ࢚࣮ࢪ࢙ࣥࢺࢆྵࡴࢩࢫࢸ࣒ࡢ
ࣔࢹࣝ໬࡞࡝࡟฼⏝ࡉࢀ࡚࠸ࡿࠋᑠࡉ࡞㈌≀ࢆ཰ᐜ
ࡋࡓࢥࣥࢸࢼࡀࢺࣛࢵࢡࡸ⯪࡜࠸ࡗࡓ㍺㏦ᡭẁ࡟
ࡼࡾ㐠ᦙࡉࢀࡿ≀ὶࢩࢫࢸ࣒ࡢࣔࢹࣝ໬࡟ࡶά⏝
࡛ࡁࡿ࡜⪃࠼ࡽࢀࠊ୪⾜ィ⟬⌮ㄽ◊✲ᐊ࡜ඹྠ࡛ࠊ
≀ὶࢩࢫࢸ࣒ࡢグ㏙࡜ࡑࡢᛂ⏝࡟ࡘ࠸࡚ࠊ୺࡜ࡋ࡚
ᾏୖ㍺㏦ࢆྵࡴᅜ㝿≀ὶ࡬ࡢ㐺⏝ࢆ᝿ᐃࡋࡓ௨ୗ
ࡢ◊✲ࢆ㐍ࡵ࡚࠸ࡿࠋ
≉࡟ᮏ◊✲ᐊ࡛ࡣゝㄒᣑᙇ࡟ࡘ࠸᳨࡚ウࢆ㐍ࡵ
࡚࠾ࡾࠊ≀ὶࢩࢫࢸ࣒ࡢグ㏙ࠊ࠾ࡼࡧࡑࢀ࡟ᇶ࡙ࡃ
≀ὶ┘どࢩࢫࢸ࣒ᵓ⠏ࡢ฼౽ᛶྥୖࡢࡓࡵࠊ
Ambient Calculus ࢆᣑᙇࡋࡓ௨ୗࡢゝㄒࢆᥦ᱌ࡋࡓࠋ
ձ ࢱ࢖࣒࢔࢘ࢺືస࡞࡝᫬㛫࡟౫Ꮡࡋࡓ᣺⯙࠸
ࢆྵࡴ≀ὶࢩࢫࢸ࣒ࢆ⾲⌧ࡍࡿࡓࡵࠊAmbient
Calculus ࡟᫬㛫ᴫᛕࡢᑟධࢆᅗࡗࡓ᫬㛫௜ࡁ
Ambient Calculus
ղ ከᩘࡢࢥࣥࢸࢼࢆྵࡴᾏୖ≀ὶ࡟࠾࠸࡚ィ⏬
ࡢኚ᭦ࢆᐜ᫆࡟ࡍࡿࡓࡵࠊ୍ࡘࡢᕧ኱࡞ࣉࣟࢭ
ࢫᘧ࡛≀ὶࢩࢫࢸ࣒ࢆࣔࢹࣝ໬ࡍࡿࡢ࡛ࡣ࡞
ࡃࠊከᩘࡢࣉࣟࢭࢫᘧࡢ⤌࡟ࡼࡾ≀ὶࢩࢫࢸ࣒
ࢆ ⾲ ⌧ ࡍ ࡿ ࡇ ࡜ ࢆ ྍ ⬟ ࡟ ࡋ ࡓ ከ 㔜 Ambient
Calculus
≉࡟ղ࡟ࡘ࠸࡚ࡣࠊ≀ὶࢩࢫࢸ࣒ࡀᡤᮇࡢᛶ㉁
ࢆ‶ࡓࡋ࡚࠸ࡿࡇ࡜ࢆ☜ㄆࡍࡿࣔࢹ᳨ࣝᰝࢆຠ
⋡ⓗ࡟ᐇ᪋ࡍࡿᡭἲࢆᥦ᱌ࡋࠊࣔࢹ᳨ࣝᰝ⣔ࡢᐇ
⿦࠾ࡼࡧࣔࢹ᳨ࣝᰝᐇ㦂࡟ࡼࡾࡑࡢ᭷ຠᛶࢆ♧
ࡋࡓࠋ
㹙㸰㹛Web ࢔ࣉࣜࢣ࣮ࢩࣙࣥࡢ㧗ಙ㢗໬ᢏ⾡
ࢹ࣮ࢱ࣮࣋ࢫ࢔ࢡࢭࢫࢆྵࡴ Web ࢔ࣉࣜࢣ࣮ࢩ
ࣙࣥࡢ༢యࢸࢫࢺࡢຠ⋡໬ࢆᅗࡿࡓࡵࠊ௨ୗࡢࡼ࠺
࡞≉ᚩࢆࡶࡘ༢యࢸࢫࢺᨭ᥼ࢩࢫࢸ࣒ࡢヨస࡜ࢸ
ࢫࢺ⏕ᡂᐇ㦂ࢆ⾜ࡗࡓࠋ
ձ ࢸࢫࢺᑐ㇟ࢆࢹ࣮ࢱ࣮࣋ࢫ࢔ࢡࢭࢫࢆ⾜࠺
DAO ࢡࣛࢫ࡟㝈ᐃࡍࡿ
ղ ࣉࣟࢢ࣒ࣛゎᯒᢏ⾡ࢆ⏝࠸ࠊࢸࢫࢺᑐ㇟ࣉࣟࢢ
࣒ࣛ࡜ࢸࢫࢺࣉࣟࢢ࣒ࣛࢆゎᯒࡋࠊࢢࣛࣇࠊ⾲
ࡢᢳฟࢆ⾜࠺
ճ ゎ㔘ᐇ⾜ჾࠊᮍ⥙⨶㒊ศ᳨ฟჾࠊࢸࢫࢺ⏕ᡂჾ
࡟ࡼࡾᮍ⥙⨶㒊ศࢆ⿵᏶ࡍࡿࢸࢫࢺࣉࣟࢢࣛ
࣒ࢆ⮬ື⏕ᡂࡍࡿ
ᵽཱྀᫀᏹ Masahiro Higuchi
᭱㏆ࡢᴗ⦼
>@ᮧᒣ㟼㤶㸪ᵽཱྀᫀᏹ㸸 $PELHQW&DOFXOXVࢆ
⏝࠸ࡓ≀ὶ⟶⌮ࢩࢫࢸ࣒ $PELHQW&DOFXOXV ࡢ᫬
㛫ᣑᙇ࡜ࡑࢀ࡟ᇶ࡙ࡃ≀ὶ┘どࢩࢫࢸ࣒㸪➨ ᅇ᝟ሗฎ⌮Ꮫ఍඲ᅜ኱఍㸪.㸬
>@㐨➃ఙஅ௓㸪Ᏺᒇᐉ㸪ᵽཱྀᫀᏹ㸸0$1(7 ୖ࡛ࡢ
෌㓄ᕸࢆ⏝࠸ࡓ」〇㓄ᕸ࡟࠾ࡅࡿࢺࣛࣄࢵࢡ
ᢚไ࡟ࡘ࠸࡚➨ ᅇ᝟ሗฎ⌮Ꮫ఍඲ᅜ኱఍㸪
.㸬
>@㙊⏣㧗ዴ㸪ᵽཱྀᫀᏹ㸸:HE ࢔ࣉࣜࢣ࣮ࢩࣙࣥ
ࢆᑐ㇟࡜ࡋࡓ㧗⥙⨶⋡ࡢ༢యࢸࢫࢺ⮬ື⏕ᡂ
࡟ࡘ࠸࡚㸪➨ ᅇ᝟ሗ⛉Ꮫᢏ⾡ࣇ࢛࣮࣒ࣛ
㸬
>@ᵽཱྀᫀᏹࠊຍ⸨ᬸ㸸≀ὶࢩࢫࢸ࣒グ㏙ࡢࡓࡵ
ࡢከ㔜 $PELHQW&DOFXOXV㸪᝟ሗฎ⌮Ꮫ఍ㄽᩥㄅ
ࣉࣟࢢ࣑ࣛࣥࢢ9RO1RSS
>@ 㙊⏣㧗ዴ㸪ᵽཱྀᫀᏹ㸸'$2 ࣃࢱ࣮ࣥࢆ⏝࠸ࡓ
:HE ࢔ࣉࣜࢣ࣮ࢩࣙࣥࡢࡓࡵࡢ༢యࢸࢫࢺࢣ
࣮ࢫ⿵᏶ࢶ࣮ࣝ㸪➨ ᅇ᝟ሗฎ⌮Ꮫ఍඲ᅜ኱
఍㸪/㸬
>@ ᳜⏣೺ྖ㸪ᵽཱྀᫀᏹ㸸㞟ᅋ⾜ືᨭ᥼ࡢࡓࡵࡢ
఩⨨᝟ሗ㡺ᕸ᪉ᘧ࡟࠾ࡅࡿ㐺ṇ࡞ࣃ࣓࣮ࣛࢱ
್ࡢ⟬ฟ㸪
➨ ᅇ᝟ሗฎ⌮Ꮫ఍඲ᅜ኱఍㸪:
㸬
>@ᵽཱྀᫀᏹ㸪᳃⏣ဴᖹ㸪ຍ⸨ᬸ㸸ከ㔜 $PELHQW
&DOFXOXV ࡟ࡼࡿ≀ὶグ㏙࡟ᑐࡍࡿᙅ཮ᶍೌ➼
౯ᛶࢆ⏝࠸ࡓࣔࢹ᳨ࣝᰝ㸪᝟ሗฎ⌮Ꮫ఍ㄽᩥㄅ
ࣉ ࣟ ࢢ ࣛ ࣑ ࣥ ࢢ 9RO 1R SS
>@ᵽཱྀᫀᏹ㸸᫬㛫௜ࡁ $PELHQW&DOFXOXV᝟ሗ
ฎ⌮Ꮫ఍ ᖺᗘ➨ ᅇࣉࣟࢢ࣑ࣛࣥࢢ◊✲
఍
‫⛉ڦ‬Ꮫ◊✲㈝ ᇶ┙◊✲&௦⾲㸦ᖹᡂ 㸫 ᖺ
ᗘ ୓෇㸧
‫⛉ڦ‬Ꮫ◊✲㈝ ᇶ┙◊✲&௦⾲㸦ᖹᡂ 㸫 ᖺ
ᗘ ୓෇㸧

加藤暢

ロケットエンジンシミュレーションの最先端

Sports Diplomacy in the Seoul and Pyeong Chang Olympic Games