HOSOBE Hiroshi

J-GLOBAL         Last updated: Jun 18, 2019 at 02:44
 
Avatar
Name
HOSOBE Hiroshi
URL
http://www.hosobe.org/
Affiliation
Hosei University
Section
Faculty of Computer and Information Sciences, Department of Digital Media
Job title
Professor
Degree
Bachelor of Science(The University of Tokyo), Master of Science(The University of Tokyo), Doctor of Science(The University of Tokyo)
Research funding number
60321577
Twitter ID
h_hosobe

Profile

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

Research Areas

 
 

Awards & Honors

 
Jul 2018
Best Paper Award, 22nd International Conference on Information Visualisation (IV2018)
 
Sep 2010
Certificate of Appreciation, Japan Society for Software Science and Technology (JSSST)
 
Nov 2003
Best Paper Award, 6th Pacific Rim International Workshop on Multi-Agents (PRIMA2003)
 
Jun 2003
Takahashi Award, Japan Society for Software Science and Technology (JSSST)
 

Education

 
Apr 1989
 - 
Mar 1993
Department of Information Science, Faculty of Science, The University of Tokyo
 
Apr 1993
 - 
Mar 1995
Master's Program, Department of Information Science, Graduate School of Science, The University of Tokyo
 
Apr 1995
 - 
Mar 1998
Doctoral Program, Department of Information Science, Graduate School of Science, The University of Tokyo
 

Academic & Professional Experience

 
Apr 1997
 - 
Mar 1998
Graduate Research Fellow (in Graduate School of Science, University of Tokyo), Japan Society for the Promotion of Science (JSPS)
 
Apr 1998
 - 
Mar 1999
Postdoctoral Research Fellow (in Graduate School of Science, University of Tokyo), Japan Society for the Promotion of Science (JSPS)
 
Apr 1999
 - 
Mar 2000
Research Associate, Research and Development Department, National Center for Science Information Systems
 
Apr 2000
 - 
Jan 2004
Research Associate, Software Research Division, National Institute of Informatics
 
Apr 2001
 - 
Mar 2004
Part-time Lecturer (in Faculty of General Education I until March 2003), Ichigaya General Education Center, Hosei University
 
Apr 2002
 - 
Jan 2004
Research Associate, School of Mathematical and Physical Sciences, Graduate University for Advanced Studies
 
Jan 2004
 - 
Mar 2006
Associate Professor, Research Center for Testbeds and Prototyping, National Institute of Informatics
 
Apr 2004
 - 
Mar 2007
Visiting Researcher, Center for Tsukuba Advanced Research Alliance, University of Tsukuba
 
Sep 2004
 - 
Feb 2007
Part-time Lecturer, Faculty of Computer and Information Sciences, Hosei University
 
Apr 2005
 - 
Mar 2013
Associate Professor, School of Multidisciplinary Sciences, Graduate University for Advanced Studies
 
May 2005
 - 
Jul 2005
Invited Professor (Enseignant Invité), Institute of Computer Science (LINA), University of Nantes (France)
 
Oct 2005
 - 
Mar 2006
Part-time Lecturer, Department of Mathematical and Computing Sciences, Tokyo Institute of Technology
 
Apr 2006
 - 
Mar 2008
Scientific Research Senior Specialist (Program Officer for Grants-in-Aid for Scientific Research), Research Promotion Bureau, Ministry of Education, Culture, Sports, Science and Technology of Japan
 
Apr 2006
 - 
Mar 2013
Associate Professor, Information Systems Architecture Science Research Division, National Institute of Informatics
 
Apr 2006
 - 
Mar 2013
Visiting Associate Professor, Faculty of Science and Engineering, Waseda University
 
Apr 2007
 - 
Mar 2013
Visiting Associate Professor, School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)
 
Apr 2013
   
 
Professor, Faculty of Computer and Information Science, Hosei University
 
Apr 2013
   
 
Visiting Professor, Collaborative Research Unit, National Institute of Informatics
 
Apr 2015
 - 
Mar 2017
Department Head, Department of Digital Media, Faculty of Computer and Information Science, Hosei University
 
Apr 2017
 - 
Mar 2018
Sabbatical Researcher (visiting I3S Laboratory, University of Nice Sophia Antipolis), Hosei University
 
Apr 2018
   
 
Faculty Council Vice-Chief, Faculty of Computer and Information Science, Hosei University
 

Committee Memberships

 
2017
 - 
2017
26th International Joint Conference on Artificial Intelligence (IJCAI2017)  Member, Senior Program Committee
 
2010
 - 
2010
27th Conference of the Japan Society for Software Science and Technology (JSSST2010)  Program Chair
 
Jun 2012
 - 
May 2016
Japan Society for Software Science and Technology (JSSST)  Trustee for Editorial Affairs
 
Jun 2006
 - 
May 2007
Journal of the Information Processing Society of Japan (IPSJ)  Editor-in-Chief, Information Systems Group, Editorial Committee
 
Dec 2012
 - 
Nov 2014
Japan Society for the Promotion of Science (JSPS)  First-Stage Referee, Committee on Grants-in-Aid for Scientific Research (KAKENHI)
 
2018
 - 
2019
Interaction 2019 Symposium  Member, Program Committee
 
2018
 - 
2018
26th Workshop on Interactive Systems and Software (WISS2018)  Treasurer, Organizing Committee / Member, Program Committee
 
2018
 - 
2018
11th International Workshop on Computational Optimization (WCO2018) at FedCSIS2018  Member, Program Committee
 
2018
 - 
2018
24th International Conference on Principles and Practice of Constraint Programming (CP2018)  Member, Program Committee
 
2017
 - 
2018
Interaction 2018 Symposium  Member, Program Committee
 
2017
 - 
2017
25th Workshop on Interactive Systems and Software (WISS2017)  Treasurer, Organizing Committee / Member, Program Committee
 
2017
 - 
2017
10th International Workshop on Computational Optimization (WCO2017) at FedCSIS2017  Member, Program Committee
 
2016
 - 
2017
Interaction 2017 Symposium  Member, Program Committee
 
2016
 - 
2017
IEICE Transactions on Information and Systems  Editor, Special Section on Formal Approaches (Vol. E100-D, No. 6), Editorial Committee
 
2016
 - 
2016
9th International Workshop on Computational Optimization (WCO2016) at FedCSIS2016  Member, Program Committee
 
2016
 - 
2016
22nd International Conference on Principles and Practice of Constraint Programming (CP2016)  Member, Program Committee
 
2015
 - 
2016
Interaction 2016 Symposium  Member, Program Committee
 
2015
 - 
2016
IEICE Transactions on Information and Systems  Editor, Special Section on Formal Approaches (Vol. E99-D, No. 6), Editorial Committee
 
2015
 - 
2016
Japan Society for Software Science and Technology (JSSST)  Editor, Special Issue on Software Papers (Vol. 31, No. 4), Editorial Committee
 
2015
 - 
2016
Journal of the Information Processing Society of Japan (IPSJ)  Editor, Special Issue on Understanding, Foundation, and Applications of Interaction (Vol. 57, No. 4), Editorial Committee
 

Published Papers

 
Toward an Efficient User Interface for Block-Based Visual Programming (showpiece)
Yota Inayama and Hiroshi Hosobe
Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC2018)   293-294   Oct 2018   [Refereed]
A Japanese Software Keyboard for Tablets That Reduces User Fatigue
Teppei Yajima and Hiroshi Hosobe
Proceedings of the 42nd IEEE International Conference on Computers, Software and Applications (COMPSAC2018)   339-346   Jul 2018   [Refereed]
A Hand Gesture-Based Method for Biometric Authentication
Satoru Imura and Hiroshi Hosobe
Proceedings of the 20th International Conference on Human-Computer Interaction (HCI International 2018), Lecture Notes in Computer Science   10901 554-566   Jul 2018   [Refereed]
A Graph-Based Visualization of Time-Series Information in Multiple Texts
Hironari Kawada, Mina Akaishi, and Hiroshi Hosobe
Proceedings of the 22nd International Conference on Information Visualisation (IV2018)   44-49   Jul 2018   [Refereed]
事象情報グラフの操作による時系列情報の可視化
河田裕成, 赤石美奈, 細部博史
人工知能学会第32回全国大会論文集   (2O1-03) 1-4   Jun 2018
A 2-by-6-Button Japanese Software Keyboard for Tablets (short paper)
Kei Takei and Hiroshi Hosobe
Proceedings of VISIGRAPP2018--2nd International Conference on Human Computer Interaction Theory and Applications (HUCAPP2018)   2 147-154   Jan 2018   [Refereed]
Toward a Robot That Acquires Logical Recognition of Space
Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, and Hiroshi Hosobe
Information Engineering Express   3(4) 1-10   Dec 2017   [Refereed]
A Dynamic Default Revision Mechanism for Speculative Computation
Tiago Oliveira, Ken Satoh, Paulo Novais, Jos_ Neves, and Hiroshi Hosobe
Autonomous Agents and Multi-Agent Systems   31(3) 656-695   May 2017   [Refereed]
時系列ニュースの話題性の可視化
中山豪, 細部博史
第9回データ工学と情報マネジメントに関するフォーラム(DEIM2017)論文集   (E6-4) 1-6   Mar 2017   [Refereed]
抽象化とメディア変換に基づくネットワーク型パズルの提案と可視化
保里和樹, 細部博史
情報処理学会研究報告:ヒューマンコンピュータインタラクション(HCI)   172(26) 1-7   Mar 2017
点対称の像を用いた追跡問題のQ学習の高速化
飯岡徹人, 細部博史
人工知能基本問題研究会(SIG-FPAI)資料   103 7-11   Mar 2017
Biometric Authentication Using the Motion of a Hand (poster)
Satoru Imura and Hiroshi Hosobe
Proceedings of the 4th ACM Symposium on Spatial User Interaction (SUI2016)   221-221   Oct 2016   [Refereed]
Autonomous Control of Mobile Robots Using Logical Representation of Map and Inference of Location (short paper)
Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, and Hiroshi Hosobe
Proceedings of the IEEE International Conference on Agents (ICA2016)   78-81   Sep 2016   [Refereed]
Toward a New Constraint Imperative Programming Language for Interactive Graphics (position paper)
Hiroshi Hosobe
Companion Proceedings of Modularity2016--Constrained and Reactive Objects Workshop (CROW2016)   34-35   Mar 2016   [Refereed]
Hardened Flow-Sensitive Trace Formula for Fault Localization
Si-Mohamed Lamraoui, Shin Nakajima, and Hiroshi Hosobe
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS2015)   50-59   Dec 2015   [Refereed]
A Reasoning Module for Distributed Clinical Decision Support Systems
Tiago Oliveira, Ken Satoh, Paulo Novais, Jos_ Neves, Pedro Le_o, and Hiroshi Hosobe
Intelligent Distributed Computing IX--IDC2015 (Proceedings of the 9th International Symposium on Intelligent Distributed Computing), Studies in Computational Intelligence   616 387-397   Oct 2015   [Refereed]
対話型視覚的アプリケーションのための制約命令型プログラミング言語
細部博史
日本ソフトウェア科学会第32回大会論文集   (PPL2-3) 1-7   Sep 2015
A Mouse-Like Hands-Free Gesture Technique for Two-Dimensional Pointing (poster)
Yusaku Yokouchi and Hiroshi Hosobe
HCI International 2015--Posters’ Extended Abstracts (Part I), Communications in Computer and Information Science   528 558-563   Aug 2015   [Refereed]
Interactive High-Dimensional Visualization of Social Graphs
Ken Wakita, Masanori Takami, and Hiroshi Hosobe
Proceedings of the 8th IEEE Pacific Visualization Symposium (PacificVis2015)   303-310   Apr 2015   [Refereed]
地図の論理的表現と推論による位置把握を用いた、移動ロボットの自律的制御手法の開発
藤田恵, 後藤勇樹, 新出尚之, 佐藤健, 細部博史
第20回ロボティクスシンポジア予稿集   37-42   Mar 2015   [Refereed]
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   62 378-384   Mar 2015   [Refereed]
A Programming Environment for Visual Block-Based Domain-Specific Languages
Azusa Kurihara, Akira Sasaki, Ken Wakita, and Hiroshi Hosobe
Proceedings of the 2015 International Conference on Soft Computing and Software Engineering (SCSE2015), Procedia Computer Science   62 287-296   Mar 2015   [Refereed]
Processingアプリケーション開発のための視覚的ドメイン特化言語(デモ・ポスター発表)
栗原あずさ, 佐々木晃, 脇田建, 細部博史
第22回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2014)   165-166   Dec 2014   [Refereed]
Processingアプリケーション開発のための視覚的ドメイン特化言語の実装
栗原あずさ, 佐々木晃, 脇田建, 細部博史
日本ソフトウェア科学会第31回大会論文集   (PPL6-2) 1-7   Sep 2014
Logic-Based and Robust Decision Making for Robots in Real World (demonstration)
Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, and Hiroshi Hosobe
Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014)   1685-1686   May 2014   [Refereed]
An Architecture for Autonomously Controlling Robot with Embodiment in Real World
Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, and Hiroshi Hosobe
Proceedings of the Workshop on Knowledge Representation and Reasoning in Robotics at ICLP2013   59-71   Aug 2013   [Refereed]
Toward Visual Analytics of Unlinked Documents by Textual Analysis and Network Visualization
Buntarou Shizuki and Hiroshi Hosobe
Proceedings of the 17th International Conference on Information Visualisation (IV2013)   227-231   Jul 2013   [Refereed]
動的環境下におけるロボットの行動プラン最小修正について
藤田恵, 後藤勇樹, 新出尚之, 佐藤健, 細部博史
人工知能学会第27回全国大会論文集   (1G3-5) 1-4   Jun 2013
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)   2 32-37   Nov 2012   [Refereed]
ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換アルゴリズム
竹口輝, 和田亮, 松本翔太, 細部博史, 上田和紀
日本ソフトウェア科学会第29回大会論文集   (2A-3) 1-10   Aug 2012
Distributed Defeasible Speculative Reasoning in Ambient Environment
Ho-Pun Lam, Guido Governatori, Ken Satoh, and Hiroshi Hosobe
M. Fisher, L. van der Torre, M. Dastani, G. Governatori (Eds.), 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   7486 43-60   Aug 2012   [Refereed]
HydLa: A High-Level Language for Hybrid Systems (short paper)
Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe and Daisuke Ishii
Proceedings of the 2nd Workshop on Logics for System Analysis (LfSA2012) at CAV2012   3-17   Jul 2012   [Refereed]
Composition of Engineering Web Services with Universal Distributed Data-Flows based on ROA
Kewei Duan, Julian Padget, Hyunsun Kim, and Hiroshi Hosobe
Proceedings of the 3rd International Workshop on RESTful Design (WS-REST2012), ACM International Conference Proceeding Series   41-48   Apr 2012   [Refereed]
Numerical Optimization-Based Graph Drawing Revisited
Hiroshi Hosobe
Proceedings of the 5th IEEE Pacific Visualization Symposium (PacificVis2012)   81-88   Feb 2012   [Refereed]
射影に基づく対話的三次元グラフ可視化手法
高見将則, 細部博史, 脇田建
情報処理学会研究報告   146(6) 1-8   Jan 2012
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)   793-798   Nov 2011   [Refereed]
An Interval-Based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems
Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe
International Journal on Software Tools for Technology Transfer   13(5) 449-461   Oct 2011   [Refereed]
A Constraint-Based Approach to Error Localization
Ha Bang Ban, Hiroshi Hosobe, Shin Nakajima, Duc Nghia Nguyen, Michel Rueher, and Franz Weitl
日本ソフトウェア科学会第28回大会萌芽セッション   (2B-5) 1-6   Sep 2011
ハイブリッドシステムモデリング言語HydLaの実装
松本翔太, 櫻庭翔, 高田賢士郎, 細部博史, 上田和紀
日本ソフトウェア科学会第28回大会論文集   (6.00E-04) 1-11   Sep 2011
ユーザインタフェースのためのスケーラブルな線形制約解消系
細部博史
日本ソフトウェア科学会第28回大会論文集   (4B-3) 1-6   Sep 2011
数値最適化による力学的グラフ可視化手法
細部博史
情報処理学会研究報告   144(16) 1-6   Jul 2011
ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム(レター論文)
渋谷俊, 高田賢士郎, 細部博史, 上田和紀
コンピュータソフトウェア   28(3) 167-172   Jul 2011   [Refereed]
大規模社会ネットワークの階層的視覚化手法の提案
越田港, 細部博史, 脇田建
コンピュータソフトウェア   28(2) 202-216   Apr 2011   [Refereed]
ユーザインタフェースのための線形制約解消系
細部博史
情報処理学会研究報告   142(21) 1-5   Mar 2011
差分画像を用いた定点カメラ映像分析支援インタフェース(インタラクティブ発表)
野上僚司, 志築文太郎, 細部博史, 田中二郎
インタラクション2011論文集   523-526   Mar 2011
ハイブリッドシステムモデリング言語HydLaの数式処理実行系
高田賢士郎, 渋谷俊, 細部博史, 上田和紀
情報処理学会第73回全国大会講演論文集   247-248   Mar 2011
ハイブリッド制約言語HydLaの宣言的意味論(レター論文)
上田和紀, 細部博史, 石井大輔
コンピュータソフトウェア   28(1) 306-311   Jan 2011   [Refereed]
Speculative Constraint Processing for Hierarchical Agents
Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, and Krysia Broda
AI Communications   23(4) 373-388   Dec 2010   [Refereed]
On the Implementation of Speculative Constraint Processing
Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, and 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   6214 178-195   Nov 2010   [Refereed]
ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム
渋谷俊, 高田賢士郎, 上田和紀, 細部博史
日本ソフトウェア科学会第27回大会論文集   (1B-2) 1-6   Sep 2010
ハイブリッド制約言語HydLaの宣言的意味論
上田和紀, 細部博史, 石井大輔
日本ソフトウェア科学会第27回大会論文集   (4A-3) 1-6   Sep 2010
Including Ordinary Differential Equations Based Constraints in the Standard CP Framework
Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, and 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   6308 221-235   Sep 2010   [Refereed]
Speculative Abductive Reasoning for Hierarchical Agent Systems
Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, and 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   6245 49-64   Aug 2010   [Refereed]
ハイブリッドシステムモデリング言語HydLa処理系の実行アルゴリズムの検討
渋谷俊, 高田賢士郎, 上田和紀, 細部博史
第8回ディペンダブルシステムワークショップ(DSW2010)論文集   (8月2日) 1-4   Jul 2010
ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系
大谷順司, 廣瀬賢一, 石井大輔, 細部博史, 上田和紀
情報処理学会創立50周年記念(第72回)全国大会論文集   145-146   Mar 2010
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)   (46) 1-15   Dec 2009   [Refereed]
An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems
Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe
Proceedings of the Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE2009)   (4) 1-9   Nov 2009   [Refereed]
Constraint Hierarchies as Semiring-Based CSPs
Hiroshi Hosobe
Proceedings of the 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI2009)   176-183   Nov 2009   [Refereed]
制約階層によるハイブリッドシステムのモデリング手法
廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
日本ソフトウェア科学会第26回大会論文集   (2D-2) 1-10   Sep 2009
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)   144-149   Sep 2009   [Refereed]
On the Implementation of Speculative Constraint Processing
Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, and Ken Satoh
Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X)   105-120   Sep 2009   [Refereed]
Interaction Techniques using a Spherical Cursor for 3D Targets Acquisition and Indicating in Volumetric Displays
Masaki Naito, Buntarou Shizuki, Jiro Tanaka, and Hiroshi Hosobe
Proceedings of the 13th International Conference on Information Visualisation (IV2009)   607-612   Jul 2009   [Refereed]
Simulation of Hybrid Systems based on Hierarchical Interval Constraints (poster)
Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe
Proceedings of the 2nd International Conference on Simulation Tools and Techniques (SIMUTools2009)   (37) 1-2   Mar 2009   [Refereed]
微分制約論理式によるハイブリッドシステムのモデリングと検証
石井大輔, 上田和紀, 細部博史
電子情報通信学会コンカレント工学研究会(CST), 信学技報   108(415) 67-70   Jan 2009
制約概念に基づくハイブリッドシステムモデリング言語HydLa
上田和紀, 石井大輔, 細部博史
第5回システム検証の科学技術シンポジウム(SSV2008)予稿集   1-6   Nov 2008
制約概念に基づくハイブリッドシステムモデリング言語
上田和紀, 石井大輔, 細部博史
日本ソフトウェア科学会第25回大会論文集   (5A-2) 1-6   Sep 2008
大規模社会ネットワークの階層的視覚化手法の提案
越田港, 細部博史, 脇田建
日本ソフトウェア科学会第25回大会論文集   (2B-1) 1-9   Sep 2008
ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
石井大輔, 上田和紀, 細部博史
情報処理学会論文誌:数理モデル化と応用   1(1) 149-159   Sep 2008   [Refereed]
An Interactive Large Graph Visualizer
Hiroshi Hosobe
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   5166 271-272   Aug 2008   [Refereed]
ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用
石井大輔, 上田和紀, 細部博史
第6回ディペンダブルシステムワークショップ(DSW2008)論文集   101-104   Jul 2008
Une approche orient_e hi_rarchie de contraintes pour la r_solution de probl_mes de contraintes g_om_triques
Christophe Jermann and Hiroshi Hosobe
Proceedings of the 7th International Conference on Modelling and Simulation (MOSIM2008)   2 901-906   Apr 2008   [Refereed]
ハイブリッドシステムの高信頼性シミュレーションのための区間に基づく制約伝播手法
石井大輔, 上田和紀, 細部博史
情報処理学会研究報告:数理モデル化と問題解決(MPS)   68 133-136   Mar 2008
A Constraint Hierarchies Approach to Geometric Constraints on Sketches (poster)
Christophe Jermann and Hiroshi Hosobe
Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC2008)--Geometric Constraints and Reasoning (GCR) Track   3 1843-1844   Mar 2008   [Refereed]
階層的優先度を備えた非線形制約の解消法
細部博史
日本ソフトウェア科学会第24回大会論文集   (6C-2) 1-4   Sep 2007
ハイブリッド並行制約プログラミングにおける分岐を含む軌道の区間包囲の求解手法
石井大輔, 上田和紀, 細部博史
日本ソフトウェア科学会第24回大会論文集   (6C-1) 1-6   Sep 2007
Agent-Based Speculative Constraint Processing
Hiroshi Hosobe, Ken Satoh, and Philippe Codognet
IEICE Transactions on Information and Systems   E90-D(9) 1354-1362   Sep 2007   [Refereed]
Trends and Issues in Using Constraint Programming for Graphical Applications
Marc Christie, Hiroshi Hosobe, and Kim Marriott
Fr_d_ric Benhamou, Narendra Jussien, and Barry O'Sullivan (Eds.), Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops)   371-381   May 2007
An Interval-Based Approximation Method for Discrete Changes in Hybrid cc
Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe
Fr_d_ric Benhamou, Narendra Jussien, and Barry O'Sullivan (Eds.), Trends in Constraint Programming (Post-Proceedings of the CP2006 Workshops)   245-255   May 2007   [Refereed]
Analysis of a High-Dimensional Approach to Interactive Graph Drawing
Hiroshi Hosobe
Proceedings of the Asia-Pacific Symposium on Visualisation (APVIS2007)      Feb 2007   [Refereed]
An Interval-Based Approximation Method for Discrete Changes in Hybrid cc
Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe
Proceedings of the 23rd JSSST Conference   (1A-1) 1-8   Sep 2006
An Interval-Based Approximation Method for Discrete Changes in Hybrid cc
Daisuke Ishii, Kazunori Ueda, and Hiroshi Hosobe
Proceedings of the 3rd International Workshop on Interval Analysis, Constraint Propagation and Applications (IntCP2006)   38-51   Sep 2006   [Refereed]
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)   17-25   Sep 2006   [Refereed]
Through-the-Lens Cinematography
Marc Christie and Hiroshi Hosobe
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   4073 147-159   Jul 2006   [Refereed]
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers
Martine Ceberio, Hiroshi Hosobe, and Ken Satoh
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   3900 340-357   Jun 2006   [Refereed]
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, and Kazunori Ueda
Progress in Informatics   (3) 59-65   Apr 2006   [Refereed]
Solving Constraints for Web Document Layout
Hiroshi Hosobe
Proceedings of the Workshop on New Approaches to Software Construction (WNASC2005)   115-120   Sep 2005
A Constraint Programming Technique for Web Document Layout
Hiroshi Hosobe
Proceedings of the 22nd JSSST Conference   (6A-3) 1-4   Sep 2005
A High-Dimensional Approach to the Interactive Visualization of General Undirected Graphs
Hiroshi Hosobe
Journal of the IPSJ   46(7) 1536-1547   Jul 2005   [Refereed]
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   2 1252-1253   Mar 2005   [Refereed]
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   45 15-20   Jan 2005   [Refereed]
Constructing Visualization Models by Constraint Programming
Hiroshi Hosobe
Proceedings of the 21st JSSST Conference   (6B-1) 1-4   Sep 2004
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   2 1253-1257   Mar 2004   [Refereed]
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   1 16-20   Mar 2004   [Refereed]
Interactive Graph Layout Using High Dimensions
Hiroshi Hosobe
Proceedings of the 11th Workshop on Interactive Systems and Software (WISS2003), JSSST SIG Proceedings Series   (25) 57-66   Dec 2003   [Refereed]
Speculative Constraint Processing in Multi-Agent Systems
Ken Satoh, Philippe Codognet, and Hiroshi Hosobe
Jaeho Lee and Mike Barley (Eds.), Intelligent Agents and Multi-Agent Systems--PRIMA2003, Lecture Notes in Artificial Intelligence   2891 133-144   Nov 2003   [Refereed]
Hierarchical Geometric Constraint Satisfaction for Interactive Graphical Applications
Hiroshi Hosobe
Proceedings of the 20th Anniversary JSSST Conference   (5D-4) 1-4   Sep 2003
Visualization of Graphs by Using Their High-Dimensional Layouts
Hiroshi Hosobe
Proceedings of the 65th IPSJ Conference   4 63-64   Mar 2003
Geometric Constraint Satisfaction for Interactive 3D Applications
Hiroshi Hosobe
Journal of the IPSJ   44(2) 486-495   Feb 2003   [Refereed]
A Foundation of Solution Methods for Constraint Hierarchies
Hiroshi Hosobe and Satoshi Matsuoka
Constraints--An International Journal   8(1) 41-59   Jan 2003   [Refereed]
A Linear Equality and Inequality Constraint Solver for User Interfaces
Hiroshi Hosobe
Computer Software   19(6) 13-20   Nov 2002   [Refereed]

Misc

 
特集「ソフトウェア論文」の編集にあたって
石川冬樹, 馬谷誠二, 小宮常康, 林晋平, 細部博史, 横山大作
コンピュータソフトウェア   33(4) 3-3   Oct 2016
特集「ソフトウェア論文」の編集にあたって
馬谷誠二, 河野恭之, 小宮常康, 権藤克彦, 細部博史, 横山大作
コンピュータソフトウェア   32(4) 2-2   Oct 2015
特集「ソフトウェア論文」の編集にあたって
馬谷誠二, 河野恭之, 小宮常康, 権藤克彦, 細部博史, 横山大作
コンピュータソフトウェア   31(4) 2-2   Oct 2014
日本ソフトウェア科学会30周年特集の編集にあたって
田中二郎, 細部博史, 吉岡信和
コンピュータソフトウェア   31(2) 2-2   Apr 2014
A Numerical Computation-Based Method for Visualizing Graphs (abstract)
Hiroshi Hosobe
Computer Visualization--Concepts and Challenges, NII Shonan Meeting Report   (Jan-14) 13-13   Mar 2014   [Invited]

Conference Activities & Talks

 
シンプルかつ明確な制約階層の再定式化に向けて
細部博史
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)   Mar 2017   日本ソフトウェア科学会
Interactive High-Dimensional Visualization of Social Graphs
Ken Wakita, Takami Masanori, and 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, and Tsuyoshi Murata
Workshop on Social Media Visualization (SocMedVis) at ICWSM-12   Jun 2012   

Books etc

 
シミュレーション辞典
日本シミュレーション学会(編) (Part:Joint Work, 情報可視化のユーザインタラクション)
コロナ社   Feb 2012   
Autonomous Robots--From Biological Inspiration to Implementation and Control
George A. Bekey (author); Kouichi Matsuda and Hiroshi Hosobe (translators) (Part:Joint Translation)
Mainichi Communications   Dec 2006   
3D User Interrfaces--Theory and Practice
Doug A. Bowman, Ernst Kruijff, Joseph J. LaViola, Jr., Ivan Poupyrev (authors); Kouichi Matsuda, Hiroshi Hosobe, and Tetsuo Yutani (translators) (Part:Joint Translation)
Maruzen   Sep 2005   
The Essential Guide to Wireless Communications Applications--From Cellular Systems to WAP and M-Commerce
Andy Dornan (author); Kouichi Matsuda, Hiroshi Hosobe, and Tetsuo Yutani (translators) (Part:Joint Translation)
Serendip/Shogakukan   Mar 2002   
Digital Character Animation
George Maestri (author); Kouichi Matsuda and Hiroshi Hosobe (translators) (Part:Joint Translation)
Prentice Hall Japan   Mar 1999   
Research on Next-Generation Human Interface Technology--Report for the Fiscal Year 2002
Hideyuki Tokuda et al. (coauthored) (Part:Joint Work, 4.3.2. Transcoding)
New Energy and Industrial Technology Development Organization, NEDO (entrusted to Systems Research & Development Institute of Japan)   Mar 2003   
Eisuke Naito (project leader); Hiroshi Hosobe (editor) (Part:Editor)
National Institute of Informatics   Mar 2002   ISBN:4-86049-008-8

Works

 
Enhancing and Porting an Efficient Constraint Solver for Hierarchical Linear Systems (Extended ICOT Free Software)
Satoshi Matsuoka and Hiroshi Hosobe   Software   Mar 1999
Development of an Efficient Solver for Hierarchical Linear Systems (Extended ICOT Free Software)
Satoshi Matsuoka and Hiroshi Hosobe   Software   Mar 1998

Research Grants & Projects

 
リアクティブプログラミングのための高信頼化技術
Project Year: Apr 2017 - Mar 2021
柔らかい制約を用いた自動デバッグ方式
Project Year: Apr 2016 - Mar 2019
柔らかい制約を用いた自動デバッグ方式
Project Year: Apr 2012 - Mar 2016
メディアアートのための制約プログラミング環境
Project Year: Apr 2013 - Mar 2016
ソフト連続制約の分散協調解消系
Project Year: Apr 2005 - Mar 2008
確率的システムを対象とした高水準制約プログラミング言語
Project Year: Apr 2009 - Mar 2012
制約プログラミングによる視覚化モデルの形式化と実現
Project Year: Apr 2004 - Mar 2006
高次元アプローチによるグラフ構造型情報の対話的視覚化法の研究
栢森情報科学振興財団: 
Project Year: Apr 2003 - Mar 2004
力学的アプローチによる柔らかい制約システムの研究
Project Year: Apr 2002 - Mar 2005
階層的優先度を伴った非線形制約システムの解析と視覚的インターフェースへの応用
稲盛財団: 
Project Year: Apr 2002 - Mar 2003
大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術
Project Year: Apr 2000 - Mar 2002
制約プログラミングによる仮想空間構築法の研究
大川情報通信基金: 
Project Year: Apr 2000 - Mar 2001
効率的な制約命令型言語処理系の研究・開発とGUIへの応用
Project Year: Apr 1997 - Mar 1999

Teaching Experience

 
  • Software Sciences I (Department of Informatics, Graduate University for Advanced Studies (SOKENDAI))
  • Constraint Programming (Department of Informatics, Graduate University for Advanced Studies (SOKENDAI))
  • Constraint Programming (School of Information Science, Japan Advanced Institute of Science and Technology (JAIST))
  • User Interfaces (Department of Mathematical and Computing Sciences, Tokyo Institute of Technology)
  • LISP Laboratory Work (Faculty of Computer and Information Sciences, Hosei University)