主要業績

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

  1. 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. [SpringerLink]
  2. 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, Vol. 13, No. 5, pp. 449-461, Springer, 2011. [SpringerLink]
  3. 渋谷俊, 高田賢士郎, 上田和紀, 細部博史, 「ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム」(レター論文), コンピュータソフトウェア, Vol. 28, No. 3, pp. 167-172, 日本ソフトウェア科学会, 2011. [J-STAGE]
  4. 越田港, 細部博史, 脇田建, 「大規模社会ネットワークの階層的視覚化手法の提案」, コンピュータソフトウェア, Vol. 28, No. 2, pp. 202-216, 日本ソフトウェア科学会, 2011. [J-STAGE]
  5. 上田和紀, 細部博史, 石井大輔, 「ハイブリッド制約言語HydLaの宣言的意味論」(レター論文), コンピュータソフトウェア, Vol. 28, No. 1, pp. 306-311, 日本ソフトウェア科学会, 2011. [J-STAGE]
  6. Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, and Krysia Broda, “Speculative Constraint Processing for Hierarchical Agents,” in AI Communications, Vol. 23, No. 4, pp. 373-388, IOS Press, 2010. [MetaPress]
  7. 石井大輔, 上田和紀, 細部博史, 「ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法」, 情報処理学会論文誌:数理モデル化と応用, Vol. 1, No. 1, pp. 149-159, 2008. [情報学広場]
  8. Hiroshi Hosobe, Ken Satoh, and Philippe Codognet, “Agent-Based Speculative Constraint Processing,” in IEICE Transactions on Information and Systems, Vol. E90-D, No. 9, pp. 1354-1362, 2007. [IEICE Transactions Online]
  9. 細部博史, 「高次元アプローチによる一般無向グラフの対話的視覚化法」, 情報処理学会論文誌, Vol. 46, No. 7, pp. 1536-1547, 2005. [情報学広場]
  10. 細部博史, 「対話型3次元アプリケーションのための幾何制約解消法」, 情報処理学会論文誌, Vol. 44, No. 2, pp. 486-495, 2003. [情報学広場]
  11. Hiroshi Hosobe and Satoshi Matsuoka, “A Foundation of Solution Methods for Constraint Hierarchies,” in Constraints–An International Journal, Vol. 8, No. 1, pp. 41-59, Kluwer, 2003. [SpringerLink] [PDF]
  12. 細部博史, 「ユーザインタフェースのための線形等式・不等式制約解消系」, コンピュータソフトウェア, Vol. 19, No. 6, pp. 13-20, 日本ソフトウェア科学会, 2002. [J-STAGE] [PDF]
  13. 細部博史, 「対話型インタフェースのための幾何制約解消の枠組み」, 情報処理学会論文誌, Vol. 42, No. 6, pp. 1424-1434, 2001. [情報学広場]
  14. 細部博史, 「GUIを対象とした線形計算による制約階層解消系の高速化」(小論文), コンピュータソフトウェア, Vol. 17, No. 2, pp. 25-29, 日本ソフトウェア科学会, 2000. [J-STAGE] [PDF]
  15. 細部博史, 松岡聡, 米澤明憲, 「HiRise: GUI構築のためのインクリメンタルな制約解消系」, コンピュータソフトウェア, Vol. 16, No. 6, pp. 33-45, 日本ソフトウェア科学会, 1999. [CiNii] [PDF]
  16. Shin Takahashi, Satoshi Matsuoka, Ken Miyashita, Hiroshi Hosobe, and Tomihisa Kamada, “A Constraint-Based Approach for Visualization and Animation,” in Constraints–An International Journal, Vol. 3, No. 1, pp. 61-86, Kluwer, 1998. [SpringerLink]

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

  1. 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. [ACM DL]
  2. 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. [IEEEXplore]
  3. Hiroshi Hosobe, “Toward a New Constraint Imperative Programming Language for Interactive Graphics” (position paper), in Companion Proceedings of the 15th International Conference on Modularity (Modularity2016), pp. 34-35, ACM Press, 2016. [ACM DL]
  4. 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 Conference Publishing Services, 2015. [IEEEXplore]
  5. 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. [SpringerLink]
  6. Yusaku Yokouchi and Hiroshi Hosobe, “A Mouse-Like Hands-Free Gesture Technique for Two-Dimensional Pointing” (poster), in HCI International 2015–Posters’ Extended Abstracts (Part I), Communications in Computer and Information Science, Vol. 528, pp. 558-563, Springer, 2015. [SpringerLink]
  7. 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, 2015. [IEEEXplore]
  8. 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. [ScienceDirect]
  9. 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. [ScienceDirect]
  10. 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 Conference Publishing Services, 2013. [IEEEXplore]
  11. Ryoji Nogami, Buntarou Shizuki, Hiroshi Hosobe, Jiro Tanaka, “An Exploratory Analysis Tool for a Long-Term Video from a Stationary Camera,” in Proceedings of the 5th IEEE International Symposium on Monitoring and Surveillance Research (ISMSR2012), pp. 32-37, IEEE Computer Society, 2012. [IEEEXplore]
  12. 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. [SpringerLink]
  13. 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. [PDF]
  14. 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. [ACM DL]
  15. 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. [IEEEXplore]
  16. 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. [IEEEXplore]
  17. Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, and Hiroshi Hosobe, “Including Ordinary Differential Equations Based Constraints in the Standard CP Framework,” in 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, Vol. 6308, pp. 221-235, Springer, 2010. [SpringerLink]
  18. Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, and Ken Satoh, “Speculative Abductive Reasoning for Hierarchical Agent Systems,” in 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, Vol. 6245, pp. 49-64, Springer, 2010. [SpringerLink]
  19. 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. [SpringerLink]
  20. 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.
  21. 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. [IEEEXplore]
  22. 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 (ADHS’09), IFAC Proceedings Volumes, Vol. 42, No. 17, pp. 144-149, IFAC, 2009. [ScienceDirect]
  23. 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 (IV09), pp. 607-612, IEEE Computer Society, 2009. [IEEEXplore]
  24. 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. [ACM DL]
  25. Hiroshi Hosobe, “An Interactive Large Graph Visualizer” (system demonstration), in Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier, Marc Christie (Eds.), Smart Graphics–SG2008 (Proceedings of the 8th International Symposium on Smart Graphics), Lecture Notes in Computer Science, Vol. 5166, pp. 271-272, Springer, 2008. [SpringerLink]
  26. 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), Vol. 3, pp. 1843-1844, ACM Press, 2008. [ACM DL]
  27. Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe, “An Interval-Based Approximation Method for Discrete Changes in Hybrid cc,” in Frédéric Benhamou, Narendra Jussien, and Barry O’Sullivan (Eds.), Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops), pp. 245-255, ISTE, 2007.
  28. 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. [IEEE Xplore]
  29. Marc Christie and Hiroshi Hosobe, “Through-the-Lens Cinematography,” in Andreas Butz, Brian Fisher, Antonio Krüger, and Patrick Olivier (Eds.), Smart Graphics–SG2006 (Proceedings of the 6th International Symposium on Smart Graphics), Lecture Notes in Computer Science, Vol. 4073, pp. 147-159, Springer, 2006. [SpringerLink]
  30. Martine Ceberio, Hiroshi Hosobe, and Ken Satoh, “Speculative Constraint Processing with Iterative Revision for Disjunctive Answers,” in Francesca Toni and Paolo Torroni (Eds.), 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. [SpringerLink]
  31. 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), Vol. 2, pp. 1252-1253, ACM Press, 2005. [ACM DL] [PDF]
  32. Hiroshi Hosobe, “An Extended High-Dimensional Method for Interactive Graph Drawing,” in Seok-Hee Hong (Ed.), 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. [CRPIT] [PDF]
  33. Hiroshi Hosobe, “Hierarchical Nonlinear Constraint Satisfaction,” in Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC2004), Vol. 1, pp. 16-20, ACM Press, 2004. [ACM DL] [PDF]
  34. Hiroshi Hosobe, “A High-Dimensional Approach to Interactive Graph Visualization,” in Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC2004), Vol. 2, pp. 1253-1257, ACM Press, 2004. [ACM DL] [PDF]
  35. Ken Satoh, Philippe Codognet, and Hiroshi Hosobe, “Speculative Constraint Processing in Multi-Agent Systems,” in Jaeho Lee and Mike Barley (Eds.), 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 (Best Paper Award). [SpringerLink]
  36. 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. [ACM DL] [PDF]
  37. 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. [ACM DL] [PDF]
  38. Hiroshi Hosobe, “A Hierarchical Framework for Integrating Constraints with Graph Layouts” (short paper), in Michitaka Hirose (Ed.), Human-Computer Interaction–INTERACT’01 (Proceedings of the 8th IFIP TC13 Conference on Human-Computer Interaction), pp. 704-705, IOS Press, 2001.
  39. Hiroshi Hosobe, “A Scalable Linear Constraint Solver for User Interface Construction,” in Rina Dechter (Ed.), 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. [SpringerLink] [PDF]
  40. Hiroshi Hosobe, Satoshi Matsuoka, and Akinori Yonezawa, “Generalized Local Propagation: A Framework for Solving Constraint Hierarchies,” in Eugene C. Freuder (Ed.), Principles and Practice of Constraint Programming–CP96 (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. [SpringerLink] [PDF]
  41. Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, and Akinori Yonezawa, “Locally Simultaneous Constraint Satisfaction,” in Alan Borning (Ed.), Principles and Practice of Constraint Programming–PPCP’94 (Proceedings of the 2nd Workshop on Principles and Practice of Constraint Programming), Lecture Notes in Computer Science, Vol. 874, pp. 51-62, Springer, 1994. [SpringerLink] [PDF]

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

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

紀要論文 (査読付き)

  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. [PDF]
  2. 細部博史, 「視覚化に適した制約階層の拡張法」, 学術情報センター紀要, No. 12, pp. 81-91, 2000.

解説

  1. 細部博史, 「日本ソフトウェア科学会第27回大会報告」, コンピュータソフトウェア, Vol. 28, No. 1, pp. 49-56, 日本ソフトウェア科学会, 2011. [J-STAGE]
  2. Marc Christie, Hiroshi Hosobe, and Kim Marriott, “Trends and Issues in Using Constraint Programming for Graphical Applications,” in Frédéric Benhamou, Narendra Jussien, and Barry O’Sullivan (Eds.), Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops), pp. 371-381, ISTE, 2007.
  3. 細部博史, 「ユーザーインターフェースにおける制約解消法の研究動向」(チュートリアル), コンピュータソフトウェア, Vol. 17, No. 6, pp. 73-85, 日本ソフトウェア科学会, 2000. [J-STAGE]
  4. 穴吹まほろ, 綾塚祐二, 細部博史, 「WISS’96会議報告」, コンピュータソフトウェア, Vol. 14, No. 3, pp. 91-94, 日本ソフトウェア科学会, 1997. [CiNii]

学位論文

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

訳書

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

ソフトウェア

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

受賞

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

研究助成

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