Functional reactive programming (FRP in short) abstracts values that change over time as time-varying values and the timing of responses as events. Using these abstractions, reactive systems are described as data flows between time-varying values and the occurrence of events. In this paper, we propose...

In this study, we focus on parallel programming in the purely functional language Haskell and try to analyze the execution time statically. Liquid Haskell is a program verification tool that integrates refinement types into the Haskell programming language and relies on SMT solvers for verification....

In this study, we constructed a method for obtaining information that explains the classification results of a long short-term memory (LSTM) trained as an intrusion detection system (IDS). The LSTM learns two types of information: information about system accesses at each time point and time series information...