SEARCH

Search Details

HOSOBE Hiroshi
Faculty of Computer and Information Sciences　Department of Digital Media
Professor

  • Researchmap URL

    https://researchmap.jp/hosobe

  • Profile

    1993年東京大学理学部情報科学科卒業．1995年同大学大学院理学系研究科情報科学専攻修士課程修了．1998年同専攻博士課程修了．文部省学術情報センター助手，国立情報学研究所准教授等を経て，現在，法政大学情報科学部教授．ユーザインタフェース，情報可視化，制約プログラミング等に興味を持つ．日本ソフトウェア科学会第19回高橋奨励賞，PRIMA2003国際会議ベストペーパー賞，IV2018国際会議ベストペーパー賞受賞．2006〜2007年度文部科学省学術調査官．2010年日本ソフトウェア科学会第27回大会プログラム委員長．2012〜2015年度日本ソフトウェア科学会理事．2020〜2021年度法政大学大学院情報科学研究科長．2021年度法政大学副学長補佐．日本ソフトウェア科学会，情報処理学会，電子情報通信学会，ACM，IEEE各会員．

Researcher information

■ Degree
  • Bachelor of Science, The University of Tokyo, Mar. 1993
  • Master of Science, The University of Tokyo, Mar. 1995
  • Doctor of Science, The University of Tokyo, Mar. 1998
■ Research Keyword
  • Constraint programming
  • Information visualization
  • User interfaces
■ Field Of Study
  • Informatics, Software, Software
  • Informatics, Human interfaces and interactions, Human interface and interaction

Career

■ Career
  • Apr. 2013 - Present
    Hosei University, Faculty of Computer and Information Science, Professor
  • Apr. 2021 - Mar. 2024
    National Institute of Informatics, Collaborative Research Unit, Visiting Professor
  • Apr. 2021 - Mar. 2022
    Hosei University, Assistant Vice-President for Graduate School Affairs
  • Apr. 2020 - Mar. 2022
    Hosei University, Graduate School of Computer and Information Sciences, Dean
  • Apr. 2018 - Mar. 2020
    Hosei University, Faculty of Computer and Information Science, Faculty Council Vice-Chief
  • Apr. 2013 - Mar. 2019
    National Institute of Informatics, Collaborative Research Unit, Visiting Professor
  • Apr. 2017 - Mar. 2018
    Hosei University, Sabbatical Researcher (visiting I3S Laboratory, University of Nice Sophia Antipolis)
  • Apr. 2015 - Mar. 2017
    Hosei University, Department of Digital Media, Faculty of Computer and Information Science, Department Head
  • Apr. 2007 - Mar. 2013
    Japan Advanced Institute of Science and Technology (JAIST), School of Information Science, Visiting Associate Professor
  • Apr. 2006 - Mar. 2013
    Waseda University, Faculty of Science and Engineering, Visiting Associate Professor
  • Apr. 2006 - Mar. 2013
    National Institute of Informatics, Information Systems Architecture Science Research Division, Associate Professor
  • Apr. 2005 - Mar. 2013
    Graduate University for Advanced Studies, School of Multidisciplinary Sciences, Associate Professor
  • Apr. 2006 - Mar. 2008
    Ministry of Education, Culture, Sports, Science and Technology of Japan, Research Promotion Bureau, Scientific Research Senior Specialist (Program Officer for Grants-in-Aid for Scientific Research)
  • Apr. 2004 - Mar. 2007
    University of Tsukuba, Center for Tsukuba Advanced Research Alliance, Visiting Researcher
  • Sep. 2004 - Feb. 2007
    Hosei University, Faculty of Computer and Information Sciences, Part-time Lecturer
  • Oct. 2005 - Mar. 2006
    Tokyo Institute of Technology, Department of Mathematical and Computing Sciences, Part-time Lecturer
  • Jan. 2004 - Mar. 2006
    National Institute of Informatics, Research Center for Testbeds and Prototyping, Associate Professor
  • May 2005 - Jul. 2005
    University of Nantes (France), Institute of Computer Science (LINA), Invited Professor (Enseignant Invité)
  • Apr. 2001 - Mar. 2004
    Hosei University, Ichigaya General Education Center, Part-time Lecturer (in Faculty of General Education I until March 2003)
  • Apr. 2002 - Jan. 2004
    Graduate University for Advanced Studies, School of Mathematical and Physical Sciences, Research Associate
  • Apr. 2000 - Jan. 2004
    National Institute of Informatics, Software Research Division, Research Associate
  • Apr. 1999 - Mar. 2000
    National Center for Science Information Systems, Research and Development Department, Research Associate
  • Apr. 1998 - Mar. 1999
    Japan Society for the Promotion of Science (JSPS), Postdoctoral Research Fellow (in Graduate School of Science, University of Tokyo)
  • Apr. 1997 - Mar. 1998
    Japan Society for the Promotion of Science (JSPS), Graduate Research Fellow (in Graduate School of Science, University of Tokyo)
■ Educational Background
  • Apr. 1995 - Mar. 1998, The University of Tokyo, Graduate School of Science, Doctoral Program, Department of Information Science
  • Apr. 1993 - Mar. 1995, The University of Tokyo, Graduate School of Science, Master's Program, Department of Information Science
  • Apr. 1989 - Mar. 1993, The University of Tokyo, Faculty of Science, Department of Information Science
■ Member History
  • 2024 - 2025
    プログラム委員会 委員, 29th International Conference on Engineering of Complex Computer Systems (ICECCS2025)
  • 2024 - 2025
    Member, Program Committee, Interaction 2025 Symposium
  • 2024 - 2025
    Program Co-Chair, 14th International Conference on Software and Computer Applications (ICSCA2025)
  • 2023 - 2024
    プログラム委員会 委員, 28th International Conference on Engineering of Complex Computer Systems (ICECCS2024)
  • 2023 - 2024
    プログラム委員会 委員, インタラクション2024シンポジウム
  • 2023 - 2024
    プログラム委員会 委員, 第26回プログラミングおよびプログラミング言語ワークショップ(PPL2024)
  • 2023 - 2024
    広報共同委員長, 13th International Conference on Software and Computer Applications (ICSCA2024)
  • 2023 - 2023
    Publication Chair, 4th European Symposium on Software Engineering (ESSE2023)
  • 2023 - 2023
    プログラム委員会 委員, FedCSIS2023併設 16th International Workshop on Computational Optimization (WCO2023)
  • 2022 - 2023
    プログラム委員会 委員, 27th International Conference on Engineering of Complex Computer Systems (ICECCS2023)
  • 2022 - 2023
    プログラム委員会 委員, インタラクション2023シンポジウム
  • 2022 - 2023
    広報共同委員長, 12th International Conference on Software and Computer Applications (ICSCA2023)
  • 2022 - 2022
    プログラム委員会 委員, JURIX2022併設 International Workshop on AI Compliance Mechanism (WAICOM2022)
  • 2022 - 2022
    プログラム委員会 委員, 30th International Symposium on Graph Drawing and Network Visualization (GD2022)
  • 2022 - 2022
    プログラム委員会 委員, FedCSIS2022併設 15th International Workshop on Computational Optimization (WCO2022)
  • 2022 - 2022
    Publication Chair, 3rd European Symposium on Software Engineering (ESSE2022)
  • 2022 - 2022
    Member, Technical Committee, 11th International Conference on Software and Computer Applications (ICSCA2022)
  • 2021 - 2022
    Member, Program Committee, 26th International Conference on Engineering of Complex Computer Systems (ICECCS2022)
  • 2021 - 2022
    Member, Program Committee, Interaction 2022 Symposium
  • 2021 - 2021
    Treasurer, Organizing Committee / Member, Program Committee, 29th Workshop on Interactive Systems and Software (WISS2021)
  • 2021 - 2021
    Member, Technical Committee, 2nd European Symposium on Software Engineering (ESSE2021)
  • 2021 - 2021
    Member, Program Committee, 14th International Workshop on Computational Optimization (WCO2021) at FedCSIS2021
  • 2021 - 2021
    Member, Technical Committee, 10th International Conference on Software and Computer Applications (ICSCA2021)
  • 2020 - 2021
    Member, Screening Committee, 10th Science Intercollegiate
  • 2020 - 2021
    Member, Program Committee, Interaction 2021 Symposium
  • 2020 - 2020
    Member, Technical Committee, 12th International Conference on Computer and Automation Engineering (ICCAE2020)
  • 2020 - 2020
    Treasurer, Organizing Committee / Member, Program Committee, 28th Workshop on Interactive Systems and Software (WISS2020)
  • 2020 - 2020
    Member, Technical Committee, 2020 European Symposium on Software Engineering (ESSE2020)
  • 2020 - 2020
    Member, Program Committee, 13th International Workshop on Computational Optimization (WCO2020) at FedCSIS2020
  • 2019 - 2020
    Member, Program Committee, Interaction 2020 Symposium
  • 2019 - 2020
    Member, Screening Committee, 9th Science Intercollegiate
  • Jul. 2017 - Jun. 2019
    Referee, Screening Committee on Research Fellowships for Young Scientists, Japan Society for the Promotion of Science (JSPS)
  • 2019 - 2019
    Treasurer, Organizing Committee / Member, Program Committee, 27th Workshop on Interactive Systems and Software (WISS2019)
  • 2019 - 2019
    Member, Program Committee, 31st International Conference on Tools with Artificial Intelligence (ICTAI2019)
  • 2019 - 2019
    Member, Program Committee, 12th International Workshop on Computational Optimization (WCO2019) at FedCSIS2019
  • 2019 - 2019
    Member, Program Committee, 25th International Conference on Principles and Practice of Constraint Programming (CP2019)
  • 2018 - 2019
    Member, Program Committee, Interaction 2019 Symposium
  • Apr. 2006 - Mar. 2018
    Member, Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2018 - 2018
    Member, Program Committee, 11th International Workshop on Computational Optimization (WCO2018) at FedCSIS2018
  • 2018 - 2018
    Member, Program Committee, 24th International Conference on Principles and Practice of Constraint Programming (CP2018)
  • 2018 - 2018
    Treasurer, Organizing Committee / Member, Program Committee, 26th Workshop on Interactive Systems and Software (WISS2018)
  • 2017 - 2018
    Member, Program Committee, Interaction 2018 Symposium
  • 2017 - 2017
    Member, Program Committee, 10th International Workshop on Computational Optimization (WCO2017) at FedCSIS2017
  • 2017 - 2017
    Treasurer, Organizing Committee / Member, Program Committee, 25th Workshop on Interactive Systems and Software (WISS2017)
  • 2017 - 2017
    Member, Senior Program Committee, 26th International Joint Conference on Artificial Intelligence (IJCAI2017)
  • 2016 - 2017
    Editor, Special Section on Formal Approaches (Vol. E100-D, No. 6), Editorial Committee, IEICE Transactions on Information and Systems
  • 2016 - 2017
    Member, Program Committee, Interaction 2017 Symposium
  • Jun. 2012 - May 2016
    Trustee for Editorial Affairs, Japan Society for Software Science and Technology (JSSST)
  • Jun. 2012 - May 2016
    Representative Member, Japan Society for Software Science and Technology (JSSST)
  • 2016 - 2016
    Member, Program Committee, 22nd International Conference on Principles and Practice of Constraint Programming (CP2016)
  • 2016 - 2016
    Member, Program Committee, 9th International Workshop on Computational Optimization (WCO2016) at FedCSIS2016
  • 2015 - 2016
    Editor, Special Issue on Software Papers (Vol. 33, No. 4), Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2015 - 2016
    Editor, Special Issue on Understanding, Foundation, and Applications of Interaction (Vol. 57, No. 4), Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2015 - 2016
    Editor, Special Section on Formal Approaches (Vol. E99-D, No. 6), Editorial Committee, IEICE Transactions on Information and Systems
  • 2015 - 2016
    Member, Program Committee, Interaction 2016 Symposium
  • 2015 - 2015
    Member, Program Committee, 8th International Symposium on Visual Information Communication and Interaction (VINCI2015)
  • 2015 - 2015
    Member, Program Committee, 13th International Symposium on Smart Graphics (SG2015)
  • 2015 - 2015
    Member, Program Committee, 8th Workshop on Computational Optimization (WCO2015) at FedCSIS2015
  • 2014 - 2015
    Editor, Special Issue on Software Papers (Vol. 32, No. 4), Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2014 - 2015
    Member, Program Committee, Interaction 2015 Symposium
  • 2014 - 2015
    Editor, Special Issue on Understanding, Foundation, and Applications of Interaction (Vol. 56, No. 4), Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2014 - 2015
    Editor, Special Section on Formal Approaches (Vol. E98-D, No. 6), Editorial Committee, IEICE Transactions on Information and Systems
  • Dec. 2012 - Nov. 2014
    First-Stage Referee, Committee on Grants-in-Aid for Scientific Research (KAKENHI), Japan Society for the Promotion of Science (JSPS)
  • 2014 - 2014
    Member, Program Committee, 21st European Conference on Artificial Intelligence (ECAI2014)
  • 2014 - 2014
    Member, Program Committee, 12th International Symposium on Smart Graphics (SG2014)
  • 2014 - 2014
    Member, Program Committee, 7th Workshop on Computational Optimization (WCO2014) at FedCSIS2014
  • 2014 - 2014
    Member, Program Committee, 7th IEEE Pacific Visualization Symposium (PacificVis2014)
  • 2013 - 2014
    Editor, Special Issue on the 30th Anniversary, Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2013 - 2014
    Editor, Special Issue on Software Papers (Vol. 31, No. 4), Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2013 - 2014
    Member, Program Committee, Interaction 2014 Symposium
  • 2013 - 2014
    Editor, Special Issue on Understanding, Foundation, and Applications of Interaction (Vol. 55, No. 4), Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2013 - 2014
    Editor, Special Section on Cyberworlds (Vol. E97-D, No. 8), Editorial Committee, IEICE Transactions on Information and Systems
  • 2013 - 2013
    Editor, WISS Recommended Papers (Vol. 30, No. 4), Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2013 - 2013
    Member, Program Committee, 6th Workshop on Computational Optimization (WCO2013) at FedCSIS2013
  • 2012 - 2013
    Editor, Special Issue on Software Papers (Vol. 30, No. 4), Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2012 - 2013
    Member, Program Committee, Interaction 2013 Symposium
  • 2012 - 2013
    Editor, Special Issue on Understanding, Foundation, and Applications of Interaction (Vol. 54, No. 4), Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2012 - 2012
    Editor, WISS Recommended Papers (Vol. 29, No. 4), Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2012 - 2012
    Organizer, NII Shonan Meeting on Parallel Methods for Constraint Solving and Combinatorial Optimization
  • 2012 - 2012
    Member, Program Committee, Workshop on Computational Optimization (WCO2012) at FedCSIS2012
  • 2011 - 2012
    Editor, Special Issue on Software Papers (Vol. 29, No. 4), Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2011 - 2012
    Editor, Special Issue on Understanding, Foundation, and Applications of Interaction (Vol. 53, No. 4), Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2011 - 2012
    Member, Program Committee, Interaction 2012 Symposium
  • 2011 - 2011
    Member, Program Committee, Workshop on Computational Optimization (WCO2011) at FedCSIS2011
  • 2011 - 2011
    Member, Program Committee, 28th Conference of the Japan Society for Software Science and Technology (JSSST)
  • 2011 - 2011
    Member, Program Committee, 10th International Symposium on Smart Graphics (SG2011)
  • 2010 - 2011
    Editor, Special Issue on Software Papers (Vol. 28, No. 4), Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2010 - 2011
    Member, Program Committee, Interaction 2011 Symposium
  • 2010 - 2011
    Editor, Special Issue on Interactive Systems and Software (Vol. 28, No. 2), Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2010 - 2011
    Editor, Special Issue on Foundations, Designs and Applications of Interaction (Vol. 52, No. 2 / No. 4), Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2010 - 2010
    Member, Program Committee, 10th International Symposium on Smart Graphics (SG2010)
  • 2010 - 2010
    Member, Program Committee, Workshop on Computational Optimization (WCO'10) at IMCSIT2010
  • 2010 - 2010
    Program Chair, 27th Conference of the Japan Society for Software Science and Technology (JSSST2010)
  • 2009 - 2010
    Member, Program Committee, Interaction 2010 Symposium
  • Apr. 2003 - Mar. 2009
    Member, Planning Committee, Japan Society for Software Science and Technology (JSSST)
  • 2009 - 2009
    Member, Program Committee, 9th International Symposium on Smart Graphics (SG2009)
  • 2008 - 2009
    Member, Program Committee, Interaction 2009 Symposium
  • 2008 - 2009
    Editor, Special Issue on Interactive Systems and Software (Vol. 27, No. 1), Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2008 - 2009
    Editor, Special Issue on Foundations, Designs and Applications of Interaction (Vol. 51, No. 2), Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • Apr. 2006 - Mar. 2008
    Representative Member, Information Processing Society of Japan (IPSJ)
  • 2008 - 2008
    Member, Program Committee, 8th International Symposium on Smart Graphics (SG2008)
  • 2008 - 2008
    Editor, Special Issue on Progress in Logic and Reasoning Technology, Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • 2008 - 2008
    Member, Program Committee, 25th Conference of the Japan Society for Software Science and Technology (JSSST)
  • 2008 - 2008
    Member, Program Committee, 16th Workshop on Interactive Systems and Software (WISS2008)
  • 2008 - 2008
    Member, Program Committee, 14th International Conference on Principles and Practice of Constraint Programming (CP2008)
  • 2007 - 2008
    Editor, Special Issue on Industry-University Cooperative Research, Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2007 - 2008
    Finance Chair, 2008 IEEE Pacific Visualization Symposium (PacificVis2008)
  • 2007 - 2008
    Member, Program Committee, Interaction 2008 Symposium
  • 2007 - 2008
    Editor, Special Issue on Progress in Media and Interaction Research, Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2007 - 2008
    Editor, Special Issue on Interactive Systems and Software (Vol. 26, No. 1), Editorial Committee, Japan Society for Software Science and Technology (JSSST)
  • Jun. 2006 - May 2007
    Editor-in-Chief, Information Systems Group, Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2007 - 2007
    Member, Program Committee, 7th International Symposium on Smart Graphics (SG2007)
  • 2007 - 2007
    Member, Program Committee, 15th Workshop on Interactive Systems and Software (WISS2007)
  • 2007 - 2007
    Member, Organizing Committee, Workshop on Constraint-Based Layout of Diagrams and Documents (CBLDD) at GD2007
  • 2006 - 2007
    Member, Program Committee, Interaction 2007 Symposium
  • 2006 - 2007
    Editor, Special Issue on Understanding and Design of Interaction, Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • Jun. 2005 - May 2006
    Associate Editor-in-Chief, Basic Technology Group, Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2006 - 2006
    Exhibits Chair, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE2006)
  • 2006 - 2006
    Member, Program Committee, 23rd Conference of the Japan Society for Software Science and Technology (JSSST)
  • 2006 - 2006
    Member, Program Committee, 14th Workshop on Interactive Systems and Software (WISS2006)
  • 2006 - 2006
    Senior Editor, Special Issue on Principles and Practice of Interaction Technology, Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2006 - 2006
    Member, Organizing Committee / Program Committee, 1st International Workshop on Constraint Programming for Graphical Applications at CP2006
  • 2006 - 2006
    Member, Local Organization Committee, 11th Annual Asian Computing Science Conference (ASIAN2006)
  • 2005 - 2006
    Editor, Special Issue on Industry-University Cooperative Research, Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2005 - 2006
    Member, Organizing Committee / Program Committee, Asia Pacific Symposium on Information Visualisation 2006 (APVIS2006)
  • Jun. 2003 - May 2005
    Editor, Basic Technology Group, Editorial Committee, Journal of the Information Processing Society of Japan (IPSJ)
  • 2005 - 2005
    Member, Organizing Committee, 1st International Workshop on Distributed and Speculative Constraint Processing (DSCP2005) at CP2005
  • 2005 - 2005
    Member, Organizing Committee, 2nd Franco-Japanese Workshop on Constraint Programming (FJCP2005)
  • 2005 - 2005
    Member, Program Committee, 13th Workshop on Interactive Systems and Software (WISS2005)
  • 2004 - 2005
    Local Arrangements Chair, Interaction 2005 Symposium
  • 2004 - 2004
    Member, Program Committee, 12th Workshop on Interactive Systems and Software (WISS2004)
  • 2004 - 2004
    Member, Organizing Committee, 1st Franco-Japanese Workshop on Constraint Programming (FJCP2004)
  • 2003 - 2004
    Member, Executive Committee, Interaction 2004 Symposium

Research activity information

■ Award
  • Jul. 2018
    Best Paper Award, 22nd International Conference on Information Visualisation (IV2018)
    International society
  • Sep. 2010
    Certificate of Appreciation, Japan Society for Software Science and Technology (JSSST)
    Japan society
  • Nov. 2003
    Best Paper Award, 6th Pacific Rim International Workshop on Multi-Agents (PRIMA2003)
    International society
  • Jun. 2003
    Takahashi Award, Japan Society for Software Science and Technology (JSSST)
    Japan society
■ Paper
  • A Japanese Software Keyboard Using Visualization to Promote Positive Text Input　　　　　　　　　　　　　　　
    Tomoya Yumisihita; Hiroshi Hosobe
    Proceedings of the 27th International Conference on Human-Computer Interaction (HCI International 2025), Lecture Notes in Computer Science, Jun. 2026, [Reviewed]
    Last, Corresponding
  • On Normative Status and Argumentation Semantics of Soft-Constraint Based Norms　　　　　　　　　　　　　　　
    Wachara Fungwacharakorn; Kanae Tsushima; Hiroshi Hosobe; Hideaki Takeda; Ken Satoh
    Proceedings of JSAI-isAI2025—19th International Workshop on Juris-Informatics (JURISIN2025), Lecture Notes in Artificial Intelligence, May 2025, [Reviewed]
  • League of Legendsにおける初心者向け上達補助可視化システム　　　　　　　　　　　　　　　
    土屋和; 細部博史
    電子情報通信学会2025年総合大会講演論文集, Mar. 2025
    Last, Corresponding
  • Case Studies toward Introducing Liveness on Interactive System Development with p5.js　　　　　　　　　　　　　　　
    Masaki Saito; Akira Sasaki; Hiroshi Hosobe
    Proceedings of the 14th International Conference on Software and Computer Applications (ICSCA2025), Feb. 2025, [Reviewed]
  • CSV: Visual Support for Understanding Card Synergy in Digital Collectible Card Games (short paper)
    Yicheng Xue; Hiroshi Hosobe
    Proceedings of VISIGRAPP2025—9th International Conference on Human Computer Interaction Theory and Applications (HUCAPP2025), Feb. 2025, [Reviewed]
    Last, Corresponding
  • Improving 3D Human Body Reconstruction Using Millimeter-Wave Radar-Based Kansformer
    Jianshan Peng; Runhe Huang; Hiroshi Hosobe
    Proceedings of IEEE SWC2024--21st International Conference on Ubiquitous Intelligence and Computing (UIC2024), Dec. 2024, [Reviewed]
  • Visualization of Time Series Data Using Clustered Heatmaps and Line Graphs
    Reika Endo; Hiroshi Hosobe
    Proceedings of the 17th International Symposium on Visual Information Communication and Interaction (VINCI2024), Dec. 2024, [Reviewed]
    Last, Corresponding
  • A Machine Learning Based Method for Rating Adversarial Board Games
    Ryosei Shimanuki; Hiroshi Hosobe
    Proceedings of the 12th International Symposium on Computing and Networking (CANDAR2024), Nov. 2024, [Reviewed]
    Last, Corresponding
  • An Argumentative Approach for Explaining Preemption in Soft-Constraint Based Norms　　　　　　　　　　　　　　　
    Wachara Fungwacharakorn; Kanae Tsushima; Hiroshi Hosobe; Hideaki Takeda; Ken Satoh
    Proceedings of the International Workshop on AI Value Engineering and AI Compliance Meechanisms (VECOMP2024)—AICOM Track at ECAI2024, Oct. 2024, [Reviewed]
  • A Nonlinear Mapping-Based Virtual Touchpad for One-Handed Smartphone Operation
    Ryuzo Nakamura; Hiroshi Hosobe
    Proceedings of the 26th International Conference on Human-Computer Interaction (HCI International 2024), Lecture Notes in Computer Science, Jun. 2024, [Reviewed]
    Last, Corresponding
  • 機械学習を利用した対局型ゲームのレーティング手法　　　　　　　　　　　　　　　
    島貫凌世; 細部博史
    情報処理学会第86回全国大会講演論文集, Mar. 2024
    Last, Corresponding
  • クラスタリングされたヒートマップと折れ線グラフによる時系列データの可視化　　　　　　　　　　　　　　　
    遠藤麗香; 細部博史
    情報処理学会第86回全国大会講演論文集, Mar. 2024
    Last, Corresponding
  • CRV: A Framework for Visualizing Card Relationships in Digital Collectible Card Games　　　　　　　　　　　　　　　
    Yicheng Xue; Hiroshi Hosobe
    情報処理学会第86回全国大会講演論文集, Mar. 2024
    Last, Corresponding
  • A Soft Constraint-Based Framework for Ethical Reasoning (short paper)
    Hiroshi Hosobe; Ken Satoh
    Proceedings of the 16th International Conference on Agents and Artificial Intelligence (ICAART2024), Feb. 2024, [Reviewed]
    Lead, Corresponding
  • Connecting Rule-Based and Case-Based Representations of Ethical Norms (short paper)　　　　　　　　　　　　　　　
    Wachara Fungwacharakorn; Kanae Tsushima; Hiroshi Hosobe; Hideaki Takeda; Ken Satoh
    Proceedings of the 36th International Conference on Legal Knowledge and Information Systems (JURIX2023), Frontiers in Artificial Intelligence and Applications, Dec. 2023, [Reviewed]
  • Binary Search-Based Methods for Solving Constraint Hierarchies over Finite Domains　　　　　　　　　　　　　　　
    Hiroshi Hosobe; Ken Satoh
    Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI2023), Nov. 2023, [Reviewed]
    Lead, Corresponding
  • Supporting Nail Art Consultation by Automatic Image Selection and Visual Information Sharing (poster)　　　　　　　　　　　　　　　
    Yoshino Minakawa; Hiroshi Hosobe
    Proceedings of HCI International 2023--Posters (Part III), Communications in Computer and Information Science, Jul. 2023, [Reviewed]
    Last, Corresponding
  • DQNと生物学的制約を用いた人間らしい振る舞いのゲームAI　　　　　　　　　　　　　　　
    森田隆弘; 細部博史
    人工知能学会研究会資料：人工知能基本問題研究会(FPAI), Mar. 2023
    Last, Corresponding
  • ゲーム内統計情報に基づいた性格とスキルの可視化によるオンラインゲームプレイヤ支援　　　　　　　　　　　　　　　
    井出達郎; 細部博史
    情報処理学会研究報告：ヒューマンコンピュータインタラクション(HCI), Mar. 2023
    Last, Corresponding
  • Twitterデータを用いた新型コロナワクチン賛成派と反対派の傾向分析　　　　　　　　　　　　　　　
    田中創太; 細部博史
    情報処理学会第85回全国大会講演論文集, Mar. 2023
    Last, Corresponding
  • Video Game Agents with Human-Like Behavior Using the Deep Q-Network and Biological Constraints (short paper)
    Takahiro Morita; Hiroshi Hosobe
    Proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART2023), Feb. 2023, [Reviewed]
    Last, Corresponding
  • Hierarchical Constraint Logic Programming for Multi-Agent Systems (short paper)
    Hiroshi Hosobe; Ken Satoh
    Proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART2023), Feb. 2023, [Reviewed]
    Lead, Corresponding
  • Supporting Online Game Players by the Visualization of Personalities and Skills Based on in-Game Statistics (short paper)
    Tatsuro Ide; Hiroshi Hosobe
    Proceedings of VISIGRAPP2023--7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP2023), Feb. 2023, [Reviewed]
    Last, Corresponding
  • A Bimanual Flick-Based Japanese Tablet Keyboard Using Direct Kanji Input
    Yuya Nakamura; Hiroshi Hosobe
    Computer Vision, Imaging and Computer Graphics Theory and Applications--VISIGRAPP2021 Revised Selected Papers, Communications in Computer and Information Science, Feb. 2023, [Reviewed]
    Last, Corresponding
  • 外部ソルバを用いた有限領域上の制約階層の解消法　　　　　　　　　　　　　　　
    細部博史; 佐藤健
    日本ソフトウェア科学会第39回大会講演論文集, Aug. 2022
    Lead, Corresponding
  • A Hand Gesture-Based Authentication Method That Makes Forgery Difficult　　　　　　　　　　　　　　　
    Hideaki Terui; Hiroshi Hosobe
    Proceedings of the 24th International Conference on Human-Computer Interaction (HCI International 2022), Lecture Notes in Computer Science, Jun. 2022, [Reviewed]
    Last, Corresponding
  • 階層的制約論理プログラミングのための制約階層解消法　　　　　　　　　　　　　　　
    細部博史; 佐藤健
    人工知能学会第36回全国大会論文集, Jun. 2022
    Lead, Corresponding
  • Upper Confident Bound Fuzzy Q-learning and Its Application to a Video Game (short paper)
    Takahiro Morita; Hiroshi Hosobe
    Proceedings of 14th International Conference on Agents and Artificial Intelligence (ICAART2022), Feb. 2022, [Reviewed]
    Last, Corresponding
  • Classification of Video Viewing Task Types and Recommendation of Videos (short paper)
    Tatsuro Ide; Hiroshi Hosobe
    Proceedings of 14th International Conference on Agents and Artificial Intelligence (ICAART2022), Feb. 2022, [Reviewed]
    Last, Corresponding
  • Voice Adaptation by Color-Encoded Frame Matching as a Multi-Objective Optimization Problem for Future Games　　　　　　　　　　　　　　　
    Mads Midtlyng; Yuji Sato; Hiroshi Hosobe
    Complex & Intelligent Systems, 2022, [Reviewed]
    Last
  • 制約階層を用いたマルチエージェントシステム　　　　　　　　　　　　　　　
    細部博史; 佐藤健
    人工知能学会研究会資料：人工知能基本問題研究会(FPAI), Jan. 2022
    Lead, Corresponding
  • A Video Game-Like Approach to Supporting Novices in Learning Programming　　　　　　　　　　　　　　　
    Ami Sakakibara; Hiroshi Hosobe
    Proceedings of the 23rd International Conference on Human-Computer Interaction (HCI International 2021), Lecture Notes in Computer Science, Jul. 2021, [Reviewed]
    Last, Corresponding
  • 動画閲覧時の動作特性によるタスクタイプの分類と動画推薦　　　　　　　　　　　　　　　
    井出達郎; 細部博史
    情報処理学会第81回全国大会講演論文集, Mar. 2021
  • 漢字直接入力によるタブレット用両手フリックキーボード　　　　　　　　　　　　　　　
    中村優哉; 細部博史
    情報処理学会研究報告：ヒューマンコンピュータインタラクション(HCI), Mar. 2021
  • ドットイートゲームへのQ学習の適用　　　　　　　　　　　　　　　
    森田隆弘; 細部博史
    電子情報通信学会2021年総合大会講演論文集：情報・システム, Mar. 2021
  • ユーザの興味とコメント分布によるニコニコ動画の分析　　　　　　　　　　　　　　　
    小西敦郎; 細部博史
    第13回データ工学と情報マネジメントに関するフォーラム(DEIM2021)論文集, Mar. 2021
  • SMT-Based Theorem Verification for Testing-Based Formal Verification　　　　　　　　　　　　　　　
    Kenta Sugai; Hiroshi Hosobe; Shaoying Liu
    Proceedings of the 10th International Conference on Software and Computer Applications (ICSCA2021), Feb. 2021, [Reviewed]
    Corresponding
  • A Flick-Based Japanese Tablet Keyboard Using Direct Kanji Input
    Yuya Nakamura; Hiroshi Hosobe
    Proceedings of VISIGRAPP2021--5th International Conference on Human Computer Interaction Theory and Applications (HUCAPP2021), Feb. 2021, [Reviewed]
    Last, Corresponding
  • Clustering Nico Nico Douga Videos by Using the Distribution of Time-Synchronized Comments (short paper)　　　　　　　　　　　　　　　
    Atsuro Konishi; Hiroshi Hosobe
    Proceedings of the 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT2020), Dec. 2020, [Reviewed]
    Last, Corresponding
  • Testing Event-Driven Programs in Processing　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 2020 European Symposium on Software Engineering (ESSE2020), Nov. 2020, [Reviewed]
    Lead, Corresponding
  • SMTソルバーを用いた制約階層解消法　　　　　　　　　　　　　　　
    細部博史
    人工知能学会研究会資料：人工知能基本問題研究会(FPAI), Mar. 2020
    Lead, Corresponding
  • イベント駆動に基づくProcessingプログラムのユニットテスト手法　　　　　　　　　　　　　　　
    細部博史
    電子情報通信学会技術研究報告：ソフトウェアサイエンス(SS), Mar. 2020
    Lead, Corresponding
  • 動的環境下におけるロボットの行動プラン最小修正について　　　　　　　　　　　　　　　
    中村優哉; 細部博史
    電子情報通信学会2020年総合大会講演論文集：情報・システム, Mar. 2020
  • ユーザの興味とコメント分布によるニコニコ動画の分析　　　　　　　　　　　　　　　
    小西敦郎; 細部博史
    電子情報通信学会2020年総合大会講演論文集：情報・システム, Mar. 2020
  • Solving Hierarchical Soft Constraints with an SMT Solver　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 12th International Conference on Computer and Automation Engineering (ICCAE2020), Feb. 2020, [Reviewed]
    Lead, Corresponding
  • A Japanese Bimanual Flick Keyboard for Tablets That Improves Display Space Efficiency (short paper)
    Yuya Nakamura; Hiroshi Hosobe
    Proceedings of VISIGRAPP2020--4th International Conference on Human Computer Interaction Theory and Applications (HUCAPP2020), Feb. 2020, [Reviewed]
    Last, Corresponding
  • Time-Series Visualization of Twitter Trends (short paper)
    Atsuro Konishi; Hiroshi Hosobe
    Proceedings of VISIGRAPP2020--11th International Conference on Information Visualization Theory and Applications (IVAPP2020), Feb. 2020, [Reviewed]
    Last, Corresponding
  • Twitterトレンドのリツイートによる分析と時系列の可視化　　　　　　　　　　　　　　　
    小西敦郎; 細部博史
    電子情報通信学会2019年総合大会講演論文集：情報・システム, Mar. 2019
  • 画面スペースの削減を目的としたタブレット用両手フリック日本語入力キーボード　　　　　　　　　　　　　　　
    中村優哉; 細部博史
    電子情報通信学会2019年総合大会講演論文集：基礎・境界/NOLTA, Mar. 2019
  • 有向グラフとCoordinated Multiple Viewsによる時系列情報の可視化　　　　　　　　　　　　　　　
    河田裕成; 細部博史; 赤石美奈
    情報処理学会第81回全国大会講演論文集, Mar. 2019
  • 変換画像の同時学習によるICMの改良　　　　　　　　　　　　　　　
    飯岡徹人; 若原徹; 細部博史
    人工知能学会研究会資料：人工知能基本問題研究会(FPAI), Mar. 2019
  • ソフト制約のモデル化・解決とその応用(招待講演)　　　　　　　　　　　　　　　
    細部博史
    人工知能学会研究会資料：人工知能基本問題研究会(FPAI), Mar. 2019, [Invited]
  • Toward an Efficient User Interface for Block-Based Visual Programming (showpiece)　　　　　　　　　　　　　　　
    Yota Inayama; Hiroshi Hosobe
    Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC2018), Oct. 2018, [Reviewed]
  • A Graph-Based Visualization of Time-Series Information in Multiple Texts　　　　　　　　　　　　　　　
    Hironari Kawada; Mina Akaishi; Hiroshi Hosobe
    Proceedings of the 22nd International Conference on Information Visualisation (IV2018), Jul. 2018, [Reviewed]
  • A Hand Gesture-Based Method for Biometric Authentication　　　　　　　　　　　　　　　
    Satoru Imura; Hiroshi Hosobe
    Proceedings of the 20th International Conference on Human-Computer Interaction (HCI International 2018), Lecture Notes in Computer Science, Jul. 2018, [Reviewed]
  • A Japanese Software Keyboard for Tablets That Reduces User Fatigue　　　　　　　　　　　　　　　
    Teppei Yajima; Hiroshi Hosobe
    Proceedings of the 42nd IEEE International Conference on Computers, Software and Applications (COMPSAC2018), Jul. 2018, [Reviewed]
  • 事象情報グラフの操作による時系列情報の可視化　　　　　　　　　　　　　　　
    河田裕成; 赤石美奈; 細部博史
    人工知能学会第32回全国大会論文集, Jun. 2018
  • A 2-by-6-Button Japanese Software Keyboard for Tablets (short paper)
    Kei Takei; Hiroshi Hosobe
    Proceedings of VISIGRAPP2018--2nd International Conference on Human Computer Interaction Theory and Applications (HUCAPP2018), Jan. 2018, [Reviewed]
  • Toward a Robot That Acquires Logical Recognition of Space　　　　　　　　　　　　　　　
    Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe
    Information Engineering Express, Dec. 2017, [Reviewed]
  • A Dynamic Default Revision Mechanism for Speculative Computation
    Tiago Oliveira; Ken Satoh; Paulo Novais; Jos Neves; Hiroshi Hosobe
    Autonomous Agents and Multi-Agent Systems, May 2017, [Reviewed]
  • 点対称の像を用いた追跡問題のQ学習の高速化　　　　　　　　　　　　　　　
    飯岡徹人; 細部博史
    人工知能学会研究会資料：人工知能基本問題研究会(FPAI), Mar. 2017
  • 抽象化とメディア変換に基づくネットワーク型パズルの提案と可視化　　　　　　　　　　　　　　　
    保里和樹; 細部博史
    情報処理学会研究報告：ヒューマンコンピュータインタラクション(HCI), Mar. 2017
  • 時系列ニュースの話題性の可視化　　　　　　　　　　　　　　　
    中山豪; 細部博史
    第9回データ工学と情報マネジメントに関するフォーラム(DEIM2017)論文集, Mar. 2017, [Reviewed]
  • Biometric Authentication Using the Motion of a Hand (poster)　　　　　　　　　　　　　　　
    Satoru Imura; Hiroshi Hosobe
    Proceedings of the 4th ACM Symposium on Spatial User Interaction (SUI2016), Oct. 2016, [Reviewed]
  • Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location (short paper)　　　　　　　　　　　　　　　
    Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe
    Proceedings of the IEEE International Conference on Agents (ICA2016), Sep. 2016, [Reviewed]
  • Toward a New Constraint Imperative Programming Language for Interactive Graphics (position paper)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Companion Proceedings of Modularity2016--Constrained and Reactive Objects Workshop (CROW2016), Mar. 2016, [Reviewed]
  • A Reasoning Module for Distributed Clinical Decision Support Systems　　　　　　　　　　　　　　　
    Tiago Oliveira; Ken Satoh; Paulo Novais; José Neves; Pedro Leão; Hiroshi Hosobe
    Proceedings of the 9th International Symposium on Intelligent Distributed Computing (IDC2015), Studies in Computational Intelligence, 2016, [Reviewed]
  • 対話型視覚的アプリケーションのための制約命令型プログラミング言語　　　　　　　　　　　　　　　
    細部博史
    日本ソフトウェア科学会第32回大会論文集, Sep. 2015
  • A Mouse-Like Hands-Free Gesture Technique for Two-Dimensional Pointing (poster)　　　　　　　　　　　　　　　
    Yusaku Yokouchi; Hiroshi Hosobe
    Proceedings o fHCI International 2015--Posters’ Extended Abstracts (Part I), Communications in Computer and Information Science, Aug. 2015, [Reviewed]
  • 地図の論理的表現と推論による位置把握を用いた、移動ロボットの自律的制御手法の開発　　　　　　　　　　　　　　　
    藤田恵; 後藤勇樹; 新出尚之; 佐藤健; 細部博史
    第20回ロボティクスシンポジア予稿集, Mar. 2015, [Reviewed]
  • A Programming Environment for Visual Block-Based Domain-Specific Languages
    Azusa Kurihara; Akira Sasaki; Ken Wakita; Hiroshi Hosobe
    Proceedings of the 2015 International Conference on Soft Computing and Software Engineering (SCSE2015), Procedia Computer Science, 2015, [Reviewed]
  • A Hierarchical Method for Solving Soft Nonlinear Constraints
    Hiroshi Hosobe
    Proceedings of the 2015 International Conference on Soft Computing and Software Engineering (SCSE2015), Procedia Computer Science, 2015, [Reviewed]
  • Interactive High-Dimensional Visualization of Social Graphs
    Ken Wakita; Masanori Takami; Hiroshi Hosobe
    Proceedings of the 8th IEEE Pacific Visualization Symposium (PacificVis2015), 2015, [Reviewed]
  • Hardened Flow-Sensitive Trace Formula for Fault Localization
    Si-Mohamed Lamraoui; Shin Nakajima; Hiroshi Hosobe
    Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS2015), 2015, [Reviewed]
  • Processingアプリケーション開発のための視覚的ドメイン特化言語(デモ・ポスター発表)　　　　　　　　　　　　　　　
    栗原あずさ; 佐々木晃; 脇田建; 細部博史
    第22回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2014), Dec. 2014, [Reviewed]
  • Processingアプリケーション開発のための視覚的ドメイン特化言語の実装　　　　　　　　　　　　　　　
    栗原あずさ; 佐々木晃; 脇田建; 細部博史
    日本ソフトウェア科学会第31回大会論文集, Sep. 2014
  • Logic-Based and Robust Decision Making for Robots in Real World (demonstration)　　　　　　　　　　　　　　　
    Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe
    Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014), May 2014, [Reviewed]
  • An Architecture for Autonomously Controlling Robot with Embodiment in Real World　　　　　　　　　　　　　　　
    Megumi Fujita; Yuki Goto; Naoyuki Nide; Ken Satoh; Hiroshi Hosobe
    Proceedings of the Workshop on Knowledge Representation and Reasoning in Robotics at ICLP2013, Aug. 2013, [Reviewed]
  • 動的環境下におけるロボットの行動プラン最小修正について　　　　　　　　　　　　　　　
    藤田恵; 後藤勇樹; 新出尚之; 佐藤健; 細部博史
    人工知能学会第27回全国大会論文集, Jun. 2013
  • Toward Visual Analytics of Unlinked Documents by Textual Analysis and Network Visualization　　　　　　　　　　　　　　　
    Buntarou Shizuki; Hiroshi Hosobe
    Proceedings of the 17th International Conference on Information Visualisation (IV2013), 2013, [Reviewed]
  • ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換アルゴリズム　　　　　　　　　　　　　　　
    竹口輝; 和田亮; 松本翔太; 細部博史; 上田和紀
    日本ソフトウェア科学会第29回大会論文集, Aug. 2012
  • HydLa: A High-Level Language for Hybrid Systems (short paper)　　　　　　　　　　　　　　　
    Kazunori Ueda; Shota Matsumoto; Akira Takeguchi; Hiroshi Hosobe; Daisuke Ishii
    Proceedings of the 2nd Workshop on Logics for System Analysis (LfSA2012) at CAV2012, Jul. 2012, [Reviewed]
  • 射影に基づく対話的三次元グラフ可視化手法　　　　　　　　　　　　　　　
    高見将則; 細部博史; 脇田建
    情報処理学会研究報告：ヒューマンコンピュータインタラクション(HCI), Jan. 2012
  • Numerical Optimization-Based Graph Drawing Revisited
    Hiroshi Hosobe
    Proceedings of the 5th IEEE Pacific Visualization Symposium (PacificVis2012), 2012, [Reviewed]
  • Composition of Engineering Web Services with Universal Distributed Data-Flows based on ROA　　　　　　　　　　　　　　　
    Kewei Duan; Julian Padget; Hyunsun Kim; Hiroshi Hosobe
    Proceedings of the 3rd International Workshop on RESTful Design (WS-REST2012), 2012, [Reviewed]
  • Distributed Defeasible Speculative Reasoning in Ambient Environment　　　　　　　　　　　　　　　
    Ho-Pun Lam; Guido Governatori; Ken Satoh; Hiroshi Hosobe
    Proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, Lecture Notes in Artificial Intelligence, 2012, [Reviewed]
  • An Exploratory Analysis Tool for a Long-Term Video from a Stationary Camera
    Ryoji Nogami; Buntarou Shizuki; Hiroshi Hosobe; Jiro Tanaka
    Proceedings of IEEE ICTAI2012--5th IEEE International Symposium on Monitoring and Surveillance Research (ISMSR2012), 2012, [Reviewed]
  • A Simplex-Based Scalable Linear Constraint Solver for User Interface Applications (short paper)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI2011), Nov. 2011, [Reviewed]
  • An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems
    Daisuke Ishii; Kazunori Ueda; Hiroshi Hosobe
    International Journal on Software Tools for Technology Transfer, Oct. 2011, [Reviewed]
  • ユーザインタフェースのためのスケーラブルな線形制約解消系　　　　　　　　　　　　　　　
    細部博史
    日本ソフトウェア科学会第28回大会論文集, Sep. 2011
  • ハイブリッドシステムモデリング言語HydLaの実装　　　　　　　　　　　　　　　
    松本翔太; 櫻庭翔; 高田賢士郎; 細部博史; 上田和紀
    日本ソフトウェア科学会第28回大会論文集, Sep. 2011
  • A Constraint-Based Approach to Error Localization　　　　　　　　　　　　　　　
    Ha Bang Ban; Hiroshi Hosobe; Shin Nakajima; Duc Nghia Nguyen; Michel Rueher; Franz Weitl
    日本ソフトウェア科学会第28回大会萌芽セッション, Sep. 2011
  • ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム(レター論文)　　　　　　　　　　　　　　　
    渋谷俊; 高田賢士郎; 細部博史; 上田和紀
    コンピュータソフトウェア, Jul. 2011, [Reviewed]
  • 数値最適化による力学的グラフ可視化手法　　　　　　　　　　　　　　　
    細部博史
    情報処理学会研究報告：ヒューマンコンピュータインタラクション(HCI), Jul. 2011
  • 大規模社会ネットワークの階層的視覚化手法の提案　　　　　　　　　　　　　　　
    越田港; 細部博史; 脇田建
    コンピュータソフトウェア, Apr. 2011, [Reviewed]
  • ハイブリッドシステムモデリング言語HydLaの数式処理実行系　　　　　　　　　　　　　　　
    高田賢士郎; 渋谷俊; 細部博史; 上田和紀
    情報処理学会第73回全国大会講演論文集, Mar. 2011
  • 差分画像を用いた定点カメラ映像分析支援インタフェース(インタラクティブ発表)　　　　　　　　　　　　　　　
    野上僚司; 志築文太郎; 細部博史; 田中二郎
    インタラクション2011論文集, Mar. 2011
  • ユーザインタフェースのための線形制約解消系　　　　　　　　　　　　　　　
    細部博史
    情報処理学会研究報告：ヒューマンコンピュータインタラクション(HCI), Mar. 2011
  • ハイブリッド制約言語HydLaの宣言的意味論(レター論文)　　　　　　　　　　　　　　　
    上田和紀; 細部博史; 石井大輔
    コンピュータソフトウェア, Jan. 2011, [Reviewed]
  • On the Implementation of Speculative Constraint Processing (post-proceedings version)　　　　　　　　　　　　　　　
    Jiefei Ma; Alessandra Russo; Krysia Broda; Hiroshi Hosobe; Ken Satoh
    Computational Logic in Multi-Agent Systems--CLIMA X (Post-Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems), Lecture Notes in Artificial Intelligence, Nov. 2010, [Reviewed]
  • Including Ordinary Differential Equations Based Constraints in the Standard CP Framework　　　　　　　　　　　　　　　
    Alexandre Goldsztejn; Olivier Mullier; Damien Eveillard; Hiroshi Hosobe
    D. Cohen (Ed.), Principles and Practice of Constraint Programming--CP2010 (Proceedings of the 16th International Conference of Principles and Practice of Constraint Programming), Lecture Notes in Computer Science, Sep. 2010, [Reviewed]
  • ハイブリッド制約言語HydLaの宣言的意味論　　　　　　　　　　　　　　　
    上田和紀; 細部博史; 石井大輔
    日本ソフトウェア科学会第27回大会論文集, Sep. 2010
  • ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム　　　　　　　　　　　　　　　
    渋谷俊; 高田賢士郎; 上田和紀; 細部博史
    日本ソフトウェア科学会第27回大会論文集, Sep. 2010
  • Speculative Abductive Reasoning for Hierarchical Agent Systems　　　　　　　　　　　　　　　
    Jiefei Ma; Krysia Broda; Randy Goebel; Hiroshi Hosobe; Alessandra Russo; Ken Satoh
    J. Dix, J. Leite, G. Governatori, and W. Jamroga (Eds.), Computational Logic in Multi-Agent Systems--CLIMA XI (Proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems), Lecture Notes in Artificial Intelligence, Aug. 2010, [Reviewed]
  • ハイブリッドシステムモデリング言語HydLa処理系の実行アルゴリズムの検討　　　　　　　　　　　　　　　
    渋谷俊; 高田賢士郎; 上田和紀; 細部博史
    第8回ディペンダブルシステムワークショップ(DSW2010)論文集, Jul. 2010
  • ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系　　　　　　　　　　　　　　　
    大谷順司; 廣瀬賢一; 石井大輔; 細部博史; 上田和紀
    情報処理学会創立50周年記念(第72回)全国大会論文集, Mar. 2010
  • Speculative Constraint Processing for Hierarchical Agents
    Hiroshi Hosobe; Ken Satoh; Jiefei Ma; Alessandra Russo; Krysia Broda
    AI Communications, 2010, [Reviewed]
  • Speculative Constraint Processing for Hierarchical Agents　　　　　　　　　　　　　　　
    Hiroshi Hosobe; Ken Satoh; Jiefei Ma; Alessandra Russo; and Krysia Broda
    Proceedings of the 7th European Workshop on Multi-Agent Systems (EUMAS2009), Dec. 2009, [Reviewed]
  • An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems　　　　　　　　　　　　　　　
    Daisuke Ishii; Kazunori Ueda; Hiroshi Hosobe
    Proceedings of the Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE2009), Nov. 2009, [Reviewed]
  • On the Implementation of Speculative Constraint Processing (proceedings version)　　　　　　　　　　　　　　　
    Jiefei Ma; Alessandra Russo; Krysia Broda; Hiroshi Hosobe; Ken Satoh
    Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X), Sep. 2009, [Reviewed]
  • Interval-based Solving of Hybrid Constraint Systems　　　　　　　　　　　　　　　
    Daisuke Ishii; Kazunori Ueda; Hiroshi Hosobe; and Alexandre Goldsztejn
    Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS2009), Sep. 2009, [Reviewed]
  • 制約階層によるハイブリッドシステムのモデリング手法　　　　　　　　　　　　　　　
    廣瀬賢一; 大谷順司; 石井大輔; 細部博史; 上田和紀
    日本ソフトウェア科学会第26回大会論文集, Sep. 2009
  • Interaction Techniques using a Spherical Cursor for 3D Targets Acquisition and Indicating in Volumetric Displays　　　　　　　　　　　　　　　
    Masaki Naito; Buntarou Shizuki; Jiro Tanaka; Hiroshi Hosobe
    Proceedings of the 13th International Conference on Information Visualisation (IV2009), Jul. 2009, [Reviewed]
  • Simulation of Hybrid Systems based on Hierarchical Interval Constraints (poster)　　　　　　　　　　　　　　　
    Daisuke Ishii; Kazunori Ueda; Hiroshi Hosobe
    Proceedings of the 2nd International Conference on Simulation Tools and Techniques (SIMUTools2009), Mar. 2009, [Reviewed]
  • 微分制約論理式によるハイブリッドシステムのモデリングと検証　　　　　　　　　　　　　　　
    石井大輔; 上田和紀; 細部博史
    電子情報通信学会技術研究報告：コンカレント工学研究会(CST), Jan. 2009
  • Constraint Hierarchies as Semiring-Based CSPs
    Hiroshi Hosobe
    Proceedings of the 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI2009), 2009, [Reviewed]
    Lead, Corresponding
  • HydLa: A Constraint-Based Modeling Language for Hybrid Systems (symposium version)　　　　　　　　　　　　　　　
    上田和紀; 石井大輔; 細部博史
    第5回システム検証の科学技術シンポジウム(SSV2008)予稿集, 日本ソフトウェア科学会研究会資料シリーズ, Nov. 2008
  • ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法　　　　　　　　　　　　　　　
    石井大輔; 上田和紀; 細部博史
    情報処理学会論文誌：数理モデル化と応用, Sep. 2008, [Reviewed]
  • 大規模社会ネットワークの階層的視覚化手法の提案　　　　　　　　　　　　　　　
    越田港; 細部博史; 脇田建
    日本ソフトウェア科学会第25回大会論文集, Sep. 2008
  • A Constraint-Based Modeling Language for Hybrid Systems (conference version)　　　　　　　　　　　　　　　
    上田和紀; 石井大輔; 細部博史
    日本ソフトウェア科学会第25回大会論文集, Sep. 2008
  • ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用　　　　　　　　　　　　　　　
    石井大輔; 上田和紀; 細部博史
    第6回ディペンダブルシステムワークショップ(DSW2008)論文集, Jul. 2008
  • Une Approche Orientée Hiérarchie de Contraintes pour la Résolution de Problèmes de Contraintes Géométriques　　　　　　　　　　　　　　　
    Christophe Jermann; Hiroshi Hosobe
    Proceedings of the 7th International Conference on Modelling and Simulation (MOSIM2008), Apr. 2008, [Reviewed]
  • A Constraint Hierarchies Approach to Geometric Constraints on Sketches (poster)　　　　　　　　　　　　　　　
    Christophe Jermann; Hiroshi Hosobe
    Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC2008)--Geometric Constraints and Reasoning (GCR) Track, Mar. 2008, [Reviewed]
  • ハイブリッドシステムの高信頼性シミュレーションのための区間に基づく制約伝播手法　　　　　　　　　　　　　　　
    石井大輔; 上田和紀; 細部博史
    情報処理学会研究報告：数理モデル化と問題解決(MPS), Mar. 2008
  • An Interactive Large Graph Visualizer (system demonstration)
    Hiroshi Hosobe
    Proceedings of the 8th International Symposium on Smart Graphics, Lecture Notes in Computer Science, 2008, [Reviewed]
    Lead, Corresponding
  • Agent-Based Speculative Constraint Processing
    Hiroshi Hosobe; Ken Satoh; Philippe Codognet
    IEICE Transactions on Information and Systems, Sep. 2007, [Reviewed]
    Lead, Corresponding
  • ハイブリッド並行制約プログラミングにおける分岐を含む軌道の区間包囲の求解手法　　　　　　　　　　　　　　　
    石井大輔; 上田和紀; 細部博史
    日本ソフトウェア科学会第24回大会論文集, Sep. 2007
  • 階層的優先度を備えた非線形制約の解消法　　　　　　　　　　　　　　　
    細部博史
    日本ソフトウェア科学会第24回大会論文集, Sep. 2007
  • An Interval-Based Approximation Method for Discrete Changes in Hybrid cc (post-proceedings version)　　　　　　　　　　　　　　　
    Daisuke Ishii; Kazunori Ueda; Hiroshi Hosobe
    Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops), May 2007, [Reviewed]
  • Trends and Issues in Using Constraint Programming for Graphical Applications　　　　　　　　　　　　　　　
    Marc Christie; Hiroshi Hosobe; and Kim Marriott
    Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops), May 2007
  • Analysis of a High-Dimensional Approach to Interactive Graph Drawing　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the Asia-Pacific Symposium on Visualisation (APVIS2007), Feb. 2007, [Reviewed]
  • DuPlex: A Linear and One-Way Constraint Solver for Web Document Layout　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 1st International Workshop on Constraint Programming for Graphical Applications (CPGA2006), Sep. 2006, [Reviewed]
  • An Interval-Based Approximation Method for Discrete Changes in Hybrid cc (proceedings version)　　　　　　　　　　　　　　　
    Daisuke Ishii; Kazunori Ueda; Hiroshi Hosobe
    Proceedings of the 3rd International Workshop on Interval Analysis, Constraint Propagation and Applications (IntCP2006), Sep. 2006, [Reviewed]
  • An Interval-Based Approximation Method for Discrete Changes in Hybrid cc (Japanese version)　　　　　　　　　　　　　　　
    Daisuke Ishii; Kazunori Ueda; Hiroshi Hosobe
    Proceedings of the 23rd JSSST Conference, Sep. 2006
  • Franco-Japanese Research Collaboration on Constraint Programming (R&D project report)　　　　　　　　　　　　　　　
    Frédéric Benhamou; Martine Ceberio; Philippe Codognet; Hiroshi Hosobe; Christophe Jermann; Ken Satoh; Kazunori Ueda
    Progress in Informatics, Apr. 2006, [Reviewed]
  • A Method for Improving Compatibility of Layout between Web Browsers　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Information Studies for the Foundation of IT Evolution, 08 Mar. 2006
  • Formalization and Implementation of Visualization Models by Constraint Programming (final report)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    FY2001-2005 Report for the Grant-in-Aid for Priority Areas Informatics Studies for the Foundation of IT Evolution--Group A01, New Approaches for Software Construction, Jan. 2006
  • Speculative Constraint Processing with Iterative Revision for Disjunctive Answers
    Martine Ceberio; Hiroshi Hosobe; Ken Satoh
    Post-Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems, Lecture Notes in Artificial Intelligence, 2006, [Reviewed]
  • Through-the-Lens Cinematography
    Marc Christie; Hiroshi Hosobe
    Proceedings of the 6th International Symposium on Smart Graphics, Lecture Notes in Computer Science, 2006, [Reviewed]
  • A Constraint Programming Technique for Web Document Layout　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 22nd JSSST Conference, Sep. 2005
  • Solving Constraints for Web Document Layout　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the Workshop on New Approaches to Software Construction (WNASC2005), Sep. 2005
  • A High-Dimensional Approach to the Interactive Visualization of General Undirected Graphs　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Journal of the IPSJ, Jul. 2005, [Reviewed]
  • Solving Linear and One-Way Constraints for Web Document Layout (poster)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC2005)--Multimedia and Visualization (MV) Track, Mar. 2005, [Reviewed]
  • Formalization and Implementation of Visualization Models by Constraint Programming (interim report)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    FY2004 Report for the Grant-in-Aid for Priority Areas Informatics Studies for the Foundation of IT Evolution--Group A01, New Approaches for Software Construction, Jan. 2005
  • An Extended High-Dimensional Method for Interactive Graph Drawing　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Seok-Hee Hong (Ed.), Proceedings of the Asia Pacific Symposium on Information Visualisation 2005 (APVIS2005), Conferences in Research and Practice in Information Technology, Jan. 2005, [Reviewed]
  • Constructing Visualization Models by Constraint Programming　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 21st JSSST Conference, Sep. 2004
  • Hierarchical Nonlinear Constraint Satisfaction　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC2004)--Artificial Intelligence, Computational Logic, and Image Analysis (AI) Track, Mar. 2004, [Reviewed]
  • A High-Dimensional Approach to Interactive Graph Visualization　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC2004)--Multimedia and Visualization (MV) Track, Mar. 2004, [Reviewed]
  • Interactive Graph Layout Using High Dimensions　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 11th Workshop on Interactive Systems and Software (WISS2003), JSSST SIG Proceedings Series, Dec. 2003, [Reviewed]
  • Hierarchical Geometric Constraint Satisfaction for Interactive Graphical Applications　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 20th Anniversary JSSST Conference, Sep. 2003
  • Visualization of Graphs by Using Their High-Dimensional Layouts　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 65th IPSJ Conference, Mar. 2003
  • Geometric Constraint Satisfaction for Interactive 3D Applications　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Journal of the IPSJ, Feb. 2003, [Reviewed]
  • A Foundation of Solution Methods for Constraint Hierarchies
    Hiroshi Hosobe; Satoshi Matsuoka
    Constraints: An International Journal, Jan. 2003, [Reviewed]
    Lead, Corresponding
  • Speculative Constraint Processing in Multi-Agent Systems
    Ken Satoh; Philippe Codognet; Hiroshi Hosobe
    Proceedings of the 6th Pacific Rim International Workshop on Multi-Agents, Lecture Notes in Artificial Intelligence, 2003, [Reviewed]
  • A Linear Equality and Inequality Constraint Solver for User Interfaces (journal version)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Computer Software, Nov. 2002, [Reviewed]
  • Chorus3D: A Geometric Constraint Solver for Interactive 3D Applications　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 19th JSSST Conference, Sep. 2002
  • A Geometric Constraint Library for 3D Graphical Applications　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 2nd International Symposium on Smart Graphics, ACM International Conference Proceedings Series, Jun. 2002, [Reviewed]
  • Requirements of Systems for Business Information Infrastructures--Constraint Programming for User Interfaces　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Study on Social Communication--Report for the Fiscal Year 2001, Mar. 2002
  • A Linear Equality and Inequality Constraint Solver for User Interfaces (workshop version)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Online Proceedings of the 5th Workshop on Systems for Programming and Applications (SPA2002), Mar. 2002, [Reviewed]
  • A Modular Geometric Constraint Solver for User Interface Applications　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 14th Annual ACM Symposium on User Interface Software and Technology (UIST2001), CHI Letters, Nov. 2001, [Reviewed]
  • A Geometric Constraint Solving Framework for Interactive Interfaces　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Journal of the IPSJ, Jun. 2001, [Reviewed]
  • A Constraint-Based Approach to Information Visualization for XML　　　　　　　　　　　　　　　
    Hiroshi Hosobe and Shinichi Honiden
    Proceedings of the Interaction 2001 Symposium, IPSJ Symposium Series, Mar. 2001, [Reviewed]
  • A Hierarchical Framework for Integrating Constraints with Graph Layouts (short paper)
    Hiroshi Hosobe
    Proceedings of the 8th IFIP TC13 Conference on Human-Computer Interaction (INTERACT2001), 2001, [Reviewed]
  • Chorus: A Geometric Constraint Solver with a Module Mechanism　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Jun Rekimoto (Ed.), Interactive Systems and Software VIII--JSSST WISS2000, Lecture Notes in Software Science, Dec. 2000, [Reviewed]
  • Constraint Satisfaction in User Interfaces: Introduction and Survey (tutorial)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Computer Software, Nov. 2000, [Reviewed]
  • A Scalable Linear Constraint Solver for User Interface Construction　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Rina Dechter (Ed.), Principles and Practice of Constraint Programming--CP2000, Lecture Notes in Computer Science, Sep. 2000, [Reviewed]
  • Design and Implementation of a Constraint Programming Language for Graphical User Interface Construction (Japanese version)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Research on Enhancement of Scholarly Information and Establishment of Next Generation Academic Information Infrastructure--Open Platform for Next Generation Academic Information Environments, Mar. 2000
  • Speeding Up HiRise, a Linear Constraint Hierarchy Solver for Graphical User Interfaces　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Computer Software, Mar. 2000, [Reviewed]
  • Extending Constraint Hierarchies for Better Visualization　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Research Bulletin of the National Center for Science Information Systems, Mar. 2000, [Reviewed]
  • Design and Implementation of a Constraint Programming Language for Graphical User Interface Construction (English version)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 1st International Symposium on Advanced Informatics (AdInfo2000), Mar. 2000
  • HiRise: An Incremental Constraint Solver for Constructing Graphical User Interfaces (journal version)　　　　　　　　　　　　　　　
    Hiroshi Hosobe; Satoshi Matsuoka; and Akinori Yonezawa
    Computer Software, Nov. 1999, [Reviewed]
  • Speeding Up a Linear Constraint Hierarchy Solver for Graphical User Interfaces　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 16th JSSST Conference, Sep. 1999
  • Functional Enhancement of a Numerical Constraint Hierarchy Solver for Constructing Graphical User Interfaces　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Proceedings of the 59th IPSJ Conference, Sep. 1999
  • Enhancing and Porting an Efficient Constraint Solver for Hierarchical Linear Systems　　　　　　　　　　　　　　　
    Satoshi Matsuoka and Hiroshi Hosobe
    Proceedings of the Workshop of the FY1998 Research Funding Program, Mar. 1999
  • HiRise: An Incremental Constraint Solver for Constructing Graphical User Interfaces (workshop version)　　　　　　　　　　　　　　　
    Hiroshi Hosobe; Satoshi Matsuoka; and Akinori Yonezawa
    Michiaki Yasumura (Ed.), Interactive Systems and Software VI--JSSST WISS'98, Lecture Notes in Software Science, Dec. 1998, [Reviewed]
  • Development of an Efficient Solver for Hierarchical Linear Systems　　　　　　　　　　　　　　　
    Satoshi Matsuoka and Hiroshi Hosobe
    Proceedings of the Workshop of the FY1997 Research Funding Program, Mar. 1998
  • Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Doctoral Dissertation, Mar. 1998, [Reviewed]
  • A Constraint-Based Approach for Visualization and Animation (journal version)
    Shin Takahashi; Satoshi Matsuoka; Ken Miyashita; Hiroshi Hosobe; Tomihisa Kamada
    Constraints, 1998, [Reviewed]
  • Efficient Satisfaction of Constraint Hierarchies Using Hierarchical Linear Systems (short paper)　　　　　　　　　　　　　　　
    Hiroshi Hosobe; Satoshi Matsuoka; and Akinori Yonezawa
    Rikio Onai (Ed.), Interactive Systems and Software V--JSSST WISS'97, Lecture Notes in Software Science, Dec. 1997, [Reviewed]
  • Generalized Local Propagation: A Framework for Solving Constraint Hierarchies　　　　　　　　　　　　　　　
    Hiroshi Hosobe; Satoshi Matsuoka; Akinori Yonezawa
    Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, 1996, [Reviewed]
  • Efficient Satisfaction of Constraint Hierarchies with Inequalities　　　　　　　　　　　　　　　
    Hiroshi Hosobe; Satoshi Matsuoka; and Akinori Yonezawa
    Jiro Tanaka (Ed.), Interactive Systems and Software III--JSSST WISS'95, Lecture Notes in Software Science, Dec. 1995, [Reviewed]
  • A Constraint-Based Approach for Visualization and Animation (workshop version)　　　　　　　　　　　　　　　
    Shin Takahashi; Satoshi Matsuoka; Ken Miyashita; Hiroshi Hosobe; Akinori Yonezawa; and Tomihisa Kamada
    Proceedings of the International Workshop on Constraints for Graphics and Visualization, Sep. 1995, [Reviewed]
  • Efficient Satisfaction of Constraint Hierarchies　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Master’s Thesis, Mar. 1995, [Reviewed]
  • Locally Simultaneous Constraint Satisfaction　　　　　　　　　　　　　　　
    Hiroshi Hosobe; Ken Miyashita; Shin Takahashi; Satoshi Matsuoka; and Akinori Yonezawa
    Alan Borning (Ed.), Principles and Practice of Constraint Programming--PPCP'94, Lecture Notes in Computer Science, Oct. 1994, [Reviewed]
  • Locally Simultaneous Constraint Satisfaction　　　　　　　　　　　　　　　
    Hiroshi Hosobe; Ken Miyashita; Shin Takahashi; Satoshi Matsuoka; and Akinori Yonezawa
    Akikazu Takeuchi (Ed.), Interactive Systems and Software I--JSSST WISS'93, Lecture Notes in Software Science, Sep. 1994, [Reviewed]
  • A Constraint Solving Algorithm for Real-Time Interaction in User Interfaces　　　　　　　　　　　　　　　
    Hiroshi Hosobe; Ken Miyashita; Shin Takahashi; Satoshi Matsuoka; Akinori Yonezawa; and Tomihisa Kamada
    Proceedings of the 10th JSSST Conference, Jun. 1993
  • A Constraint Solving Method for Real-Time Interaction in User Interfaces　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Senior Thesis, Mar. 1993, [Reviewed]
■ MISC
  • 特集「ソフトウェア論文」の編集にあたって　　　　　　　　　　　　　　　
    石川冬樹; 馬谷誠二; 小宮常康; 林晋平; 細部博史; 横山大作
    コンピュータソフトウェア, Oct. 2016
  • 特集「ソフトウェア論文」の編集にあたって　　　　　　　　　　　　　　　
    馬谷誠二; 河野恭之; 小宮常康; 権藤克彦; 細部博史; 横山大作
    コンピュータソフトウェア, Oct. 2015
  • 特集「ソフトウェア論文」の編集にあたって　　　　　　　　　　　　　　　
    馬谷誠二; 河野恭之; 小宮常康; 権藤克彦; 細部博史; 横山大作
    コンピュータソフトウェア, Oct. 2014
  • 日本ソフトウェア科学会30周年特集の編集にあたって　　　　　　　　　　　　　　　
    田中二郎; 細部博史; 吉岡信和
    コンピュータソフトウェア, Apr. 2014
  • A Numerical Computation-Based Method for Visualizing Graphs (abstract)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Computer Visualization--Concepts and Challenges, NII Shonan Meeting Report, Mar. 2014, [Invited]
  • 特集「ソフトウェア論文」の編集にあたって　　　　　　　　　　　　　　　
    和泉順子; 河野恭之; 小宮常康; 権藤克彦; 並木美太郎; 細部博史
    コンピュータソフトウェア, Oct. 2013
  • Exploring the Power of Soft Constraints (abstract)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Parallel Methods for Constraint Solving and Combinatorial Optimization, NII Shonan Meeting Report, May 2012
  • Parallel Methods for Constraint Solving and Combinatorial Optimization　　　　　　　　　　　　　　　
    Philippe Codognet; Kazunori Ueda; Hiroshi Hosobe
    NII Shonan Meeting Report, May 2012
  • 日本ソフトウェア科学会第27回大会報告　　　　　　　　　　　　　　　
    細部博史
    コンピュータソフトウェア, Jan. 2011
  • Introduction to the Special Issue on Interactive Systems and Software
    KOIKE Hideki; KONO Yasuyuki; HOSOBE Hiroshi
    Computer Software, 2011
  • 特集「インタラクティブシステムとソフトウェア」の編集にあたって　　　　　　　　　　　　　　　
    小池英樹; 豊田正史; 細部博史
    コンピュータソフトウェア, Jan. 2010
  • 特集「インタラクティブシステムとソフトウェア」の編集にあたって　　　　　　　　　　　　　　　
    垂水浩幸; 福地健太郎; 細部博史
    コンピュータソフトウェア, Jan. 2009
  • 計算機パワーを最大限に活かす?制約を用いたソフトウェア開発法?　　　　　　　　　　　　　　　
    細部博史
    情報通信ジャーナル, Nov. 2008
  • 特集『論理と推論技術の展開』の編集にあたって　　　　　　　　　　　　　　　
    上田和紀; 新田克己; 細部博史
    コンピュータソフトウェア, Jul. 2008
  • CO-EXIST-SEA Training Course　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    4th Workshop of the Cooperative Program for the Exchange of Experiences, Expertise, and Information on Science and Technology in Southeast Asian Countries (4th CO-EXIST-SEA Workshop), Oct. 2002, [Invited]
  • Status Report: National Institute of Informatics　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    4th Workshop of the Cooperative Program for the Exchange of Experiences, Expertise, and Information on Science and Technology in Southeast Asian Countries (4th CO-EXIST-SEA Workshop), Oct. 2002, [Invited]
  • A Report on WISS'96　　　　　　　　　　　　　　　
    Mahoro Anabuki; Yuji Ayatsuka; Hiroshi Hosobe
    Computer Software, May 1997
■ Books and other publications
  • シミュレーション辞典　　　　　　　　　　　　　　　
    細部博史, Joint work, 情報可視化のユーザインタラクション
    コロナ社, Feb. 2012, Not reviewed
  • Autonomous Robots--From Biological Inspiration to Implementation and Control　　　　　　　　　　　　　　　
    George A. Bekey; Kouichi Matsuda; Hiroshi Hosobe, Joint translation
    Mainichi Communications, Dec. 2006, Not reviewed
  • 3D User Interrfaces--Theory and Practice　　　　　　　　　　　　　　　
    Doug A. Bowman; Ernst Kruijff; Joseph J. LaViola; Jr; Ivan Poupyrev; Kouichi Matsuda; Hiroshi Hosobe; Tetsuo Yutani, Joint translation
    Maruzen, Sep. 2005, Not reviewed
  • Research on Next-Generation Human Interface Technology--Report for the Fiscal Year 2002　　　　　　　　　　　　　　　
    Hiroshi Hosobe, Joint work, 4.3.2. Transcoding
    New Energy and Industrial Technology Development Organization, NEDO (entrusted to Systems Research & Development Institute of Japan), Mar. 2003, Not reviewed
  • Study on Social Communication--Report for the Fiscal Year 2001
    Eisuke Naito; Hiroshi Hosobe, Editor
    National Institute of Informatics, Mar. 2002, Not reviewed
    4860490088
  • The Essential Guide to Wireless Communications Applications--From Cellular Systems to WAP and M-Commerce　　　　　　　　　　　　　　　
    Andy Dornan; Kouichi Matsuda; Hiroshi Hosobe; Tetsuo Yutani, Joint translation
    Serendip/Shogakukan, Mar. 2002, Not reviewed
  • Digital Character Animation　　　　　　　　　　　　　　　
    George Maestri; Kouichi Matsuda; Hiroshi Hosobe, Joint translation
    Prentice Hall Japan, Mar. 1999, Not reviewed
■ Lectures, oral presentations, etc.
  • Solving Soft Constraints for Multi-Criteria Ethical Reasoning　　　　　　　　　　　　　　　
    Hiroshi Hosobe; Ken Satoh
    Multi-Objective Decision Making Workshop (MODeM2024) at ECAI2024, Oct. 2024
  • CRV: A Framework for Visualizing Card Relationships in Digital Collectible Card Games　　　　　　　　　　　　　　　
    Yicheng Xue; Hiroshi Hosobe
    1st Japan Visualization Symposium (JapanVis2024), Apr. 2024
  • クラスタリングされたヒートマップと折れ線グラフによる時系列データの可視化　　　　　　　　　　　　　　　
    遠藤麗香; 細部博史
    1st Japan Visualization Symposium (JapanVis2024), Apr. 2024
  • データ駆動文書のためのAPIの改良　　　　　　　　　　　　　　　
    細部博史
    第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022), Mar. 2022, 日本ソフトウェア科学会
  • 階層的制約を用いたマルチエージェントシステムの投機的処理　　　　　　　　　　　　　　　
    細部博史; 佐藤健
    第23回プログラミングおよびプログラミング言語ワークショップ(PPL2021), Mar. 2021, 日本ソフトウェア科学会
  • A Tool for Testing Event-Driven Programs in Processing (demo)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    3rd International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS2020) at ICST2020, Oct. 2020
  • Processingプログラムにおけるイベント処理のユニットテスト手法　　　　　　　　　　　　　　　
    細部博史
    第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020), Mar. 2020, 日本ソフトウェア科学会
  • シンプルかつ明確な制約階層の再定式化に向けて　　　　　　　　　　　　　　　
    細部博史
    第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017, 日本ソフトウェア科学会
  • Interactive High-Dimensional Visualization of Social Graphs　　　　　　　　　　　　　　　
    Ken Wakita; Takami Masanori; Hiroshi Hosobe
    2nd Annual Meeting on Advanced Computing System and Infrastructure (ACSI2016), Jan. 2016
  • A Soft Constraint-Based Approach to Error Localization　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    4th Asian Workshop on Advanced Software Engineering (AWASE2014), Oct. 2014
  • Exploring the Power of Soft Constraints　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    CRIL-NII Collaborative Meeting on Reasoning about Dynamic Constraint Networks, Nov. 2012
  • Taming Interactive Visualization of A Large-Scale Real-Life Social Graph of a Million Nodes　　　　　　　　　　　　　　　
    Ken Wakita; Hiroshi Hosobe; Masanori Takami; Tsuyoshi Murata
    Workshop on Social Media Visualization (SocMedVis) at ICWSM-12, Jun. 2012
  • Hybrid Constraint Language HydLa and Its Implementation　　　　　　　　　　　　　　　
    Shota Matsumoto; Akira Takeguchi; Kazunori Ueda; Hiroshi Hosobe
    15th International Conference on Hybrid Systems: Computation and Control (HSCC2012), Apr. 2012
  • 確率的制約充足問題への統計的アプローチ　　　　　　　　　　　　　　　
    細部博史
    第12回CSPSAT研究会, Mar. 2012
  • A Projection-Based Method for Interactive Visual Exploration of Complex Graphs in a Three-Dimensional Space　　　　　　　　　　　　　　　
    Masanori Takami; Hiroshi Hosobe; Ken Wakita
    5th IEEE Pacific Visualization Symposium (PacificVis2012), Feb. 2012
  • Simulation with Guaranteed Accuracy Using Hybrid System Modeling Language HydLa　　　　　　　　　　　　　　　
    Kakeru Sakuraba; Kazunori Ueda; Hiroshi Hosobe; Shun Shibuya; Shouta Matsumoto
    9th Asian Symposium on Programming Languages and Systems (APLAS2011), Dec. 2011
  • Visualizing Undirected Graphs: Interactivity and Optimization (invited talk)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    2011 Taiwanese-Japanese Workshop on Information Visualization and Graph Drawing, 05 Oct. 2011, [Invited]
  • Theory and Solution of Constraint Hierarchies (invited talk)　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    第10回CSPSAT研究会, Aug. 2011, [Invited]
  • ハイブリッドシステムモデリング言語HydLaの処理系による非決定性の扱い　　　　　　　　　　　　　　　
    松本翔太; 高田賢士郎; 細部博史; 上田和紀
    第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011), Mar. 2011, 日本ソフトウェア科学会
  • 「どのように」ではなく「何を」解くかを指示するソフトウェア開発―制約プログラミングの技術と応用　　　　　　　　　　　　　　　
    細部博史
    平成22年度国立情報学研究所オープンハウス, Jun. 2010, 国立情報学研究所
  • Translation from Hybrid Concurrent Constraint Programming into Real-Time Transition Systems　　　　　　　　　　　　　　　
    Daisuke Ishii; Kazunori Ueda; Hiroshi Hosobe
    13th International Conference on Hybrid Systems: Computation and Control (HSCC2010), Apr. 2010
  • Exploring the Power of Soft Constraints　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    第32回先端ソフトウェア科学・工学に関するGRACEセミナー, 23 Mar. 2010, [Invited]
  • ハイブリッドシステムモデリング言語HydLaの統合処理系　　　　　　　　　　　　　　　
    高田賢士郎; 廣瀬賢一; 大谷順司; 石井大輔; 細部博史; 上田和紀
    第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010), Mar. 2010, 日本ソフトウェア科学会
  • 計算方法ではなく目標を示すだけでプログラムを作る―制約プログラミングとその応用に関する研究　　　　　　　　　　　　　　　
    細部博史
    平成21年度国立情報学研究所オープンハウス, Jun. 2009, 国立情報学研究所
  • 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装　　　　　　　　　　　　　　　
    廣瀬賢一; 大谷順司; 石井大輔; 細部博史; 上田和紀
    第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009), Mar. 2009, 日本ソフトウェア科学会
  • 計算方法ではなく目標を示すだけでプログラムを作る―制約プログラミングとその応用に関する研究　　　　　　　　　　　　　　　
    細部博史
    平成20年度国立情報学研究所オープンハウス, Jun. 2008, 国立情報学研究所
  • Soft and Interval Constraints for Layout of Diagrams　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Workshop on Constraint-Based Layout of Diagrams and Documents (CBLDD) at GD2007, Sep. 2007
  • 計算方法ではなく目標を示すだけでプログラムを作る―制約プログラミングとその応用に関する研究　　　　　　　　　　　　　　　
    細部博史
    平成19年度国立情報学研究所オープンハウス, Jun. 2007, 国立情報学研究所
  • User Interfaces--Computers That Are Easy to Use　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    FY2006 NII Public Lectures--Eight Words to Talk Informatics, 16 Jan. 2007, National Institute of Informatics
  • Constraint Programming for Graphical Interface Construction　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    FY2006 NII Open House, Jun. 2006, National Institute of Informatics
  • Constraint Programming for Web Document Layout　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    FY2005 2nd A01 Meeting of the Grant-in-Aid for Priority Areas "Informatics Studies for the Foundation of IT Evolution", Nov. 2005
  • A Constraint Solving Algorithm for Web Document Layout　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    2nd Franco-Japanese Workshop on Constraint Programming (FJCP2005), Nov. 2005
  • Constraint Programing for Graphical Interfaces　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    FY2005 NII Open House, Jun. 2005, National Institute of Informatics
  • CO-EXIST-SEA Training Courses　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Reports on Courses for Asian Trainees, 26 Apr. 2005, [Invited]
  • A Foundation of Solution Methods for Constraint Hierarchies　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Seminar of LINA, University of Nantes, 18 Feb. 2005
  • Formalization and Implementation of Visualization Models by Constraint Programming　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    FY2004 2nd A01 Meeting of the Grant-in-Aid for Priority Areas "Informatics Studies for the Foundation of IT Evolution", Nov. 2004
  • Constraint Solvers for Graphical User Interface Applications　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Franco-Japanese Workshop on Constraint Programming (FJCP2004), Oct. 2004
  • Formalization and Implementation of Visualization Models by Constraint Programming　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    FY2004 1st A01 Meeting of the Grant-in-Aid for Priority Areas "Informatics Studies for the Foundation of IT Evolution", Jul. 2004
  • Constraint Programming and its Application to User Interfaces　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    FY2004 NII Open House, May 2004, National Institute of Informatics
  • Constraint Programming for Graphical Interface Applications　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    Seminar of LINA, University of Nantes, 23 Jan. 2004
  • Constraint Programming and its Application to User Interfaces　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    3rd NII Open Forum on Informatics, 21 Jan. 2004, National Institute of Informatics
  • Constraint Programming for User Interfaces　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    FY2003 NII Open House, May 2003, National Institute of Informatics
  • Constraint Programming for User Interfaces　　　　　　　　　　　　　　　
    Hiroshi Hosobe
    23rd NII Monthly Seminar, 20 Nov. 2002, National Institute of Informatics
■ Courses
  • 2023 - Present
    法政大学 情報科学部
  • 2023 - Present
    法政大学 情報科学部
  • 2023 - Present
    法政大学 情報科学部
  • 2018 - Present
    法政大学 情報科学部
  • 2016 - Present
    法政大学 情報科学研究科
  • 2014 - Present
    法政大学 情報科学研究科
  • 2014 - Present
    法政大学 情報科学研究科
  • 2013 - Present
    法政大学 情報科学部
  • 2013 - Present
    法政大学 情報科学部
  • 2013 - Present
    法政大学 情報科学部
  • 2013 - Present
    法政大学 情報科学研究科
  • 2013 - Present
    法政大学 情報科学研究科
  • 2022 - 2023
    法政大学 情報科学部
  • 2022 - 2023
    法政大学 情報科学部
  • 2016 - 2023
    法政大学 情報科学部
  • 2013 - 2019
    法政大学 情報科学部
  • 2015 - 2017
    法政大学 情報科学部
  • 2016 - 2016
    法政大学 情報科学部
  • 2014 - 2016
    法政大学 情報科学部
  • 2013 - 2016
    法政大学 情報科学部
  • 2015 - 2015
    法政大学 情報科学部
  • 2013 - 2015
    法政大学 情報科学部
  • 2013 - 2014
    法政大学 情報科学部
  • Software Sciences I　　　　　　　　　　　　　　　
    2008 - 2012
    Department of Informatics, Graduate University for Advanced Studies (SOKENDAI)
  • Constraint Programming　　　　　　　　　　　　　　　
    2009 - 2009
    School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)
  • Constraint Programming　　　　　　　　　　　　　　　
    2006 - 2009
    Department of Informatics, Graduate University for Advanced Studies (SOKENDAI)
  • 2004 - 2007
    法政大学 情報科学部
  • User Interfaces　　　　　　　　　　　　　　　
    2005 - 2006
    Department of Mathematical and Computing Sciences, Tokyo Institute of Technology
  • Information Processing Excercises　　　　　　　　　　　　　　　
    2001 - 2004
    Ichigaya Campus, Hosei University
  • XML and Java Programming　　　　　　　　　　　　　　　
    2000 - 2004
    CO-EXIST-SEA Program, Japan Science and Technology Agency (JST)
■ Affiliated academic society
  • 2007 - Present
    IEEE　　　　　　　　　　　　　　　
  • 2006 - Present
    IEICE　　　　　　　　　　　　　　　
  • 1999 - Present
    ACM　　　　　　　　　　　　　　　
  • 1999 - Present
    IPSJ　　　　　　　　　　　　　　　
  • 1993 - Present
    JSSST　　　　　　　　　　　　　　　
  • 2008 - 2023
    IEEE Computer Society　　　　　　　　　　　　　　　
■ Works
  • Enhancing and Porting an Efficient Constraint Solver for Hierarchical Linear Systems (Extended ICOT Free Software)　　　　　　　　　　　　　　　
    Satoshi Matsuoka; Hiroshi Hosobe
    Mar. 1999, Software
  • Development of an Efficient Solver for Hierarchical Linear Systems (Extended ICOT Free Software)　　　　　　　　　　　　　　　
    Satoshi Matsuoka; Hiroshi Hosobe
    Mar. 1998, Software
■ Research Themes
  • Notebook Programming for Reactive Systems　　　　　　　　　　　　　　　
    Grant-in-Aid for Scientific Research (C)
    Hosei University
    Apr. 2024 - Mar. 2027
  • Programming with Constraints and Events for Information Visualization　　　　　　　　　　　　　　　
    Grant-in-Aid for Scientific Research (C)
    Hosei University
    Apr. 2021 - Mar. 2024
  • リアクティブプログラミングのための高信頼化技術　　　　　　　　　　　　　　　
    Grant-in-Aid for Scientific Research (B)
    Hosei University
    Apr. 2017 - Mar. 2021
  • Automated Debugging with Soft Constraints(Fostering Joint International Research)
    Fund for the Promotion of Joint International Research (Fostering Joint International Research)
    Hosei University
    2016 - 2019
  • A Constraint Programming Environment for Media Arts
    Grant-in-Aid for Challenging Exploratory Research
    Hosei University
    Apr. 2013 - Mar. 2017
  • Automatic Debugging by Using Soft Constraints
    Grant-in-Aid for Scientific Research (B)
    Apr. 2012 - Mar. 2017
  • A High-Level Programming Language for Probabilistic Systems
    Grant-in-Aid for Young Scientists (B)
    National Institute of Informatics
    2009 - 2011
  • ソフト連続制約の分散協調解消系　　　　　　　　　　　　　　　
    Grant-in-Aid for Young Scientists (A)
    National Institute of Informatics
    2005 - 2007
  • 制約プログラミングによる視覚化モデルの形式化と実現　　　　　　　　　　　　　　　
    Grant-in-Aid for Scientific Research on Priority Areas
    National Institute of Informatics
    2004 - 2005
  • 高次元アプローチによるグラフ構造型情報の対話的視覚化法の研究　　　　　　　　　　　　　　　
    研究助成
    Apr. 2003 - Mar. 2004
  • 力学的アプローチによる柔らかい制約システムの研究　　　　　　　　　　　　　　　
    Grant-in-Aid for Young Scientists (B)
    National Institute of Informatics
    2002 - 2004
  • 階層的優先度を伴った非線形制約システムの解析と視覚的インターフェースへの応用　　　　　　　　　　　　　　　
    研究助成
    Apr. 2002 - Mar. 2003
  • 制約プログラミングによる仮想空間構築法の研究　　　　　　　　　　　　　　　
    研究助成
    Apr. 2000 - Mar. 2001
  • 大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術　　　　　　　　　　　　　　　
    Grant-in-Aid for Encouragement of Young Scientists (A)
    National Institute of Informatics
    2000 - 2001
  • 効率的な制約命令型言語処理系の研究・開発とGUIへの応用　　　　　　　　　　　　　　　
    Grant-in-Aid for JSPS Fellows
    The University of Tokyo
    1998 - 1998