前回 XMLのお勉強その１３ - XPointer Frameworkなど - 競プロ備忘録 読んでいく仕様書 原文：XML Inclusions (XInclude) Version 1.0 (Second Edition) 和文：なし いわゆるXIncludeです。外部リソースを取り込んで文書の一部を置換できる機能ということで…

前回 XMLのお勉強その１２ - RELAX NG - 競プロ備忘録 読んでいく仕様書 原文： XPointer Framework XPointer element() Scheme XPointer xmlns() Scheme XPointer xpointer() Scheme 和文：たぶんない XSLTを読んでいくつもりでしたが、v1.0でもだいぶ長く…

題名を見ればわかると思いますが、今回は技術系の話は皆無です。本当はこういうのはツイッターでつぶやきたいのですが、セトリをネタバレされると嫌な気持ちになる人もいるかもしれないなーと思うと呟けず。 でも感想を吐き出したいんですよね。なので（こっ…

完全に解けていたはずだったのですが、ライブラリがバグっていることに気づかずヒドイことに… 解法 結論から言えば、接尾辞木の上でよくあるゲームをしていると考えると解ける。 結局の所、問題文のゲームが何をしているかというと、 文字列の接尾辞木を用意…

前回 XMLのお勉強その１１ - XML Catalogs - 競プロ備忘録 読んでいく仕様書 原文：ISO/IEC 19757-2:2008 - Information technology — Document Schema Definition Language (DSDL) — Part 2: Regular-grammar-based validation — RELAX NG 和文：なし 今回…

前回 XMLのお勉強その１０ - xml:id Version 1.0 - 競プロ備忘録 読んでいく仕様書 原文：XML Catalogs (OASIS Standard V1.1, 7 October 2005) 和文：なし ちょっと寄り道で、XML Catalogsを見ていきます。何気に初めてのOASISの仕様書です。 なんか調べて…

前回 XMLのお勉強その９ - XML Path Language (XPath) Version 1.0 - 競プロ備忘録 読んでいく仕様書 原文：xml:id Version 1.0 和文：なし また前回から時間があきました。この間に木の実装を済ませ、XPathを実装していました。 XPathの実装を進めるうちに…

前回 XMLのお勉強その８ - XML Base - 競プロ備忘録 読んでいく仕様書 原文：XML Path Language (XPath) 和文：XMLパス言語 (XPath) 前回からかなり時間があきました。そして前回は「次回はC14Nを読んでいきます」みたいなことを言っていた気がしますが、先…

解けなきゃいけない問題でしたが、しょうもないバグと遅すぎるライブラリによってACを逃しました… 解法 引かれた弦で分割されたそれぞれの領域に属する円弧の上の点の集合について、集合の分割と、ある点がその集合に属するかが判定できれば良い。 単純な方…

前回 XMLのお勉強その７ - XML Information Set - 競プロ備忘録 読んでいく仕様書 原文：XML Base (Second Edition) 和文：XML Base （第 2 版）日本語訳 XML Base仕様については、W3C公式からリンクされた和文翻訳が見つからなかったので、ググって出てきた…

前回 XMLのお勉強その６ - SAX - 競プロ備忘録 読んでいく仕様書 原文：XML Information Set (Second Edition) 和文：XML情報セット (第2版) XML Infosetと言われることが多い仕様です。 本編 1. Introduction 「XML Information Set (Infoset)」とは何で、…

前回 XMLのお勉強その５ - Namespaces in XML 1.0 - 競プロ備忘録 読んでいく仕様書 SAX 仕様書と言っていますが、私の知る限りでは、SAXはW3CやOASISのような標準化団体が策定した仕様というわけではなく、上記のホームページが原典だと思います。 あんまり…

前回 XMLのお勉強その４ - XML 1.0 ③ - 競プロ備忘録 正規表現の実装にハマっていて、時間があきました。 読んでいく仕様書 今回はNamespaces in XML 1.0です。 原文：Namespaces in XML 1.0 (Third Edition) 和文：Namespaces in XML 1.0 (Third Edition) …

前回 XMLのお勉強その３ - XML 1.0 ② - 競プロ備忘録 前回はXML 1.0仕様書の３章まで読んだので、４章から読んでいきましょう。 本編 4 Physical Structures 「実体」「内容」「実体名」の定義です。 [Definition: An XML document may consist of one or ma…

前回 XMLのお勉強その２ - XML 1.0 - 競プロ備忘録 前回はXML 1.0仕様書の２章まで読んだので、３章から読んでいきましょう。 前回注記をつけておくべきだったかも知れませんが、仕様書の焼き増しになるだけなので、基本的に原文の引用は載せません。 ただ、…

前回 XMLのお勉強その１ - 前書きなど - 競プロ備忘録 読んでいく仕様書 題名がパッと見意味不明ですが、XML自体の仕様を読んでいきます。最新版は第五版になります。 原文：Extensible Markup Language (XML) 1.0 (Fifth Edition) 和文：Extensible Markup …

前置き 最近XMLに入れ込んでいます。もとはXMLそのものというよりExcelとかのOffice形式ファイルをRustでいじりたかったのですが、そのためにOOXMLに触れることとなり、気づいたらXMLに入れ込んでいました。 OOXMLを触ることを考えると、DOMでXMLを編集でき…

ただの備忘録です。 Javaは本当に門外漢も門外漢なので、書いてあることはアテにしないでください。普通にウソだらけだと思います。 背景 RustでDOM Level 2のメソッドを実装しました。 実装が合っている確認したかったので、DOM Test Suiteを拾ってきて、な…

前から気になっていたのですが、c2rustというC言語のコードをRustに変換するツールがあります。 https://crates.io/crates/c2rust C言語の資産は歴史の積み重ねもあってものすごく豊富だと思いますが、それをツール1つでRustに変換してくれたら夢が広がりま…

いつもどおりAtCoderの問題を解くために新規のクレートを立ち上げたら、Rust-Analyzerの補完が効かなくなっていました。エラーメッセージを見てみると、Rust 1.82が最低サポートバージョンになったとのこと。 Release Noteを見に行くと、確かに昨日(2025/3/3…

典型考察がハマって気持ちよかったです。 解法 簡単のため、すべての項は異なる値を持つとする。 まず、の値が増えるというのがどういうことか考えてみる。 これはからを昇順に並べ、ある項を隣接項と比較したとき、差がより大きかったときの値は大きくなる…

E問題で死ぬほど詰まって焦りましたが、こっちは割とスムーズに考察できました。 解法 E問題とほぼ同じ設定なので、鏡餅の個数を決め打って、先頭個を区間内のそれ以降の餅と貪欲にマッチングさせることで構築可能かの判定が可能であり、個数の上限で二分探…

どう見ても貪欲にしか見えないけど、どう貪欲にとってもWAする恐ろしい問題でした。 と思いきや、実は正当な解法も貪欲法を使うという。 解法 問題文の感じから、二分探索できそうだとアタリがつけられる。 二分探索ができるとすれば、判定問題は「組の鏡餅…