2024.06.08
https://iehality.github.io/lean4-logic/assets/import_graph/import_graph.png
どうでしょう　右側が私の管轄です
メチャクチャで…
前：2024.06.07
後：2024.06.09
#日報
メモ
FormalizedFormalLogic/Foundationのbookがデプロイされるようになりました．内容は今後拡充していく．
https://iehality.github.io/lean4-logic/book
メモ
https://x.com/takuya_fukatsu/status/1774210747956146577
leanの既存の数学ライブラリ（mathlib）には様相論理（modal）がまだ実装されてないので、弊社(Proxima Technology)からコントリビューション出来たら良いな、と考えています！
だそうなのでFormalizedFormalLogic/Foundationの宣伝しておいた
やった　
mdbookと戦う
メモ
https://www.youtube.com/watch?v=tB3s-sAsI2g　
Minecraftで石がピッケルで崩れるのってゲーム的な簡略化だと思ってたけど意外とこういう崩れやすい地形もあるのか
メモ
GitHub Actionsのキャッシュはブランチ間で共有されない
知りませんでした（照）
思った
doc-gen4が動かない
全然わからないのでLeanのZulipで聞いたら普通に壊れてますよということになり超スピードで解決した
人に訊きましょう
https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/.E2.9C.94.20doc-gen4.20broken.20in.20v4.2E9.2E0-rc1/near/443376505
メモ
高木 翼 - Robert Goldblatt, Logics of Time and Computation, 2nd Ed.の書評
https://tarb.yamanami.tokyo/2024/04/0062-robert-goldblatt-logics-of-time-and-computation.html
Robert Goldblatt, Logics of Time and Computation, 2nd Ed.
私は今A. Chagrov, M. Zakharyaschev; "Modal Logic"を読んでいるがこれ上級者向けだったのか
G. H. Hughes, M. J. Cresswell; "A New Introduction to Modal Logic"
哲学的論理学方面の本
M. Kracht; "Tools and Techniques in Modal Logic"
https://wwwhomes.uni-bielefeld.de/mkracht/html/tools/book.pdf
相当上級であると書かれている