| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2010-01-22 13:00 ［招待講演］ソフトウェア技術を利用したCO2排出削減 ○佐藤一郎（NII）  AI2009-23 |
|
| 抄録 | （和） | 2020年までに1990年比25％のCO2排出量削減が国家目標になっている．IT技術に よる現実世界のCO2排出量削減は大きな効果が期待されているが，本講演では， その中でもプログラム検証及びコード最適化手法を利用した物流トラック のCO2削減手法について解説していく．これは物流トラックの集配経路とプログ ラム実行フローには類似性に着目した新しい方法であり，物流トラック集配経 路を記述するプログラミング言語を導入することによって，コンパイラで利用 されるコード最適化手法を使ってトラック経路を段階的に効率化する．また， 物流におけるCO2削減には共同物流が有力視されているが，その管理が難しいこ とが課題となっている．そこで荷主の集配条件をプログラムの仕様，トラック 経路を実装したプログラムとして扱い，ソフトウェア検証を利用して，荷主の 集配条件に充足して，さらにCO2の排出の少ないトラックを発見する方法を提示 する． |
| （英） | The reduction of carbon dioxide (CO$_2$) emissions by 25 percent from 1990 levels has been announced as Japan's target for the post-Kyoto Protocol. Information Technology (IT) has been expected as a prominent role to achieve to the target. This paper proves that software technologies are useful to reduce the amount of CO2 emited from logistics. The key idea behind this is in similarity between program-execution flow and logistic truck route. We propose a language for describing the routes of trucks and a modal logic system for specifying the requirement of logisitcs, and construct a model-checking-based mechanim for verifying whether trucks whose routes described in the language can carry items along the requirements of shippers/collectors or not. This paper also describes a prototype implementation of the framework for managing cooperative truck logitics. |
|
| キーワード | （和） | 温室効果ガス / 物流 / コード最適化 / ソフトウェア検証 / / / / |
| （英） | Green-house gas / logistics / code optimization / software verification / / / / | |
| 文献情報 | 信学技報, vol. 109, no. 386, AI2009-23, pp. 25-29, 2010年1月. | |
| 資料番号 | AI2009-23 | |
| 発行日 | 2010-01-15 (AI) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | AI2009-23 |
|
| 研究会情報 | |
| 研究会 | AI |
| 開催期間 | 2010-01-22 - 2010-01-22 |
| 開催地（和） | 関学東京キャンパス |
| 開催地（英） | |
| テーマ（和） | 「グリーンAI」および一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | AI |
| 会議コード | 2010-01-AI |
| 本文の言語 | 日本語 |
| タイトル（和） | ソフトウェア技術を利用したCO2排出削減 |
| サブタイトル（和） | |
| タイトル（英） | Software Technologies for Green-House Gas Emission |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 温室効果ガス / Green-house gas |
| キーワード(2)（和/英） | 物流 / logistics |
| キーワード(3)（和/英） | コード最適化 / code optimization |
| キーワード(4)（和/英） | ソフトウェア検証 / software verification |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 佐藤 一郎 / Ichiro Satoh / サトウ イチロウ |
| 第1著者 所属（和/英） | 国立情報学研究所 (略称： NII) National Institute of Informatics (略称： NII) |
| 講演者 | 第1著者 |
| 発表日時 | 2010-01-22 13:00:00 |
| 発表時間 | 60分 |
| 申込先研究会 | AI |
| 資料番号 | AI2009-23 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | no.386 |
| ページ範囲 | pp.25-29 |
| ページ数 | 5 |
| 発行日 | 2010-01-15 (AI) |
[研究会発表申込システムのトップページに戻る]