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