お知らせ
重箱の隅の隅まで突っつき通す
複雑なソフトウェアに広がる組み合わせの迷路をモデル検査の技術で解き明かします。仕様や設計を考えてロジカルに書いて、実システムを動かしていては探しきれない巨大な空間に潜むちっちゃなバグを、モデル検査でピンポイントで見つけます。
ライブでカジュアルなフォーマルメソッドへ
システムのスペックはユーザーも含め皆の関心事。専門家にしかできないと思われているシステムの機能仕様の策定は、ユーザーも巻き込むライブでカジュアルなディスカッションの中心になります。
ゴールが見えない広野に轍を残す
マーケティング分析、サイエンスでのデータ分析、システム開発、コンピュータの上では、やってみないとわからないことが目白押しです。色々と試して、たくさん失敗して、たまに成功して、はじめてわかることがあります。
運行情報からデザインの未来を考える
お出かけ、寄り道、風景、帰り道、あらゆるモビリティに、場所と時間があります。過去の記憶、現在の場所、未来への期待を結びつけて、モビリティをわくわくさせます。