細部 博史 | 国立情報学研究所
スポンサーリンク
概要
関連著者
-
細部 博史
国立情報学研究所
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
上田 和紀
早稲田大学理工学部情報学科
-
上田 和紀
早稲田大学
-
石井 大輔
早稲田大学理工学術院
-
細部 博史
文部省学術情報センター研究開発部
-
小池 英樹
電気通信大学大学院情報システム学研究科
-
福地 健太郎
科学技術振興機構
-
松岡 聡
国立情報学研究所
-
豊田 正史
東京大学
-
松岡 聡
東京工業大学
-
垂水 浩幸
香川大学
-
米澤 明憲
東京大学大学院情報理工学系研究科コンピュータ科学専攻
-
新田 克己
東京工業大学大学院総合理工学研究科
-
小池 英樹
電気通信大学
-
細部博史
国立情報学研究所
-
廣瀬 賢一
早稲田大学大学院基幹理工学研究科情報理工学専攻
-
佐藤 健
(財)新世代コンピュータ技術開発機構
-
垂水 浩幸
香川大学:株式会社スペースタグ
-
大谷 順司
早稲田大学大学院
-
綾塚 祐二
東京大学大学院理学系研究科情報科学専攻
-
新田 克己
東京工業大学 大学院 総合理工学研究科 知能システム科学専攻
-
廣瀬 賢一
早稲田大学大学院
-
佐藤 健
(株)富士通研究所
-
穴吹 まほろ
東京大学大学院工学系研究科計数工学専攻
-
細部 博史
東京大学大学院理学系研究科情報科学専攻
-
佐藤 健
National Institute Of Informatics The Graduate University For Advanced Studies
-
BENHAMOU Frederic
University of Nantes
-
CEBERIO Martine
University of Texas at El Paso
-
CODOGNET Philippe
Embassy of France in Japan, University of Paris 6
-
細部 博史
National Institute of Informatics, The Graduate University for Advanced Studies
-
JERMANN Christophe
University of Nantes
-
上田 和紀
Waseda University
-
Codognet Philippe
Embassy Of France In Japan University Of Paris 6
-
細部 博史
学術情報センター
-
細部 博史
文部省 学術情報センター 研究開発部
-
新田 克己
東京工大 大学院総合理工学研究科
-
新田 克己
東京工業大学
著作論文
- 特集「インタラクティブシステムとソフトウェア」の編集にあたって
- 微分制約論理式によるハイブリッドシステムのモデリングと検証
- HiRise : GUI構築のためのインクリメンタルな制約解消系(特集・インタラクティブソフトウェア)
- ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
- ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
- 特集「インタラクティブシステムとソフトウェア」の編集にあたって
- 1M-1 ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 特集「論理と推論技術の展開」の編集にあたって
- 視覚化に適した制約階層の拡張法
- 制約プログラミングに関する日本・フランス間の研究交流
- WISS '96会議報告
- 数値最適化による力学的グラフ可視化手法
- ユーザインタフェースのための線形制約解消系
- 高次元アプローチによる一般無向グラフの対話的視覚化法(情報可視化, インタラクション: 技術と展開)
- 対話型インターフェースのための幾何制約解消の枠組み次世代インタラクションのための情報技術
- 日本ソフトウェア科学会第27回大会報告
- 対話型3次元アプリケーションのための幾何制約解消法(ユーザインタフェースとインタラクティブシステム)(コラボレーションアートとネットワークエンターテイメント)
- ユーザインタフェースのための線形等式・不等式制約解消系(ソフトウェアシステム)
- ユーザーインターフェースにおける制約解消法の研究動向
- GUIを対象とした線形計算による制約階層解消系の高速化
- 1ZA-8 GUI構築のための数値的な制約階層解消系の機能的改良(UI開発支援,一般講演,インタフェース)