cv usk(@cv_usk):「ソフトが実際にやること」と「ユーザーがそう信じていること」のズレ——この根本問題に、“明示的な意味”という統一尺度で挑む論文です📐 タイトル: Making Software Meaningful URL: https://t.co/fsHgYdLB5z 📐 概要ソフトウェアの使いやすさ・モジュール性・説明責任を高める統一的な尺度として、「明示的な意味（explicit meaning）」を採用することを提唱する論文です。技術用語ではなく、ドメイン固有の言葉でソフトの振る舞いを共有表現として記述します。 ❓ 解決する課題ソフトウェア工学には根本的なギャップがあります。・「ソフトが実際に行うこと」と「ユーザーがそうだと信じていること」がズレる・このズレが、使いにくさやバグ、不信を生みます開発者とユーザーが、何をしてなぜそうするのかについて単一で明示的な理解を持つことが鍵だと主張します。 💡 方法論と提案手法個人・行為・その結果生じる事実という、ドメイン固有の現象を「概念」に整理し、共通の語彙とします。3つの実践で示します。・ユーザビリティ設計：共有された意味でユーザーと設計者の視点を揃える・モジュール式のコード生成：LLMで「意味の概念単位」を「コードの単位」に対応づけ、モジュール性と可読性を高める・エージェントの説明責任：明示的に定義した「意図された振る舞い」に基づく行動規範を実装する 🌍 ユースケース LLM支援開発でのモジュール性・可読性の向上や、自律エージェントの意図を明示して説明責任を持たせるAIガバナンスに応用できます。人間とAIが協働してソフトを作る時代に、「意味」を中心に据える価値を示します。 #ソフトウェア工学 #AIガバナンス

2026.06.18 16:15

「ソフトが実際にやること」と「ユーザーがそう信じていること」のズレ——この根本問題に、“明示的な意味”という統一尺度で挑む論文です📐 タイトル: Making Software Meaningful URL: 📐 概要ソフトウェアの使いやすさ・モジュール性・説明責任を高める統一的な尺度として、「明示的な意味（explicit meaning）」を採用することを提唱する論文です。技術用語ではなく、ドメイン固有の言葉でソフトの振る舞いを共有表現として記述します。 ❓ 解決する課題ソフトウェア工学には根本的なギャップがあります。・「ソフトが実際に行うこと」と「ユーザーがそうだと信じていること」がズレる・このズレが、使いにくさやバグ、不信を生みます開発者とユーザーが、何をしてなぜそうするのかについて単一で明示的な理解を持つことが鍵だと主張します。 💡 方法論と提案手法個人・行為・その結果生じる事実という、ドメイン固有の現象を「概念」に整理し、共通の語彙とします。3つの実践で示します。・ユーザビリティ設計：共有された意味でユーザーと設計者の視点を揃える・モジュール式のコード生成：LLMで「意味の概念単位」を「コードの単位」に対応づけ、モジュール性と可読性を高める・エージェントの説明責任：明示的に定義した「意図された振る舞い」に基づく行動規範を実装する 🌍 ユースケース LLM支援開発でのモジュール性・可読性の向上や、自律エージェントの意図を明示して説明責任を持たせるAIガバナンスに応用できます。人間とAIが協働してソフトを作る時代に、「意味」を中心に据える価値を示します。 #ソフトウェア工学# #AIガバナンス#