2023.03.04
https://gyazo.com/73c68adfe904ac762512589470d3a144
知らなかった
npm rumはさておきnpm urnは何なんだ
読んだ
一般人の立場でこういうことを言うと「ただの平社員なのに経営者目線かよ。権威と自分を同一視して気持ちいい？」みたいな揶揄もあるけど、民主主義では有権者である私たちが正に経営者なんだから、数年単位の個人規模というミクロな幸福論だけでなく、社会持続性みたいなデカくて長いマクロなことも考える必要がある。
個人レベルを超えて社会全体のためになることを考えるのは全体主義に繋がるから怖い、と拒絶していては、国家の主権者としてよくないのだ。
確かにすぎる
これ今年で一番感銘を受けた可能性ある
思った
（自分のサイトで25%の確率で表示されるように）自分は数理論理学や様相論理、計算理論や定理証明支援系などに興味があるということになっているのに実際に手を動かして出力されるものが知識工学的な物体なので本当にやる気があるのかわからなくなっている
興味があるといっても完全に独学でやっていてかつ私には友人が少ないので結局これらの分野に強い（情報系の）大学院がどういったところがあるのか未だにわかっておらず、まあまあ困っている
東工大の鹿島研を紹介された
確かにここはありだな
おれの学力は？
ハハ…
OTOMADBもそろそろ正式リリースできそうだしなんか週報とか出すべきなのかもしれん