著者
宇土沢 直哉 猪股 俊光 新井 義和 曽我 正和
出版者
一般社団法人電子情報通信学会
雑誌
電子情報通信学会技術研究報告. MBE, MEとバイオサイバネティックス (ISSN:09135685)
巻号頁・発行日
vol.105, no.456, pp.5-8, 2005-12-02
被引用文献数
1

乳幼児のための予防接種に関する情報は, 主に母子健康手帳や行政の広報などにより提供されているが, 情報が散在していたり, 情報が個人に対応していないなどの課題がある. そこで本研究では, 予防接種に必要な情報を, 保護者が持つ携帯電話に提供する予防接種支援システムを開発した. 支援システムで実装した機能は, 個人毎の接種計画作成, 接種予定日前後における案内メール通知, 接種未実施時の対応通知などである.
著者
堀本 浩 猪股 俊光
出版者
一般社団法人電子情報通信学会
雑誌
電子情報通信学会技術研究報告. CST, コンカレント工学
巻号頁・発行日
vol.97, no.507, pp.21-28, 1998-01-23

本研究ではペトリネットと線形論理の対応関係について考察し, ペトリネットの解析・設計を行うための直観主義的線形論理ILL^*ならびに両者の間の変換規則を定めた. その結果, ペトリネットにおける可達問題が, ILL^*のもとではある論理式が証明可能性の問題と同値であることが示された. また, 対象とする並列システムの仕様をILL^*の論理式で与えたとき, それに基づきながらペトリネットを構成する方法を考案した.