2022.11.18
Publications
lambda-calculus, natural deduction, call-by-value, call-by-name, duality, delimited continuation, bilateralism
2022.09.26
Publications
2022.01.19
Publications
IoT security, reverse engineering, binary analysis, vulnerability
2021.12.12
Publications
ディープラーニング, neural networks, 深層学習, 説明可能, ML, XAI, deep learning
2021.12.12
Publications
Gaussian processes, ガウス過程, 説明可能, XAI, ML
2021.10.07
Dataset
2021.06.25
Publications
2021.06.15
Publications
rewriting, work stealing, load balancing, domain-specific language, task parallel processing, termination, confluence, concurrency, operational semantics
2021.05.22
Publications
2021.01.22
Publications