Publications
-
2022.11.18
A Typed Lambda-Calculus with First-Class Configurations A Typed Lambda-Calculus with First-Class Configurations
Tatsuya Abe and Daisuke Kimura. A Typed Lambda-Calculus with First-Class Configurations. Journal of Logic and ...lambda-calculusnatural deductioncall-by-valuecall-by-namedualitydelimited continuationbilateralism
-
2022.09.26
決定木と深層ニューラルネットを用いた解釈可能な予測モデル Interpretable Model Combining Decision Rules and DNN
奥田 遼, 吉川 友也, “決定木と深層ニューラルネットを用いた解釈可能な予測モデル,” 第47回情報論的学習理論と機械学習研究会, 神奈川, Sep. 2022. 本研究では Decision Tree の解釈性と，D... -
2022.01.19
脆弱性自動検知に向けたバイナリプログラム解析ツールの開発（SCIS2022） Development of a Binary Program Analysis Tool for Automatic Vulnerability Detection
泉田大宗(IIJ技術研究所), 橋本政朋(千葉工業大学), 森彰(産業技術総合研究所) 2022年暗号と情報セキュリティシンポジウム 筆者らは、IoTデバイスのセキュリティを自動的に分析・診断する手法として、ファームウェ... -
2021.12.12
Neural generators of sparse local linear models for achieving both accuracy and interpretability Neural generators of sparse local linear models for achieving both accuracy and interpretability
Yuya Yoshikawa, and Tomoharu Iwata. “Neural generators of sparse local linear models for achieving both ... -
2021.12.12
Gaussian Process Regression With Interpretable Sample-wise Feature Weights Gaussian Process Regression With Interpretable Sample-wise Feature Weights
Yuya Yoshikawa, and Tomoharu Iwata. “Gaussian Process Regression With Interpretable Sample-wise Feature ... -
2021.10.07
MetaVD: A Meta Video Dataset for enhancing human action recognition datasets MetaVD: A Meta Video Dataset for enhancing human action recognition datasets
Yuya Yoshikawa, Yutaro Shigeto, and Akikazu Takeuchi. “MetaVD: A Meta Video Dataset for enhancing human ... -
2021.06.25
Predicting How CNN Training Time Changes on Various Mini-Batch Sizes by Considering Convolution Algorithms and Non-GPU Time Predicting How CNN Training Time Changes on Various Mini-Batch Sizes by Considering Convolution Algorithms and Non-GPU Time
Peter Bryzgalov, Toshiyuki Maeda, and Yutaro Shigeto. Predicting How CNN Training Time Changes on Various Mini... -
2021.06.15
An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing An Extensionally Equivalence-ensured Language for Task Parallel Processing with Backtracking-based Load Balancing
Tatsuya Abe and Tasuku Hiraishi. An Extensionally Equivalence-ensured Language for Task Parallel Processing wi...rewritingwork stealingload balancingdomain-specific languagetask parallel processingterminationconfluenceconcurrencyoperational semantics
-
2021.05.22
Binarized Embeddings for Fast, Space-Efficient Knowledge Graph Completion Binarized Embeddings for Fast, Space-Efficient Knowledge Graph Completion
Katsuhiko Hayashi, Koki Kishimoto, and Masashi Shimbo. Binarized Embeddings for Fast, Space-Efficient Knowledg... -
2021.01.22
脆弱性解析を用いた効果的なバイナリCFIの実現に向けて（SCIS2021） Toward Effective Enforcement of Binary-CFI with Vulnerability Analysis
橋本政朋(千葉工業大学)、泉田大宗(IIJイノベーションインスティテュート)、森彰(産業技術総合研究所) 2021年暗号と情報セキュリティシンポジウム CFI(control-flow integrity)とは，制御フロ...