- 2021 - 2024 低コスト個人用呼吸空気浄化デバイス開発と,フィリピン・セブ市内の病院での運用試験
- 2016 - 2020 時間論理によるリアクティブシステム仕様のプログラム化可能性判定を行う証明システム
- 2015 - 2018 プライバシー保護と見守りを両立させた防犯カメラによる安全・安心な街づくりの実現
- 2013 - 2017 時間論理によるリアクティブシステム仕様のプログラム化可能性の判定とプログラム合成
- 2012 - 2015 プライバシー保護と見守りを両立させた防犯カメラによる安全・安心な街づくりの提案
- 2009 - 2011 暗号化を用いた地域社会用の新しい防犯カメラシステム
- 2007 - 2008 個人所有のPC監視カメラによる自警的防犯社会の実現
- 2003 - 2005 論理結合子の適切さに基づく有益な情報の導出に関する研究
- 2000 - 2003 論理的仕様を基礎としたセキュアシステムの検証法
- 2000 - 2001 論理結合子の適切さに基づく有益な情報の導出に関する基礎研究
全件表示