石丸博也 現在. Monolithic kernel os examples. Gambar HPDKI. Data reduction machine learning.