Transcript
Page 1: uvwflx Z yz ¾ ƒ|}~ ˇˆ k ‘ I™Q‡…—–ˆ˙˝˛˚˜ !˜#˜˜l$ · [1] Ichiro Satoh: "A Formal Framework for Cooperative Logistics Management," Business Process Management,

��������� ����SCOPE� ����������� 24��

uvw�xZ�yz�¾{¦|}~��Ã�k�`_�I�Q����������� "!�#��l$%

��&'(%

����% �î�S/��u%

Ichiro Satoh National Institute of Informatics %

��45(%

�y8z%���zz%����zz%��{zz%����zz%*O��zz%�O��zz%�� zz%���zzz%d���zzz%�ɠ

ézzz%�¡y¢zzz%£î¤¥zzz%m*¦§zzz%¨©|ªzzz%�Éx�zzz%)É«¬zzz%,yãzzz%­®¯�zzz%D�ú°zzz%É& ±z

zz%²Ñ7��zzz%©�}+zzz%Éd³´zzz%�ɵzzz%¶É·ézzz%î¸�¹zzz%º»�¼ézzz%m�½zzz%��¤�zzz%

Kazuhiro Minamiz%Akihiro Hadazz%Kimikazu Katozz%Chikara Hoshinozz%Yuji Satozz%Taeko Sawakamizz%%

Yuji Inouezz%Mitsuru Morookazz%Haruki Okadazzz%Yoshihiro Nakagawazzz%Katsuhito Umedazzz%Kazuhiro Noguchizzz%Masumi Shibatatezzz%Masayuki Ozawazzz%Takeshi Yoshinagazzz%Kennsuke Hujitazzz%Naoya Hurutazzz%

Kazuhiro Azumazzz%Koichi Yokomizozzz%Humio Uchiyama, Katsuaki Tashirozzz%Eiichiro Sonobezzz%Katsuaki Nagaizzz%Yoshitake Tanakazzz%Tadashi Ishidazzz%Teruhiko Shinadazzz%Shoji Tachikizzz%Tomohiko Hibinozzz Ryo

Ogawazzz%Shinichi Sanozzz%z�î�S/��u% zzºUôõ�Q¾¿ÀÁ% zzzÂÃÄž¿ÀÁ�

†National Institute of Informatics% ††Nihon Unisys Ltd.% †††Toppan Priting Co. LTD. %

��9:� �� 21����� 23�� %

;<%

`Rm@U��aV25 !"# CO2b��c/st;Fc=U=��]�ºmǺwst6�BFD`R-�,�.��Íæ.Ǻwmñò»t;=ç���6�BFD@U��aV25 ÇûD|FCb�dµ

ì˳ç2N5ܼ�,-»t6ÐÑFc=e»t fCc\Bw6îf e»t.\§\]67C=`R

-�,�.b��c/;gR ÇûDb�dh<g.˳b�dµì6\pU#9 �

Abstract We proposed two approaches to reduce the amount of green house gas emitted in supply-chains. The first is to make the routes of logistic trucks more efficient by treating truck routes as program execution flows. It defined specification languages for truck routes and optimizations approaches for such programs specified with the languages. The second is to enable a small amount of carbon emission rights to be managed and traded by using RFID tags or barcodes as certificated securities on the rights. We evaluated the approaches in social experiments. =>?@AB \T�& CO2b��c/ >=\Íi�Ü;.jân.[Cc/stkkòl)*#9G:)\Íi�Ü.$m.

n;f)*#`Rm@U��aV25 O�Fc=CO2b��c/��;Fc= `R-�,�Íæ.WXw l

h=op�q.c/;=�gµì6�ûD|FCb�rµ

ì6ÐÑF=G.\§\]6�ûc=\p�.Òs6h"

cC�9 %

C>��DEFGHI `R-�,�.ÍæWXw>=-�,�Íæ6U=��]

.\7.Rx;FcjC=U=��] �¤#WXw×1

§st6�BU#|FC»t6ÐÑFD9\T=-�,�

Íæ>tu×ævóôk*#k=U=��] !"#ë2

U× w IËU#:;¥}=|)>-�,�Íæ6

�UU=��´5�uv6GÍFD9¼�� >x`.�

�>=�x� IËU#ó�¥}=x` IËU#�2�

6-�,� IËU#ó� y(�F=�x� IËU#

ó� Ò<Lz:; IËF=x`.î×ùw>�2�.

{ IËU#9&!=-�,�Íæ.U=��]w>[ñ

> R^k&�=G.�)";&#9-�,�Íæ>

U=��]wwx#:;)=̂ _`³5 ��)�Bwx

#³2RǺw6�BU#:;)WXw)<#l8 &

�D9)>-�,�Íæ �B)<#³2RǺw6

ñ|;;i =-�,�Íæ�<.³2RǺwst6Ð

ÑFD9IJ.ÍæWXw>=}��2ë²±5-� ~

�wx#l8 q�Ǻwstk~��)*#k=åÃ&

Íæóô>põ¥}r�wx&Ck=|st>IJÍæ�

.� �WXw)*#DH \�B !Cc.�;&#9

:.�=-�5b�345)BC}x#O:wst=fg

h�:U=��]6G.qrñ?6ó_� �ÊU=�

�]w)=-�,�Ö�6c/U#»t6ÐÑFD(� 1)9'9Íæ l#k=3�s�.WXwkL¥H}xcC#9 � 1Ã-�5b�345st l#-�,��c/

� gD=¶Ù`R=fgh��R«·)B�-�,�Ö�

.3V5>`RWXwU#»t;Fc=-�,�Íæ6U

=��].\M=x�.��6U=��].�÷;Fcj

8:;)=²¼-�V51§st l#=x�.�� *

�D-�,�6Éf"#»t6\pFD9:x>¶Ù`R

>=`RWXw× CO2c/.�h�;wxc<Dk=�B.�Fw¥}\Bwk�M)C&¥�Dk=|>å

- 48 -

Page 2: uvwflx Z yz ¾ ƒ|}~ ˇˆ k ‘ I™Q‡…—–ˆ˙˝˛˚˜ !˜#˜˜l$ · [1] Ichiro Satoh: "A Formal Framework for Cooperative Logistics Management," Business Process Management,

��������� ����SCOPE� ����������� 24��

��&¶Ù`R�r Ò6��i.;&h=���R³5

��2/�5�¶).Ð�kòo &�cC#(� 2)9%

�� �ÃÐÑst l#3²/]^�%

gµì6�ûD|FCb�rµì>=ª«&�.b�c/

��6=g.R�6�ûc=@U��aV25.¶R¥}

$R �RwÛ#DH =*, ��×*2³2R6b�r

�¤#=*#�..4§�.l8 �B)<#l8 U

#9&!=`R.\�6�_#;=���í&� *,+ �

x&C��)iòBnk*#:;k=\Bw !Cc>ù

&�;&#9¼�� >g.&� �hwxD�}¥

.m�2� *, 'Fc=Ý�wFDb�r6�hËc#

i.)*#9DüF=Ý�wFDb�r.µìm�rst

>�/)*h=®¯ �)"cÝ�b�r6j8DH.�

i��6GÍm\MFD9b�r> � -5?H *,k�

hËc}xcC#:;¥}[email protected]���.l8 �[

6�rU#.)>&�=¡7wxD��.�F�Di�r

U#��;&#9gD=*,��gD>*2³2R. *,;

��¶.Ý�b�r6�h"wÛ#9:x lh=g..

ØI·gD>��·>=*, ��gD>*2³2R6�#

ü")=JK.g.6b�r6�hËcc��)<#l8

&h=:x>v'.b�rh<g..��6/}U:;

;&h=å<&K�6�f9�

� GFcb�r.�i>=�b�r6�U *,��gD

>*2³2R6�"µ�Di.k=b�r.�hËc·

�<U#:; &#k=|)> *,��gD>*2³

2RG.i.6þ�wÛ#»t6ÐÑFDõ� Êú9:x>

^_`*,��gD>*2³2R.*,6è�c�<U#;=

3~&�<·)*#¥6M§U#³²-kå<�&#k=

Gx6`r�&�"�F)c/U#;;i =��k�B

)<&C��$)i'Ç)<#¥})*#9gD=*, �

�gD>*2³2R.þ�k�<;&#DH=g. �h

wxDb�r)i=Gx6�U *,��gD>*2³2R

6�·  �Fci=G. ��k�<)<#9:x>¥

¡&b�rµì6\pU#8_)å<&K�6iA=w}

b�r.¢h�B;C8|FC£6U×U:; &

#9�

STUVWX YZ[\]^_`_abcde\fghij�

� wcÐÑst.34;Fc=\T.@U��aV25

!"#\§\]67C=²2 2±2�,-õ�-2¤2

çR2m5½Ü¥¦§ú)=ÐÑst l#b�r�h¨

�.õ-©Èú6@4ª«· 'Fc��F=G.�i67

�ci}8:;)=ÐÑst.\Bn6L¥HDõ� ;ú9

ˬg..���>NY'­)� Ê.- ];&h=w}

Ê-/.®¡·k�i »¸U#:;;&�D9&!=|\

]>@4ª«·k»¸U#b�rµì;Fc>®¯Ì;

&#9gD=Ý�wFDb�r. �st634U#DH

=� 2-�G¯8°±§� !Cc=Ý�b�r6�

Uç2R6��Fc=Ȳ�.µì.òon6L¥HD9�

��ËÃ\§\]�

J>KLG%

`R !"#b�c/>=IJ.-�,�`R.WXws

t;.jânk[�=w} -�,���.��>k&

DH ¦¡³²-k(C9gD=gR l#b�rµì>

\§\]6�ûc=«�678:;)\Bw)<#xyg

)<c!h=ÐÑst6�BU#R«·×°³�6ÚgF

DC9�

%

MNO�'PQ�R [1] Ichiro Satoh: "A Formal Framework for Cooperative

Logistics Management," Business Process Management, vol.99, Springer (2011.8).

[2]Ichiro Satoh: "A Scheme for Carbon Offsetting Products and Services," Proceedings of 13th IEEE Conference on Commerce and Enterprise Computing (CEC 2011), pp.201-206, (2011.8).

[3]Ichiro Satoh: "A Formal Approach for Milk-Run Transport Logistics," IEICE Transactions 91-A(11): pp.3261-3268, (2009.11�

MÆÇ��PQ�R [1]´µ@m , ��Íæñò3²/] ”, PCT �¶

�PCT/JP2009/059136�EU, (2010.12.16) [2]¸µ�@, “3Ën�r3²/]!l³·u���7BU=��]”,Z|, (2012.3) [3]´µ@m, “b��µì3²/]˳b��µì»t” (PCT/JP2009/069976)=EU (2012.3) M��PQ�R [1]ot²Z|¸M��¯�� � 34 �¹$� «��rw�qÐ�“IC��6è�D CO2c/3²/]”�º� [2]´µ@m=ISAmI’2010 Best Paper Award, (2010.6) [3]Ichiro Satoh= IEEE International Conference on

Complex, Intelligent, and Software Intensive Systems (CISIS-2012)=“Best Paper Award”(2012.7)

MST�'PQ�R%

[1] WICT 6�BFD CO2 b��µì.|D&µìst.\Bw6��U³5²235] �@U��aV25»¼����1寽��6GzX=(2011.11.24) [2] “ª«·�" CO2b��µì �U#®¯Ì.\§\]6�ÏX (2011.2.8) [3]W®¯Ì=CO2 b�rµì.|D&µìst6\§\]X(2012.2.8)

- 49 -


Recommended