Research keywords (5)：
Computational Reflectioon
, Concurrent Computation
, Embedded Systems
, Formal Methods
, Programming Languages
Research theme for competitive and other funds (29)：
2024 - 2027 Development Support of Real-Time CPS using FRP Languages with First-Class Time
2022 - 2025 消費電力をパラメータとする関数リアクティブプログラミングの研究
2021 - 2024 Developmenf Support of Efficient and Reliable CPS with the integration of FRP and the Actor Model
2018 - 2021 Embedded Systems Development Support with the Integration of the Actor-Model and Functional Reactive Programming
2015 - 2018 Interval constraint programming technique for discrete-continuous hybrid systems
2015 - 2018 Specification and Runtime Verification Methods for Adaptive Parallel Systems based on Group-Wide Reflection
2014 - 2018 A methodology for programming language design through general hygienic macro expansion
2012 - 2015 Specification Methods for Runtime Verification of Reflective Software
2012 - 2014 自己反映的ソフトウェアのための実行時検証とそのための仕様記述方式
2006 - 2010 Highly Scalable Software Security for Information Explosion Environments
2005 - 2006 Safe Dynamic Composition and Secure Execution of Software Based on Static Analysis and Execution Monitoring
2005 - 2006 Safe Dynamic Composition and Secure Execution of Software Based on Static Analysis and Execution Monitoring
2003 - 2004 Research on Declarative Description and Consistency Checking of Policies for Adaptive Software
2003 - 2004 Research on Declarative Description and Consistency Checking of Policies for Adaptive Software
2000 - 2003 Secure Construction Methods for Extensible and Adaptable Software
2000 - 2003 Secure Construction Methods for Extensible and Adaptable Software
2000 - 2001 A Modular Construction Scheme for Adaptive Mobile Code Systems with Explicit Support of Non-Functional Requirements
2000 - 2001 A Modular Construction Scheme for Adaptive Mobile Code Systems with Explicit Support of Non-Functional Requirements
1999 - 2001 Memory Management Scheme Based on the Quasi-Linear Type System
1998 - 2001 Development of Formal Specification Language for Writing Specifications as Components Based on Functions
1998 - 1998 実行環境に動的に適応するソフトウェアの基本機構とそれに基く言語の研究
1998 - 1998 実行環境に動的に適応するソフトウェアの基本機構とそれに基く言語の研究
1997 - 1997 自己反映アーキテクチャによる動的適応とその移動計算機環境への適用
1997 - 1997 自己反映アーキテクチャによる動的適応とその移動計算機環境への適用
1995 - 1997 A Study on Abstract Machines for Concurrent Rewriting
1994 - 1995 並行書き換えモデルの超並行実行方式の研究
1993 - 1993 Logics of parallel object-oriented programming languages
1989 - 1991 Computational Reflection in Object-Oriented Concurrent Computing and its Applications
1990 - 1990 並列オブジェクト指向型言語における自己反映計算とその応用
Show all
Papers (84)：
Satoshi Takimoto, Sosuke Moriguchi, Takuo Watanabe. Mode Management of Peripherals Based on State Transition Model in FRP Language for Embedded Systems. Computer Software. 2025. 42. accepted
Go Suzuki, Takuo Watanabe, Sosuke Moriguchi. mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices. Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR ’24). 2024. 41-47
Mizuki Shirai, Sosuke Moriguchi, Takuo Watanabe. Construction of Inverse Computation in Synchronous Dataflow Programming. Computer Software. 2024. 41. 3. 34-40
Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe. Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems. Proc. 13th International Conference on Software and Computer Applications (ICSCA 2024),. 2024. 45-54
Sosuke Moriguch, Takuo Watanabe. Event by Timing: Periodic and Time-Sequencing Responses. Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023). 2024. 139-154
1986 - 1991 Tokyo Institute of Technology Graduate School of Science and Engineering Department of Information Science
1982 - 1986 Tokyo Institute of Technology Faculty of Science Department of Information Science
Professional career (1)：
Ph. D.
Work history (9)：
2024/10 - 現在 Institute of Science Tokyo Department of Computer Science, School of Computing Professor
2017/01 - 2024/09 Tokyo Institute of Technology Department of Computer Science, School of Computing Professor
2016/04 - 2016/12 Tokyo Institute of Technology Department of Computer Science, School of Computing Associate Professor
2001/01 - 2016/03 Tokyo Institute of Technology Department of Computer Science Associate Professor
2002/04 - 2004/03 National Institute of Informatics Software Research Division Associate Professor
1992/04 - 2000/12 Japan Advanced Institute of Science and Technology School of Information Science Associate Professor
1991/04 - 1992/03 The University of Tokyo Department of Information Science JSPS Research Fellow (PD)
1991/09 - 1992/02 University of Illinois at Urbana-Champaign Department of Computer Science Visiting Research Assistant Professor
1990/04 - 1991/03 Tokyo Institute of Technology Department of Information Science JSPS Research Fellow (DC)
Show all
Committee career (7)：
2022/04 - 現在 Japan Society for Software Science and Technology Committee member, SIG Programming and Programming Languages (SIGPPL)
2023/12 - 2023/12 Workshop on Computation: Theory and Practice (WCTP 2023) Program Committee
2019/04 - 2023/03 Information Processing Society of Japan Committe member, SIG Embedded Systems (SIGEMB)
2005/04 - 2009/03 Information Processing Society of Japan Committee member, SIG Software Engineering (SIGSE)
2002/04 - 2006/03 Information Processing Society of Japan Editorial member, IPSJ Transactions on Programming
2002/04 - 2006/03 Information Processing Society of Japan Secretary, SIG Programming (SIGPRO)
1996/04 - 2000/03 Information Processing Society of Japan Committee member, SIG Pogramming
Show all
Awards (9)：
2023/11 - Information Processing Society of Japan Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023), Best Paper Award Using Low Power Coprocessors in an FRP Language for Embedded Systems
2023/09 - SWEST Executive Committee SWEST25 Best Poster Bronze Award
2021/09 - Information Processing Society of Japan IPSJ Yamashita SIG Research Award Towards a Functional Reactive Programming Model for Developing WSANs
2021/09 - SWEST Executive Committee SWEST23 Best Poster Gold Award Programming Small-Scale Embedded Systems using a Functional Reactive Programming Language
2020/11 - Information Processing Society of Japan Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2020), Best Paper Award Towards a Functional Reactive Programming Model for Developing WSANs
2018/08 - Information Processing Society of Japan Embedded System Symposium 2018, Best Poster Award Introduction of a Context-Oriented Programming Mechanism to an FRP Language for Small-Scale Embedded Systems
2018/03 - Tokyo Institute of Technology Tokyo Tech Best Teacher Award Design and Implementation of Progressive Graduate Minor in Cybersecurity
2003 - Tokyo Institute of Technology Tokyo Tech Award for Challenging Research Software Detoxification using High-Level Introspection Mechanism
1991/10 - Information Processing Society of Japan IPSJ SIG Research Award A Concurrent Reflective Computation Model Based on ACTOR Paradigm
Show all
Association Membership(s) (5)：
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS
, IEEE Computer Society
, Association of Computing Machinery
, INFORMATION PROCESSING SOCIETY OF JAPAN
, JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
