存在仮定OS ― 最小構造とは