岡野タケシ弁護士【アトム法律グループ】 @takeshibengo 絶望しかない。 池袋サンシャインシティのポケモンセンターで起きたストーカー殺人事件。 経緯を知れば知るほど、そう感じると思う。 被害者は、制度の中でやれることをすべてやっていたという。 ・警察にストーカー被害を相談していた。 ・警察から男に禁止命令が出た。 ・男は逮捕もされた。 ・警察官の定期的な見守りもあった。 それでも、命を奪われた。 ▼ なぜ防げなかったのか。 日本国憲法は、一人ひとりの「自由」を人権として保障している。 たとえストーカーであっても、事件を起こす前に身体を拘束し続けることは原則できない。 逮捕しても、起訴されなければ釈放される。 禁止命令が出ていても、物理的に近づくことを止める術はない。 「まだ起きていない犯罪」を理由に、人の自由を完全に奪うことはできない。 これが、自由主義の憲法を採用しているこの国

テキストエディタのデータ構造 Gap method Piece Table method Piece Table の構造 Piece Table の実装 Piece Table のメソッド まとめ テキストエディタのデータ構造 テキストエディタで採用されているデータ構造にはいろいろあります。 こちらの論文 Data Structures for Text Sequences では各種データ構造について比較検討されています。 多くは、Gap method や Piece table method をベースにしたものが多いのではないでしょうか(図で言う最下部の中心の丸印に当たります)。最近では Rope なども有名ですね。 Gap method Gap method では、現在のカーソル位置で、テキストバッファを2つに分割し Gap を間に挟み、カーソル位置に対する編集(テキスト追加/削除)を