キー バリュー 型 データベース. アサーション プログラミング. グリーン スレッド. すずや 食堂 つくば.