2026-03-07T13:03:16Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00233312 2025-01-19T10:08:16Z 1164:2836:11471:11524

宣言的プログラミングを用いたエンドユーザ向けスマートホーム開発環境 End-user Oriented Development Environment for Smart Home Applications using Declarative Programming 三浦, 晴大 斉藤, 裕樹 Haruto, Miura Hiroki, Saito 開発・プログラミング・データベース 近年，Internet of Things（以下，IoT）技術の発展に伴い，住居のスマートホーム化が進んでいる．しかし，スマートホームシステムの導入にはスマート家電の設定や制御の複雑さおよび開発ハードルの高さが問題になっている．従来，ユーザが理想的なスマートホームシステムを実現するためには，プログラミング的思考や各 IoT デバイスの細かな制御方法を習得することが求められる．そこで本研究では，ユーザが実現したいことを宣言することで複数のデバイスを連携したスマートホームを構築できるような宣言的プログラミングを応用したスマートホーム構築環境を提案する．ユーザの要求から述語の宣言的な記述により，直感的に多様なシナリオや多数のデバイスからなる複雑な制御ロジックを設計することが可能になる．基礎的なスマートホーム構築実験により，既存システムと比べ優れた結果が得られた． In recent years, as the Internet of Things (IoT) has proliferated, residential homes are increasingly transitioning into smart homes. However, the complexity of setting up and controlling these systems along with the high development hurdles is a significant challenges. Traditionally, developing an ideal smart home required for users to grasp programming concepts and detailed control methods for each IoT device. Therefore, this paper proposes a smart home development environment using declarative programming, allowing users to build IoT-enabled smart homes by simply declaring their desired actions. By describing predicates based on user requests, users can intuitively design complex control logic for various scenarios and multiple devices. Basic experiments demonstrate better results compared to existing systems. 情報処理学会 2024-03-11 jpn technical report https://ipsj.ixsq.nii.ac.jp/records/233312 2188-8906 AN10116224 研究報告マルチメディア通信と分散処理（DPS） 2024-DPS-198 28 1 6 https://ipsj.ixsq.nii.ac.jp/record/233312/files/IPSJ-DPS24198028.pdf application/pdf 1.9 MB 2026-03-11