How to do Math in programming

How to do Math in programmingat TECH

How to do Math in programming - 暇つぶし2ch4:デフォルトの名無しさん
24/03/21 12:07:26.54 etpddAIY.net
依存型を使った定理証明入門
URLﾘﾝｸ(zenn.dev)
定理証明の流れは
命題を型に変換する
型がnon-emptyであることを示す
なので、実行時に型チェックすれば動的型付け言語でも証明はできるわけか
ただ、全称型とか存在型とかをどうやって表すのかがわからない

次ページ

続きを表示

1を表示