2025.02.09
https://gyazo.com/666e807c23d0d8ce70f20cbd9a00ade9
前：
2025.02.08
後：
2025.02.10
#日報
思った
非可算無限個の命題変数を考えない理由はなぜか？
メモ
lapisla.net
公開前に知ったときなんで定理証明支援系にNext.jsとかログイン機能とかが生えているのだろうと思ったけどそういう動機だったのかとなった
メモ
あるシステム：
F#
,
F*
,
F'
,
System F
F#
：
.NET
で動く言語．良いらしいが触ったことはない．
F*
：証明もかけるプログラム言語
F'
：
https://github.com/nasa/fprime/
航空
に関する何か
System F
：型付きラムダ計算の一種