推測するな、計測せよ
この記事は #祭り化 Advent Calendar 11日目の記事です。
マツリカ株式会社にバックエンド (寄り) エンジニアとして入社して半年近く経った。
「祭り化」に対する自分の見解や、地方フルリモートで働くことについて、また初めて自社プロダクト開発に携って感じたことなど、色々候補は浮かんで悩んだが、最近CTOに言われた言葉が心に響いたので残しておこうと思う。
ある機能の設計段階で、データをMySQLに保存するか、Redisに保存するかという議論があった。
当初は読み書きが速そうという理由でRedis推しの流れだったが、最終的にCTOが「推測するな、計測せよ」の格言 (今調べたらRob Pikeが言ったらしい) を出してきて「まずは計測用のプロトタイプを作って、実際に動かしてボトルネックを突き止めることからしないと何も言えないですよ」と言って再検討となった。
当たり前っちゃ当たり前だが、自分の視野が狭くなってしまっていることに気付かされた。
考えてみるとこれまでの自分でも気付ける観点のはずだった。
対象こそ違うが、プログラムを実行してエラーが出たらまずはエラーメッセージを読み誤りを発見しようとするし、不具合対応では最初にシステムのそれぞれの箇所の調査を行い問題の切り分けをする。
それがパフォーマンス観点になるとRDBをNoSQLにしようとか、ApacheをNginxに置き換えようとか (これは今回は関係ないが) 、実態を調査する前にどこかで聞いた使えそうな手段を安易に検討してしまっている。
僕はまだまだ経験が浅くこの手のパフォーマンス検討をあまり考える機会がなかった。
N+1クエリになるような処理はRailsならinclude、Laravelならwithを使って回避すべきみたいな一般論的知識だけはあるが、まだまだ自分の血肉になっているとは言えない。
「とりあえず速くしないと……」という思いだけが先行し「まずは計測」という当たり前の工程がすっぽり抜けてしまっていた。
僕は「プログラムは思った通りに動くのではなく、書いた通りに動く」という言葉が好きで、コンピュータの世界はどれだけ因果を突き詰めるかが大事だと思っている。
にも関わらず雰囲気で議論していた自分への戒めと、改めて上記を念頭に置いて作業することの大切さを認識した話でした。
【Go】エラステネスのふるい
func Soe(n int) []int { nums := []int{} for i := 2; i <= n; i++ { nums = append(nums, i) } pnums := []int{} sqrtVal := int(math.Sqrt(float64(n))) for true { if sqrtVal <= nums[0] { for _, v := range nums { pnums = append(pnums, v) } break } pnums = append(pnums, nums[0]) newNums := []int{} for _, v := range nums { if v%nums[0] > 0 { newNums = append(newNums, v) } } nums = newNums } return pnums }
【AtCoder】【F#】abc007_3 幅優先探索
C: 幅優先探索 - AtCoder Beginner Contest 007 | AtCoder
F#と幅優先探索を同時に学ぼうとした。
namespace App open System.Collections.Generic module Main = let createGraph (maze : string [] []) : Dictionary<int * int, (int * int) list> = let graph = new Dictionary<int * int, (int * int) list>() let mutable count1 = 0 for item1 in maze do let mutable count2 = 0 for _item2 in item1 do let mutable arr : (int * int) list = [] if count1 < maze.Length - 1 && maze.[count1 + 1].[count2] = "." then arr <- (count1 + 1, count2) :: arr if count2 < item1.Length - 1 && maze.[count1].[count2 + 1] = "." then arr <- (count1, count2 + 1) :: arr if count1 > 0 && maze.[count1 - 1].[count2] = "." then arr <- (count1 - 1, count2) :: arr if count2 > 0 && maze.[count1].[count2 - 1] = "." then arr <- (count1, count2 - 1) :: arr graph.Add((count1, count2), arr) count2 <- count2 + 1 count1 <- count1 + 1 graph let procedure (maze : string [] []) (start : int * int) (goal : int * int) : int = let queue = new Queue<int * int>() let graph = createGraph maze let mutable checkedList = [] queue.Enqueue(start) let mutable breakFlg = false let dict = Dictionary<(int * int), ((int * int) * int)>() dict.Add(start, ((-1, -1), 0)) while not breakFlg && queue.Count > 0 do let target = queue.Dequeue() if not (List.contains target checkedList) then if target = goal then breakFlg <- true for item in graph.[target] do queue.Enqueue(item) let tryGetResult = dict.TryGetValue(item) if not (fst tryGetResult) then dict.Add(item, (target, snd dict.[target] + 1)) checkedList <- target :: checkedList snd dict.[goal] [<EntryPoint>] let main _argv : int = let inputNums1 = stdin.ReadLine().Split(' ') |> Array.map int |> Array.toList let R = inputNums1.Head let inputNums2 = stdin.ReadLine().Split(' ') |> Array.map int let start = (inputNums2.[0] - 1, inputNums2.[1] - 1) let inputNums3 = stdin.ReadLine().Split(' ') |> Array.map int let goal = (inputNums3.[0] - 1, inputNums3.[1] - 1) let rec readMaze (count : int) (maze : string [] []) = match count with | 0 -> maze | _ -> Array.append maze [| (stdin.ReadLine().ToCharArray() |> Array.map string) |] |> readMaze (count - 1) let maze = readMaze R [||] procedure maze start goal |> printfn "%d" 0
かなり手続き型に逃げてしまってF#つかってる意味あるのか……?という感じ。
徐々に慣れていきたい。
グラフ
let graph = createGraph maze
ここでいうグラフとは、それぞれの座標をキー、隣接した座標のリストをバリューとしたDictionary型の変数。
まずは入力値からこれを拵える。
キュー・確認済みリスト・親と何歩目かの記録リスト
// キュー let queue = new Queue<int * int>() queue.Enqueue(start) // 確認済リスト let mutable checkedList = [] // 親と何歩目かの記録リスト let dict = Dictionary<(int * int), ((int * int) * int)>() // (<座標>, (親の座標, 現在の歩数)) dict.Add(start, ((-1, -1), 0))
キュー
キューにグラフから取得した座標を入れていく。
幅優先探索でキューを使う理由はスタート地点から近い順に確認したいから。
確認済リスト
確認済の座標は配列に入れて記録する。
下の記事のGIFを例にするとわかりやすいと思う。
このGIFでいうと塗りつぶした座標は二度とチェックしない。
なので塗りつぶし済座標は配列に入れて確認時に参照する。
親と何歩目かの記録リスト
ゴールに到達するだけなら必須ではないが、問題としては最短経路の歩数を求める必要がある。
DIctionary型の変数を作り、対象の座標をキーとして、その座標の親となる座標とその座標到達時点の歩数を記録するようにする。
歩数は親の歩数に+1して記録する。
参考
これがかなりわかりやすかった。
F#でPrintfnするのにハマった
open System [<EntryPoint>] let main argv = let a = "str" printfn a 0
コンパイルエラー The type 'string' is not compatible with the type 'Printf.TextWriterFormat<'a>'
が発生。
どういうこと……?
F# printf string - Stack Overflow
なるほど。
open System [<EntryPoint>] let main argv = let a = "str" printfn "%s" a 0
こうする必要があるらしい。
open System [<EntryPoint>] let main argv = let a = 1 printfn "%d" a 0
数値はこう。
【Docker】amazon/dynamodb-localの永続化
version: '3' services: dynamodb: image: amazon/dynamodb-local command: -jar DynamoDBLocal.jar -sharedDb -dbPath /home/dynamodblocal/data/ volumes: - ./volumes/dynamodb:/home/dynamodblocal/data
/home/dynamodblocal/data
を指定すれば良いようだ。
dayjsでtimezone計算
dayjsにはmomentにおけるmoment-timezoneに相当するAPIがない。
const dayjs = require('dayjs') console.log(dayjs(new Date().toLocaleString("en-US", {timeZone: "America/New_York"})).format('h:mA')) console.log(dayjs(new Date().toLocaleString("en-US", {timeZone: "America/Los_Angeles"})).format('h:mA'))
JS組み込みの toLocaleString
を使うのが当面ベターなやり方っぽい。