今日の記録 2020/5/19

今日から、やったことを note に要約して記録してみる。

読んだ

・GEB - 無定義述語〜仮想的な世界と無矛盾性
形式システムの矛盾/無矛盾について
　ある形式システムにおいて、矛盾していると見えていたものにつて、解釈を変えることで矛盾が解消されうる。つまり、矛盾している/していないという性質は、その形式システムの持つ性質ではなく、人がその形式システムをどう解釈するかに依存している、という話。

・みんなのデータ構造 - P90 5 章から~5.1.1終わりまで
Chained Hash Table についてと乗算ハッシュ
　この本の証明は全く追っていないので、将来必要になったらあたらめて詳細を読む。

・安全な Web アプリケーションの作り方 - P138~145
href, イベントハンドラ, script要素におけるXSSの攻撃例と対策
雑に目を通している。

・Goならわかるシステムプログラミング - 第17章 Go言語とコンテナ
仮想化とコンテナの比較と、Go(libcontainer)での実装方法

・システムの科学 - P61 ~ 64
複雑さについて
　蟻の進行ルートを図示してみると非常に複雑になるが、これは蟻自体の複雑さではなく、その進行している地面など、つまりおかれている環境の複雑さの現れであるということ。蟻自体は、ある地点から目的地(巣)に向かうという行動と、何か障害物があったら回避する、というようにこの行動自体は単純であり、蟻を構成する複雑さ(躰を作る細胞など)とは無関係であると言える。

・プログラミング Erlang - 並行プログラミング P111 ~ P117
sapwnによるErlangプロセスの生成と、クライアントサーバー間のメッセージ送受信実装方法。

やった

・英語 - 一億人の英文法とDuo 4ページずつ

仕事

・React - Next.js のチュートリアル Assets, Metadata, and CSS まで
今月中に、以前 Vue/Nuxt で作ったものを React/Next で再実装してみる。
　Vue/Nuxt での実装当時、何も見ずにとりあえず手を動かそうとするも、問題が起きて詰まった。それが公式に書いてあることだったにも関わらず、それに気付かずに時間を無駄にした経験がある。反省して、今回は公式に一通り目を通してからやってみる。