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. 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

  2. Sosuke MORIGUCHI, 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

  3. Sosuke MORIGUCHI,・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. 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

  2. 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.

  3. 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

  4. 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)

  5. 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/

  6. 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/

  7. 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/

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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 11)