テクノロジーアクセスの障壁テクノロジーアクセスの障壁を解消するり下げる。デジタルツールのアクセシビリティ問題を掘ソフトウェア工学テクノロジーのアクセシビリティについて障害のある人がテクノロジーにアクセスする際の障壁を調べる。2025-05-01T00:44:00+00:00 ― 1 分で読む
AI融合：言語と論理が出会AI融合：言語と論理が出会うを作る。LLMとFMを組み合わせて信頼できるAI人工知能信頼できるAIのための言語と論理の統合大規模言語モデルと形式手法をつなげて、信頼できるAIソリューションを作る。2025-03-28T22:52:03+00:00 ― 1 分で読む