HOSOBE Hiroshi 細部博史

Researcher Number	60321577
Other IDs
External Links
Affiliation (Current)	2025: 法政大学, 情報科学部, 教授
Affiliation (based on the past Project Information) *help	2013 – 2024: 法政大学, 情報科学部, 教授 2009 – 2012: National Institute of Informatics, アーキテクチャ科学研究系, 准教授 2007: National Institute of Informatics, アーキテクチャ科学研究系, 准教授 2006: 国立情報学研究所, アーキテクチャ科学研究系, 助教授 2003 – 2005: National Institute of Informatics, Research Center for Testbeds and Prototyping, Associate Professor, 実証研究センター, 助教授 2000 – 2002: 国立情報学研究所, ソフトウェア研究系, 助手 2001: 国立情報学研究所, 知能システム研究系, 助手
Review Section/Research Field	Principal Investigator Software / Software / Basic Section 60050:Software-related / 計算機科学 / Science and Engineering Except Principal Investigator Software / Software / 情報システム学(含情報図書館学)
Keywords	Principal Investigator 制約プログラミング / ソフトウェア / 制約 / ソフト制約 / デバッグ / 視覚化 / ユーザインタフェース / リアクティブシステム / プログラミング / 情報可視化 … More / リアクティブプログラミング / 高信頼化 / メディアアート / プログラミング環境 / プログラム処理系 / ソフトウェア学 / 確率的システム / 分散計算 / グラフィカルユーザーインターフェース / 制約解消 … More Except Principal Investigator ハイブリッドシステム / 並列処理 / モデル検査 / 言語処理系 / 高水準モデリング言語 / Web Services / Information Systems / Coloured Petri Net / Deontic Logic / Process Algebra / Software Agent / evolutional architecture / Security Policy / XML / 企業情報システム / プロセス論理 / ペリネット / ワークフロー / 検証 / 競合解消 / 交渉 / ネットワーク管理ポリシ / Webサービス / 情報システム / カラーペトリネット / 義務論理 / プロセス代数 / エージェント / 進化型アーキテクチャ / セキュリティポリシ / ハイプリッドシステム / システム検証 / 制約 / 高信頼計算 / モデリング言語 Less

Notebook Programming for Reactive SystemsPrincipal Investigator
- Principal Investigator
  
  細部博史
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Hosei University
Programming with Constraints and Events for Information VisualizationPrincipal Investigator
- Principal Investigator
  
  細部博史
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Hosei University
Technology for Reliable Reactive ProgrammingPrincipal Investigator
- Principal Investigator
  
  Hosobe Hiroshi
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Hosei University
Automated Debugging with Soft Constraints(Fostering Joint International Research)Principal Investigator
- Principal Investigator
  
  Hosobe Hiroshi
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Fund for the Promotion of Joint International Research (Fostering Joint International Research)
- Research Field
  
  Software
- Research Institution
  Hosei University
対話型視覚的アプリケーションのための制約命令型プログラミング言語Principal Investigator
- Principal Investigator
  
  細部博史
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Hosei University
Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers
- Principal Investigator
  
  Ueda Kazunori
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
A Constraint Programming Environment for Media ArtsPrincipal Investigator
- Principal Investigator
  
  HOSOBE Hiroshi
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  Hosei University
Automatic Debugging by Using Soft ConstraintsPrincipal Investigator
- Principal Investigator
  
  HOSOBE Hiroshi
- Project Period (FY)
  2012 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Hosei University
  National Institute of Informatics
Implementations of high-level modeling languages that integrate high-performance verifiers
- Principal Investigator
  
  UEDA Kazunori
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
A High-Level Programming Language for Probabilistic SystemsPrincipal Investigator
- Principal Investigator
  
  HOSOBE Hiroshi
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
High-level hybrid constraint modeling language and its reliable implementation
- Principal Investigator
  
  UEDA Kazunori
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
ソフト連続制約の分散協調解消系Principal Investigator
- Principal Investigator
  
  細部博史
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (A)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
制約プログラミングによる視覚化モデルの形式化と実現Principal Investigator
- Principal Investigator
  
  細部博史
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  National Institute of Informatics
力学的アプローチによる柔らかい制約システムの研究Principal Investigator
- Principal Investigator
  
  細部博史
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  National Institute of Informatics
Realization of Security Polices based on Enterprise Organizational Structur by using Evolutional Agent Architecture
- Principal Investigator
  
  IIJIMA Tadashi
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  情報システム学(含情報図書館学)
- Research Institution
  Keio University
大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術Principal Investigator
- Principal Investigator
  
  細部博史
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  National Institute of Informatics

[Journal Article] Supporting Nail Art Consultation by Automatic Image Selection and Visual Information Sharing2023
- Author(s)
  Yoshino Minakawa and Hiroshi Hosobe
- Journal Title
  
  Communications in Computer and Information Science (HCI International 2023)
  
  Volume: 1834 Pages: 110-117
- DOI
  10.1007/978-3-031-35998-9_16
- ISBN
  9783031359972, 9783031359989
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K11836
[Journal Article] A Hand Gesture-Based Authentication Method That Makes Forgery Difficult2022
- Author(s)
  Hideaki Terui and Hiroshi Hosobe
- Journal Title
  
  Lecture Notes in Computer Science (HCI International 2022)
  
  Volume: 13333 Pages: 268-279
- DOI
  10.1007/978-3-031-05563-8_18
- ISBN
  9783031055621, 9783031055638
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K11836
[Journal Article] A Video Game-Like Approach to Supporting Novices in Learning Programming2021
- Author(s)
  Ami Sakakibara and Hiroshi Hosobe
- Journal Title
  
  Lecture Notes in Computer Science (HCI International 2021)
  
  Volume: 12785 Pages: 84-93
- DOI
  10.1007/978-3-030-77943-6_6
- ISBN
  9783030779429, 9783030779436
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H01726
[Journal Article] Solving Hierarchical Soft Constraints with an SMT Solver2020
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 12th International Conference on Computer and Automation Engineering (ICCAE2020)
  
  Volume: - Pages: 42-46
- DOI
  10.1145/3384613.3384654
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KK0016
[Journal Article] Testing Event-Driven Programs in Processing2020
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 2020 European Symposium on Software Engineering (ESSE2020)
  
  Volume: - Pages: 6-11
- DOI
  10.1145/3393822.3432338
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H01726
[Journal Article] A Graph-Based Visualization of Time-Series Information in Multiple Texts2018
- Author(s)
  Hironari Kawada, Mina Akaishi, and Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 22nd International Conference on Information Visualisation (IV2018)
  
  Volume: - Pages: 44-49
- DOI
  10.1109/iv.2018.00018
- NAID
  130007423821
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H01726
[Journal Article] A Japanese Software Keyboard for Tablets That Reduces User Fatigue2018
- Author(s)
  Teppei Yajima and Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 42nd IEEE International Conference on Computers, Software and Applications (COMPSAC2018)
  
  Volume: - Pages: 339-346
- DOI
  10.1109/compsac.2018.00054
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KK0016
[Journal Article] A 2-by-6-Button Japanese Software Keyboard for Tablets2018
- Author(s)
  Kei Takei and Hiroshi Hosobe
- Journal Title
  
  Proceedings of VISIGRAPP2018
  
  Volume: 2 Pages: 147-154
- DOI
  10.5220/0006652701470154
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KK0016
[Journal Article] Toward an Efficient User Interface for Block-Based Visual Programming2018
- Author(s)
  Yota Inayama and Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC2018)
  
  Volume: - Pages: 293-294
- DOI
  10.1109/vlhcc.2018.8506530
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H01726
[Journal Article] A Hand Gesture-Based Method for Biometric Authentication2018
- Author(s)
  Satoru Imura and Hiroshi Hosobe
- Journal Title
  
  Lecture Notes in Computer Science (HCI International 2018)
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15KK0016
[Journal Article] 時系列ニュースの話題性の可視化2017
- Author(s)
  中山豪, 細部博史
- Journal Title
  
  第9回データ工学と情報マネジメントに関するフォーラム(DEIM2017)論文集
  
  Volume: E6-4 Pages: 1-6
- Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25540029
[Journal Article] 点対称の像を用いた追跡問題のQ学習の高速化2017
- Author(s)
  飯岡徹人, 細部博史
- Journal Title
  
  人工知能基本問題研究会(SIG-FPAI)資料
  
  Volume: 103 Pages: 7-11
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24300010
[Journal Article] 抽象化とメディア変換に基づくネットワーク型パズルの提案と可視化2017
- Author(s)
  保里和樹, 細部博史
- Journal Title
  
  情報処理学会研究報告：ヒューマンコンピュータインタラクション(HCI)
  
  Volume: 172(26) Pages: 1-7
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25540029
[Journal Article] Toward a New Constraint Imperative Programming Language for Interactive Graphics2016
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Companion Proceedings of the 15th International Conference on Modularity (Modularity2016)
  
  Volume: - Pages: 34-35
- DOI
  10.1145/2892664.2892668
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25540029
[Journal Article] Biometric Authentication Using the Motion of a Hand2016
- Author(s)
  Satoru Imura and Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 4th ACM Symposium on Spatial User Interaction (SUI2016)
  
  Volume: - Pages: 221-221
- DOI
  10.1145/2983310.2989210
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25540029
[Journal Article] A Programming Environment for Visual Block-Based Domain-Specific Languages2015
- Author(s)
  Azusa Kurihara, Akira Sasaki, Ken Wakita, and Hiroshi Hosobe
- Journal Title
  
  Procedia Computer Science (SCSE2015)
  
  Volume: -
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25540029
[Journal Article] A Mouse-Like Hands-Free Gesture Technique for Two-Dimensional Pointing2015
- Author(s)
  Yusaku Yokouchi and Hiroshi Hosobe
- Journal Title
  
  Communications in Computer and Information Science (HCI International 2015)
  
  Volume: 528 Pages: 558-563
- DOI
  10.1007/978-3-319-21380-4_95
- ISBN
  9783319213798, 9783319213804
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25540029
[Journal Article] A Hierarchical Method for Solving Soft Nonlinear Constraints2015
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Procedia Computer Science (SCSE2015)
  
  Volume: -
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25540029
[Journal Article] Hardened Flow-sensitive Trace Formula for Fault Localization2015
- Author(s)
  Si-Mohamed Lamraoui, Shin Nakajima, and Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS2015)
  
  Volume: - Pages: 50-59
- DOI
  10.1109/iceccs.2015.16
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24300010
[Journal Article] A High-Level Language for Hybrid Systems2012
- Author(s)
  K. Ueda, S. Matsumoto, A. Takeguchi, H. Hosobe, and D. Ishii. HydLa
- Journal Title
  
  In Logics for System Analysis Workshop (LfSA)
  
  Pages: 3-17
- URL
  http://www.ls.cs.cmu.edu/LfSA12/LfSA12.pdf
- Data Source
  KAKENHI-PROJECT-23300011
[Journal Article] An Execution Algorithm for the Hybrid System Modeling Language HydLa2011
- Author(s)
  渋谷俊, 高田賢士郎, 細部博史, 上田和紀
- Journal Title
  
  Computer Software
  
  Volume: 28 Issue: 3 Pages: 167-172
- DOI
  10.11309/jssst.28.3_167
- NAID
  130004892187
- ISSN
  0289-6540
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300011
[Journal Article] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011
- Author(s)
  石井大輔、上田和紀、細部博史
- Journal Title
  
  International Journal on Software Tools for Technology Transfer (STTT)
  
  Volume: 13 Issue: 5 Pages: 449-461
- DOI
  10.1007/s10009-011-0193-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-11J03810, KAKENHI-PROJECT-23300011
[Journal Article] ハイブリッド制約言語HydLaの宣言的意味論2011
- Author(s)
  上田和紀, 細部博史, 石井大輔
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.28, No.1 Pages: 306-311
- NAID
  130004892168
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] ハイブリッド制約言語HydLaの宣言的意味論2011
- Author(s)
  上田和紀,細部博史,石井大輔
- Journal Title
  
  コンピュータソフトウェア Vol.28, No.1
  
  Pages: 306-311
- NAID
  130004892168
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2011
- Author(s)
  渋谷俊, 高田賢士郎, 細部博史, 上田和紀
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.28, No.2(未定)
- NAID
  40020657265
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2011
- Author(s)
  渋谷俊,高田賢士郎,細部博史,上田和紀
- Journal Title
  
  コンピュータソフトウェア Vol.28, No.3(掲載決定)
- NAID
  40020657265
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Journal Title
  
  Int.J.Softw.Tools.Technol.Transfer Vol.13(掲載決定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] A Simplex-Based Scalable Linear Constraint Solver for User Interface Applications2011
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence
  
  Pages: 793-798
- DOI
  10.1109/ictai.2011.124
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700046
[Journal Article] Including Ordinary Differential Equations Based Constraints in the Standard CP Framework2010
- Author(s)
  Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, and Hiroshi Hosobe
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: Vol.6308 Pages: 221-235
- DOI
  10.1007/978-3-642-15396-9_20
- ISBN
  9783642153952, 9783642153969
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700046
[Journal Article] Including Ordinary Differential Equations Based Constraints in the Standard CP Framework2010
- Author(s)
  Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 6308 Pages: 221-235
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700046
[Journal Article] Constraint Hierarchies as Semiring-Based CSPs2009
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 21st IEEE International Conference on Tools with Artificial Intelligence
  
  Pages: 176-183
- DOI
  10.1109/ictai.2009.43
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700046
[Journal Article] A Constraint Hierarchies Approach to Geometric Constraints on Sketches2008
- Author(s)
  Christophe Jermann and Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 23rd Annual ACM Symposium on Applied Computing(SAC2008) 3
  
  Pages: 1843-1844
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17680002
[Journal Article] Une approche orientee hierarchie de contraintes pour la resolution de problemes de contraintes geometrigues2008
- Author(s)
  Christophe Jermann and Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 7th International Conference of Modeling and Simulation(MOSIM08)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17680002
[Journal Article] ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法2008
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Journal Title
  
  情報処理学会論文誌数理モデル化と応用 1(1)
  
  Pages: 149-159
- NAID
  110006827845
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法2008
- Author(s)
  石井大輔,上田和紀,細部博史
- Journal Title
  
  情報処理学会論文誌数理モデル化と応用 Vol.1, No.1
  
  Pages: 149-159
- NAID
  110006827845
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300013
[Journal Article] Analysis of a High-Dimensional Approach to Interactive Graph Drawing2007
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Proceedings of the Asia-Pacific Symposium on Visualisation 2007 (APVIS2007)
  
  Pages: 93-96
- Data Source
  KAKENHI-PROJECT-17680002
[Journal Article] 階層的優先度を備えた非線形制約の解消法2007
- Author(s)
  細部博史
- Journal Title
  
  日本ソフトウェア科学会第24回大会論文集
- NAID
  40022087496
- Data Source
  KAKENHI-PROJECT-17680002
[Journal Article] DuPlex : A Linear and One-Way Constraint Solver for Web Document Layout2006
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 1st International Workshop on Constraint Programming for Graphical Applications (CPGA2006)
  
  Pages: 17-25
- Data Source
  KAKENHI-PROJECT-17680002
[Journal Article] Franco-Japanese Research Collaboration on Constraint Programming2006
- Author(s)
  Frederic Benhamou, Martine Ceberio, Philippe Codognet, Hiroshi Hosobe, Christophe Jermann, Ken Satoh, Kazunori Ueda
- Journal Title
  
  Progress in Informatics 3
- NAID
  110004652521
- Data Source
  KAKENHI-PROJECT-17680002
[Journal Article] Speculative Constraint Processing with Iterative Revision for Disjunctive Answers2006
- Author(s)
  Martine Ceberio, Hiroshi Hosobe, Ken Satoh
- Journal Title
  
  Lecture Notes in Artificial Intelligence 3900
  
  Pages: 340-357
- Data Source
  KAKENHI-PROJECT-17680002
[Journal Article] Through-the-Lens Cinematography2006
- Author(s)
  Marc Christie, Hiroshi Hosobe
- Journal Title
  
  Lecture Notes in Computer Science 4073
  
  Pages: 147-159
- Data Source
  KAKENHI-PROJECT-17680002
[Journal Article] A Constraint Solving Algorithm for Web Document Layout2005
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  2nd Franco-Japanese Workshop on Constraint Programming(FJCP2005)
- Data Source
  KAKENHI-PROJECT-16016286
[Journal Article] An Extended High-Dimensional Method for Interactive Graph Drawing2005
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Conferences in Research and Practice in Information Technology (Proceedings of APVIS2005) 45
  
  Pages: 15-20
- Data Source
  KAKENHI-PROJECT-14780248
[Journal Article] Solving Linear and One-Way Constraints for Web Document Layout2005
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC2005) 2
  
  Pages: 1252-1253
- Data Source
  KAKENHI-PROJECT-16016286
[Journal Article] An Extended High-Dimensional Method for Interactive Graph Drawing2005
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Conferences in Research and Practice in Information Technology (Proceedings of APVIS2005) 45
  
  Pages: 15-20
- Data Source
  KAKENHI-PROJECT-16016286
[Journal Article] Solving Linear and One-Way Constraints for Web Document Layout2005
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC2005) 2
  
  Pages: 1252-1253
- Data Source
  KAKENHI-PROJECT-14780248
[Journal Article] 高次元アプローチによる一般無向グラフの対話的視覚化法2005
- Author(s)
  細部博史
- Journal Title
  
  情報処理学会論文誌 46・7
  
  Pages: 1536-1547
- NAID
  110002768661
- Data Source
  KAKENHI-PROJECT-16016286
[Journal Article] Solving Constraints for Web Document Layout2005
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Proceedings of the Workshop on New Approaches to Software Construction 2005(WNASC2005)
  
  Pages: 115-120
- Data Source
  KAKENHI-PROJECT-16016286
[Journal Article] Web文書配置のための制約プログラミング手法2005
- Author(s)
  細部博史
- Journal Title
  
  日本ソフトウェア科学会第22回大会論文集
- NAID
  130004638904
- Data Source
  KAKENHI-PROJECT-16016286
[Journal Article] Constraint Solvers for Graphical User Interface Applications2004
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Franco-Japanese Workshop on Constraint Programming
- Data Source
  KAKENHI-PROJECT-14780248
[Journal Article] 制約プログラミングによる視覚化モデルの構築2004
- Author(s)
  細部博史
- Journal Title
  
  日本ソフトウェア科学会第21回大会
- NAID
  130005006634
- Data Source
  KAKENHI-PROJECT-16016286
[Journal Article] 制約プログラミングによる視覚化モデルの構築2004
- Author(s)
  細部博史
- Journal Title
  
  日本ソフトウェア科学会第21回大会
- NAID
  130005006634
- Data Source
  KAKENHI-PROJECT-14780248
[Journal Article] Constraint Solvers for Graphical User Interface Applications2004
- Author(s)
  Hiroshi Hosobe
- Journal Title
  
  Franco-Japanese Workshop on Constraint programming
- Data Source
  KAKENHI-PROJECT-16016286
[Presentation] データ駆動文書のためのAPIの改良2022
- Author(s)
  細部博史
- Organizer
  第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022)
- Data Source
  KAKENHI-PROJECT-17H01726
[Presentation] A Tool for Testing Event-Driven Programs in Processing2020
- Author(s)
  Hiroshi Hosobe
- Organizer
  3rd International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01726
[Presentation] イベント駆動に基づくProcessingプログラムのユニットテスト手法2020
- Author(s)
  細部博史
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会(2020-03-SS)
- Data Source
  KAKENHI-PROJECT-17H01726
[Presentation] Processingプログラムにおけるイベント処理のユニットテスト手法2020
- Author(s)
  細部博史
- Organizer
  第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)
- Data Source
  KAKENHI-PROJECT-17H01726
[Presentation] SMTソルバーを用いた制約階層解消法2020
- Author(s)
  細部博史
- Organizer
  人工知能学会第112回人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-15KK0016
[Presentation] 有向グラフとCoordinated Multiple Viewsによる時系列情報の可視化2019
- Author(s)
  河田裕成, 細部博史, 赤石美奈
- Organizer
  情報処理学会第81回全国大会
- Data Source
  KAKENHI-PROJECT-17H01726
[Presentation] 変換画像の同時学習によるICMの改良2019
- Author(s)
  飯岡徹人, 若原徹, 細部博史
- Organizer
  人工知能学会第109回人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-17H01726
[Presentation] ソフト制約のモデル化・解決とその応用2019
- Author(s)
  細部博史
- Organizer
  人工知能学会第109回人工知能基本問題研究会
- Invited
- Data Source
  KAKENHI-PROJECT-15KK0016
[Presentation] シンプルかつ明確な制約階層の再定式化に向けて2017
- Author(s)
  細部博史
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)
- Place of Presentation
  華やぎの章慶山（山梨県笛吹市）
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-24300010
[Presentation] 対話型視覚的アプリケーションのための制約命令型プログラミング言語2015
- Author(s)
  細部博史
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学西早稲田キャンパス(東京都・新宿区)
- Year and Date
  2015-09-08
- Data Source
  KAKENHI-PROJECT-25540029
[Presentation] A Numerical Optimization-Based Method for Visualizing Graphs2014
- Author(s)
  Hiroshi Hosobe
- Organizer
  Computer Visualization--Concepts and Challenges
- Place of Presentation
  Shonan Village Center, Kanagawa, Japan
- Data Source
  KAKENHI-PROJECT-25540029
[Presentation] ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換アルゴリズム2012
- Author(s)
  竹口輝, 和田亮, 松本翔太, 細部博史, 上田和紀
- Organizer
  日本ソフトウェア科学会第29回大会論文集
- Place of Presentation
  東京
- Year and Date
  2012-08-22
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Hybrid Constraint Language HydLa and Its Implementation2012
- Author(s)
  Shota Matsumoto, Akira Takeguchi, Kazunori Ueda and Hiroshi Hosobe
- Organizer
  The 15th International Conference on Hybrid Systems : Computation and Control (HSCC 2012)
- Place of Presentation
  Beijing
- Year and Date
  2012-04-17
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] A Constraint-Based Approach to Error Localization2012
- Author(s)
  Hiroshi Hosobe, Shin Nakajima, Michel Rueher
- Organizer
  Fifth CSPSAT & ASP Seminar
- Place of Presentation
  神戸大学
- Year and Date
  2012-10-11
- Data Source
  KAKENHI-PROJECT-24300010
[Presentation] 確率的制約充足問題への統計的アプローチ2012
- Author(s)
  細部博史
- Organizer
  第12回CSPSAT研究会
- Place of Presentation
  湯布院公民館(大分県)
- Year and Date
  2012-03-19
- Data Source
  KAKENHI-PROJECT-21700046
[Presentation] ハイブリッドシステムモデリング言語HydLaの数式処理実行系2011
- Author(s)
  高田賢士郎, 渋谷俊, 細部博史, 上田和紀
- Organizer
  情報処理学会第73回全国大会
- Place of Presentation
  東工大大岡山キャンパス
- Year and Date
  2011-03-02
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLaの実装2011
- Author(s)
  松本翔太, 桜庭翔, 高田賢士郎, 細部博史, 上田和紀
- Organizer
  日本ソフトウェア科学会大会第28回大会
- Place of Presentation
  那覇(沖縄県)
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] Simulation with Guaranteed Accuracy Using Hybrid System Modeling Language HydLa2011
- Author(s)
  K.Sakuraba, K.Ueda, H.Hosobe, S.Shibuya, S.Matsumoto
- Organizer
  The Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011)
- Place of Presentation
  Kenting (Taiwan)
- Year and Date
  2011-12-06
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] ハイブリッドシステムモデリング言語HydLaの数式処理実行系2011
- Author(s)
  高田賢士郎,渋谷俊,細部博史,上田和紀
- Organizer
  情報処理学会第73回全国大会
- Year and Date
  2011-03-02
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLaの処理系による非決定性の扱い2011
- Author(s)
  松本翔太,高田賢士郎,細部博史,上田和紀
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
- Place of Presentation
  札幌
- Year and Date
  2011-03-09
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語 HydLa の区間制約に基づく全解シミュレーション実行処理系2010
- Author(s)
  大谷順司, 廣瀬賢一, 石井大輔, 細部博史, 上田和紀
- Organizer
  情報処理学会創立50周年記念(第72回)全国大会
- Place of Presentation
  東京大学
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLaの統合処理系2010
- Author(s)
  高田賢士郎,廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ(PPL'10)
- Place of Presentation
  香川県琴平温泉
- Year and Date
  2010-03-04
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッド制約言語HydLaの宣言的意味論2010
- Author(s)
  上田和紀,細部博史,石井大輔
- Organizer
  日本ソフトウェア科学会第27回大会
- Place of Presentation
  津田塾大学
- Year and Date
  2010-09-14
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2010
- Author(s)
  渋谷俊,高田賢士郎,細部博史,上田和紀
- Organizer
  日本ソフトウェア科学会第27回大会
- Place of Presentation
  津田塾大学
- Year and Date
  2010-09-13
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語 HydLa の統合処理系2010
- Author(s)
  高田賢士郎, 廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ(PPL'10)
- Place of Presentation
  香川県琴平温泉
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLa処理系の実行アルゴリズムの検討2010
- Author(s)
  渋谷俊,高田賢士郎,上田和紀,細部博史
- Organizer
  第8回ディペンダブルシステムワークショップ
- Place of Presentation
  函館
- Year and Date
  2010-07-22
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系2010
- Author(s)
  大谷順司,廣瀬賢一,石井大輔,細部博史,上田和紀
- Organizer
  情報処理学会創立50周年記念(第72回)全国大会
- Place of Presentation
  東京大学
- Year and Date
  2010-03-09
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッド制約言語HydLaの宣言的意味論2010
- Author(s)
  上田和紀, 細部博史, 石井大輔
- Organizer
  日本ソフトウェア科学会第27回大会論文集
- Place of Presentation
  津田塾大学
- Year and Date
  2010-09-14
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2010
- Author(s)
  渋谷俊, 高田賢士郎, 細部博史, 上田和紀
- Organizer
  日本ソフトウェア科学会第27回大会論文集
- Place of Presentation
  津田塾大学
- Year and Date
  2010-09-13
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2009
- Author(s)
  Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
- Organizer
  Workshop on Verified Software : Theory, Tools, and Experiments(VSTTE'09)
- Place of Presentation
  オランダ・アイントホーフェン
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Simulation of Hybrid Systems based on Hierarchical Interval Constraints2009
- Author(s)
  D. Ishii, K. Ueda, H. Hosobe
- Organizer
  2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)
- Place of Presentation
  イタリア・ローマ
- Year and Date
  2009-03-04
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 微分制約論理式によるハイブリッドシステムのモデリングと検証2009
- Author(s)
  石井大輔,上田和紀,細部博史
- Organizer
  電子情報通信学会コンカレント工学研究会
- Place of Presentation
  横浜
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装2009
- Author(s)
  廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
- Place of Presentation
  高山
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Simulation of Hybrid Systems based on Hierarchical Interval Constraints2009
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)
- Place of Presentation
  ローマ
- Year and Date
  2009-03-04
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Alexandre Goldsztejn, Interval-based Solving of Hybrid Constraint Systems2009
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  The 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09)
- Place of Presentation
  スペイン・サラゴサ
- Year and Date
  2009-09-17
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装2009
- Author(s)
  廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
- Place of Presentation
  岐阜県・高山市
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Interval-based Solving of Hybrid Constraint Systems2009
- Author(s)
  Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn
- Organizer
  The 3rd IFAC Conference on Analysis and Design of Hybrid Systems(ADHS'09)
- Place of Presentation
  スペイン・サラゴサ
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約階層によるハイブリッドシステムのモデリング手法2009
- Author(s)
  廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
- Organizer
  日本ソフトウェア科学会第26回大会
- Place of Presentation
  島根大学
- Year and Date
  2009-09-16
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2009
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  Workshop on Verified Software : Theory, Tools, and Experiments (VSTTE'09)
- Place of Presentation
  オランダ・アイントホーフェン
- Year and Date
  2009-11-02
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語2008
- Author(s)
  上田和紀,石井大輔,細部博史
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLa2008
- Author(s)
  上田和紀,石井大輔,細部博史
- Organizer
  第5回システム検証の科学技術シンポジウム(SSV'08)
- Place of Presentation
  筑波大学
- Year and Date
  2008-11-17
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用2008
- Author(s)
  石井大輔, 上田和紀, 細部博史
- Organizer
  第6回ディペンダブルシステムワークシヨツプ(DSW' 08summer)
- Place of Presentation
  北海道・函館
- Year and Date
  2008-07-03
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語2008
- Author(s)
  上田和紀, 石井大輔, 細部博史
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  東京・筑波大学
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] 制約概念に基づくハイブリッドシステムモデリング言語HydLa2008
- Author(s)
  上田和紀, 石井大輔, 細部博史
- Organizer
  第5回システム検証の科学技術シンポジウム(SSV'08)
- Place of Presentation
  筑波・筑波大学
- Year and Date
  2008-11-17
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用2008
- Author(s)
  石井大輔,上田和紀,細部博史
- Organizer
  第6回ディペンダブルシステムワークショップ(DSW'08summer)
- Place of Presentation
  函館
- Year and Date
  2008-07-03
- Data Source
  KAKENHI-PROJECT-20300013
[Presentation] Soft and Interval Constraints for Layout of Diagrams2007
- Author(s)
  Hiroshi Hosobe
- Organizer
  Workshop on Constraint-Based Layout of Diagrams and Documents(CBLDD'07)
- Place of Presentation
  シドニー(オーストラリア)
- Year and Date
  2007-09-23
- Data Source
  KAKENHI-PROJECT-17680002
[Presentation] Processingアプリケーション開発のための視覚的ドメイン特化言語(デモ・ポスター発表)
- Author(s)
  栗原あずさ, 佐々木晃, 脇田建, 細部博史
- Organizer
  第22回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2014)
- Place of Presentation
  浜名湖ロイヤルホテル(静岡県・浜松市)
- Year and Date
  2014-11-26 – 2014-11-28
- Data Source
  KAKENHI-PROJECT-25540029
[Presentation] Processingアプリケーション開発のための視覚的ドメイン特化言語の実装
- Author(s)
  栗原あずさ, 佐々木晃, 脇田建, 細部博史
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学(愛知県・名古屋市)
- Year and Date
  2014-09-07 – 2014-09-10
- Data Source
  KAKENHI-PROJECT-25540029
[Presentation] HydLa: A High-Level Language for Hybrid Systems
- Author(s)
  Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe, Daisuke Ishii
- Organizer
  Second Workshop on Logics for System Analysis (LfSA 2012)（査読有）
- Place of Presentation
  Berkeley, CA, USA
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換アルゴリズム
- Author(s)
  竹口輝，和田亮，松本翔太，細部博史，上田和紀
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23300011
[Presentation] A Soft Constraint-Based Approach to Error Localization
- Author(s)
  Hiroshi Hosobe
- Organizer
  4th Asian Workshop of Advanced Software Engineering (AWASE2014)
- Place of Presentation
  北京(中国)
- Year and Date
  2014-10-11 – 2014-10-12
- Data Source
  KAKENHI-PROJECT-24300010
[Presentation] Hybrid Constraint Language HydLa and Its Implementation
- Author(s)
  Shota Matsumoto, Akira Takeguchi, Kazunori Ueda, Hiroshi Hosobe
- Organizer
  15th International Conference on Hybrid Systems: Computation and Control (HSCC 2012)（査読有）
- Place of Presentation
  北京、中国
- Data Source
  KAKENHI-PROJECT-23300011

1. UEDA Kazunori (10257206)

# of Collaborated Projects: 3 results

# of Collaborated Products: 43 results
2. ISHII Daisuke (00454025)

# of Collaborated Projects: 3 results

# of Collaborated Products: 31 results
3. TANABE Yoshinori (60443199)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. 中島震 (60350211)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
5. IIJIMA Tadashi (20245608)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. HONIDEN Shinichi (70332153)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 日高宗一郎 (70321578)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. OHMAKI Kazuhito

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. ISOBE Yoshinao

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. MATSUMOTO Shota

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. RUEHER Michel

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
12. LAMRAOUI Si-Mohamed

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

HOSOBE Hiroshi 細部 博史

Research Projects

Research Products

Co-Researchers

Notebook Programming for Reactive SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Programming with Constraints and Events for Information VisualizationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Technology for Reliable Reactive ProgrammingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Automated Debugging with Soft Constraints(Fostering Joint International Research)Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

対話型視覚的アプリケーションのための制約命令型プログラミング言語Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Constraint Programming Environment for Media ArtsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Automatic Debugging by Using Soft ConstraintsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Implementations of high-level modeling languages that integrate high-performance verifiers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A High-Level Programming Language for Probabilistic SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

High-level hybrid constraint modeling language and its reliable implementation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ソフト連続制約の分散協調解消系Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

制約プログラミングによる視覚化モデルの形式化と実現Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

HOSOBE Hiroshi 細部博史