# 形式手法とインタラクションデザインの融合｜ＳＲＡホールディングス（3817）の変遷

Source: Komori (komori.app) — https://komori.app/company/3817/threads/0b5e14be2d10
企業ページ: https://komori.app/company/3817

## 経過

- FY2016 初出 「世界に先駆けた研究分野である、形式手法（プログラムを数学的に正しく構築する技術）とインタラクションデザイン（操作品質の高いユーザインタフェースを構築する手法）を融合した技術を、開発プロセスおよび教育支援といった形で発展させております。」 — 形式手法をインタラクションデザインと組み合わせ、開発プロセスや教育支援に応用している。 (https://komori.app/company/3817/filing/2015-fy)
- FY2017 再掲 「先端技術研究所では、これまで取り組んできた「インタラクションデザイン」と「形式手法」を組み合わせて、機能面の品質だけでなく高い操作性や体験品質をもたらす仕様を構築していくという、革新的なアプローチに取り組んでいます。」 — 形式手法とインタラクションデザインを融合する研究方針を継続している。 (https://komori.app/company/3817/filing/2016-fy)
- FY2018 再掲 「研究開発分野として、形式手法（プログラムを数学的に正しく構築する技術）とインタラクションデザイン（操作品質の高いユーザインタフェースを構築する手法）を融合した手法の構築に引き続き取り組んでおります。」 — 形式手法とインタラクションデザインを融合する研究を継続している。 (https://komori.app/company/3817/filing/2017-fy)
- FY2020 前進 「株式会社ＳＲＡの先端技術研究所においては、研究開発分野として、形式手法（プログラムを数学的に正しく構築する技術）、モデル検査（プログラムの振る舞いの正しさを自動検査する技術）、及びインタラクション技術（操作品質の高い視覚的ユーザインタフェースを実現する技術）を融合した手法の構築に取り組んでおります。」 — 形式手法とインタラクションデザインの融合に、モデル検査を加えた研究手法として継続・具体化している。 (https://komori.app/company/3817/filing/2019-fy)
- FY2021 前進 「当連結会計年度では、科学技術計算の分野で広く使われている計算技法を使ったモデル検査技術を開発し、国内の学術会議で発表しました。」 — 形式手法・モデル検査研究について、科学技術計算を用いた技術を開発し、国内学術会議で発表した。 (https://komori.app/company/3817/filing/2020-fy)
- FY2025 前進 「先端技術研究室では、生物の集団行動が引き起こす創発的な性質を利用した、ＡＩ技術を使った研究を進めています。」 — 従来の形式手法・モデル検査の研究にAI技術を組み合わせ、複数集団を想定した検査技術の効率化と発表まで進めている。 (https://komori.app/company/3817/filing/2024-fy)
- FY2026 前進 「当連結会計年度からは，生物が行動を学習する仕組みをＡＩに用いた研究を開始しております。このＡＩは，近年のＡＩの基盤技術である大規模言語モデルも活用し，これまでよりも高い検証能力をＡＩが獲得することを目標としています。
当連結会計年度では，技術の実現可能性を検討し，試作ソフトウェアの開発を進めました。」 — 形式仕様・モデル検査に関する研究で、生物の学習の仕組みと大規模言語モデルを活用する研究を開始し、実現可能性の検討と試作ソフトウェア開発まで進めた。 (https://komori.app/company/3817/filing/2025-fy)