okamo

@tkokamo

仕事は速いファイルシステムを作ること。データベース、物理学、量子コンピュータ、形式手法など勉強中。