Rust

https://atcoder.jp/contests/abc379/tasks/abc379_eこれは和を取る順序を変える問題ですね。より具体的には各数字がどの桁で何回使うかを調べます。例えば123だと1は123なら100、12なら10、1なら1となるので、1は111になります。 ちゃんと書くと、k桁の数字をと書いて、 jとkの和の順序を変えて、 iとkの和の順序を変えて、 これを計算すればよいです。 // Sum of All Substrings #![allow(non_snake_case)] //////////////////// library ////////////////…

https://atcoder.jp/contests/abc379/tasks/abc379_d突っ込んだものから取り出すのでQueueを使えばよいです。 ただ、突っ込んだ値を変えられないので、突っ込んだ値に経過時間を足したものを高さにすればよいです。 // Home Garden #![allow(non_snake_case)] use std::collections::VecDeque; //////////////////// library //////////////////// fn read<T: std::str::FromStr>() -> T { let mut li…

最近仕事で触っているサービスが階層構造を扱っていて、それが閉包テーブル (Closure Table) というパターンで実現されていますが、「結局（視覚的に）どういう構造になっているの？」というのがパッとみれたらいいなと思うことがあり、簡単なツールを作ってみることにしました。できたものはこれです。github.com 前提: 閉包テーブル (Closure Table) とは 行一覧を見ても、実際の構造がどうなっているのかよくわからない 木構造の可視化 作成したツールの使い方 実装ロジック Rustについて 終わり 前提: 閉包テーブル (Closure Table) とは 閉包テーブルとは、…

https://atcoder.jp/contests/abc378/tasks/abc378_eふつうに計算すると計算量は、累積和を使ってもです。しかしよく考えると、一つのrについてで計算できます。 例えば、Mが5だとして、Aが[1, 2, 3, 3]だとして、rが3のとき、和は6, 5, 3だから、Mで割った余りは1, 0, 3です。rを4にすると、1, 0, 3に3-4をMで割った余りを追加して、そこに4を足せばよいです。しかし、Mで割った余りを足さなければならないので、 として、ここに4個分4を加えて3と4の2個だけMを引けばよいです。結局、r=4のときの和は、 となります。 すなわち…

Rust で wasm を書くときの話題です。 Rust で書いたプログラムは wasm にコンパイルすることが可能です。さらに wasm-bindgen を使うと JavaScript から呼び出しやすいインターフェースを自動生成してくれます。 例えば下記のようなコードを書くと、 // Rust #[wasm_bindgen] pub fn add(x: JsValue, y: JsValue) -> JsValue { x + y } こんな感じの .d.ts ファイルを生成してくれます。 // .d.ts export function add(x: any, y: any): any;…

https://atcoder.jp/contests/abc378/tasks/abc378_dしらみつぶしでも、元に戻れないので最初以外は行けるところは3通りしかないので、311 = 177,147、始点が100個以下なので十分に間に合います。今までに行ったことがあるマスはi128を使えば簡単にわかります。 // Count Simple Paths #![allow(non_snake_case)] //////////////////// library //////////////////// fn read<T: std::str::FromStr>() -> T { let mu…

https://atcoder.jp/contests/abc377/tasks/abc377_eiからPiにと辿っていくとループがいくつかできます。そうすると、K=1なら2歩、K=2なら4歩、K=3なら8歩そのループを進みます。 べき乗の計算はi128を使うと簡単ですね。 // Permute K times 2 #![allow(non_snake_case)] //////////////////// library //////////////////// fn read<T: std::str::FromStr>() -> T { let mut line = String::new…

自由モノイドプログラミング言語の作成(MonIter バージョン1.2 仕様(15)) 有限または無限の自由モノイドのクラス(FreeMonoid<T>) FreeMonoid<T> は IEnumerable<T> を実装するクラスとします。IEnumerable<T> を実装すると foreach で使うことができます。IEnumerable<T> を実装するにはメソッド public IEnumerator<T> GetEnumerator() IEnumerator IEnumerable.GetEnumerator() を実装する必要があります。このクラス内部では private I…

github.com jgzeというツールを公開しました .json.gzを楽に編集するためのCLIツールです。 以下のような動機で作りました 仕事で.json.gzを編集することが多い 対象はcompact形式だったりpretty形式だったりjsonl形式だったりする が、編集するときは、編集しやすさのためpretty形式になっていてほしい。ただし編集後は元の形式に戻っていて欲しい そもそも編集するには一度解凍する必要がある 解凍とか編集のためのprettey-compactのフォーマッティングとか、別名にしておいて編集して編集後は元のファイル名にするとかの諸々が面倒 で何をするツールを作っ…

今回ご紹介させていただく曲は、MILCK (ミルク) の曲「Devil Devil」を翻訳いたしました！MILCKことコニー・キンバリー・リムさん。2017年に「女性行進」(ウィメンズ・マーチ)が行われた際、アメリカの歌手であり香港の移民である彼女が歌う「Quiet」のミュージックビデオが注目を集めたことで人気に火がつき、「フェミニスト賛歌」として確立され、有名になったアーティストです。「Devil Devil」は、2016年にシングルリリースされた曲です。因みに、こちらの曲は数多くのドラマに起用されているため、どこかで聴いたことがあるかもしれません♪「目は口ほどに物を言う」という言葉があると…

RustによるWebアプリケーション開発 設計からリリース・運用まで (KS情報科学専門書)作者:豊田 優貴,松本 健太郎,吉川 哲史講談社Amazon 私たちがRustを学ぶ際の障壁 ウェブエンジニアにとってRustを学ぶ際の最大の障壁は、その適用分野がもともと高度である点です。 Rustは主にシステムプログラミングやC++の置き換え、ビルドツールの最適化といった専門的な領域で活用されています。 これらの分野に馴染みがないウェブ開発者にとって、Rustのエコシステムを学ぶことは簡単ではありません。 本書はそのようなエンジニアが、既存の仕事の道具をRustに置き換える時のガイドとして最適です。…

この記事はAIによるタイトル生成を利用しています。 すげえぞ今回のタイトルは当たっている。内容も一貫しているということか。 Rust日本語ドキュメントを読む会 2章 数あてゲーム イテレーション4 ここら辺から https://doc.rust-jp.rs/book-ja/ch02-00-guessing-game-tutorial.html#%E3%83%AB%E3%83%BC%E3%83%97%E3%81%A7%E8%A4%87%E6%95%B0%E5%9B%9E%E3%81%AE%E4%BA%88%E6%83%B3%E3%82%92%E5%8F%AF%E8%83%BD%E3%81%AB%…

自由モノイドプログラミング言語の作成(MonIter バージョン1.2 仕様(12)) 構文要素に対応するクラス(Identifier クラス：名前(関数名)を表す) /// <summary> /// 名前(関数名)を表すクラス /// </summary> internal class Identifier : DomainExpression { /// <summary> /// 名前の文字列 /// </summary> private readonly string name; public Identifier(string name) { this.name = name; }…

自由モノイドプログラミング言語の作成(MonIter バージョン1.2 仕様(11)) 構文要素に対応するクラス(ParameterName クラス：パラメーター名を表す) /// <summary> /// パラメーター名を表すクラス /// </summary> internal class ParameterName : CodeGeneratable { /// <summary> /// 名前の文字列 /// </summary> private readonly string name; public ParameterName(string name) { this.name =…

自由モノイドプログラミング言語の作成(MonIter バージョン1.2 仕様(10)) 構文要素に対応するクラス(DomainOperation クラス：数値の単項演算・二項演算を表す) /// <summary> /// 数値の単項演算・二項演算を表すクラス：演算子といくつかの演算数で構成されます。 /// </summary> internal class DomainOperation : DomainExpression { /// <summary> /// 演算子 /// </summary> private readonly string op; /// <summary> //…

自由モノイドプログラミング言語の作成(MonIter バージョン1.2 仕様(9)) 構文要素に対応するクラス(DomainUnit クラス：数値を表す無限自由モノイドの項) /// <summary> /// 数値を表す無限自由モノイドの項：数値の式で構成されます。 /// </summary> internal class DomainUnit : Term { /// <summary> /// 項を構成する数値の式 /// </summary> private readonly DomainExpression expression; public DomainUnit(DomainE…

ランニング 週一で整形外科に通って薬も飲んで、少し脚の状況良くはなった。 悪いときは15分でやばくなって走れなくなっていたのが、7.5分/kmペースではあるけど6kmくらいなら走れるように。 ただ参加予定だったえちごくびきのウルトラマラソンはさすがに無理そうで泣く泣くキャンセルした。2年に1度の大会なのに残念…。 競プロ 長期のAHC038は素直に全探索からのビームサーチを書いて15位。 トップもそんなに方針に違いは無さそうだけど1割くらい差が付いている。ビーム系の細かい工夫で差を付けられること多いなあ Rustで初めてビームサーチを書けたのは良かった。 それとARCのJapan Open予選…

鉄風東京のツアー大阪公演に行ってきました！ 前日にマイヘアとナッシングスのツーマンで大阪に来る予定で、そのまま大阪でテレワークする予定をしていたところに入ったこの公演。タイミング良すぎた。鉄風東京のリリースツアー、対バンがGill Snatch、Subway Daydream、ハク。というアツすぎる4マン。お目当ては言わずもがなサブウェイだが、他の3組も1回ずつ観たことがあって、一気に二度目まして。どれも前回から時間が経っているのでまた観てみたかった。 会場は心斎橋ANIMA。定時まで仕事しても余裕で間に合う19時開演。入った時はフロアにあまり人はいなかったが、開演時間になると一気に増えてきて…

A.I. Despite its impressive output, generative AI doesn’t have a coherent understanding of the world | MIT News | Massachusetts Institute of Technology - 最新の生成AIでも世界を正しくモデル化出来ている訳ではない AI Sucks at Code Reviews - A.I.によるコードレビューはデメリットが多く、ユースケースが限られるという話 Diffusion Models are Evolutionary Algorithms - 拡散…