• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

細部 博史  HOSOBE Hiroshi

ORCIDORCID連携する *注記
研究者番号 60321577
その他のID
外部サイト
所属 (現在) 2025年度: 法政大学, 情報科学部, 教授
所属 (過去の研究課題情報に基づく) *注記 2013年度 – 2024年度: 法政大学, 情報科学部, 教授
2009年度 – 2012年度: 国立情報学研究所, アーキテクチャ科学研究系, 准教授
2007年度: 国立情報学研究所, アーキテクチャ科学研究系, 准教授
2006年度: 国立情報学研究所, アーキテクチャ科学研究系, 助教授
2003年度 – 2005年度: 国立情報学研究所, 実証研究センター, 助教授
2000年度 – 2002年度: 国立情報学研究所, ソフトウェア研究系, 助手
2001年度: 国立情報学研究所, 知能システム研究系, 助手
審査区分/研究分野
研究代表者
ソフトウエア / ソフトウェア / 小区分60050:ソフトウェア関連 / 計算機科学 / 理工系
研究代表者以外
ソフトウエア / ソフトウェア / 情報システム学(含情報図書館学)
キーワード
研究代表者
制約プログラミング / ソフトウェア / 制約 / ソフト制約 / デバッグ / 視覚化 / ユーザインタフェース / リアクティブシステム / プログラミング / 情報可視化 … もっと見る / リアクティブプログラミング / 高信頼化 / メディアアート / プログラミング環境 / プログラム処理系 / ソフトウェア学 / 確率的システム / 分散計算 / グラフィカルユーザーインターフェース / 制約解消 … もっと見る
研究代表者以外
ハイブリッドシステム / 並列処理 / モデル検査 / 言語処理系 / 高水準モデリング言語 / Web Services / Information Systems / Coloured Petri Net / Deontic Logic / Process Algebra / Software Agent / evolutional architecture / Security Policy / XML / 企業情報システム / プロセス論理 / ペリネット / ワークフロー / 検証 / 競合解消 / 交渉 / ネットワーク管理ポリシ / Webサービス / 情報システム / カラーペトリネット / 義務論理 / プロセス代数 / エージェント / 進化型アーキテクチャ / セキュリティポリシ / ハイプリッドシステム / システム検証 / 制約 / 高信頼計算 / モデリング言語 隠す
  • 研究課題

    (16件)
  • 研究成果

    (105件)
  • 共同研究者

    (12人)
  •  リアクティブシステムのためのノートブック型プログラミング方式研究代表者

    • 研究代表者
      細部 博史
    • 研究期間 (年度)
      2024 – 2026
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      法政大学
  •  制約とイベントの概念に基づく情報可視化向けプログラミング技術研究代表者

    • 研究代表者
      細部 博史
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      法政大学
  •  リアクティブプログラミングのための高信頼化技術研究代表者

    • 研究代表者
      細部 博史
    • 研究期間 (年度)
      2017 – 2020
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      法政大学
  •  柔らかい制約を用いた自動デバッグ方式(国際共同研究強化)研究代表者

    • 研究代表者
      細部 博史
    • 研究期間 (年度)
      2016 – 2019
    • 研究種目
      国際共同研究加速基金(国際共同研究強化)
    • 研究分野
      ソフトウエア
    • 研究機関
      法政大学
  •  対話型視覚的アプリケーションのための制約命令型プログラミング言語研究代表者

    • 研究代表者
      細部 博史
    • 研究期間 (年度)
      2016 – 2018
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      法政大学
  •  検証系を備えた高水準モデリング言語処理系の実装技術の深化

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      早稲田大学
  •  メディアアートのための制約プログラミング環境研究代表者

    • 研究代表者
      細部 博史
    • 研究期間 (年度)
      2013 – 2016
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      ソフトウェア
    • 研究機関
      法政大学
  •  柔らかい制約を用いた自動デバッグ方式研究代表者

    • 研究代表者
      細部 博史
    • 研究期間 (年度)
      2012 – 2016
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      法政大学
      国立情報学研究所
  •  高性能検証系を統合した高水準モデリング言語処理系の構築

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      早稲田大学
  •  確率的システムを対象とした高水準制約プログラミング言語研究代表者

    • 研究代表者
      細部 博史
    • 研究期間 (年度)
      2009 – 2011
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      国立情報学研究所
  •  高水準ハイブリッド制約モデリング言語とその高信頼実装

    • 研究代表者
      上田 和紀
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      早稲田大学
  •  ソフト連続制約の分散協調解消系研究代表者

    • 研究代表者
      細部 博史
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      若手研究(A)
    • 研究分野
      ソフトウエア
    • 研究機関
      国立情報学研究所
  •  制約プログラミングによる視覚化モデルの形式化と実現研究代表者

    • 研究代表者
      細部 博史
    • 研究期間 (年度)
      2004 – 2005
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      国立情報学研究所
  •  力学的アプローチによる柔らかい制約システムの研究研究代表者

    • 研究代表者
      細部 博史
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      若手研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      国立情報学研究所
  •  進化型エージェントアーキテクチャによる組織構造に基づいたセキュリティの実現

    • 研究代表者
      飯島 正
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報システム学(含情報図書館学)
    • 研究機関
      慶應義塾大学
  •  大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術研究代表者

    • 研究代表者
      細部 博史
    • 研究期間 (年度)
      2000 – 2001
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      国立情報学研究所

すべて 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2012 2011 2010 2009 2008 2007 2006 2005 2004 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] Supporting Nail Art Consultation by Automatic Image Selection and Visual Information Sharing2023

    • 著者名/発表者名
      Yoshino Minakawa and Hiroshi Hosobe
    • 雑誌名

      Communications in Computer and Information Science (HCI International 2023)

      巻: 1834 ページ: 110-117

    • DOI

      10.1007/978-3-031-35998-9_16

    • ISBN
      9783031359972, 9783031359989
    • 査読あり
    • データソース
      KAKENHI-PROJECT-21K11836
  • [雑誌論文] A Hand Gesture-Based Authentication Method That Makes Forgery Difficult2022

    • 著者名/発表者名
      Hideaki Terui and Hiroshi Hosobe
    • 雑誌名

      Lecture Notes in Computer Science (HCI International 2022)

      巻: 13333 ページ: 268-279

    • DOI

      10.1007/978-3-031-05563-8_18

    • ISBN
      9783031055621, 9783031055638
    • 査読あり
    • データソース
      KAKENHI-PROJECT-21K11836
  • [雑誌論文] A Video Game-Like Approach to Supporting Novices in Learning Programming2021

    • 著者名/発表者名
      Ami Sakakibara and Hiroshi Hosobe
    • 雑誌名

      Lecture Notes in Computer Science (HCI International 2021)

      巻: 12785 ページ: 84-93

    • DOI

      10.1007/978-3-030-77943-6_6

    • ISBN
      9783030779429, 9783030779436
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H01726
  • [雑誌論文] Solving Hierarchical Soft Constraints with an SMT Solver2020

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 12th International Conference on Computer and Automation Engineering (ICCAE2020)

      巻: - ページ: 42-46

    • DOI

      10.1145/3384613.3384654

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15KK0016
  • [雑誌論文] Testing Event-Driven Programs in Processing2020

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 2020 European Symposium on Software Engineering (ESSE2020)

      巻: - ページ: 6-11

    • DOI

      10.1145/3393822.3432338

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H01726
  • [雑誌論文] A Graph-Based Visualization of Time-Series Information in Multiple Texts2018

    • 著者名/発表者名
      Hironari Kawada, Mina Akaishi, and Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 22nd International Conference on Information Visualisation (IV2018)

      巻: - ページ: 44-49

    • DOI

      10.1109/iv.2018.00018

    • NAID

      130007423821

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H01726
  • [雑誌論文] A Japanese Software Keyboard for Tablets That Reduces User Fatigue2018

    • 著者名/発表者名
      Teppei Yajima and Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 42nd IEEE International Conference on Computers, Software and Applications (COMPSAC2018)

      巻: - ページ: 339-346

    • DOI

      10.1109/compsac.2018.00054

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15KK0016
  • [雑誌論文] A 2-by-6-Button Japanese Software Keyboard for Tablets2018

    • 著者名/発表者名
      Kei Takei and Hiroshi Hosobe
    • 雑誌名

      Proceedings of VISIGRAPP2018

      巻: 2 ページ: 147-154

    • DOI

      10.5220/0006652701470154

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15KK0016
  • [雑誌論文] Toward an Efficient User Interface for Block-Based Visual Programming2018

    • 著者名/発表者名
      Yota Inayama and Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC2018)

      巻: - ページ: 293-294

    • DOI

      10.1109/vlhcc.2018.8506530

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H01726
  • [雑誌論文] A Hand Gesture-Based Method for Biometric Authentication2018

    • 著者名/発表者名
      Satoru Imura and Hiroshi Hosobe
    • 雑誌名

      Lecture Notes in Computer Science (HCI International 2018)

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15KK0016
  • [雑誌論文] 時系列ニュースの話題性の可視化2017

    • 著者名/発表者名
      中山豪, 細部博史
    • 雑誌名

      第9回データ工学と情報マネジメントに関するフォーラム(DEIM2017)論文集

      巻: E6-4 ページ: 1-6

    • 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-25540029
  • [雑誌論文] 点対称の像を用いた追跡問題のQ学習の高速化2017

    • 著者名/発表者名
      飯岡徹人, 細部博史
    • 雑誌名

      人工知能基本問題研究会(SIG-FPAI)資料

      巻: 103 ページ: 7-11

    • 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24300010
  • [雑誌論文] 抽象化とメディア変換に基づくネットワーク型パズルの提案と可視化2017

    • 著者名/発表者名
      保里和樹, 細部博史
    • 雑誌名

      情報処理学会研究報告:ヒューマンコンピュータインタラクション(HCI)

      巻: 172(26) ページ: 1-7

    • 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25540029
  • [雑誌論文] Toward a New Constraint Imperative Programming Language for Interactive Graphics2016

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Companion Proceedings of the 15th International Conference on Modularity (Modularity2016)

      巻: - ページ: 34-35

    • DOI

      10.1145/2892664.2892668

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25540029
  • [雑誌論文] Biometric Authentication Using the Motion of a Hand2016

    • 著者名/発表者名
      Satoru Imura and Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 4th ACM Symposium on Spatial User Interaction (SUI2016)

      巻: - ページ: 221-221

    • DOI

      10.1145/2983310.2989210

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25540029
  • [雑誌論文] A Programming Environment for Visual Block-Based Domain-Specific Languages2015

    • 著者名/発表者名
      Azusa Kurihara, Akira Sasaki, Ken Wakita, and Hiroshi Hosobe
    • 雑誌名

      Procedia Computer Science (SCSE2015)

      巻: -

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25540029
  • [雑誌論文] A Mouse-Like Hands-Free Gesture Technique for Two-Dimensional Pointing2015

    • 著者名/発表者名
      Yusaku Yokouchi and Hiroshi Hosobe
    • 雑誌名

      Communications in Computer and Information Science (HCI International 2015)

      巻: 528 ページ: 558-563

    • DOI

      10.1007/978-3-319-21380-4_95

    • ISBN
      9783319213798, 9783319213804
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25540029
  • [雑誌論文] A Hierarchical Method for Solving Soft Nonlinear Constraints2015

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Procedia Computer Science (SCSE2015)

      巻: -

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25540029
  • [雑誌論文] Hardened Flow-sensitive Trace Formula for Fault Localization2015

    • 著者名/発表者名
      Si-Mohamed Lamraoui, Shin Nakajima, and Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS2015)

      巻: - ページ: 50-59

    • DOI

      10.1109/iceccs.2015.16

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24300010
  • [雑誌論文] A High-Level Language for Hybrid Systems2012

    • 著者名/発表者名
      K. Ueda, S. Matsumoto, A. Takeguchi, H. Hosobe, and D. Ishii. HydLa
    • 雑誌名

      In Logics for System Analysis Workshop (LfSA)

      ページ: 3-17

    • URL

      http://www.ls.cs.cmu.edu/LfSA12/LfSA12.pdf

    • データソース
      KAKENHI-PROJECT-23300011
  • [雑誌論文] ハイブリッドシステムモデリング言語HydLaの実行アルゴリズム2011

    • 著者名/発表者名
      渋谷俊, 高田賢士郎, 細部博史, 上田和紀
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 28 号: 3 ページ: 167-172

    • DOI

      10.11309/jssst.28.3_167

    • NAID

      130004892187

    • ISSN
      0289-6540
    • 査読あり
    • データソース
      KAKENHI-PROJECT-23300011
  • [雑誌論文] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011

    • 著者名/発表者名
      石井大輔、上田和紀、細部博史
    • 雑誌名

      International Journal on Software Tools for Technology Transfer (STTT)

      巻: 13 号: 5 ページ: 449-461

    • DOI

      10.1007/s10009-011-0193-y

    • 査読あり
    • データソース
      KAKENHI-PROJECT-11J03810, KAKENHI-PROJECT-23300011
  • [雑誌論文] ハイブリッド制約言語HydLaの宣言的意味論2011

    • 著者名/発表者名
      上田和紀, 細部博史, 石井大輔
    • 雑誌名

      コンピュータソフトウェア

      巻: Vol.28, No.1 ページ: 306-311

    • NAID

      130004892168

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] ハイブリッド制約言語HydLaの宣言的意味論2011

    • 著者名/発表者名
      上田和紀,細部博史,石井大輔
    • 雑誌名

      コンピュータソフトウェア Vol.28, No.1

      ページ: 306-311

    • NAID

      130004892168

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2011

    • 著者名/発表者名
      渋谷俊, 高田賢士郎, 細部博史, 上田和紀
    • 雑誌名

      コンピュータソフトウェア

      巻: Vol.28, No.2(未定)

    • NAID

      40020657265

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2011

    • 著者名/発表者名
      渋谷俊,高田賢士郎,細部博史,上田和紀
    • 雑誌名

      コンピュータソフトウェア Vol.28, No.3(掲載決定)

    • NAID

      40020657265

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2011

    • 著者名/発表者名
      石井大輔, 上田和紀, 細部博史
    • 雑誌名

      Int.J.Softw.Tools.Technol.Transfer Vol.13(掲載決定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] A Simplex-Based Scalable Linear Constraint Solver for User Interface Applications2011

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence

      ページ: 793-798

    • DOI

      10.1109/ictai.2011.124

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700046
  • [雑誌論文] Including Ordinary Differential Equations Based Constraints in the Standard CP Framework2010

    • 著者名/発表者名
      Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, and Hiroshi Hosobe
    • 雑誌名

      Lecture Notes in Computer Science

      巻: Vol.6308 ページ: 221-235

    • DOI

      10.1007/978-3-642-15396-9_20

    • ISBN
      9783642153952, 9783642153969
    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700046
  • [雑誌論文] Including Ordinary Differential Equations Based Constraints in the Standard CP Framework2010

    • 著者名/発表者名
      Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 6308 ページ: 221-235

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700046
  • [雑誌論文] Constraint Hierarchies as Semiring-Based CSPs2009

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 21st IEEE International Conference on Tools with Artificial Intelligence

      ページ: 176-183

    • DOI

      10.1109/ictai.2009.43

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700046
  • [雑誌論文] A Constraint Hierarchies Approach to Geometric Constraints on Sketches2008

    • 著者名/発表者名
      Christophe Jermann and Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 23rd Annual ACM Symposium on Applied Computing(SAC2008) 3

      ページ: 1843-1844

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17680002
  • [雑誌論文] Une approche orientee hierarchie de contraintes pour la resolution de problemes de contraintes geometrigues2008

    • 著者名/発表者名
      Christophe Jermann and Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 7th International Conference of Modeling and Simulation(MOSIM08)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17680002
  • [雑誌論文] ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法2008

    • 著者名/発表者名
      石井大輔, 上田和紀, 細部博史
    • 雑誌名

      情報処理学会論文誌数理モデル化と応用 1(1)

      ページ: 149-159

    • NAID

      110006827845

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法2008

    • 著者名/発表者名
      石井大輔,上田和紀,細部博史
    • 雑誌名

      情報処理学会論文誌数理モデル化と応用 Vol.1, No.1

      ページ: 149-159

    • NAID

      110006827845

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300013
  • [雑誌論文] Analysis of a High-Dimensional Approach to Interactive Graph Drawing2007

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Proceedings of the Asia-Pacific Symposium on Visualisation 2007 (APVIS2007)

      ページ: 93-96

    • データソース
      KAKENHI-PROJECT-17680002
  • [雑誌論文] 階層的優先度を備えた非線形制約の解消法2007

    • 著者名/発表者名
      細部博史
    • 雑誌名

      日本ソフトウェア科学会第24回大会論文集

    • NAID

      40022087496

    • データソース
      KAKENHI-PROJECT-17680002
  • [雑誌論文] DuPlex : A Linear and One-Way Constraint Solver for Web Document Layout2006

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 1st International Workshop on Constraint Programming for Graphical Applications (CPGA2006)

      ページ: 17-25

    • データソース
      KAKENHI-PROJECT-17680002
  • [雑誌論文] Franco-Japanese Research Collaboration on Constraint Programming2006

    • 著者名/発表者名
      Frederic Benhamou, Martine Ceberio, Philippe Codognet, Hiroshi Hosobe, Christophe Jermann, Ken Satoh, Kazunori Ueda
    • 雑誌名

      Progress in Informatics 3

    • NAID

      110004652521

    • データソース
      KAKENHI-PROJECT-17680002
  • [雑誌論文] Speculative Constraint Processing with Iterative Revision for Disjunctive Answers2006

    • 著者名/発表者名
      Martine Ceberio, Hiroshi Hosobe, Ken Satoh
    • 雑誌名

      Lecture Notes in Artificial Intelligence 3900

      ページ: 340-357

    • データソース
      KAKENHI-PROJECT-17680002
  • [雑誌論文] Through-the-Lens Cinematography2006

    • 著者名/発表者名
      Marc Christie, Hiroshi Hosobe
    • 雑誌名

      Lecture Notes in Computer Science 4073

      ページ: 147-159

    • データソース
      KAKENHI-PROJECT-17680002
  • [雑誌論文] A Constraint Solving Algorithm for Web Document Layout2005

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      2nd Franco-Japanese Workshop on Constraint Programming(FJCP2005)

    • データソース
      KAKENHI-PROJECT-16016286
  • [雑誌論文] An Extended High-Dimensional Method for Interactive Graph Drawing2005

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Conferences in Research and Practice in Information Technology (Proceedings of APVIS2005) 45

      ページ: 15-20

    • データソース
      KAKENHI-PROJECT-14780248
  • [雑誌論文] Solving Linear and One-Way Constraints for Web Document Layout2005

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC2005) 2

      ページ: 1252-1253

    • データソース
      KAKENHI-PROJECT-16016286
  • [雑誌論文] An Extended High-Dimensional Method for Interactive Graph Drawing2005

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Conferences in Research and Practice in Information Technology (Proceedings of APVIS2005) 45

      ページ: 15-20

    • データソース
      KAKENHI-PROJECT-16016286
  • [雑誌論文] Solving Linear and One-Way Constraints for Web Document Layout2005

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC2005) 2

      ページ: 1252-1253

    • データソース
      KAKENHI-PROJECT-14780248
  • [雑誌論文] 高次元アプローチによる一般無向グラフの対話的視覚化法2005

    • 著者名/発表者名
      細部 博史
    • 雑誌名

      情報処理学会論文誌 46・7

      ページ: 1536-1547

    • NAID

      110002768661

    • データソース
      KAKENHI-PROJECT-16016286
  • [雑誌論文] Solving Constraints for Web Document Layout2005

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Proceedings of the Workshop on New Approaches to Software Construction 2005(WNASC2005)

      ページ: 115-120

    • データソース
      KAKENHI-PROJECT-16016286
  • [雑誌論文] Web文書配置のための制約プログラミング手法2005

    • 著者名/発表者名
      細部 博史
    • 雑誌名

      日本ソフトウェア科学会第22回大会論文集

    • NAID

      130004638904

    • データソース
      KAKENHI-PROJECT-16016286
  • [雑誌論文] Constraint Solvers for Graphical User Interface Applications2004

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Franco-Japanese Workshop on Constraint Programming

    • データソース
      KAKENHI-PROJECT-14780248
  • [雑誌論文] 制約プログラミングによる視覚化モデルの構築2004

    • 著者名/発表者名
      細部博史
    • 雑誌名

      日本ソフトウェア科学会第21回大会

    • NAID

      130005006634

    • データソース
      KAKENHI-PROJECT-16016286
  • [雑誌論文] 制約プログラミングによる視覚化モデルの構築2004

    • 著者名/発表者名
      細部博史
    • 雑誌名

      日本ソフトウェア科学会第21回大会

    • NAID

      130005006634

    • データソース
      KAKENHI-PROJECT-14780248
  • [雑誌論文] Constraint Solvers for Graphical User Interface Applications2004

    • 著者名/発表者名
      Hiroshi Hosobe
    • 雑誌名

      Franco-Japanese Workshop on Constraint programming

    • データソース
      KAKENHI-PROJECT-16016286
  • [学会発表] データ駆動文書のためのAPIの改良2022

    • 著者名/発表者名
      細部博史
    • 学会等名
      第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022)
    • データソース
      KAKENHI-PROJECT-17H01726
  • [学会発表] A Tool for Testing Event-Driven Programs in Processing2020

    • 著者名/発表者名
      Hiroshi Hosobe
    • 学会等名
      3rd International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01726
  • [学会発表] イベント駆動に基づくProcessingプログラムのユニットテスト手法2020

    • 著者名/発表者名
      細部博史
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会(2020-03-SS)
    • データソース
      KAKENHI-PROJECT-17H01726
  • [学会発表] Processingプログラムにおけるイベント処理のユニットテスト手法2020

    • 著者名/発表者名
      細部博史
    • 学会等名
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)
    • データソース
      KAKENHI-PROJECT-17H01726
  • [学会発表] SMTソルバーを用いた制約階層解消法2020

    • 著者名/発表者名
      細部博史
    • 学会等名
      人工知能学会第112回人工知能基本問題研究会
    • データソース
      KAKENHI-PROJECT-15KK0016
  • [学会発表] 有向グラフとCoordinated Multiple Viewsによる時系列情報の可視化2019

    • 著者名/発表者名
      河田裕成, 細部博史, 赤石美奈
    • 学会等名
      情報処理学会第81回全国大会
    • データソース
      KAKENHI-PROJECT-17H01726
  • [学会発表] 変換画像の同時学習によるICMの改良2019

    • 著者名/発表者名
      飯岡徹人, 若原徹, 細部博史
    • 学会等名
      人工知能学会第109回人工知能基本問題研究会
    • データソース
      KAKENHI-PROJECT-17H01726
  • [学会発表] ソフト制約のモデル化・解決とその応用2019

    • 著者名/発表者名
      細部博史
    • 学会等名
      人工知能学会第109回人工知能基本問題研究会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15KK0016
  • [学会発表] シンプルかつ明確な制約階層の再定式化に向けて2017

    • 著者名/発表者名
      細部博史
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)
    • 発表場所
      華やぎの章慶山(山梨県笛吹市)
    • 年月日
      2017-03-08
    • データソース
      KAKENHI-PROJECT-24300010
  • [学会発表] 対話型視覚的アプリケーションのための制約命令型プログラミング言語2015

    • 著者名/発表者名
      細部博史
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学西早稲田キャンパス(東京都・新宿区)
    • 年月日
      2015-09-08
    • データソース
      KAKENHI-PROJECT-25540029
  • [学会発表] A Numerical Optimization-Based Method for Visualizing Graphs2014

    • 著者名/発表者名
      Hiroshi Hosobe
    • 学会等名
      Computer Visualization--Concepts and Challenges
    • 発表場所
      Shonan Village Center, Kanagawa, Japan
    • データソース
      KAKENHI-PROJECT-25540029
  • [学会発表] ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換アルゴリズム2012

    • 著者名/発表者名
      竹口輝, 和田亮, 松本翔太, 細部博史, 上田和紀
    • 学会等名
      日本ソフトウェア科学会第29回大会論文集
    • 発表場所
      東京
    • 年月日
      2012-08-22
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Hybrid Constraint Language HydLa and Its Implementation2012

    • 著者名/発表者名
      Shota Matsumoto, Akira Takeguchi, Kazunori Ueda and Hiroshi Hosobe
    • 学会等名
      The 15th International Conference on Hybrid Systems : Computation and Control (HSCC 2012)
    • 発表場所
      Beijing
    • 年月日
      2012-04-17
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] A Constraint-Based Approach to Error Localization2012

    • 著者名/発表者名
      Hiroshi Hosobe, Shin Nakajima, Michel Rueher
    • 学会等名
      Fifth CSPSAT & ASP Seminar
    • 発表場所
      神戸大学
    • 年月日
      2012-10-11
    • データソース
      KAKENHI-PROJECT-24300010
  • [学会発表] 確率的制約充足問題への統計的アプローチ2012

    • 著者名/発表者名
      細部博史
    • 学会等名
      第12回CSPSAT研究会
    • 発表場所
      湯布院公民館(大分県)
    • 年月日
      2012-03-19
    • データソース
      KAKENHI-PROJECT-21700046
  • [学会発表] ハイブリッドシステムモデリング言語HydLaの数式処理実行系2011

    • 著者名/発表者名
      高田賢士郎, 渋谷俊, 細部博史, 上田和紀
    • 学会等名
      情報処理学会第73回全国大会
    • 発表場所
      東工大大岡山キャンパス
    • 年月日
      2011-03-02
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLaの実装2011

    • 著者名/発表者名
      松本翔太, 桜庭翔, 高田賢士郎, 細部博史, 上田和紀
    • 学会等名
      日本ソフトウェア科学会大会第28回大会
    • 発表場所
      那覇(沖縄県)
    • 年月日
      2011-09-29
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] Simulation with Guaranteed Accuracy Using Hybrid System Modeling Language HydLa2011

    • 著者名/発表者名
      K.Sakuraba, K.Ueda, H.Hosobe, S.Shibuya, S.Matsumoto
    • 学会等名
      The Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011)
    • 発表場所
      Kenting (Taiwan)
    • 年月日
      2011-12-06
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] ハイブリッドシステムモデリング言語HydLaの数式処理実行系2011

    • 著者名/発表者名
      高田賢士郎,渋谷俊,細部博史,上田和紀
    • 学会等名
      情報処理学会第73回全国大会
    • 年月日
      2011-03-02
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLaの処理系による非決定性の扱い2011

    • 著者名/発表者名
      松本翔太,高田賢士郎,細部博史,上田和紀
    • 学会等名
      第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
    • 発表場所
      札幌
    • 年月日
      2011-03-09
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語 HydLa の区間制約に基づく全解シミュレーション実行処理系2010

    • 著者名/発表者名
      大谷順司, 廣瀬賢一, 石井大輔, 細部博史, 上田和紀
    • 学会等名
      情報処理学会創立50周年記念(第72回)全国大会
    • 発表場所
      東京大学
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLaの統合処理系2010

    • 著者名/発表者名
      高田賢士郎,廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
    • 学会等名
      第12回プログラミングおよびプログラミング言語ワークショップ(PPL'10)
    • 発表場所
      香川県琴平温泉
    • 年月日
      2010-03-04
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッド制約言語HydLaの宣言的意味論2010

    • 著者名/発表者名
      上田和紀,細部博史,石井大輔
    • 学会等名
      日本ソフトウェア科学会第27回大会
    • 発表場所
      津田塾大学
    • 年月日
      2010-09-14
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2010

    • 著者名/発表者名
      渋谷俊,高田賢士郎,細部博史,上田和紀
    • 学会等名
      日本ソフトウェア科学会第27回大会
    • 発表場所
      津田塾大学
    • 年月日
      2010-09-13
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語 HydLa の統合処理系2010

    • 著者名/発表者名
      高田賢士郎, 廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
    • 学会等名
      第12回プログラミングおよびプログラミング言語ワークショップ(PPL'10)
    • 発表場所
      香川県琴平温泉
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLa処理系の実行アルゴリズムの検討2010

    • 著者名/発表者名
      渋谷俊,高田賢士郎,上田和紀,細部博史
    • 学会等名
      第8回ディペンダブルシステムワークショップ
    • 発表場所
      函館
    • 年月日
      2010-07-22
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系2010

    • 著者名/発表者名
      大谷順司,廣瀬賢一,石井大輔,細部博史,上田和紀
    • 学会等名
      情報処理学会創立50周年記念(第72回)全国大会
    • 発表場所
      東京大学
    • 年月日
      2010-03-09
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッド制約言語HydLaの宣言的意味論2010

    • 著者名/発表者名
      上田和紀, 細部博史, 石井大輔
    • 学会等名
      日本ソフトウェア科学会第27回大会論文集
    • 発表場所
      津田塾大学
    • 年月日
      2010-09-14
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムモデリング言語HydLa処理系における実行アルゴリズム2010

    • 著者名/発表者名
      渋谷俊, 高田賢士郎, 細部博史, 上田和紀
    • 学会等名
      日本ソフトウェア科学会第27回大会論文集
    • 発表場所
      津田塾大学
    • 年月日
      2010-09-13
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2009

    • 著者名/発表者名
      Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe
    • 学会等名
      Workshop on Verified Software : Theory, Tools, and Experiments(VSTTE'09)
    • 発表場所
      オランダ・アイントホーフェン
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] Simulation of Hybrid Systems based on Hierarchical Interval Constraints2009

    • 著者名/発表者名
      D. Ishii, K. Ueda, H. Hosobe
    • 学会等名
      2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)
    • 発表場所
      イタリア・ローマ
    • 年月日
      2009-03-04
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 微分制約論理式によるハイブリッドシステムのモデリングと検証2009

    • 著者名/発表者名
      石井大輔,上田和紀,細部博史
    • 学会等名
      電子情報通信学会コンカレント工学研究会
    • 発表場所
      横浜
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装2009

    • 著者名/発表者名
      廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
    • 学会等名
      第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
    • 発表場所
      高山
    • 年月日
      2009-03-10
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] Simulation of Hybrid Systems based on Hierarchical Interval Constraints2009

    • 著者名/発表者名
      石井大輔, 上田和紀, 細部博史
    • 学会等名
      2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)
    • 発表場所
      ローマ
    • 年月日
      2009-03-04
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] Alexandre Goldsztejn, Interval-based Solving of Hybrid Constraint Systems2009

    • 著者名/発表者名
      石井大輔, 上田和紀, 細部博史
    • 学会等名
      The 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09)
    • 発表場所
      スペイン・サラゴサ
    • 年月日
      2009-09-17
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装2009

    • 著者名/発表者名
      廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
    • 学会等名
      第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
    • 発表場所
      岐阜県・高山市
    • 年月日
      2009-03-10
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] Interval-based Solving of Hybrid Constraint Systems2009

    • 著者名/発表者名
      Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn
    • 学会等名
      The 3rd IFAC Conference on Analysis and Design of Hybrid Systems(ADHS'09)
    • 発表場所
      スペイン・サラゴサ
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約階層によるハイブリッドシステムのモデリング手法2009

    • 著者名/発表者名
      廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀
    • 学会等名
      日本ソフトウェア科学会第26回大会
    • 発表場所
      島根大学
    • 年月日
      2009-09-16
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] An Interval-based SAT Modulo ODE Solver for Model Checking Nonlinear Hybrid Systems2009

    • 著者名/発表者名
      石井大輔, 上田和紀, 細部博史
    • 学会等名
      Workshop on Verified Software : Theory, Tools, and Experiments (VSTTE'09)
    • 発表場所
      オランダ・アイントホーフェン
    • 年月日
      2009-11-02
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約概念に基づくハイブリッドシステムモデリング言語2008

    • 著者名/発表者名
      上田和紀,石井大輔,細部博史
    • 学会等名
      日本ソフトウェア科学会第25回大会
    • 発表場所
      筑波大学
    • 年月日
      2008-09-11
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約概念に基づくハイブリッドシステムモデリング言語HydLa2008

    • 著者名/発表者名
      上田和紀,石井大輔,細部博史
    • 学会等名
      第5回システム検証の科学技術シンポジウム(SSV'08)
    • 発表場所
      筑波大学
    • 年月日
      2008-11-17
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用2008

    • 著者名/発表者名
      石井大輔, 上田和紀, 細部博史
    • 学会等名
      第6回ディペンダブルシステムワークシヨツプ(DSW' 08summer)
    • 発表場所
      北海道・函館
    • 年月日
      2008-07-03
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約概念に基づくハイブリッドシステムモデリング言語2008

    • 著者名/発表者名
      上田和紀, 石井大輔, 細部博史
    • 学会等名
      日本ソフトウェア科学会第25回大会
    • 発表場所
      東京・筑波大学
    • 年月日
      2008-09-11
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] 制約概念に基づくハイブリッドシステムモデリング言語HydLa2008

    • 著者名/発表者名
      上田和紀, 石井大輔, 細部博史
    • 学会等名
      第5回システム検証の科学技術シンポジウム(SSV'08)
    • 発表場所
      筑波・筑波大学
    • 年月日
      2008-11-17
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] ハイブリッドシステムの高信頼シミュレーションへの区間ニュートン法の適用2008

    • 著者名/発表者名
      石井大輔,上田和紀,細部博史
    • 学会等名
      第6回ディペンダブルシステムワークショップ(DSW'08summer)
    • 発表場所
      函館
    • 年月日
      2008-07-03
    • データソース
      KAKENHI-PROJECT-20300013
  • [学会発表] Soft and Interval Constraints for Layout of Diagrams2007

    • 著者名/発表者名
      Hiroshi Hosobe
    • 学会等名
      Workshop on Constraint-Based Layout of Diagrams and Documents(CBLDD'07)
    • 発表場所
      シドニー(オーストラリア)
    • 年月日
      2007-09-23
    • データソース
      KAKENHI-PROJECT-17680002
  • [学会発表] Processingアプリケーション開発のための視覚的ドメイン特化言語(デモ・ポスター発表)

    • 著者名/発表者名
      栗原あずさ, 佐々木晃, 脇田建, 細部博史
    • 学会等名
      第22回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2014)
    • 発表場所
      浜名湖ロイヤルホテル(静岡県・浜松市)
    • 年月日
      2014-11-26 – 2014-11-28
    • データソース
      KAKENHI-PROJECT-25540029
  • [学会発表] Processingアプリケーション開発のための視覚的ドメイン特化言語の実装

    • 著者名/発表者名
      栗原あずさ, 佐々木晃, 脇田建, 細部博史
    • 学会等名
      日本ソフトウェア科学会第31回大会
    • 発表場所
      名古屋大学(愛知県・名古屋市)
    • 年月日
      2014-09-07 – 2014-09-10
    • データソース
      KAKENHI-PROJECT-25540029
  • [学会発表] HydLa: A High-Level Language for Hybrid Systems

    • 著者名/発表者名
      Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe, Daisuke Ishii
    • 学会等名
      Second Workshop on Logics for System Analysis (LfSA 2012)(査読有)
    • 発表場所
      Berkeley, CA, USA
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換アルゴリズム

    • 著者名/発表者名
      竹口 輝,和田 亮,松本 翔太,細部 博史,上田 和紀
    • 学会等名
      日本ソフトウェア科学会第29回大会
    • 発表場所
      東京
    • データソース
      KAKENHI-PROJECT-23300011
  • [学会発表] A Soft Constraint-Based Approach to Error Localization

    • 著者名/発表者名
      Hiroshi Hosobe
    • 学会等名
      4th Asian Workshop of Advanced Software Engineering (AWASE2014)
    • 発表場所
      北京(中国)
    • 年月日
      2014-10-11 – 2014-10-12
    • データソース
      KAKENHI-PROJECT-24300010
  • [学会発表] Hybrid Constraint Language HydLa and Its Implementation

    • 著者名/発表者名
      Shota Matsumoto, Akira Takeguchi, Kazunori Ueda, Hiroshi Hosobe
    • 学会等名
      15th International Conference on Hybrid Systems: Computation and Control (HSCC 2012)(査読有)
    • 発表場所
      北京、中国
    • データソース
      KAKENHI-PROJECT-23300011
  • 1.  上田 和紀 (10257206)
    共同の研究課題数: 3件
    共同の研究成果数: 43件
  • 2.  石井 大輔 (00454025)
    共同の研究課題数: 3件
    共同の研究成果数: 31件
  • 3.  田辺 良則 (60443199)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 4.  中島 震 (60350211)
    共同の研究課題数: 2件
    共同の研究成果数: 2件
  • 5.  飯島 正 (20245608)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  本位田 真一 (70332153)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  日高 宗一郎 (70321578)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  大蒔 和仁
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  磯部 祥尚
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  松本 翔太
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  RUEHER Michel
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 12.  LAMRAOUI Si-Mohamed
    共同の研究課題数: 1件
    共同の研究成果数: 1件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi