@article{weko_174603_1, author = "宮井,亜人夢 and 加藤,暢 and 樋口,昌宏 and 大山,博史", title = "多重Ambient Calculusを用いた海上物流監視システムのための動的経路設定機能", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2016", volume = "9", number = "4", pages = "29--29", month = "sep" }