2019 年度 地域貢献研究助成費 実績報告書
Bebas
2
0
0
Teks penuh
Dokumen terkait
研究実績 の概要 また同時、IoUA 都市アーキビスト会議 2019「無人駅の活用による地域再生について の研究―JR 桃太郎線の無人駅７駅を事例として―」の一環として取り組み、学生 4 名 が、4 月 13 日（大阪）、4 月 27 日（神戸）、5 月 19 日（梅田）、6 月 22 日（神戸）の
[r]
研究実績 の概要 ２．組込みソフトウェアの実時間制約の自動検証手法の開発 時間ペトリネット（Time Petri Net）はシステムの時間制約をモデル化するための記法の 一つである．本研究は時間ペトリネットでモデル化された組込みソフトウェアの時間制約 が満たされているかを有界モデル検査で検証するための手法を開発した．成果については
研究実績 の概要 【研究方法】アクションリサーチ（サイクル Ⅱ）。調査期間は2019年12月。研究対象は 本学助産師養成課程の4年生で、本研究への 協力に同意した4名である。方法は次の通り である。なお本研究は岡山県立大学倫理委員 会の承認を得て実施した（受付番号：18-32）。 ①昨年度行った研究（サイクルⅠ）で得た結 果を伝え、使用方法を共有する。その上で、
研究実績 の概要 本研究では上記課題の基礎検討として、レシピサイトにおける献立の調理時間推定を行 った。投稿型レシピサイトでは、ユーザが作成したレシピを自由に投稿し公開することが できる。掲載されている情報の中にはレシピどうしを組み合わせた「献立」もあり、こち らもユーザの手によって作成され公開されている。
