yr 〜
yr

Search results 5

ソフトウェアの安全性向上のための型理論

ソフトウェアの安全性向上のための型理論
Paper図書
小林直樹, 東北大学 [著][小林直樹]2005-2007<Y151-H17300003>
National Diet Library
  • Subject Heading型システム / プログラム解析 / 割り込み / 並行プログラム / 資源使用法解析 / プログラム等価...

人間親和型エージェントが演出する言語非言語双方向遠隔対話システム

人間親和型エージェントが演出する言語非言語双方向遠隔対話システム
Paper図書
安部憲広, 九州工業大学 [著][安部憲広]2002-2004<Y151-H14380183>
National Diet Library
  • Subject Headingアバタ / 副詞対応動作の認識 / 再帰目標動作の実現 / 干渉検出 / Vortex / 音声割り込み処理 / 発話と行動の動機

モバイル端末を用いた街灯照度センシングによる夜間道の安全性判定とその実用化 : 平成29年度実績報告書

モバイル端末を用いた街灯照度センシングによる夜間道の安全性判定とその実用化 : 平成29年度実績報告書
Digital文書・図像類
松田, 裕貴奈良先端科学技術大学院大学2018
Available onlineOther Libraries in Japan
  • Subject Headingユーザ参加型センシング アーバンセンシング モバイルセンシング 行動変容 ゲーミフィケーション 割り込み

モバイル端末を用いた街灯照度センシングによる夜間道の安全性判定とその実用化 : 平成28年度実績報告書

モバイル端末を用いた街灯照度センシングによる夜間道の安全性判定とその実用化 : 平成28年度実績報告書
Digital文書・図像類
松田, 裕貴奈良先端科学技術大学院大学2017
Available onlineOther Libraries in Japan
  • Subject Headingユーザ参加型センシング アーバンセンシング モバイルセンシング 行動変容 ゲーミフィケーション 割り込み

モバイル端末を用いた街灯照度センシングによる夜間道の安全性判定とその実用化 : 平成30年度実績報告書

モバイル端末を用いた街灯照度センシングによる夜間道の安全性判定とその実用化 : 平成30年度実績報告書
Digital文書・図像類
松田, 裕貴奈良先端科学技術大学院大学2019
Available onlineOther Libraries in Japan
  • Subject Headingユーザ参加型センシング アーバンセンシング モバイルセンシング 行動変容 ゲーミフィケーション 割り込み 都市環境センシング 心理状態推定 ウェアラブルデバイス 機...

Reached to the end of result.