Key
Technology
Laboratory
About
モデル検査
#モデル検査#形式手法#formalmethods#モデル検査#modelchecking#欠陥の発見#defectsdiscovery#cornercases#コーナーケース#temporallogic#時相論理
フォーマル
#フォーマルメソッド#formalmethods#形式仕様#試行錯誤#形式手法の民主化#formalmethodsforall#形式仕様#formalspecifications#ライブ#liveness#探索的仕様記述#exploratoryspecification#妥当性#validity#正当性検証#verification
クリエイティビティの支援
#クリエイティビティ#creativity#プロトタイピング#prototyping #試行錯誤#開発履歴#創造性#creativity#履歴#history#探索#exploration#再現性#reproducibility#検証#verificationandvalidation
モビリティ
#モビリティ#MaaS#移動履歴#探索#可視化#mobility#位置情報#location#地理情報#geography#時系列情報#timeseries#時空間#timespace#移動#transportation
可視化
#可視化#visualization#履歴の可視化#インタラクション#ビッグデータ#visualisation#行動#behaviours#インタラクティビティ#interactivity#lifelog#ライフログ
アクセス