[1] ウィンドウマネージャ - Wikipedia ( (2016-08-24 14:27:20 +09:00)) <https://ja.wikipedia.org/wiki/%E3%82%A6%E3%82%A3%E3%83%B3%E3%83%89%E3%82%A6%E3%83%9E%E3%83%8D%E3%83%BC%E3%82%B8%E3%83%A3>