東京科学大学 · 情報理工学院 · 助教

研究キーワードfunctional reactive programming・embedded systems・synchronous dataflow・reversible computation・bytecode virtual machines

研究分野ソフトウェア

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 組込みシステム向けFRP言語における状態遷移モデルに基づいた周辺装置の状態制御2025 · コンピュータソフトウェア 42 ( 1 ) 40 - 53 2025年1月
• 同期的データフロープログラミングにおける逆計算の構成方式2024 · コンピュータソフトウェア 41 ( 3 ) 34 - 40 2024年7月
• Formalizing Reversible Computations for Synchronous Dataflow Languages with Infinite Lists2024 · Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2024) 7 - 19 2025年4月
• Event by Timing: Periodic and Time-Sequencing Responses2024 · Atlantis Highlights in Computer Sciences 2024年

• 時間を一級データとするFRP言語とそれによる実時間CPS開発支援2024 · 研究課題/領域番号： 24K14892 2024年4月 - 2027年3月
• ソースコードを操作するプログラムの検証技法の研究2024 · 研究課題/領域番号： 19K20245 2019年4月 - 2023年3月
• アクターモデルとFRPの融合による高効率・高信頼CPS開発支援2021 · 研究課題/領域番号： 21K11822 2021年4月 - 2024年3月
• 消費電力をパラメータとする関数リアクティブプログラミングの研究1967 · 研究課題/領域番号： 22K11967 2022年4月 - 2025年3月

• 公式プロフィール