2026.03.05
https://gyazo.com/b2d7482d92e7d37a5e4a05a98c74fcce
思った
VJとDJ安定してきたけどこんなRTAみたいな感じで安定ルート組まないといけないの全部間違ってる気がする
思った
メモ
J. Avigadが証明論とは別個に早くから数学の自動化や定理証明支援系の研究・教育などに力を入れていたのは数理論理学屋さんの信念としての数学は形式化(formalize/mechanize)出来て然るべきという決意の現れなのかそれとも単に興味が被っていただけなのかよくわかっていない 思った
公理的集合論の形式化に興味がある人間が我々とは別に2人もいて議論やPRを出してくれるのはとてもありがたい．問題は私は公理的集合論に全く明るくなく全てのレビューがもう一人に行っている点にある．誰か興味があれば…
思った
TVアニメを1話1回放送するのに毎回大体100人ぐらい関わってることを想像すると気が狂いそうになる
どうしてもTVアニメを観ていても商品としての観点みたいなことを考える脳ミソが動きだしてしまう