第37回プログラミングシンポジウム「OS/omicron第4版のためのマイクロカーネルの開発」