石井 大輔
Daisuke ISHII
更新日: 11/29
MISC
52
表示件数
-
Theorem Proving and Provers Meeting (TPP) 2024年11月
-
PPL (ポスター) 2024年
-
電子情報通信学会MSS研究会 64-69 2024年1月
-
電子情報通信学会MSS研究会 60-65 2023年1月
-
IEICE TRANS. FUNDAMENTALS, VOL.E105–A, NO.5 E105-A(5) 787-787 2022年5月
-
CoRR arXiv:2112.05411 [cs.SE] 1-22 2021年12月 筆頭著者責任著者
-
情報処理学会全国大会 1-2 2020年3月
-
情報処理学会全国大会 1-2 2020年3月
-
日本ソフトウェア科学会第36回大会 1-7 2019年8月
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(499) 7-11 2019年3月14日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(499) 19-22 2019年3月14日
-
電子情報通信学会SS研究会 2019年3月
-
情報処理学会論文誌プログラミング（PRO） 12(3) 1-1 2019年3月
-
第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR) 2018年12月
-
第16回ディペンダブルシステムワークショップ 2018年12月
-
第16回ディペンダブルシステムワークショップ 2018年12月
-
第167回HPC研究会 2018年12月
-
日本ソフトウェア科学会第35回大会 2018年8月
-
International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN) 176-177 2018年8月
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117(475) 63-70 2018年3月5日