データとタイヤが失われた週末 - Pixel Pedals of Tomakomai
最近、 気合を入れて Google Timeline を触っていたのだが、あっけなく終了してしまった。 support.google.com Timeline won’t be available on Maps on your computer after your data is moved to your phone ということで、 android や iPhone 端末で Timeline の移行に同意すると、 Google のサーバーから一瞬でデータがすべて消される。 10 年分のデータが、一瞬で、だ。何も考えずに移行をしてしまったせいで、自分のデータはもう消えてしまった。 Google Takeout からダウンロードしても、 Records.json は含まれていない。 android/ios 端末内にはデータが存在する可能性があるので、取り出したいのだが、どうにもならないの
メルカトル図法 - Pixel Pedals of Tomakomai
地図表示について、緯度と経度をx座標とy座標と見なして画像を描画するだけでしょ、くらいに甘く考えていたのだが、そんな単純な話ではなかった。そもそも地球は丸くて地図は平面なんだから、緯度経度を平面上の (x, y) 座標と見なせるわけがないのだ。 球面と平面が違うことくらい知っているつもりでいたのが、 wikipedia の以下の説明を読んで自分がいかに甘く考えていたか、思い知らされた。 ja.wikipedia.org そもそも球面上では「３つの角がすべて90度である正三角形」もありえて、これを「正しく」地図上に描くことは不可能である。 言われてみれば確かにそうだ。やはり平面上の常識で考えるのは良くない。 そもそも、地図とはなんなのだろう。我々がよく使う google map は、メルカトル図法だそうだ。中学生で習ったはずが、恥ずかしながら全く覚えていない。残念ながら、「球面を四角にした地
traitのaliasを作る ～ associated typeを添えて - Pixel Pedals of Tomakomai
Rust には整数の primitive 型が多数あるが、どの型でもよしなに計算してくれる関数を書きたくなる。四則演算子を表す trait はあるのだが、細かく分かれているので指定するのが大変である。 use std::fmt::Display; use std::ops::{AddAssign, Mul, MulAssign}; fn execute<T>(mut x: T, y: T) where T: Display + Copy + MulAssign + Mul<Output = T> + AddAssign, { println!("x={}, y={}", x, y); x *= y; println!("x * y = {}", x); x += y * y; println!("x * y + y ^ 2 = {}", x); } fn main() { execute(
小数第四位までの小数を10000倍して整数に直せるのか - Pixel Pedals of Tomakomai
数値が小数第四位まで与えられるとする。例えば、 1234.5678 のような形式である。 それらの数値を使って計算をしたいのだが、何も考えないと計算機上ではこれらの数値は double 型などで保持され、誤差が発生することは有名だろう。 >>> 1001.0000 * 1.1000 == 1101.1000 False >>> 1001.0000 * 1.1000 1101.1000000000001 誤差が発生するのは嫌なので、入力を 10000 倍して整数として扱いたくなる。例えば、 1234.5678 は 12345678 に変換したい。 しかし、この操作にも注意が必要である。 https://qiita.com/mod_poppo/items/910b5fb9303baf864bf7 で解説されている通り、 10000 倍したり、 int を取ったりするだけではうまくいかない。 >
CellとRefCell - Pixel Pedals of Tomakomai
Cell と RefCell はどちらも「内側のミュータビリティ」を実現するものだが、実現方法が違う。 RefCell については、ランタイムでボローチェックしていることはよく知られている（と思う）。 let ref_cell = RefCell::new(20i32); println!("ref_cell (1): {}", ref_cell.borrow()); println!("ref_cell (2): {}", ref_cell.borrow()); *ref_cell.borrow_mut() = 200; println!("ref_cell (3): {}", ref_cell.borrow()); ref_cell (1): 20 ref_cell (2): 20 ref_cell (3): 200 ランタイムでとは、文字通りコンパイラではなくランタイムで、つまりプロ
cargo test --jobs N -- --test-threads=M - Pixel Pedals of Tomakomai
redis-rs の cluster のテストが何度やっても通らなくてハマった。ただし、テスト名を指定して一個ずつであれば成功する。該当するテストは以下。 redis-rs/test_cluster.rs at bd8dc731ded564329d74717dfacc5cce748d891f · mitsuhiko/redis-rs · GitHub このテストは redis server を立ち上げてクラスタを組んでテストを実行している。このとき、各サーバには 7000 番ポートから順番に割り当てている。 redis-rs/cluster.rs at bd8dc731ded564329d74717dfacc5cce748d891f · mitsuhiko/redis-rs · GitHub そして、デフォルトでは cargo test 1 は複数のテストを並列に実行する。直列な世界に生き
Haskellの古いmkSocketの引数のfamily - Pixel Pedals of Tomakomai
Linuxネットワークプログラミングの勉強をきちんとしましょうということなんだけど、とりあえず調べたことをメモっておく。 Haskell に mkSocket という関数がある。 https://hackage.haskell.org/package/network-3.1.2.0/docs/Network-Socket.html#v:mkSocket 今は引数がファイルディスクリプタ CInt だけとなっているが、 2.x 系の頃の引数はもっと複雑だった。 https://hackage.haskell.org/package/network-2.2.3/docs/Network-Socket.html#v:mkSocket この中に Family という引数があって、これは AF_INET とか AF_INET6 、 AF_UNIX と言ったようなソケットの種類を表す値なんだけど、 S
Rustでdocker build時に依存ライブラリの再ビルドを避ける - Pixel Pedals of Tomakomai
Rust で書かれたアプリをビルドするための docker image は以下で公開されている。 hub.docker.com しかし、ここに出ているように COPY . . なんてやっていると、 src/main.rs を触るだけで毎回 cargo install 時に依存するライブラリをすべてダウンロードしてきてコンパイルしてしまい、恐ろしく効率が悪い。 これを避けるには、アプリをビルドする前に依存だけをビルドするレイヤを作っておき、その上に自分のアプリをビルドするレイヤを載せられるといい。しかし、残念なことに、現在の cargo には依存クレートだけをビルドする仕組みがない。じゃあどうするかというのが、以下のエントリに書かれている。 whitfin.io 要点だけ説明すると、まず cargo new --bin my_project とこれからビルドするプロジェクトと同名のダミーの空
Rustの&mutのmoveとreborrow - Pixel Pedals of Tomakomai
&mut は Copy trait を 実装していない 。よって、こちらは実行できない。 fn main() { let x: &mut i32 = &mut 0; { let y = x; println!("y: {}", y); } println!("x: {}", x); } Compiling playground v0.0.1 (/playground) error[E0382]: borrow of moved value: `x` --> src/main.rs:7:23 | 2 | let x: &mut i32 = &mut 0; | - move occurs because `x` has type `&mut i32`, which does not implement the `Copy` trait 3 | { 4 | let y = x; | - valu
impl Trait 型の値を再代入しようとしてハマった - Pixel Pedals of Tomakomai
impl トレイト名 は Rust で存在型を扱うのに使える 。しかし、以下はコンパイルが通らない。 use std::fmt::Display; fn f<T>(t: T) -> impl Display where T: Display, { t } fn main() { let mut s = f(""); s = f(s); } Compiling playground v0.0.1 (/playground) error[E0308]: mismatched types --> src/lib.rs:12:11 | 12 | s = f(s); | ^ expected `&str`, found opaque type | = note: expected reference `&str` found opaque type `impl std::fmt::Display`
今日は Haskell Day 2019 の日です - Pixel Pedals of Tomakomai
咳が止まらない状態で非常に厳しいですが、来ていますので、自分用のメモを残しておきます。 関数型(function type)を見つめるプログラミング / 山下さん 関数の型、 Haskell では第一級 リスト型 a が型なら [a] も型 タプル a b が型なら (a, b) も型 タプル a b が型なら a -> b も型 a が domain 、 b が codomain 高階関数型 domain が関数 (a -> b) -> c codomain が関数 a -> (b -> c) こちらは意識されにくい 2変数関数 (a, b) -> c Haskell 以外でもよく使う セクション (+) は高階関数 a が domain、 b が codomain 逆に、 codomain が関数の高階関数は 2 項演算子 f: a -> a -> a `f` curry :: ((a
今日は Regex Festa の日です - Pixel Pedals of Tomakomai
今日は Regex Festa の日です Regex Festa に来ていますので、自分のためのメモを残しておきます。 挨拶 wi-fiとお手洗い、喫煙所の案内 Opt Technologies さんについて QRコード読むとアンケートあります いろいろな正規表現、いろいろなオートマトン / @sinya8282 さん 正規表現は好きだが、難しい面も面白い面もある 学部の頃は世界最速のgrepを書いてたりした 院では学術よりな研究 Shibuya.pm#16 が正規表現オンリーなイベントだった 東京素晴らしい！ 8年の時を経て復活 正規言語の魅力 オートマトンという単純な計算モデル 台数モデル、トポロジー、論理、文法、最小不動点、といった多用な特徴づけ いろいろな道具が使える 効率的なマッチングにオートマトンやモノイドは役に立っている 正規表現は難しい 曖昧性とキャプチャ 講義ではオートマ
A Regular Expression Matcher in Rust - Pixel Pedals of Tomakomai
なんかの本でCで数十行のバックトラックを使った正規表現のマッチャが紹介されてた記憶があるんだけど、ビューティフルコードだったっけ？#regexfesta— hiratara (@hiratara) October 18, 2019 ということで、ソースコードが書かれている記事を見つけた。 https://www.cs.princeton.edu/courses/archive/spr09/cos333/beautiful.html Rust で書き直したものを文末に貼っておく。 rstfmt が if 文を改行してくれるせいで行数が膨らんでCの実装より数行長いが、ほぼ同じ感覚で書ける。 do while はないので、 for と添字を使って書き直した 1 。こういうときには配列スライスの使い勝手がとてもよい。 後、書き直していて気がついたのだが、この実装は C 文字列の末端が "\0" と
rustのcombineで入力されたトークンによる場合分け - Pixel Pedals of Tomakomai
combine を使ったときに、例えば識別子のパース時に予約語を弾く方法。 最初は and_then を使うのかと思ったのだけど、 エラーの型指定がえらく面倒 だったので諦め。というか、なんか絶対違うだろうと思って別の方法を模索。 Parser のドキュメントに以下の例がある。これだ。 digit() .then(|d| { if d == '9' { value(9).left() } else { unexpected_any(d).message("Not a nine").right() } }) ということで、 then を使うと Parser を返す処理を書けるので、ここで unexpected_any を使って失敗させてやればよい。 ちょっとこのコードを見てぎょっとするのは left() と right() だが、これは if で分岐するパーサの戻り値が違うため。 rust
今日は Haskell Day 2018 の日です - Pixel Pedals of Tomakomai
Haskell Day 2018 に来ましたので、自分用のメモを残しておきます。タグは #HaskellDay です。 作りながら学ぶHaskell入門 / @igrep さん 会場、懇親会のスポンサーは IIJ 様 (ありがとうございます！) mmlh コマンドで各自進める 課題の自動添削、たまにヒントを出してくれる わからなかったらメンターへ聞く Haskellを導入した話とHRRの紹介 / @khibinoさん 2008年 PerlからJavaを呼び出していた メンテナがいない、型検査がない Java, UNIXとの親和性があまりない 検討 => Common Lisp, OCaml, Haskell Haskell の unix パッケージが良かった 2010年から debian lenny, GHC 6.8 (cabal installがまだない) PerlをHaskellに書き
inline-java パッケージを WSL へインストール - 北海道苫小牧市出身の初老PGが書くブログ
ハマってガチャガチャしたので間違いあるかもしれないけどメモ。 まずjavaをインストール。入れるのは default-jdk のほうがいい気もする。 $ sudo apt install openjdk-9-jre-headless $ sudo apt install openjdk-9-jdk-headless jvm パッケージを入れるのに必要と思われる環境変数。 $ export JAVA_HOME=/usr/lib/jvm/java-9-openjdk-amd64 $ export LD_LIBRARY_PATH=/usr/lib/jvm/java-9-openjdk-amd64/lib/amd64/server jni パッケージのために stack.yaml へパスを追加。 extra-include-dirs: - /usr/lib/jvm/java-9-openjdk-a
"アルゴリズムクイックリファレンス" のノート - 北海道苫小牧市出身の初老PGが書くブログ
p.3 の convex hull の素朴解。 https://github.com/hiratara/hs-nutshell-algorithm-examples/blob/master/src/Main.hs 正しいかわからないので、plotしておく(案の定バグってたので修正してある)。 道具は datahaskell に従った。具体的には、乱数に mwc-probability 、 plot に Chart-diagrams を利用。作ったsvgファイルをブラウザで見るために、 stack install wai-app-static して warp によってweb serverを立ち上げている。。
Haskell入門のサンプルコードのLTS-12.0対応 - 北海道苫小牧市出身の初老PGが書くブログ
つい半年前に最新のLTSへ対応したばかりなのに、気がつくと LTS-12.0 が出て、 ghc-8.4 を Stack から使えるようになった。コミュニティが活発で、非常にありがたいことである。 ということで、 Haskell入門 のサンプルもLTS-12.0に対応させたブランチを用意した。と言っても、いくつか Stackge の管理下から外れてしまったパッケージが出てきたのを調整したくらいで、コードは何も変更していない。 github.com さらに素晴らしいことに、これらのコードはすべてWindows 10の最新の WSL 上で動くことを確認できた。macOS上で試すのと同様に、 Windows 上でも書籍上のコードをそのまま試せる のだ。10章の Spock を使ったWEBサーバも起動して localhost へアクセスして動かすことができる。Windowsが頑張ったのかGHCが頑張
windowでGCPのcloud shellを使う - Pixel Pedals of Tomakomai
windows の chrome で GCP の cloud shell を使おうとすると、 Ctrl-t, Ctrl-n, Ctrl-w あたりをブラウザのショートカットに食われて発狂しそうになって困ってたんだけど、 SSH for Google Cloud Platform で解決できることを知った。 ちなむと gcloud alpha cloud-shell も試したんだけど、puttyが Server refused our key とか言い出して何もできなかった。実にアルファ版らしい。 cloud shell は tmux をデフォルトで有効にしてくれるのだけど、デフォルトではステータスバーを見せてくれないので .tmux.conf に set -g status on と書いておいたら見慣れた感じになった。
Haskell入門の10章をDocker化する - 北海道苫小牧市出身の初老PGが書くブログ
Haskell入門 の10章は、 SQLite への依存があったりして Windows で試すのは若干面倒だったので、 Docker for Windows で試せるようにした。 https://github.com/hiratara/Haskell-Nyumon-Sample/compare/docker/chap10 docker/chap10 ブランチを持ってきて、Docker for Windows が動いている環境でこんな感じで動かせる。 $ docker-compose build $ docker-compose run --rm --service-ports weight-recorder # ソースをいじって stack build したいとき $ docker-compose run --rm weight-recorder build weight-recorder
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
