• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

HOSOBE Hiroshi  細部 博史

ORCIDConnect your ORCID iD *help
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
  • Research Projects

    (16 results)
  • Research Products

    (105 results)
  • Co-Researchers

    (12 People)
  •  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

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2012 2011 2010 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation

  • [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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi