はてなブックマーク

ただ、アルゴリズムや数学を勉強しているだけでは緑には届きませんでした。当たり前なのですが、僕は皆さんの色変記事を読んでそれに気づきました。 AtCoder Shojin ということで１１月上旬から僕は過去問をやることにしました。最初はなかなか気が向かなかったので、AtCoderの精進状況を管理するためのツール、AtCoder Shojinを作ろうと思いました。ですが、HTML書くのも面倒くさいので、Notionに自分用のAtCoder Shojinページを作りました！！（本当はExcelでもよかった） じゃーん。Linux環境の問題で日本語が打ちにくいので英語になってます>.< それぞれの問題に対して、解くのにかかった時間、デバッグで突き止めた問題、再発防止策や使えそうな考え方などを記録しておきました。 例えば、64ビット整数同士の計算でオーバーフローしてしまった、などのミスを問題の欄に書

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

2020年にリリースが予定されている Ruby のバージョン3から型定義・静的解析ができるようになる予定なので、現時点（2020年9月30日）の情報をまとめてみる。 型シグネチャ 型情報を定義したファイル Ruby3 では Ruby ソースコード本体に型情報を書かない 拡張子は .rbs ⇨記述のための言語は Ruby ではない 型シグネチャをもとに後述の型検査を実行する Ruby3 に同梱される リポジトリ RBS: https://github.com/ruby/rbs 型プロファイラ 型シグネチャ無しで型検査する（レベル1型検査） 型エラーの可能性を指摘 型の推論結果を用いて型シグネチャのプロトタイプを生成する 型プロファイラも Ruby3 本体に同梱される リポジトリ TypeProf: https://github.com/ruby/typeprof/blob/master/do

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?