細部博史 HOSOBE Hiroshi

Articles:  1-20 of 44

  • 1 / 3
  • Using Point-Symmetric Images to Accelerate Q-Learning for Hunting Problems  [in Japanese]

    飯岡 徹人 , 細部 博史

    人工知能基本問題研究会 103, 7-11, 2017-03-13

  • Introduction to the Special Issue on Software Papers  [in Japanese]

    Ishikawa Fuyuki , Umatani Seiji , Komiya Tsuneyasu , Hayashi Shinpei , Hosobe Hiroshi , Yokoyama Daisaku

    Computer Software 33(4), 4_3-4_3, 2016

    J-STAGE 

  • A Constraint Imperative Programming Language for Interactive Graphical Applications  [in Japanese]

    細部 博史

    日本ソフトウェア科学会大会論文集 32, 7p, 2015-09-09

  • Introduction to the Special Issue on Software Papers  [in Japanese]

    UMATANI Seiji , KONO Yasuyuki , KOMIYA Tsuneyasu , GONDOW Katsuhiko , HOSOBE Hiroshi , YOKOYAMA Daisaku

    Computer Software 32(4), 4_2-4_2, 2015

    J-STAGE 

  • Introduction to the Special Issue on Software Papers  [in Japanese]

    UMATANI Seiji , KONO Yasuyuki , KOMIYA Tsuneyasu , GONDOW Katsuhiko , HOSOBE Hiroshi , YOKOYAMA Daisaku

    Computer Software 31(4), 4_2-4_2, 2014

    J-STAGE 

  • Introduction to the Special Issue on the 30th Anniversary  [in Japanese]

    TANAKA Jiro , HOSOBE Hiroshi , YOSHIOKA Nobukazu

    Computer Software 31(2), 2_2-2_2, 2014

    J-STAGE 

  • Introduction to the Special Issue on Software Papers  [in Japanese]

    IZUMI Junko , KONO Yasuyuki , KOMIYA Tsuneyasu , GONDOW Katsuhiko , NAMIKI Mitaro , HOSOBE Hirosi

    Computer Software 30(4), 2, 2013-10-25

    J-STAGE 

  • Introduction to the Special Issue on Software Papers  [in Japanese]

    IZUMI Junko , ICHIJI Hiroshi , GONDOW Katsuhiko , NAMIKI Mitaro , BANBARA Mutsunori , HOSOBE Hirosi

    Computer Software 29(4), 2, 2012-10-25

    J-STAGE 

  • A Scalable Linear Constraint Solver for User Interfaces  [in Japanese]

    細部 博史

    日本ソフトウェア科学会大会論文集 28, 1-6, 2011-09-27

  • A Force-Directed Graph Drawing Method Using Numerical Optimization  [in Japanese]

    細部 博史

    グラフは事物の関係を表現する手段であり,その可視化はユーザインタフェースにおける有用な要素技術である.これまでに無向グラフの可視化のための力学的手法に関する多数の研究がなされており,これらは主にシミュレーションによるものと数値最適化によるものに分類できるが,前者に比べると後者は十分に研究されていない.本研究では数値最適化による新しい力学的グラフ可視化手法を構築し,1 万ノード規模のグラフに適用する …

    研究報告ヒューマンコンピュータインタラクション(HCI) 2011-HCI-144(16), 1-6, 2011-07-21

  • A Linear Constraint Solver for User Interfaces  [in Japanese]

    細部 博史

    制約は多様な問題解決のための有力な手段であり,プログラミングや人工知能などの分野で利用されている.ユーザインタフェースのプログラミングにおける制約の主要な用途はグラフィカルオブジェクトの配置であり,制約によって配置の処理が自動化されて容易になるという利点がある.本研究では階層的優先度を伴った線形等式制約および線形不等式制約からなる問題を高速に処理するための制約解消系を構築する.Constraint …

    情報処理学会研究報告 2010年度(6), 1-5, 2011-04

  • A Report on the 27th JSSST Conference  [in Japanese]

    HOSOBE Hiroshi

    コンピュータソフトウェア 28(1), 49-56, 2011-01-25

    References (4)

  • Introduction to the Special Issue on Software Papers

    IZUMI Junko , ICHIJI Hiroshi , GONDOW Katsuhiko , SHUDO Kazuyuki , NAMIKI Mitaro , HOSOBE Hiroshi , BANBARA Mutsunori

    Computer Software 28(4), 1-1, 2011

    J-STAGE 

  • An Execution Algorithm for the Hybrid System Modeling Language HydLa

    SHIBUYA Shun , TAKATA Kenshiro , HOSOBE Hiroshi , UEDA Kazunori

    ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり,状態や方程式が離散変化したりする動的システムを指す.HydLaは制約概念に基づくハイブリッドシステムモデリング言語であり,精度保証されたシミュレーションを行うことでシステム検証に役立てることを目標としている.これまで,HydLaプログラムにおいて初期値が範囲を持つ場合やパラメタを用いてシステムを表現した場合のシミュレーション方法が明ら …

    Computer Software 28(3), 167-172, 2011

    J-STAGE 

  • A Hierarchical Visualization Method for Large-Scale Social Networks

    KOSHIDA Minato , HOSOBE Hiroshi , WAKITA Ken

    社会ネットワークを可視化することは,その社会の構造を理解する有効な手段である.しかし,大規模社会ネットワークが含む膨大な情報を限られたディスプレイに効果的かつ効率的に表示することは困難である.本研究では,社会ネットワークの構造の解析,可視化空間への配置という時間を要する計算を事前に済ませた上で,段階的な詳細化を実現した対話的なブラウズ環境を実現することで,従来のシステムでは対応することができなかっ …

    Computer Software 28(2), 202-216, 2011

    J-STAGE 

  • Declarative Semantics of the Hybrid Constraint Language HydLa

    UEDA Kazunori , HOSOBE Hiroshi , ISHII Daisuke

    時間の経過に伴って状態が連続変化したり,状態や方程式系自体が離散変化したりする系をハイブリッドシステムと呼ぶ.我々は,不確実値の扱い,シミュレーションと検証の統合などの観点から,制約概念に基づくハイブリッドシステムモデリング言語HydLaの設計と実装を進めてきた.HydLaは,制約階層概念の採用によって制約条件を過不足なく与えることを容易にした点を特徴とするが,種々の言語機能の相互作用のためにその …

    Computer Software 28(1), 306-311, 2011

    J-STAGE 

  • Introduction to the Special Issue on Interactive Systems and Software

    KOIKE Hideki , KONO Yasuyuki , HOSOBE Hiroshi

    Computer Software 28(2), 41-42, 2011

    J-STAGE 

  • A Report on the 27th JSSST Conference

    HOSOBE Hiroshi

    Computer Software 28(1), 49-56, 2011

    J-STAGE 

  • Declarative Semantics of the Hybrid Constraint Language HydLa  [in Japanese]

    上田 和紀 , 細部 博史 , 石井 大輔

    日本ソフトウェア科学会大会論文集 27, 1-6, 2010-09-13

  • An Execution Algorithm for the Hybrid System Modeling Language HydLa  [in Japanese]

    渋谷 俊 , 高田 賢士郎 , 細部 博史 [他]

    日本ソフトウェア科学会大会論文集 27, 1-6, 2010-09-13

  • 1 / 3
Page Top