業績 / Publications

学術論文 (査読付き) / Journal Papers (refereed)

• 蓑田 玲緒奈, 湊 真一,
  "記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証",
  電子情報通信学会論文誌 (D), Vol. J101-D, No. 3, pp. 470-480, Mar. 2018. (written in Japanese text, selected as an awarded paper)

• Reona Minoda, Shin-ichi Minato,
  "Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages",
  IEICE Transactions on Information & Systems, Vol. E100-D, No. 6, pp. 1172-1181, Jun. 2017.

国際会議 (査読付き) / International Conferences (refereed)

• Reona Minoda, Masakazu Ishihata, Shin-ichi Minato,
  "Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking",
  In Proceedings of the Eleventh International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), pp. 85-91,
  Barcelona, Spain, Nov. 2017. Best Paper Awarded

• Reona Minoda, Shin-ichi Minato,
  "Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking",
  In Proceedings of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS/PEC 2017), pp. 13-21,
  Madrid, Spain, Jul. 2017. Best Paper Awarded

• Reona Minoda, Yuzuru Tanaka, Shin-ichi Minato,
  "Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking",
  In Proceedings of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), pp. 65-71,
  Venice, Italy, Oct. 2016. Best Paper Awarded

国内発表 (講演, 査読なし) / Domestic Conferences (oral presentation, non-refereed)

• 蓑田 玲緒奈, 湊 真一,
  "スマートオブジェクトの近接連携シナリオへの記号モデル検査の応用",
  2017年度 人工知能学会全国大会（第31回）, 1M1-OS-02a-3, pp. 1-4, 名古屋, 2017年5月

• 蓑田 玲緒奈, 湊 真一,
  "モデル検査によるSmart Objectの近傍近接連携モデルの検証",
  人工知能学会 第101回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-101-B504, pp. 7-14, 札幌, 2016年8月

国内発表 (ポスター, 査読なし) / Domestic Conferences (poster, non-refereed)

• 蓑田玲緒奈,
  "確率的モデル検査によるスマートオブジェクトの近接連携シナリオの信頼性の定量的解析にむけて",
  さきがけ「社会情報基盤」＆ 基盤(S)離散構造処理系PJ 合同ミニワークショップ , 札幌, 2017年7月

• 蓑田 玲緒奈,
  "確率的モデル検査によるスマートオブジェクトの近接連携シナリオの信頼性の定量的解析にむけて",
  基盤(S)離散構造処理系プロジェクト「2017年度 初夏のワークショップ」, 札幌,
  2017年度JSPS科研費 基盤(S)「離散構造処理系の基盤アルゴリズムの研究」講究録, ISSN 2186-1854, (To Appear), 2017年6月

• 蓑田 玲緒奈,
  "Smart Objectの近傍近接連携モデルの検証への確率的モデル検査の導入",
  基盤(S)離散構造処理系プロジェクト「2016年度 秋のワークショップ」, 札幌,
  2016年度JSPS科研費 基盤(S)「離散構造処理系の基盤アルゴリズムの研究」講究録, ISSN 2186-1854, pp. 364-366, 2016年11月

• 蓑田 玲緒奈,
  "モデル検査によるSmart Objectの近傍近接モデルの検証",
  基盤(S)離散構造処理系プロジェクト「2016年度 初夏のワークショップ」, 札幌,
  2016年度JSPS科研費 基盤(S)「離散構造処理系の基盤アルゴリズムの研究」講究録, ISSN 2186-1854, pp. 162-164, 2016年6月

• 蓑田 玲緒奈,
  "ユビキタスコンピューティングにおける局在した反応場モデルのモデル検査について",
  ERATO湊離散構造処理系プロジェクト「2015年度 秋のワークショップ」, 支笏湖,
  2015年度JST ERATO湊離散構造処理系プロジェクト講究録, ISSN 2186-1846, pp. 347-348, 2015年11月

• 蓑田玲緒奈,
  "ユビキタスコンピューティングにおけるモバイルデバイス同士の連携シナリオのモデル検査",
  2015年電子情報通信学会ソサイエティ大会 BI-2 離散構造処理の技法と情報ネットワークへの応用, 仙台, 2015年9月 (話題提供)

• 蓑田 玲緒奈,
  "ユビキタスコンピューティングにおけるモバイルデバイス同士の連携シナリオのモデル検査",
  ERATO湊離散構造処理系プロジェクト「2015年度 初夏のワークショップ」, 札幌,
  2015年度JST ERATO湊離散構造処理系プロジェクト講究録, ISSN 2186-1846, p. 264, 2015年4月

• 蓑田 玲緒奈,
  "ユビキタスコンピューティングシナリオの記号モデル検査による検証手法",
  ERATO湊離散構造処理系プロジェクト「2014年度 春のワークショップ」, 札幌,
  2014年度JST ERATO湊離散構造処理系プロジェクト講究録, ISSN 2186-1846, p. 256, 2014年4月

• 蓑田 玲緒奈,
  "スマート・オブジェクトの近接連携モデル",
  2013年北大情報系若手連携シンポジウム, pp. 81-82, 札幌, 2013年11月.

受賞 / Awards

• 学生論文特集秀逸論文, 電子情報通信学会 (IEICE), 電子情報通信学会論文誌 学生論文特集, 2018年3月

• Best Paper Award, International Academy, Research and Industry Association (IARIA), UBICOMM 2017, 2017年11月

• Best Paper Award, Institute for Systems and Technologies of Information, Control and Communication (INSTICC), PECCS/PEC 2017, 2017年7月

• Best Paper Award, International Academy, Research and Industry Association (IARIA), UBICOMM 2016, 2016年10月

その他学会活動 / Other Activities

• Technical Program Committee Member, The Thirteenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2019), Porto, Portugal, September 22nd-26th, 2019.

• Session Organizer, オーガナイズドセッション OS-3 AIにおける離散構造処理と制約充足, 2019年度 人工知能学会全国大会（第33回）, 新潟, 日本, June 4th-7th, 2019.

• Technical Program Committee Member, The Twelfth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2018), Athens, Greece, November 18th-22nd, 2018.

• Technical Program Committee Member, The Eleventh International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), Barcelona, Spain, November 12th-16th, 2017.

• Session Chair, Session PEC17-4A, The 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS/PEC 2017), July 24th-26th, 2017.

• Reviewer, The 21st International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'15/MPS104), July 27th-30th, 2015.

RA & 短期支援員 / Research Experiences

• RA, JSPS科研費 基盤(S)「離散構造処理系の基盤アルゴリズムの研究」，April, 2016-March, 2018.

• RA, JST ERATO湊離散構造処理系プロジェクト，April, 2014-March, 2016.

• 短期支援員, 文部科学省委託業務「社会システム・サービス最適化ためのサイバーフィジカルIT統合基盤研究 (CPS-IIP)」, October, 2012-November, 2012.

• 短期支援員, 文部科学省委託業務「目的解決型IT統合基盤技術研究開発実現に向けたフィージビリティスタディ (FS)」, August, 2011-October, 2011.

TA & TF (ティーチングフェロー) / Educational Experiences

• TF, 情報理工学演習II, 北海道大学 工学部 情報エレクトロニクス学科 情報理工学コース, June 12th-July 24th, 2017.

• TA, コンピュータサイエンス演習II, 北海道大学 工学部 情報エレクトロニクス学科 コンピュータサイエンスコース, October 1st, 2015-February 3rd, 2016.

• TA, コンピュータサイエンス演習II, 北海道大学 工学部 情報エレクトロニクス学科 コンピュータサイエンスコース, October 1st, 2011-February 1st, 2012.

• TA, 2030年情報エレクトロニクスの旅, 北海道大学 全学教育科目 総合科目「環境と人間」, October 25th, 2011.

• TA, 情報学II, 北海道大学 全学教育科目 共通科目, October 1st, 2011-February 1st, 2012.

• TA, コンピュータサイエンス実験I, 北海道大学 工学部 情報エレクトロニクス学科 コンピュータサイエンスコース, July 5th-29th, 2011.

• TA, コンピュータサイエンス演習II, 北海道大学 工学部 情報エレクトロニクス学科 コンピュータサイエンスコース, October 1st, 2010-February 2nd, 2011.

• TA, 一般教養演習『知識の再流通プログラミング：情報を集め、新たな知識を発見し、世界に発信する基礎技術』, 北海道大学 全学教育科目, October 1st, 2010-February 1st, 2011.

• TA, コンピュータサイエンス実験I, 北海道大学 工学部 情報エレクトロニクス学科 コンピュータサイエンスコース, June 29th-July 9th, 2010.