Back to Home

Japanese version (Some parts are written also in English. Here is just an extraction of them.)

Name: Sosuke Moriguchi (“Sosuke” is the first name)

Affiliation: School of Computing, Tokyo Institute of Technology

Mail: chiguri at acm.org

Google Scholar

Degree: Doctor of Engineering, Tokyo Institute of Technology

Journal, reffered

  1. Akihiko Yokoyama, Sosuke Moriguchi and Takuo Watanabe, A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types, Journal of Information Processing, Information Processing Society of Japan, Vol. 29, pp. 685–706, Oct., 2021. https://doi.org/10.2197/ipsjjip.29.685

  2. Tsukasa Goto, Sosuke Moriguchi and Takuo Watanabe, A Macroprogramming Language for Wireless Sensor-Actor Networks, コンピュータソフトウェア, 日本ソフトウェア科学会, Vol. 38 (No. 2), pp. 20–26, Apr., 2021. (in Japanese) https://doi.org/10.11309/jssst.38.2_20

  3. Sosuke Moriguchi, Takashi Morishima, Mizuki Goto and Kazuko Takahashi, Verification of Content-Centric Networking using Proof Assistant, IEICE Transactions on Communications, Vol.E99-B (2016) No. 11, pp. 2297–2304, Nov., 2016. https://doi.org/10.1587/transcom.2016NEP0013

  4. Sosuke Moriguchi and Kazuko Takahashi, An Interactive Extension Mechanism extending Record Types, コンピュータソフトウェア, 日本ソフトウェア科学会, Vol. 33 (No. 2), pp. 2_125–2_138, 2016. (in Japanese) https://doi.org/10.11309/jssst.33.2_125

  5. Sosuke Moriguchi and Takuo Watanabe, Implementation of an Interactive Correction Mechanism for Coq, 情報処理学会論文誌 プログラミング（PRO）, Vol. 5 (No. 4), pp. 27–38, Sep., 2012. (in Japanese) http://id.nii.ac.jp/1001/00083703/

Proceedings, referred

  1. Sosuke Moriguchi and Takuo Watanabe, Event by Timing: Periodic and Time-Sequencing Responses, 12th Workshop on Computation: Theory and Practice, Dec., 2023. https://doi.org/10.2991/978-94-6463-388-7_10

  2. Go Suzuki, Akihiko Yokoyama, Sosuke Moriguchi and Takuo Watanabe, Using Low Power Coprocessors in an FRP Language for Embedded Systems, Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2023), IPSJ, pp. 1–8, Nov., 2023. http://id.nii.ac.jp/1001/00231459/

  3. Kento Sogo, Yuta Tsuji, Sosuke Moriguchi and Takuo Watanabe, Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems, 10th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2023), ACM, pp. 43–53, Oct., 2023. https://doi.org/10.1145/3623506.3623578

  4. Sosuke Moriguchi and Takuo Watanabe, Developing Distributed Systems with Multi-Party Functional Reactive Programming, 5th World Symposium on Software Engineering (WSSE 2023), ACM, pp. 61–66, Sep., 2023. https://doi.org/10.1145/3631991.3632000

  5. Go Suzuki, Takuo Watanabe and Sosuke Moriguchi, Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices, 7th International Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2023), Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, ACM, pp. 12–16, Mar. 2023. https://doi.org/10.1145/3594671.3594674

  6. Akihiko Yokoyama, Sosuke Moriguchi and Takuo Watanabe, Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems, 9th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2022), ACM, pp. 1–12, Dec., 2022. https://doi.org/10.1145/3563837.3568338

  7. Sosuke Moriguchi, Specifications of Source-code Targeted Programs, 11th Workshop on Computation: Theory and Practice, Nov., 2021.

  8. Yoshitaka Sakurai, Sosuke Moriguchi and Takuo Watanabe, Functional Reactive Programming for Embedded Systems with GPGPUs, 10th International Conference on Software and Computer Applications, ACM, pp. 75-80, Feb. 2021. https://doi.org/10.1145/3457784.3457795

  9. Akihiko Yokoyama, Sosuke Moriguchi and Takuo Watanabe, Bounded-Construction-Types for Functional Reactive Programming, 10th Workshop on Computation: Theory and Practice (WCTP 2020), Philippine Computing Journal, Vol. 15, No. 2, pp. 24–35, Dec.,

  10. Tatsuki Kawasaki, Sosuke Moriguchi and Kazuko Takahashi, Hybrid reasoning on a bipolar argumentation framework, The 13th international conference on Scalable Uncertainty Management (SUM 2019), pp. 79–92, Dec., 2019. https://doi.org/10.1007/978-3-030-35514-2_7

  11. Tatsuki Kawasaki, Sosuke Moriguchi and Kazuko Takahashi, A Proposal of a Structuring Notation for a Judgement, Thirteenth International Workshop on Juris-informatics (JURISIN 2019), Nov., 2019.

  12. Momo Tosue, Sosuke Moriguchi and Kazuko Takahashi, Operations for Shape Transformations Based on Angles, The 11th International Conference on Agents and Artificial Intelligence (ICAART 2019), pp. 576–583, Feb., 2019. https://doi.org/10.5220/0007359305760583

  13. Tatsuki Kawasaki, Sosuke Moriguchi and Kazuko Takahashi, Reasoning by a Bipolar Argumentation Framework for PROLEG, Twelfth International Workshop on Juris-informatics (JURISIN 2018), pp. 16–29, Nov., 2018. (post-proceedings: LNCS vol. 11717, pp 115-130, 2019. https://doi.org/10.1007/978-3-030-31605-1_10)

  14. Sosuke Moriguchi and Kazuko Takahashi, Expressing the Characteristics of an Argumentation Framework, the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018), pp. 60–71, Sep., 2018. http://ceur-ws.org/Vol-2171/

  15. Tastuki Kawasaki, Sosuke Moriguchi and Kazuko Takahashi, Transformation from PROLEG to a Bipolar Argumentation Framework, the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018), pp. 36–47, Sep., 2018. http://ceur-ws.org/Vol-2171/

  16. Momo Tosue, Sosuke Moriguchi and Kazuko Takahashi, Qualitative Shape Representation and Reasoning Based on Concavity and Tangent Point, 31st International Workshop on Qualitative Reasoning (QR’18), Jul., 2018. http://homepages.abdn.ac.uk/pang.wei/pages/QR2018/

  17. Takeaki Kato, Sosuke Moriguchi and Kazuko Takahashi, Superposition of Qualitative Rectangles using a Quantitative Model, The 9th International Conference on Agents and Artificial Intelligence (ICAART 2017), pp. 423–430, Mar., 2017. https://doi.org/10.5220/0006123404230430

  18. Kazuko Takahashi, Sosuke Moriguchi and Mizuki Goto, Formalization of a Surface Subdivision Allowing a Region with Holes without Coordinates, Eleventh International Workshop on Automated Deduction in Geometry (ADG2016), pp. 190–209, Jun., 2016. https://hal.inria.fr/hal-01334334

  19. Sosuke Moriguchi, Mizuki Goto and Kazuko Takahashi, Towards Verified Construction for Planar Class of a Qualitative Spatial Representation, The 7th International Symposium on Symbolic Computation in Software Science (SCSS2016), EPiC Series in Computing, Volume 39, pp. 117–127, Mar., 2016. https://doi.org/10.29007/zzft

  20. Sosuke Moriguchi, Takashi Morishima, Mizuki Goto and Kazuko Takahashi, Formalization of the Behavior of Content-Centric Networking, The 10th International Conference on Future Networks and Communications (FNC-2015), Procedia Computer Science, Volume 56, pp. 192–204, Aug., 2015. (Best Paper Award) https://doi.org/10.1016/j.procs.2015.07.197

  21. Sosuke Moriguchi and Takuo Watanabe, An Interactive Extension Mechanism for Reusing Verified Programs, 28th ACM Symposium On Applied Computing, pp. 1236–1243, Mar., 2013. https://doi.org/10.1145/2480362.2480594

  22. Sosuke Moriguchi and Takuo Watanabe, Abstraction of Operations of Aspect-Oriented Languages, Theory and Practice of Computation, Proceedings in Information and Communications Technology, Vol. 5, pp. 187–201, Springer-Verlag, 2012. https://doi.org/10.1007/978-4-431-54106-6_15

  23. Sosuke Moriguchi and Takuo Watanabe, A Calculus for Advice Weaving Mechanisms (Position paper), 4th Asian Workshop on AOSD (AOAsia 4), Dec., 2008. https://sites.google.com/site/aoasiaworkshop/aoasia-2008

Award

  1. The 10th International Conference on Future Networks and Communications (FNC-2015), Best Paper Award（Proceedings 20）
2024/06/12