2020-10 をふりかえる。 2020-10 の目標 ☑ AtCoder の緑 diff の問題を解き終える ☐ 『ユースケース駆動開発実践ガイド』を読む ☑ PureScript のリポジトリをアーカイブする 週別のふりかえり 2020-W40 2020-W41 2020-W42 2020-W43 つくったもの (なし) よん…

ABC089 を解いた。以前は C までしか解いていなかった。今日は D までさっと解けた。 bouzuya/rust-social-bookmarking をつくりはじめた。 従来型の Web アプリケーションを Rust で素朴につくれるようになりたい。その練習という位置づけ。 Web API や DB …

ソーシャルブックマークとは何かを考えている。メモしておく。 ブラウザのブックマークの機能を Web アプリケーション化したもの 自分・他人を含む誰かとブックマークを共有するもの 自分との共有は例えばデバイス間・ブラウザ間での共有がある 他人との共有…

diesel の getting started を終えた。 Jackson の ObjectMapper が 123 などの number や false などの boolean を String として read したときにエラーではなく "123" や "false" などの文字列として解釈する点の変え方が分からなかった。 その他に JSR-3…

diesel の getting started を途中までやった。 Jackson の ObjectMapper 動作を確認していた。いろいろ変な動きをする。 ABC010 A, B, C を解いた。 D は解けなかった。 リングフィットアドベンチャーを続けている。 早起きを続けている。 『クリーンアーキ…

朝はきちんと起きた。気まぐれに Rust で古臭い Web アプリケーションを書こうとしている。 『クリーンアーキテクチャ』を読んでいる。 ARC106 A, B を解いた。 A は全探索で間に合う。 B は操作の前後で連結成分ごとの総和は一定なのでそれが一致することを…

2020-W43 をふりかえる。 2020-W43 の目標 とその記事 目標。 ☑ PAST の過去問題を解く 記事。 2020-10-24 無 2020-10-23 PAST 2 K を解いた 2020-10-22 嫌な夢を見た 2020-10-21 PAST 2 の H, I を解いた 2020-10-20 ずっと迷っている 2020-10-19 mockk の …

朝食のあと子どもを公園へ連れていき遊んだ。子どもと昼食をとって昼寝をした。子どもを風呂に入れて夕食をつくり夕食をとりながら映画を一本観て寝かせた。無。 明日は PAST を受けるつもりで居る。

PAST 2 K を解いた。解説 AC 。 INF の設定を誤って 3 WA 。

昨日は嫌な夢を見て変な時間に目が覚めた。寝不足と謎の腹痛で調子が悪かった。 PAST 2 の J を解いた。 リングフィットアドベンチャー 127 日目 ワールド 19 レベル 179 。

PAST 2 の H, I を解いた。これで中級。 2 時間以内には解けている。

ずっと迷っている。 PAST 2 の D, E, F, G を解いた。これで初級。 F まででだいたい 1 h だった。 『メタノール』を観た。密造酒こわい。

なぜだかゆううつだ。 『アイアンマン』『怪盗グルーのミニオン大脱走』を観た。 PAST 2 の A, B, C を解いた。 mockk でインスタンスの動作の一部を変更するには spyk でできる。 https://mockk.io/#spy data class Id(private val value: Int) { fun asStr…

2020-W42 をふりかえる。 2020-W42 の目標 とその記事 目標。 ☑ AtCoder の緑 diff の問題を解き終える 記事。 2020-10-17 AtCoder (Problems) の緑 diff の問題を解いた 2020-10-16 緑残り 2 問 2020-10-15 Pixel 5 が届いた 2020-10-14 保険証を受け取った…

Pixel 5 に移行した (2020-10-16) ことで不要になった Pixel 3 を製品出荷状態に初期化してゆずった。 Android 11 では製品出荷状態への初期化を設定 → システム → リセットオプション → すべてのデータを消去（出荷時リセット）でできるようになっていた。 …

ABC148 E 解説 AC 。ぜんぜん解けない。 緑残り 2 問。明日で終わらせる。それが終わったら PAST の問題を解く。 Pixel 5 への移行作業を完了したつもりだ。何度か間違えて Pixel 3 を手に取ったけどデータとしては何も使っていないはず。明日には Pixel 3 …

Pixel 5 が届いた。公式のケースと Amazon で買ったフィルムも届いた。 ぼくは Pixel 3 を使っていたのでそこからの移行・比較になる。ちなみに移行は 9 割がた終わっている。 全体的な印象としては大きく変わったとは感じない。変化がないわけじゃないのだ…

AGC017 A を解いた。解法と随分違うけど解けたのでよしとする。 緑 diff は残り 4 問。 保険証を受け取った。

ABC146 の A, B, C, D を解いた。 2019-11-24 は B までしか解けなかったものが 2020-10-13 で C どころか D まで解けるようになっている。成長した。 dwango プログラミングコンテストの A, B を解いた。 これで残りの緑 diff は 5 問。

ABC132 D 解説 AC 。それだけ。

2020-W41 をふりかえる。 2020-W41 の目標 とその記事 目標。 ☑ PureScript のリポジトリをアーカイブする ☐ 『ユースケース駆動開発実践ガイド』を読む 記事。 2020-10-10 PureScript リポジトリのほとんどを archived にした 2020-10-09 なんだか体調が悪…

GitHub にあるぼくの PureScript のリポジトリのうち 55 / 60 を archived にした。しばらくは PureScript ではなく Rust に取り組んでいくと思うのでメンテナンスしそうにないものを archived にした。 言語別リポジトリ数を計測した。前回は 2020-04-04 の…

なんだか体調が悪い……。

Kotlin の to が Pair をつくる infix fun だと気づいた。 2020-09-09 に infix fun があることを知った。そして今日になって to が予約語ではないことを知った。いまごろになって。 public infix fun <A, B> A.to(that: B): Pair<A, B> = Pair(this, that) PureScript </a,></a,>…

Kotlin の data class は copy というメソッドを生成するので private constructor と書くと次のような警告が出る。 Private data class constructor is exposed via the generated 'copy' method. たとえば次のような K があるとする。 package com.example…

ABC177 A, B, C, D, E を解いた。 E は本番では解けなかったが今日は解けた。本番終了後に解説を読んでいたからだろう。 Kotlin 。書き方次第で return を省略可能にできる。 fun f(): T { doSomething() return T() } fun f(): T = let { doSomething() T()…

Kotlin の internal がパッケージプライベートじゃなくモジュールプライベートだと知った。デフォルトが public になっていることくらいは知っていたけど internal はパッケージプライベートだと思いこんでいた。 https://kotlinlang.org/docs/reference/vis…

2020-W40 をふりかえる。 2020-W40 の目標 とその記事 目標。 ☑ 『 WEB+DB PRESS Vol.118 』を読む 記事。 2020-10-03 衣替え 2020-10-02 何も思い浮かばない 2020-10-01 家族の風邪 2020-09-30 2020-09 ふりかえり 2020-09-29 CODE FESTIVAL 2017 qual A A,…

衣替えした。 子どもの服を買い足した。 ABC147 を解いた。解説 AC だけど……。

ABC052 を解いた。 C が解説 AC だった。約数の個数の求め方を知らない。 2020-09-19 に書くと言って書いてないからだな。 D は一瞬で解けた。 何も思い浮かばない。 明日は衣替えしよう。マスクをつけて衣類を引っ張り出すんだ。寝よう。