主要業績

ジャーナル論文 (査読付き)

  1. Mads Midtlyng, Yuji Sato, and Hiroshi Hosobe, “Voice Adaptation by Color-Encoded Frame Matching as a Multi-Objective Optimization Problem for Future Games,” Complex & Intelligent Systems, Vol. 8, No. 2, pp. 1539–1550, Springer, 2022-04. [SpringerLink]
  2. Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, and Hiroshi Hosobe, “Toward a Robot That Acquires Logical Recognition of Space,” in Information Engineering Express—Special Issue on Emerging Technologies in Applied Informatics, Vol. 3, No. 4, pp. 1–10, IIAI, 2017-12. [IIAI]
  3. Tiago Oliveira, Ken Satoh, Paulo Novais, José Neves, and Hiroshi Hosobe, “A Dynamic Default Revision Mechanism for Speculative Computation,” in Autonomous Agents and Multi-Agent Systems, Vol. 31, No. 3, pp. 656–695, Springer, 2017-05. [SpringerLink]
  4. Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe, “An Interval-Based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems,” in International Journal on Software Tools for Technology Transfer—Special Issue of Selected Papers from VSTTE2009/2010, Vol. 13, No. 5, pp. 449–461, Springer, 2011-10. [SpringerLink]
  5. 渋谷俊, 高田賢士郎, 細部博史, 上田和紀, 「ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム」(レター論文), コンピュータソフトウェア, Vol. 28, No. 3, pp. 167–172, 日本ソフトウェア科学会, 2011-08. [J-STAGE]
  6. 越田港, 細部博史, 脇田建, 「大規模社会ネットワークの階層的視覚化手法の提案」, コンピュータソフトウェア, Vol. 28, No. 2, pp. 202–216, 日本ソフトウェア科学会, 2011-05. [J-STAGE]
  7. 上田和紀, 細部博史, 石井大輔, 「ハイブリッド制約言語HydLaの宣言的意味論」(レター論文), コンピュータソフトウェア, Vol. 28, No. 1, pp. 306–311, 日本ソフトウェア科学会, 2011-02. [J-STAGE]
  8. Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, and Krysia Broda, “Speculative Constraint Processing for Hierarchical Agents,” in AI Communications—Special Issue of Selected Papers from EUMAS2009, Vol. 23, No. 4, pp. 373–388, IOS Press, 2010-12. [IOS Press Content Library] [Author’s Version]
  9. 石井大輔, 上田和紀, 細部博史, 「ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法」, 情報処理学会論文誌：数理モデル化と応用, Vol. 1, No. 1, pp. 149–159, 2008-09. [情報学広場]
  10. Hiroshi Hosobe, Ken Satoh, and Philippe Codognet, “Agent-Based Speculative Constraint Processing,” in IEICE Transactions on Information and Systems—Special Section on Software Agent and Its Applications, Vol. E90-D, No. 9, pp. 1354–1362, 2007-09. [IEICE Transactions Online] [Publisher’s Version]
  11. 細部博史, 「高次元アプローチによる一般無向グラフの対話的視覚化法」, 情報処理学会論文誌—特集：インタラクション：技術と展開, Vol. 46, No. 7, pp. 1536–1547, 2005-07. [情報学広場]
  12. 細部博史, 「対話型3次元アプリケーションのための幾何制約解消法」, 情報処理学会論文誌, Vol. 44, No. 2, pp. 486–495, 2003-02. [情報学広場]
  13. Hiroshi Hosobe and Satoshi Matsuoka, “A Foundation of Solution Methods for Constraint Hierarchies,” in Constraints: An International Journal—Special Issue on Soft Constraints, Vol. 8, No. 1, pp. 41–59, Kluwer, 2003-01. [SpringerLink] [Author’s Version]
  14. 細部博史, 「ユーザインタフェースのための線形等式・不等式制約解消系」, コンピュータソフトウェア—特集：ソフトウェアシステム, Vol. 19, No. 6, pp. 13–20, 日本ソフトウェア科学会, 2002-11. [J-STAGE]
  15. 細部博史, 「対話型インタフェースのための幾何制約解消の枠組み」, 情報処理学会論文誌—特集：次世代インタラクションのための情報技術, Vol. 42, No. 6, pp. 1424–1434, 2001-06. [情報学広場]
  16. 細部博史, 「GUIを対象とした線形計算による制約階層解消系の高速化」(小論文), コンピュータソフトウェア, Vol. 17, No. 2, pp. 25–29, 日本ソフトウェア科学会, 2000-03. [J-STAGE] [Author’s Version]
  17. 細部博史, 松岡聡, 米澤明憲, 「HiRise: GUI構築のためのインクリメンタルな制約解消系」, コンピュータソフトウェア—特集：インタラクティブソフトウェア, Vol. 16, No. 6, pp. 33–45, 日本ソフトウェア科学会, 1999-11. [NII-ELS] [Author’s Version]
  18. Shin Takahashi, Satoshi Matsuoka, Ken Miyashita, Hiroshi Hosobe, and Tomihisa Kamada, “A Constraint-Based Approach for Visualization and Animation,” in Constraints: An International Journal—Special Issue of Selected Papers from CGV’95, Vol. 3, No. 1, pp. 61–86, Kluwer, 1998-04. [SpringerLink]

国際会議論文 (査読付き)

  1. Ryuzo Nakamura and Hiroshi Hosobe, “A Nonlinear Mapping-Based Virtual Touchpad for One-Handed Smartphone Operation,” in Proceedings of the 26th International Conference on Human-Computer Interaction (HCI International 2024), Lecture Notes in Computer Science, 12 pp., Springer, 2024-06 (to appear).
  2. Hiroshi Hosobe and Ken Satoh, “A Soft Constraint-Based Framework for Ethical Reasoning” (short paper), in Proceedings of the 16th International Conference on Agents and Artificial Intelligence (ICAART2024), Vol. 3, pp. 1355–1362, SCITEPRESS, 2024-02. [SCITEPRESS DL] [Author’s Version]
  3. Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, and Ken Satoh, “Connecting Rule-Based and Case-Based Representations of Ethical Norms” (short paper), in Proceedings of the 36th International Conference on Legal Knowledge and Information Systems (JURIX2023), Frontiers in Artificial Intelligence and Applications, Vol. 379, pp. 149–154, IOS Press, 2023-12. [IOS Press Ebooks]
  4. Hiroshi Hosobe and Ken Satoh, “Binary Search-Based Methods for Solving Constraint Hierarchies over Finite Domains,” in Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI2023), pp. 186–193, IEEE Computer Society, 2023-11. [IEEE Xplore] [Author’s Version]
  5. Yoshino Minakawa and Hiroshi Hosobe, “Supporting Nail Art Consultation by Automatic Image Selection and Visual Information Sharing” (poster), in Proceedings of HCI International 2023—Posters (Part III), Communications in Computer and Information Science, Vol. 1834, pp. 110–117, Springer, 2023-07. [SpringerLink] [Author’s Version]
  6. Takahiro Morita and Hiroshi Hosobe, “Video Game Agents with Human-Like Behavior Using the Deep Q-Network and Biological Constraints” (short paper), in Proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART2023), Vol. 3, pp. 525–531, SCITEPRESS, 2023-02. [SCITEPRESS DL]
  7. Hiroshi Hosobe and Ken Satoh, “Hierarchical Constraint Logic Programming for Multi-Agent Systems” (short paper), in Proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART2023), Vol. 1, pp. 289–296, SCITEPRESS, 2023-02. [SCITEPRESS DL] [Author’s Version]
  8. Tatsuro Ide and Hiroshi Hosobe, “Supporting Online Game Players by the Visualization of Personalities and Skills Based on in-Game Statistics” (short paper), in Proceedings of VISIGRAPP2023—7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP2023), Vol. 2, pp. 259–266, SCITEPRESS, 2023-02. [SCITEPRESS DL]
  9. Yuya Nakamura and Hiroshi Hosobe, “A Flick-Based Japanese Tablet Keyboard Using Direct Kanji Input,” in Computer Vision, Imaging and Computer Graphics Theory and Applications—VISIGRAPP2021 Revised Selected Papers, Communications in Computer and Information Science, Vol. 1691, pp. 90–111, Springer, 2023-02. [SpringerLink]
  10. Hideaki Terui and Hiroshi Hosobe, “A Hand Gesture-Based Authentication Method That Makes Forgery Difficult,” in Proceedings of HCI International 2022—4th International Conference on HCI for Cybersecurity, Privacy and Trust (HCI-CPT2022), Lecture Notes in Computer Science, Vol. 13333, pp. 268–279, Springer, 2022-06. [SpringerLink] [Author’s Version]
  11. Takahiro Morita and Hiroshi Hosobe, “Upper Confident Bound Fuzzy Q-learning and Its Application to a Video Game” (short paper), in Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART2022), Vol. 3, pp. 454–461, SCITEPRESS, 2022-02. [SCITEPRESS DL]
  12. Tatsuro Ide and Hiroshi Hosobe, “Classification of Video Viewing Task Types and Recommendation of Videos” (short paper), in Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART2022), Vol. 3, pp. 373–380, SCITEPRESS, 2022-02. [SCITEPRESS DL]
  13. Ami Sakakibara and Hiroshi Hosobe, “A Video Game-Like Approach to Supporting Novices in Learning Programming,” in Proceedings of HCI International 2021—8th International Conference on Learning and Collaboration Technologies (LCT2021), Lecture Notes in Computer Science, Vol. 12785, pp. 84–93, Springer, 2021-07. [SpringerLink] [Author’s Version]
  14. Kenta Sugai, Hiroshi Hosobe, and Shaoying Liu, “SMT-Based Theorem Verification for Testing-Based Formal Verification,” in Proceedings of the 10th International Conference on Software and Computer Applications (ICSCA2021), pp. 251–257, ACM Press, 2021-02. [ACM DL]
  15. Yuya Nakamura and Hiroshi Hosobe, “A Flick-Based Japanese Tablet Keyboard Using Direct Kanji Input,” in Proceedings of VISIGRAPP2021—5th International Conference on Human Computer Interaction Theory and Applications (HUCAPP2021), Vol. 2, pp. 49–59, SCITEPRESS, 2021-02. [SCITEPRESS DL]
  16. Atsuro Konishi and Hiroshi Hosobe, “Clustering Nico Nico Douga Videos by Using the Distribution of Time-Synchronized Comments” (short paper), in Proceedings of the 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT2020), pp. 520–525, IEEE Computer Society, 2020-12. [IEEE Xplore]
  17. Hiroshi Hosobe, “Testing Event-Driven Programs in Processing,” in Proceedings of the 2020 European Symposium on Software Engineering (ESSE2020), pp. 6–11, ACM Press, 2020-11. [ACM DL] [Author’s Version]
  18. Atsuro Konishi and Hiroshi Hosobe, “Time-Series Visualization of Twitter Trends” (short paper), in Proceedings of VISIGRAPP2020—11th International Conference on Information Visualization Theory and Applications (IVAPP2020), Vol. 3, pp. 201–208, SCITEPRESS, 2020-02. [SCITEPRESS DL]
  19. Yuya Nakamura and Hiroshi Hosobe, “A Japanese Bimanual Flick Keyboard for Tablets That Improves Display Space Efficiency” (short paper), in Proceedings of VISIGRAPP2020—4th International Conference on Human Computer Interaction Theory and Applications (HUCAPP2020), Vol. 2, pp. 170–177, SCITEPRESS, 2020-02. [SCITEPRESS DL]
  20. Hiroshi Hosobe, “Solving Hierarchical Soft Constraints with an SMT Solver,” in Proceedings of the 12th International Conference on Computer and Automation Engineering (ICCAE2020), pp. 42–46, ACM Press, 2020-02. [ACM DL] [Author’s Version]
  21. Yota Inayama and Hiroshi Hosobe, “Toward an Efficient User Interface for Block-Based Visual Programming” (showpiece), in Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC2018), pp. 293–294, IEEE Computer Society, 2018-10. [IEEE Xplore] [Author’s Version]
  22. Teppei Yajima and Hiroshi Hosobe, “A Japanese Software Keyboard for Tablets That Reduces User Fatigue,” in Proceedings of IEEE COMPSAC2018—Symposium on Human Computing & Social Computing (HCSC), pp. 339–346, IEEE Computer Society, 2018-07. [IEEE Xplore] [Author’s Version]
  23. Satoru Imura and Hiroshi Hosobe, “A Hand Gesture-Based Method for Biometric Authentication,” in Proceedings of the 20th International Conference on Human-Computer Interaction (HCI International 2018), Lecture Notes in Computer Science, Vol. 10901, pp. 554–566, Springer, 2018-07. [SpringerLink] [Author’s Version]
  24. Hironari Kawada, Mina Akaishi, and Hiroshi Hosobe, “A Graph-Based Visualization of Time-Series Information in Multiple Texts,” in Proceedings of the 22nd International Conference on Information Visualisation (IV2018), pp. 44–49, IEEE-CS CPS, 2018-07 (Best Paper Award). [IEEE Xplore]
  25. Kei Takei and Hiroshi Hosobe, “A 2-by-6-Button Japanese Software Keyboard for Tablets” (short paper), in Proceedings of VISIGRAPP2018—2nd International Conference on Human Computer Interaction Theory and Applications (HUCAPP2018), Vol. 2, pp. 147–154, SCITEPRESS, 2018-01. [SCITEPRESS DL] [Author’s Version]
  26. Satoru Imura and Hiroshi Hosobe, “Biometric Authentication Using the Motion of a Hand” (poster), in Proceedings of the 4th ACM Symposium on Spatial User Interaction (SUI2016), p. 221, ACM Press, 2016-10. [ACM DL]
  27. Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, and Hiroshi Hosobe, “Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location” (short paper), in Proceedings of the IEEE International Conference on Agents (ICA2016), pp. 78–81, IEEE Computer Society, 2016-09. [IEEE Xplore]
  28. Hiroshi Hosobe, “Toward a New Constraint Imperative Programming Language for Interactive Graphics” (position paper), in Companion Proceedings of Modularity2016—Constrained and Reactive Objects Workshop (CROW2016), pp. 34–35, ACM Press, 2016-03. [ACM DL] [Author’s Version]
  29. Si-Mohamed Lamraoui, Shin Nakajima, and Hiroshi Hosobe, “Hardened Flow-Sensitive Trace Formula for Fault Localization,” in Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS2015), pp. 50–59, IEEE-CS CPS, 2015-12. [IEEE Xplore]
  30. Tiago Oliveira, Ken Satoh, Paulo Novais, José Neves, Pedro Leão, and Hiroshi Hosobe, “A Reasoning Module for Distributed Clinical Decision Support Systems,” in Intelligent Distributed Computing IX—IDC2015 (Proceedings of the 9th International Symposium on Intelligent Distributed Computing), Studies in Computational Intelligence, Vol. 616, pp. 387–397, Springer, 2015-10. [SpringerLink]
  31. Yusaku Yokouchi and Hiroshi Hosobe, “A Mouse-Like Hands-Free Gesture Technique for Two-Dimensional Pointing” (poster), in Proceedings of HCI International 2015—Posters’ Extended Abstracts (Part I), Communications in Computer and Information Science, Vol. 528, pp. 558–563, Springer, 2015-08. [SpringerLink] [Author’s Version]
  32. Ken Wakita, Masanori Takami, and Hiroshi Hosobe, “Interactive High-Dimensional Visualization of Social Graphs,” in Proceedings of the 8th IEEE Pacific Visualization Symposium (PacificVis2015), pp. 303–310, IEEE Computer Society, 2015-04. [IEEE Xplore]
  33. Hiroshi Hosobe, “A Hierarchical Method for Solving Soft Nonlinear Constraints,” in Proceedings of the 2015 International Conference on Soft Computing and Software Engineering (SCSE2015), Procedia Computer Science, Elsevier, Vol. 62, pp. 378–384, 2015-03. [ScienceDirect]
  34. Azusa Kurihara, Akira Sasaki, Ken Wakita, and Hiroshi Hosobe, “A Programming Environment for Visual Block-Based Domain-Specific Languages,” in Proceedings of the 2015 International Conference on Soft Computing and Software Engineering (SCSE2015), Procedia Computer Science, Elsevier, Vol. 62, pp. 287–296, 2015-03. [ScienceDirect]
  35. Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, and Hiroshi Hosobe, “Logic-Based and Robust Decision Making for Robots in Real World” (demonstration), in Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014), pp. 1685–1686, 2014-05. [PDF@IFAAMAS]
  36. Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, and Hiroshi Hosobe, “An Architecture for Autonomously Controlling Robot with Embodiment in Real World,” in Proceedings of the Workshop on Knowledge Representation and Reasoning in Robotics at ICLP2013, pp. 59–71, 2013-08. [arXiv]
  37. Buntarou Shizuki and Hiroshi Hosobe, “Toward Visual Analytics of Unlinked Documents by Textual Analysis and Network Visualization,” in Proceedings of the 17th International Conference on Information Visualisation (IV2013), pp. 227–231, IEEE-CS CPS, 2013-07. [IEEE Xplore]
  38. Ryoji Nogami, Buntarou Shizuki, Hiroshi Hosobe, Jiro Tanaka, “An Exploratory Analysis Tool for a Long-Term Video from a Stationary Camera,” in Proceedings of IEEE ICTAI2012—5th IEEE International Symposium on Monitoring and Surveillance Research (ISMSR2012), Vol. 2, pp. 32–37, IEEE Computer Society, 2012-11. [IEEE Xplore]
  39. Ho-Pun Lam, Guido Governatori, Ken Satoh, and Hiroshi Hosobe, “Distributed Defeasible Speculative Reasoning in Ambient Environment,” in Computational Logic in Multi-Agent Systems—CLIMA XIII (Proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems), Lecture Notes in Artificial Intelligence, Vol. 7486, pp. 43–60, Springer, 2012-08. [SpringerLink]
  40. Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe and Daisuke Ishii, “HydLa: A High-Level Language for Hybrid Systems” (short paper), in Proceedings of the 2nd Workshop on Logics for System Analysis (LfSA2012) at CAV2012, pp. 3–17, 2012-07. [PDF@CMU]
  41. Kewei Duan, Julian Padget, Hyunsun Kim, and Hiroshi Hosobe, “Composition of Engineering Web Services with Universal Distributed Data-Flows based on ROA,” in Proceedings of the 3rd International Workshop on RESTful Design (WS-REST2012), pp. 41–48, ACM Press, 2012-04. [ACM DL]
  42. Hiroshi Hosobe, “Numerical Optimization-Based Graph Drawing Revisited,” in Proceedings of the 5th IEEE Pacific Visualization Symposium (PacificVis2012), pp. 81–88, IEEE Computer Society, 2012-02. [IEEE Xplore] [Author’s Version]
  43. Hiroshi Hosobe, “A Simplex-Based Scalable Linear Constraint Solver for User Interface Applications” (short paper), in Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI2011), pp. 793–798, IEEE Computer Society, 2011-11. [IEEE Xplore] [Author’s Version]
  44. Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, and Ken Satoh, “On the Implementation of Speculative Constraint Processing,” in 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, Vol. 6214, pp. 178–195, Springer, 2010-11. [SpringerLink]
  45. Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, and Hiroshi Hosobe, “Including Ordinary Differential Equations Based Constraints in the Standard CP Framework,” in 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, Vol. 6308, pp. 221–235, Springer, 2010-09. [SpringerLink]
  46. Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, and Ken Satoh, “Speculative Abductive Reasoning for Hierarchical Agent Systems,” in 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, Vol. 6245, pp. 49–64, Springer, 2010-08. [SpringerLink]
  47. Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, and Krysia Broda, “Speculative Constraint Processing for Hierarchical Agents,” in Proceedings of the 7th European Workshop on Multi-Agent Systems (EUMAS2009), 15 pp., 2009-12.
  48. Hiroshi Hosobe, “Constraint Hierarchies as Semiring-Based CSPs,” in Proceedings of the 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI2009), pp. 176–183, IEEE Computer Society, 2009-11. [IEEE Xplore]
  49. Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe, “An Interval-Based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems,” in Proceedings of the Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE2009) at FM2009, 9 pp., 2009-11.
  50. Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, and Alexandre Goldsztejn, “Interval-Based Solving of Hybrid Constraint Systems,” in Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS2009), IFAC Proceedings Volumes, Vol. 42, No. 17, pp. 144–149, IFAC, 2009-09. [ScienceDirect]
  51. Masaki Naito, Buntarou Shizuki, Jiro Tanaka, and Hiroshi Hosobe, “Interaction Techniques using a Spherical Cursor for 3D Targets Acquisition and Indicating in Volumetric Displays,” in Proceedings of the 13th International Conference on Information Visualisation (IV2009), pp. 607–612, IEEE Computer Society, 2009-07. [IEEE Xplore]
  52. Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe, “Simulation of Hybrid Systems Based on Hierarchical Interval Constraints” (poster), in Proceedings of the 2nd International Conference on Simulation Tools and Techniques (SIMUTools2009), No. 37, pp. 1–2, ICST, 2009-03. [ACM DL]
  53. Hiroshi Hosobe, “An Interactive Large Graph Visualizer” (system demonstration), in Smart Graphics—SG2008 (Proceedings of the 8th International Symposium on Smart Graphics), Lecture Notes in Computer Science, Vol. 5166, pp. 271–272, Springer, 2008-08. [SpringerLink]
  54. Christophe Jermann and Hiroshi Hosobe, “Une Approche Orientée Hiérarchie de Contraintes pour la Résolution de Problèmes de Contraintes Géométriques,” in Proceedings of the 7th International Conference on Modelling and Simulation (MOSIM2008), Vol. 2, pp. 901–906, 2008-04 (in French). [HAL]
  55. Christophe Jermann and Hiroshi Hosobe, “A Constraint Hierarchies Approach to Geometric Constraints on Sketches” (poster), in Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC2008)—Geometric Constraints and Reasoning (GCR) Track, Vol. 3, pp. 1843–1844, ACM Press, 2008-03. [ACM DL]
  56. Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe, “An Interval-Based Approximation Method for Discrete Changes in Hybrid cc,” in Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops), pp. 245–255, ISTE, 2007-05. [Wiley Online Library]
  57. Hiroshi Hosobe, “Analysis of a High-Dimensional Approach to Interactive Graph Drawing” (short paper), in Proceedings of the Asia-Pacific Symposium on Visualisation 2007 (APVIS2007), pp. 93–96, IEEE, 2007-02. [IEEE Xplore] [Author’s Version]
  58. Marc Christie and Hiroshi Hosobe, “Through-the-Lens Cinematography,” in Smart Graphics—SG2006 (Proceedings of the 6th International Symposium on Smart Graphics), Lecture Notes in Computer Science, Vol. 4073, pp. 147–159, Springer, 2006-07. [SpringerLink]
  59. Martine Ceberio, Hiroshi Hosobe, and Ken Satoh, “Speculative Constraint Processing with Iterative Revision for Disjunctive Answers,” in Computational Logic in Multi-Agent Systems—CLIMA VI (Post-Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems), Lecture Notes in Artificial Intelligence, Vol. 3900, pp. 340–357, Springer, 2006-06. [SpringerLink]
  60. Hiroshi Hosobe, “Solving Linear and One-Way Constraints for Web Document Layout” (poster), in Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC2005)—Multimedia and Visualization (MV) Track, Vol. 2, pp. 1252–1253, ACM Press, 2005-03. [ACM DL]
  61. Hiroshi Hosobe, “An Extended High-Dimensional Method for Interactive Graph Drawing,” in Proceedings of the Asia Pacific Symposium on Information Visualisation 2005 (APVIS2005), Conferences in Research and Practice in Information Technology, Vol. 45, pp. 15–20, Australian Computer Society, 2005-01. [CRPIT]
  62. Hiroshi Hosobe, “A High-Dimensional Approach to Interactive Graph Visualization,” in Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC2004)—Multimedia and Visualization (MV) Track, Vol. 2, pp. 1253–1257, ACM Press, 2004-03. [ACM DL] [Author’s Version]
  63. Hiroshi Hosobe, “Hierarchical Nonlinear Constraint Satisfaction,” in Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC2004)—Artificial Intelligence, Computational Logic, and Image Analysis (AI) Track, Vol. 1, pp. 16–20, ACM Press, 2004-03. [ACM DL] [Author’s Version]
  64. Ken Satoh, Philippe Codognet, and Hiroshi Hosobe, “Speculative Constraint Processing in Multi-Agent Systems,” in Intelligent Agents and Multi-Agent Systems—PRIMA2003 (Proceedings of the 6th Pacific Rim International Workshop on Multi-Agents), Lecture Notes in Artificial Intelligence, Vol. 2891, pp. 133–144, Springer, 2003-11 (Best Paper Award). [SpringerLink]
  65. Hiroshi Hosobe, “A Geometric Constraint Library for 3D Graphical Applications,” in Proceedings of the 2nd International Symposium on Smart Graphics (SG2002), ACM International Conference Proceedings Series, Vol. 24, pp. 94–101, ACM Press, 2002-06. [ACM DL] [Author’s Version]
  66. Hiroshi Hosobe, “A Modular Geometric Constraint Solver for User Interface Applications,” in Proceedings of the 14th Annual ACM Symposium on User Interface Software and Technology (UIST2001), CHI Letters, Vol. 3, Issue 2, pp. 91–100, ACM Press, 2001-11. [ACM DL] [Author’s Version]
  67. Hiroshi Hosobe, “A Hierarchical Framework for Integrating Constraints with Graph Layouts” (short paper), in Human-Computer Interaction—INTERACT2001 (Proceedings of the 8th IFIP TC13 Conference on Human-Computer Interaction), pp. 704–705, IOS Press, 2001-07.
  68. Hiroshi Hosobe, “A Scalable Linear Constraint Solver for User Interface Construction,” in Principles and Practice of Constraint Programming—CP2000 (Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming), Lecture Notes in Computer Science, Vol. 1894, pp. 218–232, Springer, 2000-09. [SpringerLink] [Author’s Version]
  69. Hiroshi Hosobe, Satoshi Matsuoka, and Akinori Yonezawa, “Generalized Local Propagation: A Framework for Solving Constraint Hierarchies,” in Principles and Practice of Constraint Programming—CP’96 (Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming), Lecture Notes in Computer Science, Vol. 1118, pp. 237–251, Springer, 1996-08. [SpringerLink] [Author’s Version]
  70. Shin Takahashi, Satoshi Matsuoka, Ken Miyashita, Hiroshi Hosobe, and Tomihisa Kamada, “A Constraint-Based Approach for Visualization and Animation,” in Proceedings of the International Workshop on Constraints for Graphics and Visualization (CGV’95) at CP’95, pp.103–117, 1995-09.
  71. Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, and Akinori Yonezawa, “Locally Simultaneous Constraint Satisfaction,” in Principles and Practice of Constraint Programming—PPCP’94 (Post-Proceedings of the 2nd Workshop on Principles and Practice of Constraint Programming), Lecture Notes in Computer Science, Vol. 874, pp. 51–62, Springer, 1994-10. [SpringerLink] [Author’s Version]

国内会議論文 (査読付き)

  1. 藤田恵, 後藤勇樹, 新出尚之, 佐藤健, 細部博史,「地図の論理的表現と推論による位置把握を用いた、移動ロボットの自律的制御手法の開発」, 第20回ロボティクスシンポジア予稿集, pp. 37–42, 日本機械学会, 2015-03.
  2. 栗原あずさ, 佐々木晃, 脇田建, 細部博史, 「Processingアプリケーション開発のための視覚的ドメイン特化言語」(デモ・ポスター発表), 第22回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2014)論文集, 日本ソフトウェア科学会研究会資料シリーズ, No. 75, pp. 165–166, 2014-12. [PDF@WISS]
  3. 細部博史, 「高次元の利用による対話的グラフ配置法」, 第11回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2003)論文集, 日本ソフトウェア科学会研究会資料シリーズ, No. 25, pp. 57–66, 2003-12.
  4. 細部博史, 「ユーザインタフェースのための線形等式・不等式制約解消系」, 第5回プログラミングおよび応用のシステムに関するワークショップ(SPA2002)オンライン論文集, 8 pp., 日本ソフトウェア科学会ソフトウェアシステム研究会, 2002-03.
  5. 細部博史, 本位田真一, 「XMLを対象とした制約の利用による情報視覚化方式」, インタラクション2001論文集, 情報処理学会シンポジウムシリーズ, Vol. 2001, No. 5, pp. 83–90, 2001-03. [PDF@INTERACTION-IPSJ]
  6. 細部博史, 「Chorus: モジュール機構を備えた幾何制約解消系」, インタラクティブシステムとソフトウェアVIII—日本ソフトウェア科学会WISS2000 (第8回インタラクティブシステムとソフトウェアに関するワークショップ論文集), レクチャーノート/ソフトウェア学, Vol. 24, pp. 91–100, 近代科学社, 2000-12.
  7. 細部博史, 松岡聡, 米澤明憲, 「HiRise: GUI構築のためのインクリメンタルな制約解消系」, インタラクティブシステムとソフトウェアVI—日本ソフトウェア科学会WISS’98 (第6回インタラクティブシステムとソフトウェアに関するワークショップ論文集), レクチャーノート/ソフトウェア学, Vol. 21, pp. 73–82, 近代科学社, 1998-12.
  8. 細部博史, 松岡聡, 米澤明憲, 「階層線形系を用いた効率的な制約階層解消法」(ショート論文), インタラクティブシステムとソフトウェアV—日本ソフトウェア科学会WISS’97 (第5回インタラクティブシステムとソフトウェアに関するワークショップ論文集), レクチャーノート/ソフトウェア学, Vol. 18, pp. 129–134, 近代科学社, 1997-12.
  9. 細部博史, 松岡聡, 米澤明憲, 「不等式を含む制約階層の効率的解消法」, インタラクティブシステムとソフトウェアIII—日本ソフトウェア科学会WISS’95 (第3回インタラクティブシステムとソフトウェアに関するワークショップ論文集), レクチャーノート/ソフトウェア学, Vol. 12, pp. 123–132, 近代科学社, 1995-12.
  10. 細部博史, 宮下健, 高橋伸, 松岡聡, 米澤明憲, 「局所的な連立に基づく制約解消法」, インタラクティブシステムとソフトウェアI—日本ソフトウェア科学会WISS’93 (第1回インタラクティブシステムとソフトウェアに関するワークショップ論文集), レクチャーノート/ソフトウェア学, Vol. 7, pp. 49–56, 近代科学社, 1994-09.

紀要論文 (査読付き)

  1. Frédéric Benhamou, Martine Ceberio, Philippe Codognet, Hiroshi Hosobe, Christophe Jermann, Ken Satoh, and Kazunori Ueda, “Franco-Japanese Research Collaboration on Constraint Programming” (R&D project report), in Progress in Informatics, No. 3, pp. 59–65, National Institute of Informatics, 2006-04. [PDF@NII]
  2. 細部博史, 「視覚化に適した制約階層の拡張法」, 学術情報センター紀要, No. 12, pp. 81–91, 2000-03. [PDF@NII]

解説

  1. Philippe Codognet, Kazunori Ueda, and Hiroshi Hosobe, Parallel Methods for Constraint Solving and Combinatorial Optimization, NII Shonan Meeting Report, No. 2012-5, 12 pp., National Institute of Informatics, 2012-05. [PDF@NII]
  2. 細部博史, 「日本ソフトウェア科学会第27回大会報告」, コンピュータソフトウェア, Vol. 28, No. 1, pp. 49–56, 日本ソフトウェア科学会, 2011-01. [J-STAGE]
  3. Marc Christie, Hiroshi Hosobe, and Kim Marriott, “Trends and Issues in Using Constraint Programming for Graphical Applications,” in Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops), pp. 371–381, ISTE, 2007-05. [Wiley Online Library]
  4. 細部博史, 「ユーザーインターフェースにおける制約解消法の研究動向」(チュートリアル), コンピュータソフトウェア, Vol. 17, No. 6, pp. 73–85, 日本ソフトウェア科学会, 2000-11. [J-STAGE] [Author’s Version]
  5. 穴吹まほろ, 綾塚祐二, 細部博史, 「WISS’96会議報告」, コンピュータソフトウェア, Vol. 14, No. 3, pp. 91–94, 日本ソフトウェア科学会, 1997-05. [NII-ELS]

学位論文

  1. 細部博史, “Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems” (「階層制約系の理論的性質と効率的解消法」), 博士論文, 東京大学 大学院理学系研究科 情報科学専攻, 1998-03. [要旨＠東大] [NDL Online] [Author’s Version]

訳書

  1. George A. Bekey (著), 松田晃一, 細部博史(訳), 自律ロボット概論, 512 pp., 毎日コミュニケーションズ, 2006-12.
  2. Doug A. Bowman, Ernst Kruijff, Joseph J. LaViola, Jr., Ivan Poupyrev (著), 松田晃一, 細部博史, 由谷哲夫(訳), 3Dユーザインタフェース, 540 pp., 丸善, 2005-09.
  3. Andy Dornan (著), 松田晃一, 細部博史, 由谷哲夫(訳), 携帯通信とモバイルの世界, 312 pp., セレンディップ/小学館, 2002-03.
  4. George Maestri (著), 松田晃一, 細部博史(訳), デジタルキャラクターアニメーション, 368 pp., プレンティスホール, 1999-03.

ソフトウェア

  1. 松岡聡, 細部博史, 「階層連立1次方程式のための制約解消系パッケージHiRiseの改良と移植」(拡大ICOTフリーソフトウェア), 平成10年度委託研究成果報告会, 日本情報処理開発協会先端情報技術研究所, pp. 2–7, 1999-03.
  2. 松岡聡, 細部博史, 「階層連立1次方程式のための効率的解消系の開発」(拡大ICOTフリーソフトウェア), 平成9年度知的ソフトウェア研究討論会, 日本情報処理開発協会先端情報技術研究所, pp. 4–9, 1998-03.
  3. 細部博史, 「Hover Attack (FM-7シリーズ)」, 月刊I/O, Vol. 11, No. 3, pp. 208–214, 工学社, 1986-03.

受賞

  1. 22nd International Conference on Information Visualisation (IV2018) ベストペーパー賞 (2018年7月)
  2. 日本ソフトウェア科学会 感謝状 (2010年9月)
  3. 6th Pacific Rim International Workshop on Multi-Agents (PRIMA2003) ベストペーパー賞 (2003年11月)
  4. 日本ソフトウェア科学会 第19回高橋奨励賞 (2003年6月)

研究助成

  1. 科研費 基盤研究(C) (令和6〜8年度)
    「リアクティブシステムのためのノートブック型プログラミング方式」(24K14904)
  2. 科研費 基盤研究(C) (令和3〜5年度)
    「制約とイベントの概念に基づく情報可視化向けプログラミング技術」(21K11836)
  3. 科研費 基盤研究(B) (平成29〜令和2年度)
    「リアクティブプログラミングのための高信頼化技術」(17H01726)
  4. 科研費 国際共同研究加速基金(国際共同研究強化) (平成28〜30年度)
    「柔らかい制約を用いた自動デバッグ方式」(15KK0016)
  5. 科研費 挑戦的萌芽研究 (平成25〜27年度)
    「メディアアートのための制約プログラミング環境」(25540029)
  6. 科研費 基盤研究(B) (平成24〜27年度)
    「柔らかい制約を用いた自動デバッグ方式」(24300010)
  7. 科研費 若手研究(B) (平成21〜23年度)
    「確率的システムを対象とした高水準制約プログラミング言語」(21700046)
  8. 科研費 若手研究(A) (平成17〜19年度)
    「ソフト連続制約の分散協調解消系」(17680002)
  9. 科研費 特定領域研究 (平成16〜17年度)
    「制約プログラミングによる視覚化モデルの形式化と実現」(16016286)
  10. 栢森情報科学振興財団 研究助成 (平成15年度)
    「高次元アプローチによるグラフ構造型情報の対話的視覚化法の研究」(K15研VIII第168号)
  11. 科研費 若手研究(B) (平成14〜16年度)
    「力学的アプローチによる柔らかい制約システムの研究」(14780248)
  12. 稲盛財団 研究助成 (平成14年度)
    「階層的優先度を伴った非線形制約システムの解析と視覚的インターフェースへの応用」
  13. 科研費 奨励研究(A) (平成12〜13年度)
    「大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術」(12780252)
  14. 大川情報通信基金 研究助成 (2000年度)
    「制約プログラミングによる仮想空間構築法の研究」(00-29)
  15. 科研費 特別研究員奨励費 (平成9〜10年度)
    「効率的な制約命令型言語処理系の研究・開発とGUIへの応用」(97J07502)