࢚ࣞࢡࢺࣟࢽࢡࢫ⣔ᕤᏛᑓᨷ ሗฎ⌮ศ㔝 ୪⾜ィ⟬⌮ㄽ◊✲ᐊ ᩍᤵ ຍ⸨ᬸ Theory of Concurrent Computation Lab. Assoc. Prof. Toru Kato ࣮࣮࢟࣡ࢻ ࣔࣂ࢚࣮ࣝࢪ࢙ࣥࢺࠊࣥࣅ࢚ࣥࢺィ⟬ࠊࣉࣟ ࢭࢫ௦ᩘࠊࣔࢹ᳨ࣝᰝࠊࣉࣟࢭࢫ㛫ࡢ➼౯ᛶ⌮ㄽ mobile agent, ambient calculus, process algebra, model checking, theory of equivalence relation on processes ◊✲ෆᐜ 㹙㸯㹛ࣔࣂ࢚࣮ࣝࢪ࢙ࣥࢺᐇ⏝ࡢ◊✲ ࣭࢚࣮ࢪ࢙ࣥࢺࢩࢫࢸ࣒ࡣࠊ⮬ᕫࡢ⨨ࢀࡓ≧ἣ ࢆᢕᥱࡋࠊ┠ᶆࢆ㐩ᡂࡍࡿࡓࡵḟ࡞ࡍࡁື సࢆ⮬ศ࡛Ỵࡵࠊືసࢆ⥆ࡅࡿࢯࣇࢺ࢙࡛࢘ࡍࠋ ࣭ࡑࡢ୰࡛ࡶࠊࢿࢵࢺ࣮࣡ࢡୖࢆ㣕ࡧᅇࡾࠊ࣮ࣘࢨ ௦ࢃࡗ࡚ᵝࠎ࡞ືసࢆࡍࡿࣉࣟࢢ࣒ࣛࢆࣔࣂ ࢚࣮ࣝࢪ࢙ࣥࢺࡧࡲࡍࠋ⮬ືⓗ࡞㟁Ꮚၟྲྀ ᘬࠊሗ㞟ࠊከேᩘ࡛࣋ࣥࢺࢆ⾜࠺㝿ࡢྛே ࡢࢫࢣࢪ࣮ࣗࣝㄪᩚ࡞ࠊᵝࠎ࡞⏝㏵ࡀ⪃࠼ࡽࢀ ࡚࠸ࡲࡍࠋ ࣭ᮏ◊✲ᐊ࡛ࡣࠊࣔࣂ࢚࣮ࣝࢪ࢙ࣥࢺࡢグ㏙≉ ࡋࡓゝㄒ Ambient ィ⟬ࢆ⏝࠸࡚ࠊືసࡢṇ☜ ᛶࡀ⌮ㄽⓗ᳨ド࡛ࡁࡿࡼ࠺࡞ࣔࣂ࢚࣮ࣝࢪ ࢙ࣥࢺࢩࢫࢸ࣒ࢆᵓ⠏ࡍࡿ◊✲ࢆ⾜ࡗ࡚࠸ࡲࡍࠋ ࢚࣮ࢪ࢙ࣥࢺࢩࢫࢸ࣒ࡣኚ౽࡞ࢯࣇࢺ࢙࢘ ࡛ࡍࡀࠊ୍Ṍ㛫㐪࠺ࢥࣥࣆ࣮ࣗࢱ࢘ࣝࢫ ࡞ࡗ࡚ࡋࡲ࠸ࡲࡍࠋ㛫㐪ࡗࡓືసࢆࡋ࡞࠸ࡇ ࢆಖドࡍࡿࡇࡣኚ㞴ࡋ࠸ࡢ࡛ࡍࡀࠊࣉࣟ ࢭࢫ௦ᩘ࡛࠶ࡿ Ambient ィ⟬ࢆࡗ࡚ࢩࢫࢸ࣒ ࢆᵓ⠏ࡍࡿࡇࡼࡾࠊᵝࠎ࡞ᛶ㉁ࢆ⌮ㄽⓗ ド࡛᫂ࡁࡿࡼ࠺࡞ࡾࡲࡍࠋ 㹙㸰㹛࢚࣮ࢪ࢙ࣥࢺᢏ⾡ࢆ⏝࠸ࡓ≀ὶ┘どࢩࢫࢸ࣒ ࣭ࢥࣥࢸࢼࢆ㍺㏦ࡍࡿᾏୖ≀ὶ࡛ࡣࠊ㈌≀ࡢ✚ࡳ㎸ ࡳࠊ✚ࡳୗࢁࡋࡢ☜ㄆࡣከࡃࡢ㒊ศࢆேຊ㈇ࡗ࡚ ࠸ࡲࡍࠋࡋࡋ୍ᗘ㐠ࡤࢀࡿࢥࣥࢸࢼࡣᩘ༓ಶ ࡽ୍ಶ௨ୖୖࡾࠊࡉࡽࠊ୰⥅ ࡛ࡢ࠼ࡸ ᝏኳೃࡼࡿࢫࢣࢪ࣮ࣗࣝࡢኚ᭦࡞ࠊከࡃࡢ」㞧 ࡞せᅉࡼࡾ☜ㄆ࣑ࢫࡀ㉳ࡇࡾࠊㄗ㓄㏦ࡀ⏕ࡌࡲࡍࠋ ࣭ᮏ◊✲ᐊ࡛ࡣࠊ࢚࣮ࢪ࢙ࣥࢺᢏ⾡᭱᪂ࡢ RFID ᶵᮦࢆ⏝࠸ࠊࢥࣥࢸࢼ⛣㏦ࢆ⮬ືⓗ┘ど࡛ࡁࡿࢩ ࢫࢸ࣒ࡢᵓ⠏ࢆ⾜ࡗ࡚࠸ࡲࡍࠋ ࣭⏝ࡍࡿ IC ࢱࢢࡣ 60Kbit ࡢሗࢆᩘ࣓࣮ࢺࡢ㊥ 㞳ࡽㄞࡳ᭩ࡁ࡛ࡁࡿࡶࡢ࡛ࠊࡇࡢࢱࢢࣔࣂࣝ ࢚࣮ࢪ࢙ࣥࢺࡢࣉࣟࢢ࣒ࣛࢆ᭩ࡁ㎸ࡳࡲࡍࠋࡇࢀ ࡼࡾࠊࢥࣥࢸࢼࡣ⮬ศࡀࡇࡽ⯪ࡾࠊࡇ࡛ ࡾ࠼࡚ࠊࡇࡘࡃࡢࢆ⮬ศ࡛▱ࡗ࡚࠸ࡿ ఝ࢚࣮ࢪ࢙ࣥࢺ࡞ࡾࡲࡍࠋ ࣭࠶ࡣ✚ࡳ㎸ࡳࠊ✚ࡳୗࢁࡋࡢ㝿࣮ࣜࢲ/ࣛ ࢱ࣮࡛ࢥࣥࢸࢼࡢሗࢆㄞࡳྲྀࡾࠊࡑࡇ᭩࠸࡚࠶ ࡿ㏻ࡾ⛣㏦ࡉࢀ࡚࠸ࡿ࠺ࢆุ᩿࡛ࡁࡿࡼ ࠺࡞ࡾࡲࡍࠋᚑࡗ࡚ࠊつᶍ࡞ࢹ࣮ࢱ࣮࣋ࢫࡸࢿ ࢵࢺ࣮࣡ࢡࢆᚲせࡋ࡞࠸ࢥࣥࢸࢼ⟶⌮ࡀྍ⬟ ࡞ࡾࡲࡍࠋ⌧ᅾࡣ㌴ࢆࢥࣥࢸࢼぢ❧࡚࡚⾜࠺ᇶ♏ ᐇ㦂ࡢẁ㝵࡛ࡍ (ᅗ 1)ࠋ ᅗ 1. ≀ὶ┘どᇶ♏ᐇ㦂ࡢᵝᏊ 㹙㸱㹛ࣔࢹ᳨ࣝᰝࢩࢫࢸ࣒ ࣭≀ὶ┘ど࠾࠸࡚ᐇ㝿㍺㏦ࡀጞࡲࡿ๓ࠊᵝࠎ ࡞≀ὶ᭩㢮ࡼࡗ࡚つᐃࡉࢀࡿ≀ὶィ⏬ࡀṇࡋ࠸ ࠺ࢆ᳨ᰝࡍࡿࢩࢫࢸ࣒ࢆᵓ⠏ࡋ࡚࠸ࡲࡍࠋ≀ ὶ᭩㢮ࡽ⮬ືⓗ≀ὶࢩࢫࢸ࣒యࢆ⾲ࡍࣉࣟ ࢭࢫᘧࢆ⏕ᡂࡋࠊᙜึணᐃࡋࡓ㏻ࡾ㈌≀ࡀ㍺㏦ࡉ ࢀࡿ࠺ࢆ᳨ᰝࡍࡿࡶࡢ࡛ࡍࠋࡇࢀࡼࡾࠊ᭩ 㢮ࡢㄗࡾ࡞ࡼࡿㄗ㓄㏦ࢆᮍ↛㜵ࡄࡇࡀ࡛ ࡁࡿࡼ࠺࡞ࡾࡲࡍࠋ ᭱㏆ࡢᴗ⦼ [1] T.Kato : An Equivalence Relation for The Typed Ambient Calculus, 7UDQVRI,QIRUPDWLRQ3URFHVVLQJ6RFLHW\RI-DSDQ, Vol. 48, No.10, pp.90-100 2007 [2] ᳃ᮏ㍜㸪ຍ⸨ᬸ㸪ᵽཱྀᫀᏹ : Ambient Calculus ࢆ⏝ ࠸ࡓ≀ὶ᳨ᰝࢩࢫࢸ࣒, ሗฎ⌮Ꮫㄽᩥㄅ:ࣉࣟࢢࣛ ࣑ࣥࢢ, Vol.48, No.10, pp.151-164 (2007). [3] T.Kato, M.Higuchi : A Handling Management System for Freight with the Ambient Calculus, International Journal of Mathematical Models and Methods in Applied Sciences Issue 3, Vol.3, pp. 179-186 (2009). [4] ຍ⸨ᬸ㸪ᵽཱྀᫀᏹ㸪᳜⏣┤ே: ≀ὶࢩࢫࢸ࣒ᑐࡍ ࡿ Ambient Logic ࣔࢹ᳨ࣝᰝࢩࢫࢸ࣒, ሗฎ⌮Ꮫ ㄽᩥㄅ:ᩘ⌮ࣔࢹࣝᛂ⏝, Vol.3,No.1, pp.73-86 (2010). [5] ᵽཱྀᫀᏹ, ຍ⸨ᬸ㸸≀ὶࢩࢫࢸ࣒グ㏙ࡢࡓࡵࡢከ㔜 Ambient Calculus, ሗฎ⌮Ꮫㄽᩥㄅࣉࣟࢢ࣑ࣛࣥࢢ Vol.5 No.2, pp. 79̽87 (2012) [6] ᵽཱྀᫀᏹ, ᳃⏣ဴᖹ, ຍ⸨ᬸ㸸ከ㔜 Ambient Calculus ࡼࡿ≀ὶグ㏙ᑐࡍࡿᙅᶍೌ➼౯ᛶࢆ⏝࠸ࡓࣔࢹ ᳨ࣝᰝ, ሗฎ⌮Ꮫㄽᩥㄅࣉࣟࢢ࣑ࣛࣥࢢ, Vol.5, No.3, pp. 50̽60 (Aug. 2012) [7] ᶫᮏ㝯ᘯ, ຍ⸨ᬸ, ᵽཱྀᫀᏹ㸸ከ㔜 Ambient Calculus UHF ᖏ RFID ᶵჾࢆ⏝࠸ࡓᾏୖ≀ὶ┘どࢩࢫࢸ࣒, ሗฎ⌮Ꮫㄽᩥㄅࣉࣟࢢ࣑ࣛࣥࢢ, ᥖ㍕Ỵᐃ (2013) ⛉ ڦᏛ◊✲㈝ ᇶ┙◊✲ (C)㸦ᖹᡂ23–25 ᖺᗘ 416 㸧.
© Copyright 2024 Paperzz
