2022.11.18

Publications

A Typed Lambda-Calculus with First-Class Configurations A Typed Lambda-Calculus with First-Class Configurations

lambda-calculus, natural deduction, call-by-value, call-by-name, duality, delimited continuation, bilateralism

2022.09.26

Publications

決定木と深層ニューラルネットを用いた解釈可能な予測モデル Interpretable Model Combining Decision Rules and DNN

XAI, ML, IBISML

2022.01.19

Publications

脆弱性自動検知に向けたバイナリプログラム解析ツールの開発（SCIS2022） Development of a Binary Program Analysis Tool for Automatic Vulnerability Detection

IoT security, reverse engineering, binary analysis, vulnerability

2021.12.12

Publications

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

ディープラーニング, neural networks, 深層学習, 説明可能, ML, XAI, deep learning

2021.12.12

Publications

Gaussian Process Regression With Interpretable Sample-wise Feature Weights Gaussian Process Regression With Interpretable Sample-wise Feature Weights

Gaussian processes, ガウス過程, 説明可能, XAI, ML

2021.06.25

Publications

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

GPU performance, Convolutional Neural Networks

2021.06.15

Publications

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

rewriting, work stealing, load balancing, domain-specific language, task parallel processing, termination, confluence, concurrency, operational semantics

2021.05.22

Publications

Binarized Embeddings for Fast, Space-Efficient Knowledge Graph Completion Binarized Embeddings for Fast, Space-Efficient Knowledge Graph Completion

2021.01.22

Publications

脆弱性解析を用いた効果的なバイナリCFIの実現に向けて（SCIS2021） Toward Effective Enforcement of Binary-CFI with Vulnerability Analysis

vulnerability, binary CFI, control flow integrity, security