石井 大輔 (ISHII, Daisuke)准教授
情報科学系, セキュリティ・ネットワーク領域

Misc

46件
SMTソルバを用いたSimulinkモデルのテストケース生成
八田 竜起, 石井 大輔
情報処理学会全国大会, 1-2, 2020
区間制約ソルバにおけるパラメータ化制約の導入
野村 亮太, 石井 大輔
情報処理学会全国大会, 1-2, 2020
Why3を用いた区間べき関数のプログラム検証
村上 涼星, 薮 智仁, 石井 大輔
日本ソフトウェア科学会第36回大会, 1-7, 2019
SimulinkモデルのSMT-LIBエンコード方法に関する実験 (システム数理と応用)
武仲 紘輝, 石井 大輔
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 118, 499, 7-11, 2019
Duraczらの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装 (システム数理と応用)
小嶋 翔太, 石井 大輔
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 118, 499, 19-22, 2019
Acumenを用いたハイブリッドシステムの統計的モデル検査
井上 晃輔, 石井 大輔
電子情報通信学会SS研究会, -, 2019
証明支援系Coqを用いた有界モデル検査アルゴリズムの検証
藤井 采人, 石井 大輔
情報処理学会論文誌プログラミング(PRO), 12, 3, 1-1, 2019
Why3を用いた区間演算ライブラリの検証
石井 大輔, 薮 智仁
第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR), -, 2018
証明支援系 Coq を用いた有界モデル検査アルゴリズムの検証
藤井 采人, 石井 大輔
第16回ディペンダブルシステムワークショップ, -, 2018
Why3 を用いた区間演算プログラムの検証
藪 智仁, 石井 大輔
第16回ディペンダブルシステムワークショップ, -, 2018
スケーラブルな並列探索による最適化問題の求解
泉 翔太, 石井 大輔, 美添 一樹
第167回HPC研究会, -, 2018
区間解析法とモンテカルロ法の連携によるSimulinkテストケースの自動生成
石井 大輔, 野村 亮太, 八田 竜起, 冨田 尭, 青木 利晃
日本ソフトウェア科学会第35回大会, -, 2018
Machine-Aided Verification of Four Interval Arithmetic Operators
Tomohito Yabu, Daisuke Ishii
International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN), 176-177, 2018
Krawczyk-Hansenによる精度保証つき大域的最適化法の局所解を用いた高速化 (情報論的学習理論と機械学習)
高田 浩彰, 美添 一樹, 石井 大輔, 津田 宏治
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117, 475, 63-70, 2018
An Extended GLB Library for Optimization Problems
Shota Izumi, Daisuke Ishii, Kazuki Yoshizoe
-, 2018
Acumenを用いたサイバーフィジカルシステムの統計的モデル検査
井上 晃輔, 石井 大輔
第15回 ディペンダブルシステムワークショップ (DSW), -, 2017
ハイブリッドシステムの可到達集合の精度保証
石井 大輔
第1回 精度保証付き数値計算の実問題への応用研究集会 (NVR), -, 2017
Why3を用いた区間演算ライブラリの検証
薮 智仁, 石井 大輔
日本ソフトウェア科学会大会論文集, 34, 405-414, 2017
証明支援系Coqを用いた有界モデル検査
藤井 采人, 石井 大輔
日本ソフトウェア科学会大会論文集, 34, 135-140, 2017
並列RCSPソルバーの求解過程の可視化
香椎 蓮司, 石井 大輔
電気関係学会北陸支部連合大会, -, 2017
X10 GLB ライブラリの最適化問題のための拡張
泉 翔太, 石井 大輔
電気関係学会北陸支部連合大会, -, 2017
Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract).
Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers, 79-82, 2017
Simulinkモデルに対するテストスイート自動生成
冨田 尭, 石井 大輔, 青木 利晃
第14回ディペンダブルシステムワークショップ (DSW’16), -, 2016
区間解析に基づく非線形ハイブリッドオートマトンのシミュレーション・検証ツール
石井 大輔
第14回ディペンダブルシステムワークショップ (DSW’16), -, 2016
時相論理式の反証を用いた制御器のチューニング (システム数理と応用)
峰尾 太陽, 石井 大輔, 渡部 卓雄
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 480, 61-66, 2016
AI-3-5 ハイブリッドシステムの統計的モデル検査(AI-3.ビッグデータの解析と基盤に関わる科学技術の俯瞰と展開,依頼シンポジウム,ソサイエティ企画)
石井 大輔, 冨田 尭, 米崎 直樹
電子情報通信学会基礎・境界ソサイエティ/NOLTAソサイエティ大会講演論文集, 2016, "SS-38"-"SS-39", 2016
招待講演 区間解析による時相論理式の頑健性モニタリング (システム数理と応用)
石井 大輔
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 419, 59-62, 2016
数値制約ソルバーのスケーラブルな並列化
石井 大輔, 美添 一樹, 鈴村 豊太郎
日本ソフトウェア科学会大会論文集, 32, -, 2015
区間解析を用いたハイブリッドシステムの統計的モデル検査 (ソフトウェアサイエンス)
石井 大輔, 米崎 直樹
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 114, 416, 67-71, 2015
区間解析を用いたハイブリッドシステムの統計的モデル検査 (システム数理と応用)
石井 大輔, 米崎 直樹
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 114, 415, 67-71, 2015
Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14).
Daisuke Ishii, Kohei Suenaga, Walid Taha
NII Shonan Meet. Rep., 2015, -, 2015
平行体計算を用いた非線形ハイブリッドシステムのシミュレーション (ソフトウェアサイエンス)
石井 大輔, GOLDSZTEJN Alexandre
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 113, 422, 135-139, 2014
PGAS言語X10による数値制約充足問題ソルバーRealpaverの並列化
石井大輔, 鈴村豊太郎
情報処理学会研究報告. [ハイパフォーマンスコンピューティング], 2013, 10, 1-7, 2013
制約不足の数値制約充足問題のための区間計算に基づく射影手法
石井 大輔, ゴールドシュタイン アレクサンドル, ジャーマン クリストフ
日本ソフトウェア科学会大会論文集, 29, 233-239, 2012
区間制約プログラミングの研究事例 Under-constrained 問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法
石井 大輔
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス : IEICE technical report, 111, 405, 73-77, 2012
ハイブリッド制約言語HydLaの宣言的意味論
上田 和紀, 細部 博史, 石井 大輔
日本ソフトウェア科学会大会論文集, 27, 1-6, 2010
ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系
大谷 順司, 廣瀬 賢一, 石井 大輔, 細部 博史, 上田 和紀
全国大会講演論文集, 72, 0, 145-146, 2010
制約階層によるハイブリッドシステムのモデリング手法
廣瀬 賢一, 大谷 順司, 石井 大輔, 細部 博史, 上田 和紀
日本ソフトウェア科学会大会論文集, 26, 275-284, 2009
微分制約論理式によるハイブリッドシステムのモデリングと検証
石井 大輔, 上田 和紀, 細部 博史
電子情報通信学会技術研究報告. CST, コンカレント工学, 108, 415, 67-70, 2009
ハイブリッドシステムの高信頼シミュレーションのための区間に基づく制約伝播手法
石井 大輔, 上田 和紀, 細部 博史
情報処理学会研究報告. MPS, 数理モデル化と問題解決研究報告, 68, 133-136, 2008
数式処理・quantifier eliminationを用いたハイブリッドシステムのZeno状態の導出手法
大野 善之, 石井 大輔, 上田 和紀
人工知能学会全国大会論文集, 8, 0, 15-15, 2008
収集履歴と編纂履歴に基づく近傍検索方式
石井 大輔, 浜田 伸一郎, 石谷 康人
第68回全国大会講演論文集, 2006, 1, 41-42, 2006
制約に基づくアニメーション作成環境 Grifon
石井 大輔, 中村 好一, 大野 太郎, 若槻 聡一郎, 上田 和紀
第66回全国大会講演論文集, 2004, 1, 223-224, 2004
制約に基づくアニメーション作成環境Grifonにおけるデータ構造の階層化
中村 好一, 石井 大輔, 大野 太郎, 若槻 総一郎, 上田 和紀
第66回全国大会講演論文集, 2004, 1, 221-222, 2004