SRA
SRA先端技術研究所Key Technology Laboratory

自らの職業的実践を通じ、
コンピュータサイエンスの諸分野を発展させ、
それによって人類の未来に貢献する

SRAの企業理念より

お知らせ

重箱の隅の隅まで突っつき通す

複雑なソフトウェアに広がる組み合わせの迷路をモデル検査の技術で解き明かします。仕様や設計を考えてロジカルに書いて、実システムを動かしていては探しきれない巨大な空間に潜むちっちゃなバグを、モデル検査でピンポイントで見つけます。

モデル検査

ライブでカジュアルなフォーマルメソッドへ

システムのスペックはユーザーも含め皆の関心事。専門家にしかできないと思われているシステムの機能仕様の策定は、ユーザーも巻き込むライブでカジュアルなディスカッションの中心になります。

フォーマル

ゴールが見えない広野に轍を残す

マーケティング分析、サイエンスでのデータ分析、システム開発、コンピュータの上では、やってみないとわからないことが目白押しです。色々と試して、たくさん失敗して、たまに成功して、はじめてわかることがあります。

クリエイティビティの支援

運行情報からデザインの未来を考える

お出かけ、寄り道、風景、帰り道、あらゆるモビリティに、場所と時間があります。過去の記憶、現在の場所、未来への期待を結びつけて、モビリティをわくわくさせます。

モビリティ

情報を魅せる技術

モノゴトの流れや同時に起こるコトをすばやく見えるようにします。仮想物体の重さや硬さを表現します。変化する大量のデータや関係を形や動きで表します。

可視化