2024.02.03
https://www.youtube.com/watch?v=lrQS6gPLkII
Multi-blend mix! Is your order a medley? ~ごちうさ10周年記祝賀祭~
これすごいな
前:
2024.02.02
後:
2024.02.04
#日報
やっていた
直観主義命題論理
と
様相論理
の形式化
知った
全然終えてなかったけど
Factorio
のレール,高さを入れて交差とか水上走れるようになっててワロタ
https://www.factorio.com/blog/post/fff-378
メモ
Coq
や
Lean 4
(
Std4
)にある
omega
タクティク
omegaタクティク
Willian Pugh
の
Omega Test
に基づく.
Presburger算術
は決定可能であるという事実に基づき,ある程度の算術に関して決定可能なプロシージャを実装する
Willian Pugh; "The Omega Test: a fast and practical integer programming algorithm for dependence analysis"
https://www.cs.utexas.edu/~pingali/CS380C/2023/papers/pugh92omega.pdf
メモ
Hindley–Milner型システム
を
Lean 4
で作りたい.