既存のmicro energy harvestingを前提としたIoTデバイスでは，電源断直前やタスク毎に計算状態を不揮発性メモリへ書き戻す方式が一般的であり, 多数の書き込みや, 書き戻し時間短縮のための専用の組み込みOSを必要とする。本研究では, 電源断の検知や計算状態の保存を行わず, 関数型をモデルとした組み込みOSに基づき入出力値のみを不揮発性メモリに保存する実行方式を提案する.IoT計測では一部の状態喪失や再計算が許容されるという前提に立ち, 計算単位を細粒化することで状態保存コストの削減とデバイス非依存な実装可能性を検討する.